Demuestre que la siguiente desigualdad es válida

Question

Quiero demostrar que $( 1 + x_1 ) (1 + x_2 )... ( 1 + x_n ) \ge ( 1 + (x_1 x_2 ... x_n ) ^\frac {1} {n } ) ^ n $ para todos $x_i > 0$ .

Empecé tomando logaritmo en ambos lados y tratando de usar la concavidad del logaritmo pero esto invierte la desigualdad. Realmente no sé cómo empezar, cualquier ayuda es apreciada.

Answer 1

Tenga en cuenta que la función $f(x) = \ln(1+e^x)$ es convexo. Por lo tanto, \begin{align*} \frac{1}{n}\sum_{i=1}^n \ln(1+x_i) &=\frac{1}{n}\sum_{i=1}^n \ln (1+e^{\ln x_i})\\ &\ge \ln\left(1+e^{\frac{1}{n}\sum_{i=1}^n \ln x_i}\right)\\ &=\ln\big(1+(x_1x_2\cdots x_n)^{1/n}\,\big). \end{align*} La desigualdad requerida se produce inmediatamente.

Answer 2

Por inducción:

$n=2, (1+x_1)(1+x_2)=1+x_1+x_2+x_1x_2 \ge 1+2\sqrt{x_1x_2}+x_1x_2=(1+(x_1x_2)^{\frac{1}{2}})^2$

cuando $n=k, (1+x_1)(1+x_2)...(1+x_k) \ge (1+(x_1x_2...x_k)^{\frac{1}{k}})^k$ se mantiene,

$n=k+1, (1+x_1)(1+x_2)...(1+x_k)(1+x_{k+1}) \ge (1+(x_1x_2...x_k)^{\frac{1}{k}})^k(1+x_{k+1}) $

ahora, demostramos

$(1+(x_1x_2...x_k)^{\frac{1}{k}})^k(1+x_{k+1}) \ge (1+(x_1x_2...x_kx_{k+1})^{\frac{1}{k+1}})^{k+1}$

dejar $a=(x_1x_2...x_k)^{\frac{1}{k}},x=x_{k+1} \implies (1+a)^k(1+x) \ge (1+(a^kx)^{\frac{1}{k+1}})^{k+1} \\ \iff \ln{(1+a)^k}+\ln{(1+x)} \ge (n+1) \ln{((1+(a^kx)^{\frac{1}{k+1}})} $

$f(x)=\ln{(1+a)^k}+\ln{(1+x)}-\ln{((1+(a^kx)^{\frac{1}{k+1}})}$

$f'(x)=\dfrac{1}{x}(\dfrac{x}{1+x}-\dfrac{y}{1+y}),y=(a^kx)^{\frac{1}{k+1}}$

$\dfrac{x}{1+x}$ es una función monocreciente, $\implies \\ y=x(x=a), f'(x)=0, \\ y>x (x<a),f'(x)<0,\\ y<x(x>a),f'(x)>0 \implies \\f(x=a)=f_{min}=0 \implies f(x) \ge 0$

QED

Answer 3

El término general para LHS es $$\pi(\sum(1+x_{i})$$ por ejemplo $$(1+x_1)(1+x_2)=1+x_1x_2+x_1+x_2$$ para $$(1+x_1)..(1+x_3)=1+x_1x_2x_3+x_1x_3+x_2x_3+1$$ mientras que rhs es $$\sum(π(1+^n \sqrt{x_i})^n)$$ así que asumo que $(x_1..x_n)^{1/n})=a$ así que por el teorema del binomio su $\sum{n\choose k}.a^k=(x_1..x_n)+\frac{1}{((x_1..x_n)^{1/n})}^1..+1$ por lo que se puede observar fácilmente que $π(\sum(1+x_i)>=(x_1..x_n)+\frac{1}{((x_1..x_n)^{1/n})}^1$ .