Thread:

1. Inequality to prove involving convex notions

Hi everyone,

Here's an exercice I have trouble with.
Let $a = (a_1,\dots,a_n)\in\mathbb{R}^n_+$ and define $G(a) = (a_1\dots a_n)^{\frac{1}{n}}$

I have to show that, assuming $a,b\in\mathbb{R}^n_+, G(a+b) \geqslant G(a) + G(b)$.

I have already tried a looooot of things. I think I'm suppose to use some convex inequalities : my first thought was to take the log of $G(a+b)$, but it didn't seem to end very well for me.
I've also tried to use other known inequalities, such as $ab \leqslant \displaystyle \frac{a^2+b^2}{2}$. But I don't think it works.

So know, it's been almost an hour I'm on it, and I would like to have a small hint : I do not want the whole answer but just a tips which can make me progress.

Thank you for your always-so-good answers,

Hugo.

2. Re: Inequality to prove involving convex notions

We have to show that for $0\leq x_j \leq 1$, we have $\left(\prod_{j=1}^nx_j\right)^{\frac 1n}+\left(\prod_{j=1}^n(1-x_j)\right)^{\frac 1n}\leq 1$. Take the $n$-th power, and use $m:=\min_{1\leq j\leq n}x_j$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 9, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9863483309745789, "perplexity_flag": "head"}