-1
$\begingroup$

Hello I'm interested by the following problem :

Let $x,y>0$ then we have : $$2\sqrt{(x^xy^y)^{\frac{1}{x+y}}\sqrt{xy}}\leq x+y$$

My try : Since the inequality is homogeneous we can put $x=1$ it gives : $$2\sqrt{(y^y)^{\frac{1}{1+y}}\sqrt{y}}\leq 1+y$$

Wich is true graphically

My question is how to prove the one variable inequality without using the derivative .

Many thanks (iff you have a hint obviously ).

$\endgroup$
2
  • 2
    $\begingroup$ Are you sure about the 2 in the LHS? With $x=y$ the LHS becomes $2x$ but the RHS is $x$. $\endgroup$ Jun 22, 2019 at 15:20
  • $\begingroup$ What makes you think that is homogeneous? Just another random question and statements afterwards? $\endgroup$
    – Macavity
    Jun 22, 2019 at 15:31

3 Answers 3

1
$\begingroup$

The inequality is wrong, try x=y=1.

$\endgroup$
0
$\begingroup$

I think it means that we need to prove that: $$\sqrt{(x^xy^y)^{\frac{1}{x+y}}\sqrt{xy}}\leq \frac{x+y}{2},$$ otherwise, your inequality is wrong for $x=y=1$. Let $y=kx$.

Since our inequality is symmetric, we can assume $k\geq1.$

Thus, we need to prove that $$x^xy^y\leq \left(\frac{(x+y)^2}{4\sqrt{xy}}\right)^{x+y}$$ or $$x^x(kx)^{kx}\leq\left(\frac{x(1+k)^2}{4\sqrt{k}}\right)^{x(1+k)}$$ or $$x(kx)^k\leq\left(\frac{x(1+k)^2}{4\sqrt{k}}\right)^{1+k}$$ or $$k^k\leq \left(\frac{(1+k)^2}{4\sqrt{k}}\right)^{1+k}$$ or $f(k)\geq0,$ where $$f(k)=2(1+k)\ln(1+k)-k\ln{k}-\frac{1+k}{2}\ln{k}-(k+1)\ln4.$$ Now, we obtain: $$f'(k)=2\ln(1+k)+2-\ln{k}-1-\frac{1}{2}\ln{k}-\frac{1+k}{2k}-\ln4,$$ $$f''(k)=\frac{2}{1+k}-\frac{3}{2k}+\frac{1}{2k^2}=\frac{(k-1)^2}{2k^2(1+k)}\geq0,$$ which gives $$f'(k)\geq f(1)=0$$ and from here $$f(k)\geq f(1)=0$$ and we are done!

$\endgroup$
0
$\begingroup$

Use $(y^y)^{1/y} = y$ and that you take the $1/(y+1)$th root.

$\endgroup$

You must log in to answer this question.