Maths Olympiad Prep

Library / /72 of 520

Algebra Difficulty 6.0 AIME, harder Prove it

Example 2 Given positive numbers a,ba, b satisfying a+b=1a+b=1, prove:
(a+2)2+(b+2)2252(a+2)^{2}+(b+2)^{2} \geqslant \frac{25}{2}

Solution

The proof methods for this problem are numerous, but the author only uses the idea elaborated above: from (a+2)2=(b+2)2=254(a+2)^{2}=(b+2)^{2}=\frac{25}{4}, we conjecture that the condition for equality is a=b=12a=b=\frac{1}{2}. Verifying this conjecture: using the inequality (a+2)2+2545(a+2)(a+2)^{2}+\frac{25}{4} \geqslant 5(a+2), similarly (b+2)2+2545(b+2)(b+2)^{2}+\frac{25}{4} \geqslant 5(b+2), the equality holds precisely when a=b=12a=b=\frac{1}{2},
(a+2)2+(b+2)2+2525(a+b+4)=\therefore(a+2)^{2}+(b+2)^{2}+\frac{25}{2} \geqslant 5(a+b+4)=
25, thus we can prove that (a+2)2+(b+2)2252(a+2)^{2}+(b+2)^{2} \geqslant \frac{25}{2}.

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.