Maths Olympiad Prep

Library / /14 of 15

Geometry Difficulty 7.5 National Olympiad, round 2 Prove it Zhautykov Olympiad

Problem:
A convex hexagon ABCDEFA B C D E F is inscribed in a circle with radius RR. Diagonals ADA D and BEB E, BEB E and CFC F, ADA D and CFC F of the hexagon meet at points MM, NN, KK respectively. Let r1,r2,r3,r4,r5,r6r_{1}, r_{2}, r_{3}, r_{4}, r_{5}, r_{6} be the inradii of the triangles ABMA B M, BCNB C N, CDKC D K, DEMD E M, EFNE F N, AFKA F K respectively. Prove that r1+r2+r3+r4+r5+r6R3r_{1}+r_{2}+r_{3}+r_{4}+r_{5}+r_{6} \leqslant R \sqrt{3}.

Solution

Solution:
We start with a lemma.

Lemma. Let RR be the circumradius of a quadrilateral XYZTX Y Z T, the diagonals of XYZTX Y Z T meet at UU, and φ=12XUY\varphi=\frac{1}{2} \angle X U Y. Then the radii r1r_{1} and r2r_{2} of the incentres of XYUX Y U and ZTUZ T U satisfy
r1+r2R2tanφ(1sinφ) \frac{r_{1}+r_{2}}{R} \leqslant 2 \tan \varphi(1-\sin \varphi)
Indeed, let UXY=2ψ\angle U X Y=2 \psi, UYX=2ϑ\angle U Y X=2 \vartheta, then UTZ=UXY=2ψ\angle U T Z=\angle U X Y=2 \psi, UZT=UYX=2ϑ\angle U Z T=\angle U Y X=2 \vartheta (and obviously ψ+ϑ+φ=π2\psi+\vartheta+\varphi=\frac{\pi}{2}). We have XY+ZT=(r1+r2)(cotψ+cotϑ)=2RsinXTY+2Rsin(2φXTY)=2R(sinXTY+sin(2φXTY))=2R2sinφcos(φXTY)4RsinφX Y+Z T=\left(r_{1}+r_{2}\right)(\cot \psi+\cot \vartheta)=2 R \sin \angle X T Y+2 R \sin (2 \varphi-\angle X T Y)=2 R(\sin \angle X T Y+\sin (2 \varphi-\angle X T Y))=2 R \cdot 2 \sin \varphi \cos (\varphi-\angle X T Y) \leqslant 4 R \sin \varphi. Therefore
r1+r2R4sinφcotψ+cotϑ=4sinφsinψsinϑsin(ψ+ϑ)=4sinφsinψsinϑcosφ=4tanφsinψsinϑ==4tanφ12(cos(ψϑ)cos(ψ+ϑ))2tanφ(1sinφ) \begin{gathered} \frac{r_{1}+r_{2}}{R} \leqslant \frac{4 \sin \varphi}{\cot \psi+\cot \vartheta}=\frac{4 \sin \varphi \sin \psi \sin \vartheta}{\sin (\psi+\vartheta)}=\frac{4 \sin \varphi \sin \psi \sin \vartheta}{\cos \varphi}=4 \tan \varphi \sin \psi \sin \vartheta= \\ =4 \tan \varphi \cdot \frac{1}{2}(\cos (\psi-\vartheta)-\cos (\psi+\vartheta)) \leqslant 2 \tan \varphi(1-\sin \varphi) \end{gathered}
q.e.d.

Returning to the problem, let AMB=2α\angle A M B=2 \alpha, BNC=2β\angle B N C=2 \beta, CKD=2γ\angle C K D=2 \gamma, then α+β+γ=π2\alpha+\beta+\gamma=\frac{\pi}{2}.

Applying the inequality (1) to the quadrilaterals ABDEA B D E, BCEFB C E F and CDFAC D F A we get
r1+r2+r3+r4+r5+r6R=r1+r4R+r2+r5R+r3+r6R2tanα(1sinα)+2tanβ(1sinβ)+2tanγ(1sinγ) \frac{r_{1}+r_{2}+r_{3}+r_{4}+r_{5}+r_{6}}{R}=\frac{r_{1}+r_{4}}{R}+\frac{r_{2}+r_{5}}{R}+\frac{r_{3}+r_{6}}{R} \leqslant 2 \tan \alpha(1-\sin \alpha)+2 \tan \beta(1-\sin \beta)+2 \tan \gamma(1-\sin \gamma)
We claim that if α+β+γ=π2\alpha+\beta+\gamma=\frac{\pi}{2} then
2tanα(1sinα)+2tanβ(1sinβ)+2tanγ(1sinγ)3 2 \tan \alpha(1-\sin \alpha)+2 \tan \beta(1-\sin \beta)+2 \tan \gamma(1-\sin \gamma) \leqslant \sqrt{3}
To prove that we consider the function f(x)=2tanx(1sinx)f(x)=2 \tan x(1-\sin x) for x(0;π2)x \in\left(0 ; \frac{\pi}{2}\right).
Since f(x)=2(1sinx)2+cos4xcos3x<0f''(x)=-2 \frac{(1-\sin x)^{2}+\cos ^{4} x}{\cos ^{3} x}<0 for x(0;π2)x \in\left(0 ; \frac{\pi}{2}\right), it follows from Jensen's inequality that
f(α)+f(β)+f(γ)3f(α+β+γ3)=3f(π6)=3 f(\alpha)+f(\beta)+f(\gamma) \leqslant 3 f\left(\frac{\alpha+\beta+\gamma}{3}\right)=3 f\left(\frac{\pi}{6}\right)=\sqrt{3}
Thus (2) is proved, and r1+r2+r3+r4+r5+r63Rr_{1}+r_{2}+r_{3}+r_{4}+r_{5}+r_{6} \leqslant \sqrt{3} R.

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.