AlgebraDifficulty 5.9AIME, harderProve itHong Kong
For any positive real numbers a, b, c, prove that (ab+bc+ca)((a+b)21+(b+c)21+(c+a)21)≥49.
Solution
(Iran TST 1996) Since the expressions are homogeneous, WLOG we may assume ab+bc+ca=1. We need to minimize f(a,b,c)=(a+b)21+(b+c)21+(c+a)21. WLOG assume a≥b≥c. Let t be the positive root to t2+2ct=1, so that (t)(t)+(t)(c)+(c)(t)=1, which means the triple (t,t,c) also satisfies the constraint. Claim. We have f(a,b,c)≥f(t,t,c). Proof. Firstly, we have f(t,t,c)=4t21+(t+c)22=4t21+t2+2ct+c22. For the latter term, observe that t2+2ct=1=ab+bc+ca. Therefore, we obtain t2+2ct+c22=ab+bc+ca+c22=(c+a)(c+b)2. For the former term, we claim that t2≥ab. Suppose on the contrary that t2<ab. Then we also have a+b≥2ab>2t. But this implies ab+bc+ca=ab+c(a+b)>t2+2ct, which is a contradiction. Therefore, t2≥ab, and hence 4t21≤4ab1. Now, it suffices to show f(a,b,c)≥4ab1+(c+a)(c+b)2. Indeed, f(a,b,c)⇔⇔⇔≥4ab1+(c+a)(c+b)2(b+c)21+(c+a)21−(c+a)(c+b)2≥4ab1−(a+b)21(c+a)2(c+b)2((c+a)−(c+b))2≥4ab(a+b)2(a+b)2−4ab(c+a)2(c+b)2(a−b)2≥4ab(a+b)2(a−b)2. This is true since (c+a)2(c+b)2≤(b+a)2(b+b)2=4b2(a+b)2≤4ab(a+b)2 using the assumption a≥b≥c. This proves the claim. □
By the claim, it remains to prove f(t,t,c)≥49 for any positive real numbers t and c satisfying t2+2ct=1. Now, using c=2t1−t2, f(t,t,c)⇔4t21+(t+c)22⇔4t21+(1+t2)28t2⇔4t2(1+t2)2−9t6+15t4−7t2+1⇔4t2(1+t2)2(1−t2)(1−3t2)2≥49≥49≥49≥0≥0. As 1=t2+2ct>t2, this inequality is true. Equality holds when t=31, i.e. a=b=c. (Note that if we allow at most one a, b, c to be 0, equality also holds when t=1, i.e. a=b and c=0 up to permutation.)
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: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.