Maths Olympiad Prep

Library / /12 of 40

Geometry Difficulty 5.5 AIME, harder Prove it China

Let O,IO, I be the circumcenter and incenter of ABC\triangle ABC. Prove that, for an arbitrary point DD on the circle OO, one can construct a triangle DEFDEF, such that O,IO, I are the circumcenter and incenter of DEF\triangle DEF. (Posed by Tao Pingsheng)
Figure 1

Solution

As shown in Fig. 2, let OI=dOI = d, RR, rr be the circumradius and incircle radius of ABC\triangle ABC. The point KK is the intersection of AIAI and the circle OO; then
KI=KB=2RsinBAC2, KI = KB = 2R \sin \frac{\angle BAC}{2},
AI=rsinBAC2. AI = \frac{r}{\sin \frac{\angle BAC}{2}}.
Figure 2
Fig. 2
Let the points M,NM, N be the intersections of the line OIOI and the circle OO; then
(R+d)(Rd)=IM×IN=AI×KI=2Rr, (R+d)(R-d) = IM \times IN = AI \times KI = 2Rr,
i.e. R2d2=2RrR^2 - d^2 = 2Rr.

Now draw the tangents DE,DFDE, DF from DD to the circle II. The points E,FE, F are on the circle OO. Then DIDI is the bisector of EDF\angle EDF. It is enough to prove that EFEF is tangent to the circle II.

Let PP be the intersection of the line DIDI and the circle OO. Then PP is the midpoint of the arc EFEF, and
PE=2RsinEDF2,DI=rsinEDF2, PE = 2R \sin \frac{\angle EDF}{2}, \quad DI = \frac{r}{\sin \frac{\angle EDF}{2}},
IDIP=IMIN=(R+d)(Rd)=R2d2, ID \cdot IP = IM \cdot IN = (R+d)(R-d) = R^2 - d^2,
and so
PI=R2d2DI=R2d2rsinEDF2=2RsinEDF2=PE. PI = \frac{R^2 - d^2}{DI} = \frac{R^2 - d^2}{r} \cdot \sin \frac{\angle EDF}{2} = 2R \sin \frac{\angle EDF}{2} = PE.
As II is on the bisector of EDF\angle EDF, we can see that II is the incenter of DEF\triangle DEF [because PEI=PIE=12(180EPD)=12(180DFE)=EDF+DEF2\angle PEI = \angle PIE = \frac{1}{2}(180^\circ - \angle EPD) = \frac{1}{2}(180^\circ - \angle DFE) = \frac{\angle EDF + \angle DEF}{2}, and PEF=EDF2\angle PEF = \frac{\angle EDF}{2}; so FEI=DEF2\angle FEI = \frac{\angle DEF}{2}]. EFEF is tangent to the circle II.

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 and solution reproduced as published; topic and difficulty added by this site.