# An Easy Inequality

For all non-negative reals $x,y,z$, prove that $x^2+y^2+z^2\ge x\sqrt{yz}+y\sqrt{zx}+z\sqrt{xy}$ Note by Daniel Liu
6 years, 2 months ago

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

• Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
• Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
• Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$ ... $$ or $ ... $ to ensure proper formatting.
2 \times 3 $2 \times 3$
2^{34} $2^{34}$
a_{i-1} $a_{i-1}$
\frac{2}{3} $\frac{2}{3}$
\sqrt{2} $\sqrt{2}$
\sum_{i=1}^3 $\sum_{i=1}^3$
\sin \theta $\sin \theta$
\boxed{123} $\boxed{123}$

Sort by:

While Muirhead works, another viable option is a generalization of rearrangement by taking four copies of $\{\sqrt{x},\,\sqrt{y},\,\sqrt{z}\}$. (WLOG $x\geq y\geq z\geq 0$) Since $\{\sqrt{x},\,\sqrt{y},\,\sqrt{z}\}$ is monotonic decreasing, we have

$\sqrt{x}\cdot\sqrt{x}\cdot\sqrt{x}\cdot\sqrt{x} + \sqrt{y}\cdot\sqrt{y}\cdot\sqrt{y}\cdot\sqrt{y} + \sqrt{z}\cdot\sqrt{z}\cdot\sqrt{z}\cdot\sqrt{z}$ $\geq \sqrt{x}\cdot\sqrt{x}\cdot\sqrt{y}\cdot\sqrt{z} + \sqrt{y}\cdot\sqrt{y}\cdot\sqrt{z}\cdot\sqrt{x} + \sqrt{z}\cdot\sqrt{z}\cdot\sqrt{x}\cdot\sqrt{y}$

- 6 years, 2 months ago

We could apply AM-GM on $\sqrt {yz}\le \frac {y+z}{2}$ which would lead to proving the well known $x^2+y^2+z^2\ge xy+yz+xz$

- 6 years, 2 months ago

It is also true that $xy+yz+zx\ge x\sqrt{yz}+y\sqrt{zx}+z\sqrt{xy}$

Can you prove that?

- 6 years, 2 months ago

Well by doing what I said this is actually what you get :).....: $x\sqrt {yz}+y\sqrt {zx}+z\sqrt {xy}\le x\frac {y+z}{2}+ y\frac {x+z}{2}+z\frac {y+x}{2}=xy+yz+zx$

- 6 years, 2 months ago

Ah, I misunderstood your statement. Sorry.

However, it is also true that $(x\sqrt{yz}+y\sqrt{zx}+z\sqrt{xy})^3\ge 27x^2y^2z^2$

- 6 years, 2 months ago

No need to apologize :) Anyway this one is just immediate AM-GM

- 6 years, 2 months ago

lol yea no need to do any clever separating of terms.

$2x\sqrt{yz}+2y\sqrt{zx}+2z\sqrt{xy}\ge \sum_{sym}\sqrt{xy^2z^3}$

- 6 years, 2 months ago

It's good to finally see some inequality actions going on here, I've never been interested in inequalities until recently :) Here's one I feel kinda proud for solving it:

$a,b,c$ are positive reals, $ab+bc+ca=1$ prove $\sqrt{\frac{1}{a}+6b}+\sqrt{\frac{1}{b}+6c}+\sqrt{\frac{1}{c}+6a }\leq\frac{1}{abc}.$

P.S. Good think on AoPS there's a quick way for you to copy and paste latex..

- 6 years, 2 months ago

@Michael Tang @Trevor B. Try your hand at this one.

- 6 years, 2 months ago

I'm neither Michael ,nor Trevor, but since

$1,\frac{1}{2},\frac{1}{2}$ majorizes $1,\frac{2}{3},\frac{1}{3}$, use Muirhead to obtain the result.

- 6 years, 2 months ago

Sorry, but the point was to prove it using AM-GM @Bogdan Simeonov

Since anything provable using Muirhead (which was the instakill solution that I suggested) could be proven using AM-GM, the challenge was to prove my suggested inequalities using AM-GM.

- 6 years, 2 months ago

Oh, ok :D

- 6 years, 2 months ago

A solution by Muirhead that I discovered while writing the problem is as follows:

Note that $(2,0,0)\succ \left(1,\dfrac{1}{2},\dfrac{1}{2}\right)$.

Thus, by Muirhead, $2(x^2+y^2+z^2)\ge 2(x\sqrt{yz}+y\sqrt{zx}+z\sqrt{xy})$ and the result follows.

The challenge I give you is to try to prove it using AM-GM. It shouldn't be too difficult.

- 6 years, 2 months ago

By AM-GM, $\dfrac{2x^2+y^2+z^2}{4}=\dfrac{x^2+x^2+y^2+z^2}{4}\ge\sqrt{x^4y^2z^2}.$

Similarly, $\dfrac{x^2+2y^2+z^2}{4}\ge\sqrt{x^2y^4z^2}$ and $\dfrac{x^2+y^2+2z^2}{4}\ge\sqrt{x^2y^2z^4}$. Note that $\sqrt{x^4y^2z^2}=\sqrt{x^2yz}=x\sqrt{yz},$ which can also apply to the other three radicals.

Dividing through, we have this system of inequalities.

\begin{aligned} \dfrac{1}{2}x^2+\dfrac{1}{4}y^2+\dfrac{1}{4}z^2&\ge x\sqrt{yz}\\ \dfrac{1}{4}x^2+\dfrac{1}{2}y^2+\dfrac{1}{4}z^2&\ge y\sqrt{zx}\\ \dfrac{1}{4}x^2+\dfrac{1}{4}y^2+\dfrac{1}{2}z^2&\ge z\sqrt{xy} \end{aligned}

Adding these together yields $x^2+y^2+z^2\ge x\sqrt{yz}+y\sqrt{zx}+z\sqrt{xy},$ as desired.

$\mathbb{Q.E.D.}$

@Daniel Liu, Can you please explain your Muirhead solution a little further? I'm not familiar with that.

- 6 years, 2 months ago

Muirhead states that for any two sets of numbers $a_1,a_2,\ldots a_n$ and $b_1,b_2,\ldots b_n$, if $(a_1,a_2,\ldots a_n)\succ(b_1,b_2,\ldots b_n)$, then $\sum_{sym}x_1^{a_1}x_2^{a_2}\cdots x_n^{a_n}\ge \sum_{sym}x_1^{b_1}x_2^{b_2}\cdots x_n^{b_n}$

Search up Majorization if you do not know what $\succ$ (which means majorizes) means.

But Muirhead is basically just a generalized AM-GM. Setting the first set of numbers as $1,0,\ldots 0$ and the second set as $\dfrac{1}{n},\dfrac{1}{n},\ldots \dfrac{1}{n}$, we see that $(1,0,\ldots 0)\succ \left(\dfrac{1}{n},\dfrac{1}{n},\ldots \dfrac{1}{n}\right)$ and using Muirhead's gives us the familiar $n$-term AM-GM.

- 6 years, 2 months ago

By AM-GM,

$\dfrac{x^2 + x^2 + y^2 + z^2}{4} \ge \sqrt{x^4y^2z^2}$

so $\dfrac12x^2 + \dfrac14y^2 + \dfrac14z^2 \ge x\sqrt{yz}.$ Similarly, if we duplicate the $y^2$ and $z^2$ terms, we get

$\dfrac14x^2 + \dfrac12y^2 + \dfrac14z^2 \ge y\sqrt{zx},$ and

$\dfrac14x^2 + \dfrac14y^2 + \dfrac12z^2 \ge z\sqrt{xy}.$ Adding these inequalities together, we have

$x^2+y^2+z^2 \ge x\sqrt{yz} + y\sqrt{zx} + z\sqrt{xy}$ as requested. $\square$

- 6 years, 2 months ago

Ah, you beat me to it with the same solution I posted. Kudos to you on being first.

- 6 years, 2 months ago