Maths Olympiad Prep

Library / /136 of 426

Geometry Difficulty 5.3 AIME, harder Prove it Saudi Arabia

Let ABCABC be a non-isosceles triangle with incenter II and let the circumcircle of the triangle ABCABC has radius RR. Let ALAL be the external angle bisector of BAC\angle BAC with LBCL \in BC. Let KK be the point on the perpendicular bisector of BCBC such that ILIKIL \perp IK. Prove that OK=3ROK = 3R.

Solution

Denote MM as the midpoint of the arc BCBC not containing AA of (O)(O), we need to prove MK=2OMMK = 2OM. Denote BD,CEBD, CE as the internal bisectors of ABCABC then D,E,LD, E, L are collinear. Note that L(AI,DB)=1L(AI, DB) = -1 and take the orthogonal projection from II to get (Ix,Iy,IK,IM)=1(Ix, Iy, IK, IM) = -1 in which
IMLA,IKLI,IyLD,IxLB IM \perp LA, IK \perp LI, Iy \perp LD, Ix \perp LB
Suppose that IyIy cuts MKMK at OO', combining with IxMKIx \parallel MK, then OO' is the midpoint of MKMK. Thus it remains to prove MM is the midpoint of OOOO'.
Denote TT as the ex-center with respect to angle AA of triangle ABCABC then MM is the midpoint of ITIT. Then MO=MOMO = MO' if and only if IOOTIO' \parallel OT, or OTDEOT \perp DE.
Now take U,VU, V as the ex-centers with respect to angles B,CB, C of triangle ABCABC then A,B,CA, B, C are the foot of altitudes in triangle TUVTUV and I,OI, O are the orthocenter and nine-point center of that triangle, thus the reflection SS of II over OO is the circumcenter. Note that B,D,UB, D, U and C,E,VC, E, V are collinear then
PD/(O)=DADC=DUDI=PD/(IUV) \mathcal{P}_{D/(O)} = \overline{DA} \cdot \overline{DC} = \overline{DU} \cdot \overline{DI} = \mathcal{P}_{D/(IUV)}
and similarly, PE/(O)=PE/(IUV)\mathcal{P}_{E/(O)} = \mathcal{P}_{E/(IUV)} so DEDE is the radical axis of (O)(O) and (IUV)(IUV) which implies that DEDE is perpendicular to the line joining centers of (O)(O) and (IUV)(IUV). We know that center ZZ of (IUV)(IUV) is the reflection of SS over UVUV, and since IT=2NSIT = 2NS, it is easy to check that ZTOZ \in TO. Thus, we have DEOTDE \perp OT which finishes the proof. \square

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.