AlgebraDifficulty 7.4National olympiad, round 2Prove it
120. Let the semi-perimeter of △ABC be p, the area be S, and the side length of the inscribed square PQRS be x, where P,Q are on side BC, R is on side AC, and S is on side AB. Similarly, y and z are the side lengths of the other two inscribed squares, each with two points on CA and AB, respectively. Prove: x1+y1+z1⩽2S(2+3)p.
Solution
120. Since △ASR∼△ABC, we have ax=haha−x, i.e., x=a+haaha. Similarly, y=b+hbbhb,z=c+hcchc. Therefore, x1+y1+z1=a1+b1+c1+ha1+hb1+hc1=a1+b1+c1+2Sa+2Sb+2Sc. Thus, the original inequality x1+y1+z1⩽2S(2+3)p is equivalent to proving a+b+c+a2S+b2S+c2S⩽2(2+3)(a+b+c)⇔a2S+b2S+c2S⩽23(a+b+c)
By Heron's formula, it is equivalent to proving (a+b+c)(−a+b+c)(a−b+c)(a+b−c)(a1+b1+c1)⩽3(a+b+c)⇔(−a+b+c)(a−b+c)(a+b−c)(a1+b1+c1)⩽3(a+b+c)
Let u=−a+b+c,v=a−b+c,w=a+b−c, then the inequality becomes 2uvw((u+v1+v+w1+w+u1)⩽3(u+v+w)⇔4(u+v1+v+w1+w+u1)2⩽3(uv1+vw1+wu1)
By the AM-GM inequality and Cauchy-Schwarz inequality, we get 4(u+v1+v+w1+w+u1)2=(u+v2+v+w2+w+u2)2⩽(uv1+vw1+wu1)2⩽(1+1+1)(uv1+vw1+wu1)=3(uv1+vw1+wu1)
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.