Maths Olympiad Prep

Library / /506 of 520

Algebra Difficulty 4.7 AIME Prove it

We know that (a+b2)2a2+b22{(\frac{a+b}{2})}^{2}≤\frac{{a}^{2}+{b}^{2}}{2}, the equality holds if and only if a=ba=b. That is, the square of the arithmetic mean of aa and bb is less than or equal to the arithmetic mean of the squares of aa and bb. This conclusion can be extended to three elements, that is, (a+b+c3)2a2+b2+c23{(\frac{a+b+c}{3})}^{2}≤\frac{{a}^{2}+{b}^{2}+{c}^{2}}{3}, and the equality holds if and only if a=b=ca=b=c.
(1)(1) Prove that (a+b+c3)2a2+b2+c23{(\frac{a+b+c}{3})}^{2}≤\frac{{a}^{2}+{b}^{2}+{c}^{2}}{3}, and the equality holds if and only if a=b=ca=b=c.
(2)(2) Given x>0x \gt 0, y>0y \gt 0, z>0z \gt 0, if the inequality x+y+ztx+y+z\sqrt{x}+\sqrt{y}+\sqrt{z}≤t\sqrt{x+y+z} always holds, find the minimum value of the real number tt using the inequality from part (1)(1).

Solution

### Solution:

#### Part (1) Proof:

We start by expanding and then subtracting the arithmetic mean of the squares from the square of the arithmetic mean for three elements a,b,ca, b, c:

(a+b+c3)2a2+b2+c23=(a+b+c)23(a2+b2+c2)9=a2+b2+c2+2ab+2bc+2ca3a23b23c29=2ab+2bc+2ca2a22b22c29=(ab)2+(bc)2+(ca)290 \begin{align*} &{(\frac{a+b+c}{3})}^{2}-\frac{{a}^{2}+{b}^{2}+{c}^{2}}{3}\\ &= \frac{{(a+b+c)}^{2}-3({a}^{2}+{b}^{2}+{c}^{2})}{9}\\ &= \frac{a^2 + b^2 + c^2 + 2ab + 2bc + 2ca - 3a^2 - 3b^2 - 3c^2}{9}\\ &= \frac{2ab + 2bc + 2ca - 2a^2 - 2b^2 - 2c^2}{9}\\ &= -\frac{{(a-b)}^{2} + {(b-c)}^{2} + {(c-a)}^{2}}{9} \leq 0 \end{align*}

Hence, we have proven that (a+b+c3)2a2+b2+c23{(\frac{a+b+c}{3})}^{2} \leq \frac{{a}^{2}+{b}^{2}+{c}^{2}}{3}, and the equality holds if and only if a=b=ca=b=c.

#### Part (2) Finding the minimum value of tt:

Given the conditions x>0x > 0, y>0y > 0, z>0z > 0, we apply the inequality from part (1) using x\sqrt{x}, y\sqrt{y}, and z\sqrt{z}:

(x+y+z3)2x+y+z3x+y+z3x+y+z3x+y+z3(x+y+z) \begin{align*} {(\frac{\sqrt{x}+\sqrt{y}+\sqrt{z}}{3})}^{2} &\leq \frac{x+y+z}{3}\\ \Rightarrow \frac{\sqrt{x}+\sqrt{y}+\sqrt{z}}{3} &\leq \sqrt{\frac{x+y+z}{3}}\\ \Rightarrow \sqrt{x}+\sqrt{y}+\sqrt{z} &\leq \sqrt{3(x+y+z)} \end{align*}

So, dividing both sides by x+y+z\sqrt{x+y+z}, we get:

x+y+zx+y+z3 \frac{\sqrt{x}+\sqrt{y}+\sqrt{z}}{\sqrt{x+y+z}} \leq \sqrt{3}

Since x+y+ztx+y+z\sqrt{x}+\sqrt{y}+\sqrt{z} \leq t\sqrt{x+y+z} must always hold, we find:

tx+y+zx+y+z3 t \geq \frac{\sqrt{x}+\sqrt{y}+\sqrt{z}}{\sqrt{x+y+z}} \leq \sqrt{3}

Thus, the minimum value of tt that satisfies this inequality for all positive xx, yy, and zz is 3\boxed{\sqrt{3}}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.