Maths Olympiad Prep

Library / Final Round of National Olympiad /16 of 27

Final Round of National Olympiad

Geometry Difficulty 6.0 AIME, harder Prove it Estonia

Let II be the incenter of triangle ABCABC. Let RAR_A, RBR_B and RCR_C be the radii of the circumcircles of triangles BICBIC, CIACIA and AIBAIB, respectively, and RR be the radius of the circumcircle of triangle ABCABC. Prove that RA+RB+RC≤3RR_A + R_B + R_C \le 3R.

Solution

Let ∣BC∣=a|BC| = a, ∣CA∣=b|CA| = b and ∣AB∣=c|AB| = c and the angles opposite to those sides be α\alpha, β\beta and γ\gamma, respectively (see fig. 24).

Figure 1
Figure 24

The law of sines in triangles ABCABC and IBCIBC gives asin⁡α=2R\frac{a}{\sin \alpha} = 2R and asin⁡(β2+γ2)=2RA\frac{a}{\sin \left(\frac{\beta}{2} + \frac{\gamma}{2}\right)} = 2R_A, respectively. As sin⁡(β2+γ2)=sin⁡(90∘−α2)=cos⁡α2\sin\left(\frac{\beta}{2} + \frac{\gamma}{2}\right) = \sin\left(90^\circ - \frac{\alpha}{2}\right) = \cos\frac{\alpha}{2}, we obtain RAR=sin⁡αcos⁡α2=2sin⁡α2\frac{R_A}{R} = \frac{\sin\alpha}{\cos\frac{\alpha}{2}} = 2\sin\frac{\alpha}{2}. Similarly we get RBR=2sin⁡β2\frac{R_B}{R} = 2\sin\frac{\beta}{2} and RCR=2sin⁡γ2\frac{R_C}{R} = 2\sin\frac{\gamma}{2}.
To solve the problem we need to prove that RAR+RBR+RCR≤3\frac{R_A}{R} + \frac{R_B}{R} + \frac{R_C}{R} \le 3, or equivalently,
sin⁡α2+sin⁡β2+sin⁡γ2≤32.(6) \sin \frac{\alpha}{2} + \sin \frac{\beta}{2} + \sin \frac{\gamma}{2} \le \frac{3}{2}. \qquad (6)
Applying Jensen's inequality gives
13(sin⁡α2+sin⁡β2+sin⁡γ2)≤sin⁡(α2+β2+γ23)=sin⁡(α+β+γ6)=sin⁡π6=12, \frac{1}{3} \left( \sin \frac{\alpha}{2} + \sin \frac{\beta}{2} + \sin \frac{\gamma}{2} \right) \le \sin \left( \frac{\frac{\alpha}{2} + \frac{\beta}{2} + \frac{\gamma}{2}}{3} \right) = \sin \left( \frac{\alpha + \beta + \gamma}{6} \right) = \sin \frac{\pi}{6} = \frac{1}{2},
which directly implies the necessary result.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.