Maths Olympiad Prep

Library / APMO /14 of 25

APMO, 2016

Geometry Difficulty 7.7 National Olympiad, round 2 Prove it Asia Pacific Mathematics Olympiad (APMO)

Let ABAB and ACAC be two distinct rays not lying on the same line, and let ω\omega be a circle with center OO that is tangent to ray ACAC at EE and ray ABAB at FF. Let RR be a point on segment EFEF. The line through OO parallel to EFEF intersects line ABAB at PP. Let NN be the intersection of lines PRPR and ACAC, and let MM be the intersection of line ABAB and the line through RR parallel to ACAC. Prove that line MNMN is tangent to ω\omega.

Solution

Figure 1

Let the line through NN tangent to ω\omega at point X≠EX \neq E intersect ABAB at point M′M'. It suffices to show that M′R∥ACM'R \parallel AC, since this would yield M′=MM' = M.
Suppose that the line POPO intersects ACAC at QQ and the circumcircle of AM′OAM'O at YY, respectively. Then
∠AYM′=∠AOM′=90∘−∠M′OP. \angle AYM' = \angle AOM' = 90^\circ - \angle M'OP.
By angle chasing we have ∠EOQ=∠FOP=90∘−∠AOF=∠M′AO=∠M′YP\angle EOQ = \angle FOP = 90^\circ - \angle AOF = \angle M'AO = \angle M'YP and by symmetry ∠EQO=∠M′PY\angle EQO = \angle M'PY. Therefore △M′YP∼△EOQ\triangle M'YP \sim \triangle EOQ.
On the other hand, we have
∠M′OP=∠M′OF+∠FOP=12(∠FOX+∠FOP+∠EOQ)==12(180∘−∠XOE2)=90∘−∠XOE2 \begin{aligned} \angle M'OP &= \angle M'OF + \angle FOP = \frac{1}{2}(\angle FOX + \angle FOP + \angle EOQ) = \\ &= \frac{1}{2}\left(\frac{180^\circ - \angle XOE}{2}\right) = 90^\circ - \frac{\angle XOE}{2} \end{aligned}
Since we know that ∠AYM′\angle AYM' and ∠M′OP\angle M'OP are complementary this implies
∠AYM′=∠XOE2=∠NOE \angle AYM' = \frac{\angle XOE}{2} = \angle NOE
Therefore, ∠AYM′\angle AYM' and ∠NOE\angle NOE are congruent angles, and this means that AA and NN are corresponding points in the similarity of triangles △M′YP\triangle M'YP and △EOQ\triangle EOQ. It follows that
AM′M′P=NEEQ=NRRP \frac{AM'}{M'P} = \frac{NE}{EQ} = \frac{NR}{RP}
We conclude that M′R∥ACM'R \parallel AC, as desired.

As in Solution 1, we introduce point M′M', and reduce the problem to proving PRRN=PM′M′A\frac{PR}{RN} = \frac{PM'}{M'A}. Menelaus theorem in triangle ANPANP with transversal line FREFRE yields
PRRN⋅NEEA⋅AFFP=1. \frac{PR}{RN} \cdot \frac{NE}{EA} \cdot \frac{AF}{FP} = 1.
Since AF=EAAF = EA, we have FPNE=PRRN\frac{FP}{NE} = \frac{PR}{RN}, so that it suffices to prove
FPNE=PM′M′A \begin{equation*} \frac{FP}{NE} = \frac{PM'}{M'A} \tag{1} \end{equation*}
This is a computation regarding the triangle AM′NAM'N and its excircle opposite AA. Indeed, setting a=M′Na = M'N, b=NAb = NA, c=M′Ac = M'A, s=a+b+c2s = \frac{a+b+c}{2}, x=s−ax = s-a, y=s−by = s-b and z=s−cz = s-c, then AE=AF=sAE = AF = s, M′F=zM'F = z and NE=yNE = y. From △OFP∼△AFO\triangle OFP \sim \triangle AFO we have FP=ra2sFP = \frac{r_a^2}{s}, where ra=OFr_a = OF is the exradius opposite AA. Combining the following two standard formulas for the area of a triangle
∣AM′N∣2=xyzs(Heron’s formula) and∣AM′N∣=ra(s−a), |AM'N|^2 = x y z s \quad \text{(Heron's formula) and} \quad |AM'N| = r_a(s-a),
we have ra2=yzsxr_a^2 = \frac{y z s}{x}. Therefore, FP=yzxFP = \frac{y z}{x}. We can now write everything in (1) in terms of x,y,zx, y, z. We conclude that we have to verify
yzxy=z+yzxx+y, \frac{\frac{y z}{x}}{y} = \frac{z + \frac{y z}{x}}{x + y},
which is easily seen to be true.

As in Solution 1, we introduce point M′M'. Let the line through M′M' and parallel to ANAN intersect EFEF at R′R'. Let P′P' be the intersection of lines NR′NR' and AMAM. It suffices to show that P′O∥FEP'O \parallel FE, since this would yield P=P′P = P', and then R=R′R = R' and M=M′M = M'. Hence it is enough to prove that
AFFP′=ADDO, \begin{equation*} \frac{AF}{FP'} = \frac{AD}{DO}, \tag{2} \end{equation*}
where DD is the intersection of AOAO and EFEF. Once again, this reduces to a computation regarding the triangle AM′NAM'N and its excircle opposite AA.
Let u=P′Fu = P'F and x,y,z,sx, y, z, s as in Solution 2a. Note that since AE=AFAE = AF and M′R′∥AEM'R' \parallel AE, we have M′R′=M′F=zM'R' = M'F = z. Since M′R′∥ANM'R' \parallel AN, we have P′M′P′A=M′R′NA\frac{P'M'}{P'A} = \frac{M'R'}{NA}, that is,
u+zu+x+y+z=zx+z \frac{u + z}{u + x + y + z} = \frac{z}{x + z}
From this last equation we obtain u=yzxu = \frac{y z}{x}. Hence AFFP′=xsyz\frac{AF}{FP'} = \frac{x s}{y z}. Also, as in Solution 2a, we have ra2=yzsxr_a^2 = \frac{y z s}{x}.
Finally, using similar triangles ODF,FDAODF, FDA and OFAOFA, and the above equalities, we have
ADDO=ADDF⋅DFDO=AFOF⋅AFOF=s2ra2=s2yzsx=xsyz=AFFP′, \frac{AD}{DO} = \frac{AD}{DF} \cdot \frac{DF}{DO} = \frac{AF}{OF} \cdot \frac{AF}{OF} = \frac{s^2}{r_a^2} = \frac{s^2}{\frac{y z s}{x}} = \frac{x s}{y z} = \frac{AF}{FP'},
as required.

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.