Maths Olympiad Prep

Library / /475 of 520

Geometry Difficulty 5.9 AIME, harder Prove it

Let ABC\triangle A B C have a circumradius R=1R=1, and an inradius rr. The inradius of its pedal triangle AbCA^{\prime} b^{\prime} C^{\prime} is pp. Prove: p113(1+r)2p \leqslant 1-\frac{1}{3}(1+r)^{2}.

Solution

Prove that B,C,B,CB^{\prime}, C^{\prime}, B, C are concyclic.
ACB=ACB\angle A C^{\prime} B^{\prime}=\angle A C B.
Thus, ACBACB\triangle A C^{\prime} B^{\prime} \backsim \triangle A C B.
Therefore, BCBC=ABAB=cosA\frac{B^{\prime} C^{\prime}}{B C}=\frac{A B^{\prime}}{A B}=\cos A.
So, BC=BCcosAB^{\prime} C^{\prime}=B C \cos A
=2RsinAcosA=2 R \sin A \cos A.
B
From A,C,A,CA^{\prime}, C^{\prime}, A, C being concyclic, we get BAC=A\angle B A^{\prime} C^{\prime}=\angle A.
Similarly, BAC=A\angle B^{\prime} A^{\prime} C=\angle A.
Thus, BAC=1802A\angle B^{\prime} A^{\prime} C^{\prime}=180^{\circ}-2 \angle A.
Let the circumradius of ABC\triangle A^{\prime} B^{\prime} C^{\prime} be RR^{\prime}. Then,
BCsin(1802A)=2R, \frac{B^{\prime} C^{\prime}}{\sin \left(180^{\circ}-2 \angle A\right)}=2 R^{\prime},

which means 2RsinAcosAsin2A=2R\frac{2 R \sin A \cos A}{\sin 2 A}=2 R^{\prime}.
Hence, R=12R=12R^{\prime}=\frac{1}{2} R=\frac{1}{2}.
By Euler's inequality, R2p,pR2=14R^{\prime} \geqslant 2 p, p \leqslant \frac{R^{\prime}}{2}=\frac{1}{4}.
By R2r,r12R \geqslant 2 r, r \leqslant \frac{1}{2}, we have
13(1+r)234\frac{1}{3}(1+r)^{2} \leqslant \frac{3}{4}.
Thus, 113(1+r)2141-\frac{1}{3}(1+r)^{2} \geqslant \frac{1}{4}.
Therefore, p14113(1+r)2p \leqslant \frac{1}{4} \leqslant 1-\frac{1}{3}(1+r)^{2}.
Hence, the original problem can be strengthened to p14p \leqslant \frac{1}{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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.