Maths Olympiad Prep

Library / /45 of 105

Geometry Difficulty 5.6 AIME, harder Prove it JBMO

Problem:
Let ABCABC be a triangle with side-lengths aa, bb, cc, inscribed in a circle with radius RR and let II be its incenter. Let P1P_{1}, P2P_{2} and P3P_{3} be the areas of the triangles ABIABI, BCIBCI and CAICAI, respectively. Prove that
R4P12+R4P22+R4P3216 \frac{R^{4}}{P_{1}^{2}}+\frac{R^{4}}{P_{2}^{2}}+\frac{R^{4}}{P_{3}^{2}} \geq 16

Solution

Solution:
Let rr be the radius of the inscribed circle of the triangle ABCABC. We have that
P1=rc2,P2=ra2,P3=rb2 P_{1}=\frac{r c}{2}, \quad P_{2}=\frac{r a}{2}, \quad P_{3}=\frac{r b}{2}
It follows that
1P12+1P22+1P32=4r2(1c2+1a2+1b2) \frac{1}{P_{1}^{2}}+\frac{1}{P_{2}^{2}}+\frac{1}{P_{3}^{2}}=\frac{4}{r^{2}}\left(\frac{1}{c^{2}}+\frac{1}{a^{2}}+\frac{1}{b^{2}}\right)
From Leibniz's relation we have that if HH is the orthocenter, then
OH2=9R2a2b2c2 OH^{2}=9 R^{2}-a^{2}-b^{2}-c^{2}
It follows that
9R2a2+b2+c2 9 R^{2} \geq a^{2}+b^{2}+c^{2}
Therefore, using the AM-HM inequality and then (1), we get
1c2+1a2+1b29a2+b2+c21R2 \frac{1}{c^{2}}+\frac{1}{a^{2}}+\frac{1}{b^{2}} \geq \frac{9}{a^{2}+b^{2}+c^{2}} \geq \frac{1}{R^{2}}
Finally, using Euler's inequality, namely that R2rR \geq 2 r, we get
1P12+1P22+1P324r2R216R4 \frac{1}{P_{1}^{2}}+\frac{1}{P_{2}^{2}}+\frac{1}{P_{3}^{2}} \geq \frac{4}{r^{2} R^{2}} \geq \frac{16}{R^{4}}

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.