Maths Olympiad Prep

Library / /456 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

120. Let the semi-perimeter of ABC\triangle A B C be pp, the area be SS, and the side length of the inscribed square PQRSP Q R S be xx, where P,QP, Q are on side BCB C, RR is on side ACA C, and SS is on side ABA B. Similarly, yy and zz are the side lengths of the other two inscribed squares, each with two points on CAC A and ABA B, respectively. Prove: 1x+1y+1z(2+3)p2S\frac{1}{x}+\frac{1}{y}+\frac{1}{z} \leqslant \frac{(2+\sqrt{3}) p}{2 S}.

Solution

120. Since ASRABC\triangle A S R \sim \triangle A B C, we have xa=haxha\frac{x}{a}=\frac{h_{a}-x}{h_{a}}, i.e., x=ahaa+hax=\frac{a h_{a}}{a+h_{a}}. Similarly, y=bhbb+hb,z=chcc+hcy=\frac{b h_{b}}{b+h_{b}}, z=\frac{c h_{c}}{c+h_{c}}. Therefore, 1x+1y+1z=1a+1b+1c+1ha+1hb+1hc=1a+1b+1c+a2S+b2S+c2S\frac{1}{x}+\frac{1}{y}+\frac{1}{z}=\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{h_{a}}+\frac{1}{h_{b}}+\frac{1}{h_{c}}=\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{a}{2 S}+\frac{b}{2 S}+\frac{c}{2 S}. Thus, the original inequality 1x+1y+1z(2+3)p2S\frac{1}{x}+\frac{1}{y}+\frac{1}{z} \leqslant \frac{(2+\sqrt{3}) p}{2 S} is equivalent to proving
a+b+c+2Sa+2Sb+2Sc(2+3)(a+b+c)22Sa+2Sb+2Sc3(a+b+c)2\begin{array}{l} a+b+c+\frac{2 S}{a}+\frac{2 S}{b}+\frac{2 S}{c} \leqslant \frac{(2+\sqrt{3})(a+b+c)}{2} \Leftrightarrow \\ \frac{2 S}{a}+\frac{2 S}{b}+\frac{2 S}{c} \leqslant \frac{\sqrt{3}(a+b+c)}{2} \end{array}

By Heron's formula, it is equivalent to proving
(a+b+c)(a+b+c)(ab+c)(a+bc)(1a+1b+1c)3(a+b+c)(a+b+c)(ab+c)(a+bc)(1a+1b+1c)3(a+b+c)\begin{array}{l} \sqrt{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right) \leqslant \\ \sqrt{3}(a+b+c) \Leftrightarrow \\ \sqrt{(-a+b+c)(a-b+c)(a+b-c)}\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right) \leqslant \sqrt{3(a+b+c)} \end{array}

Let u=a+b+c,v=ab+c,w=a+bcu=-a+b+c, v=a-b+c, w=a+b-c, then the inequality becomes
2uvw((1u+v+1v+w+1w+u)3(u+v+w)4(1u+v+1v+w+1w+u)23(1uv+1vw+1wu)\begin{array}{l} 2 u v w\left(\left(\frac{1}{u+v}+\frac{1}{v+w}+\frac{1}{w+u}\right) \leqslant \sqrt{3(u+v+w)} \Leftrightarrow\right. \\ 4\left(\frac{1}{u+v}+\frac{1}{v+w}+\frac{1}{w+u}\right)^{2} \leqslant 3\left(\frac{1}{u v}+\frac{1}{v w}+\frac{1}{w u}\right) \end{array}

By the AM-GM inequality and Cauchy-Schwarz inequality, we get
4(1u+v+1v+w+1w+u)2=(2u+v+2v+w+2w+u)2(1uv+1vw+1wu)2(1+1+1)(1uv+1vw+1wu)=3(1uv+1vw+1wu)\begin{array}{l} 4\left(\frac{1}{u+v}+\frac{1}{v+w}+\frac{1}{w+u}\right)^{2}=\left(\frac{2}{u+v}+\frac{2}{v+w}+\frac{2}{w+u}\right)^{2} \leqslant \\ \left(\frac{1}{\sqrt{u v}}+\frac{1}{\sqrt{v w}}+\frac{1}{\sqrt{w u}}\right)^{2} \leqslant \\ (1+1+1)\left(\frac{1}{u v}+\frac{1}{v w}+\frac{1}{w u}\right)= \\ 3\left(\frac{1}{u v}+\frac{1}{v w}+\frac{1}{w u}\right) \end{array}

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.