Maths Olympiad Prep

Library / /307 of 520

Algebra Difficulty 6.9 National olympiad Find the answer

42. In the right-angled ABC\triangle A B C, find the largest positive real number kk such that the inequality a3+b3+c3k(a+a^{3}+b^{3}+c^{3} \geqslant k(a+ b+c)3b+c)^{3} holds. (2006 Iran Mathematical Olympiad)

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

42. a3+b3+c3k(a+b+c)3k(aa+b+c)3+(ba+b+c)3+a^{3}+b^{3}+c^{3} \geqslant k(a+b+c)^{3} \Leftrightarrow k \leqslant\left(\frac{a}{a+b+c}\right)^{3}+\left(\frac{b}{a+b+c}\right)^{3}+ (ca+b+c)3\left(\frac{c}{a+b+c}\right)^{3}

Let x=aa+b+c,y=ba+b+c,z=ca+b+cx=\frac{a}{a+b+c}, y=\frac{b}{a+b+c}, z=\frac{c}{a+b+c}, then because a2+b2=c2a^{2}+b^{2}=c^{2}, so x2+y2=z2x^{2}+y^{2}=z^{2}
Also, because x+y+z=1x+y+z=1, so
x2+2xy+y2=12z+z2x^{2}+2 x y+y^{2}=1-2 z+z^{2}
Subtracting (1) from (2) gives xy=12z2x y=\frac{1-2 z}{2}.

Therefore,
x3+y3+z3=(x+y)(x2+y2xy)+z3=(x+y)(z2xy)+z3=xy(x+y)+z2(x+y+z)=xy(x+y)+z2=(12z)(1z)2+z2=3z12\begin{aligned} x^{3}+y^{3}+z^{3}= & (x+y)\left(x^{2}+y^{2}-x y\right)+z^{3}= \\ & (x+y)\left(z^{2}-x y\right)+z^{3}= \\ & -x y(x+y)+z^{2}(x+y+z)= \\ & -x y(x+y)+z^{2}= \\ & -\frac{(1-2 z)(1-z)}{2}+z^{2}=\frac{3 z-1}{2} \end{aligned}

Since z2=x2+y22xy=12zz^{2}=x^{2}+y^{2} \geqslant 2 x y=1-2 z, then noting that z>0,z2+2z10z>0, z^{2}+2 z-1 \geqslant 0, solving gives zz \geqslant 21\sqrt{2}-1

Therefore, x3+y3+z33(21)12=3242x^{3}+y^{3}+z^{3} \geqslant \frac{3(\sqrt{2}-1)-1}{2}=\frac{3 \sqrt{2}-4}{2}. Hence k3242k \leqslant \frac{3 \sqrt{2}-4}{2}.
When a=b=1,c=2a=b=1, c=\sqrt{2}, k=3242k=\frac{3 \sqrt{2}-4}{2} holds. Therefore, kmax =3242k_{\text {max }}=\frac{3 \sqrt{2}-4}{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.