Maths Olympiad Prep

Library / /349 of 520

Algebra Difficulty 7.0 National olympiad, round 2 Prove it

12. Given 0x,y10 \leqslant x, y \leqslant 1, prove: 11+x2+11+y221+xy(2000\frac{1}{\sqrt{1+x^{2}}}+\frac{1}{\sqrt{1+y^{2}}} \leqslant \frac{2}{\sqrt{1+x y}}-(2000 Russian Mathematical Olympiad problem)

Solution

12. Let f(x)=11+e2x,x0, then e2x1,f(x)=e2x(1+e2x)3,f(x)=e2x(1+e2x)3(2+3e2x1+e2x)=e2x(1+e2x)3e2x21+e2x0y=secx has the second derivative y1+sin2xcos3x>0, so (x+y+y+z+z+x)26(tanA+B+C+secA+B+C3)=63 \begin{array}{l} 12. \text{ Let } f(x)=\frac{1}{\sqrt{1+\mathrm{e}^{-2 x}}}, x \geqslant 0, \text{ then } \mathrm{e}^{-2 x} \leqslant 1, f^{\prime}(x)=\frac{\mathrm{e}^{-2 x}}{\sqrt{\left(1+\mathrm{e}^{-2 x}\right)^{3}}}, f^{\prime \prime}(x)= \\ \frac{\mathrm{e}^{-2 x}}{\sqrt{\left(1+\mathrm{e}^{-2 x}\right)^{3}}}\left(-2+\frac{3 \mathrm{e}^{-2 x}}{1+\mathrm{e}^{-2 x}}\right)=\frac{\mathrm{e}^{-2 x}}{\sqrt{\left(1+\mathrm{e}^{-2 x}\right)^{3}}} \cdot \frac{\mathrm{e}^{-2 x}-2}{1+\mathrm{e}^{-2 x}}0 y=\sec x \text{ has the second derivative } y^{\prime \prime} \\ \frac{1+\sin ^{2} x}{\cos ^{3} x}>0, \text{ so } \\ (\sqrt{x+y}+\sqrt{y+z}+\sqrt{z+x})^{2} \geqslant 6\left(\tan \frac{A+B+C}{}+\sec \frac{A+B+C}{3}\right)=6 \sqrt{3} \end{array}

Furthermore
274(x+y)(y+z)(z+x)(x+y+y+z+z+x)2274secA2(tanA+secA)278cosAcosBsinC+cosAcosB=12cosAsin(B+C)+cosAcosB=12cos2A+cosAcosB=12(cosA)2 \begin{array}{l} -\quad \frac{27}{4}(x+y)(y+z)(z+x) \geqslant(\sqrt{x+y}+\sqrt{y+z}+\sqrt{z+x})^{2} \Leftrightarrow \\ \left.-\frac{27}{4} \right| \sec A \geqslant 2\left(\sum \tan A+\sum \sec A\right) \Leftrightarrow \\ \frac{27}{8} \geqslant \sum \cos A \cos B \sin C+\sum \cos A \cos B= \\ \frac{1}{2} \sum \cos A \sin (B+C)+\sum \cos A \cos B= \\ \frac{1}{2} \sum \cos ^{2} A+\sum \cos A \cos B= \\ \frac{1}{2}\left(\sum \cos A\right)^{2} \end{array}

Also, since y=cosxy=\cos x is a concave function on [0,π2]\left[0, \frac{\pi}{2}\right], we have cosA+cosB+cosC\cos A+\cos B+\cos C \leqslant 3cosA+B+C3=3323 \cos \frac{A+B+C}{3}=\frac{3 \sqrt{3}}{2}, thus. (cosA+cosB+cosC)2274(\cos A+\cos B+\cos C)^{2} \leqslant \frac{27}{4}. Therefore, the original inequality holds:

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.