Maths Olympiad Prep

Library / /456 of 520

Algebra Difficulty 4.6 AIME Prove it

(1) Given a>0a > 0, prove that: a+5a+3>a+6a+4\sqrt{a+5} - \sqrt{a+3} > \sqrt{a+6} - \sqrt{a+4}
(2) Prove that if aa, bb, and cc are real numbers, and a=x22y+π2,a = x^{2} - 2y + \frac{\pi}{2}, b=y22z+π3,b = y^{2} - 2z + \frac{\pi}{3}, c=z22x+π6,c = z^{2} - 2x + \frac{\pi}{6}, then at least one of aa, bb, or cc is greater than 0.

Solution

(1) To prove: a+5a+3>a+6a+4,\sqrt{a+5} - \sqrt{a+3} > \sqrt{a+6} - \sqrt{a+4}, it suffices to prove: a+5+a+4>a+6+a+3.\sqrt{a+5} + \sqrt{a+4} > \sqrt{a+6} + \sqrt{a+3}.
It suffices to prove: (a+5+a+4)2>(a+6+a+3)2(\sqrt{a+5} + \sqrt{a+4})^{2} > (\sqrt{a+6} + \sqrt{a+3})^{2}
That is to prove: 2a+9+2(a+5)(a+4)>2a+9+2(a+6)(a+3),2a + 9 + 2\sqrt{(a+5)(a+4)} > 2a + 9 + 2\sqrt{(a+6)(a+3)},
That is to prove: (a+5)(a+4)>(a+6)(a+3)\sqrt{(a+5)(a+4)} > \sqrt{(a+6)(a+3)}
It suffices to prove: (a+5)(a+4)>(a+6)(a+3)(a+5)(a+4) > (a+6)(a+3), that is to prove: 20>1820 > 18, since the above statement is obviously true,
Therefore, the original inequality holds.

(2) Assume that aa, bb, and cc are all not greater than 0, i.e., a0a \leq 0, b0b \leq 0, c0c \leq 0, thus a+b+c0a+b+c \leq 0
However, a+b+c=(x22y+π2)+(y22z+π3)+(z22x+π6)a+b+c = (x^{2} - 2y + \frac{\pi}{2}) + (y^{2} - 2z + \frac{\pi}{3}) + (z^{2} - 2x + \frac{\pi}{6})
=(x22x)+(y22y)+(z22z)+π=(x1)2+(y1)2+(z1)2+π3= (x^{2} - 2x) + (y^{2} - 2y) + (z^{2} - 2z) + \pi = (x-1)^{2} + (y-1)^{2} + (z-1)^{2} + \pi - 3
Therefore, a+b+c>0a+b+c > 0, which contradicts the assumption that a+b+c0a+b+c \leq 0. Hence, the assumption is incorrect.
Thus, at least one of aa, bb, or cc is greater than 00.

Therefore, the final answers are:
- For (1), the inequality a+5a+3>a+6a+4\sqrt{a+5} - \sqrt{a+3} > \sqrt{a+6} - \sqrt{a+4} holds.
- For (2), at least one of aa, bb, or cc is greater than 00, which can be encapsulated as At least one of a,b, or c is greater than 0\boxed{\text{At least one of } a, b, \text{ or } c \text{ is greater than } 0}.

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.