2

According to Wolframalpha, $\forall{x,y\geq0}:x+y\geq2\sqrt{xy}$.

How can I easily prove it?

I think that it has to do with the fact that for a given sum of $x+y$, the value of $xy$ reaches a maximum when $x=y$, thus leading to $x+y=2x=2\sqrt{x^2}=2\sqrt{xy}$.

But I'm not sure how to formulate this proof.

Thank you.

2 Answers2

5

$(\sqrt x - \sqrt y)^2\ge0$,

so $x-2\sqrt x \sqrt y +y\ge0$,

so $x+y\ge2\sqrt{xy}.$

J. W. Tanner
  • 60,406
1

Since $(x-y)^2$ is nonnegative, we have

$$0 \leq (x-y)^2 = x^2 - 2xy + y^2 = (x^2 + 2xy + y^2) -4xy = (x+y^2)-4xy$$

Hence,

$$ 4xy \leq (x+y)^2 \Longrightarrow xy \leq \frac{(x+y)^2}{4}.$$

Applying square-roots,

$$ \sqrt{xy} \leq \frac{x+y}{2} \leq x+y$$