Find the greatest positive integer k for which the following holds: For all positive real numbers a, b and c with abc=1, we have the inequality a1+b1+c1+a+b+c+1k≥4k+3.
Solution
The greatest k is 13.
Firstly, consider a=b=32 and c=49. They satisfy abc=1. The inequality becomes 23+23+94+5512k≥4k+3, i.e. 94≥2207k. As k is a positive integer, this implies k≤13.
We now prove the inequality a1+b1+c1+a+b+c+113≥413+3=425. Let the left-hand side be f(a,b,c). WLOG assume c≥b≥a. We first prove that f(a,b,c)≥f(ab,ab,c). Note that the new triple still satisfies (ab)(ab)(c)=1. Now, f(a,b,c)⇔⇔≥f(ab,ab,c)a1+b1−ab2≥2ab+c+113−a+b+c+113ab(a−b)2≥(2ab+c+1)(a+b+c+1)13(a−b)2. It suffices to show (2ab+c+1)(a+b+c+1)≥13ab. Indeed, since a+b≥2ab, we only need to prove 2ab+c+1≥13ab. As c≥b≥a and abc=1, we have c≥1. Therefore, we have c(c+1)≥2. This implies c+1≥c2=2ab>(13−2)ab. This proves f(a,b,c)≥f(ab,ab,c).
After this mixing step, it remains to consider the case f(t,t,t21) where t>0. Now, f(t,t,t21)⇔⇔⇔≥425t2+t2+2t3+t2+113t2≥4258t6+4t5−50t4+47t3+8t2−25t+8≥0(t−1)2(8t4+20t3−18t2−9t+8)≥0.
It remains to prove 8t4+20t3−18t2−9t+8≥0 for t>0. Indeed, the left-hand side is equal to (8t2+30t)(t−85)2+321(524t2−663t+256). The first term is nonnegative since t>0. Since 6632−4(524)(256)<0, the last term is nonnegative. This proves the inequality and we are done.
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.