Maths Olympiad Prep

Library / /5 of 8

, 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 XEX \neq E intersect ABAB at point MM'. It suffices to show that MRACM'R \parallel AC, since this would yield M=MM' = M.
Suppose that the line POPO intersects ACAC at QQ and the circumcircle of AMOAM'O at YY, respectively. Then
AYM=AOM=90MOP. \angle AYM' = \angle AOM' = 90^\circ - \angle M'OP.
By angle chasing we have EOQ=FOP=90AOF=MAO=MYP\angle EOQ = \angle FOP = 90^\circ - \angle AOF = \angle M'AO = \angle M'YP and by symmetry EQO=MPY\angle EQO = \angle M'PY. Therefore MYPEOQ\triangle M'YP \sim \triangle EOQ.
On the other hand, we have
MOP=MOF+FOP=12(FOX+FOP+EOQ)==12(180XOE2)=90XOE2 \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 MOP\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 MYP\triangle M'YP and EOQ\triangle EOQ. It follows that
AMMP=NEEQ=NRRP \frac{AM'}{M'P} = \frac{NE}{EQ} = \frac{NR}{RP}
We conclude that MRACM'R \parallel AC, as desired.

As in Solution 1, we introduce point MM', and reduce the problem to proving PRRN=PMMA\frac{PR}{RN} = \frac{PM'}{M'A}. Menelaus theorem in triangle ANPANP with transversal line FREFRE yields
PRRNNEEAAFFP=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=PMMA \begin{equation*} \frac{FP}{NE} = \frac{PM'}{M'A} \tag{1} \end{equation*}
This is a computation regarding the triangle AMNAM'N and its excircle opposite AA. Indeed, setting a=MNa = M'N, b=NAb = NA, c=MAc = M'A, s=a+b+c2s = \frac{a+b+c}{2}, x=sax = s-a, y=sby = s-b and z=scz = s-c, then AE=AF=sAE = AF = s, MF=zM'F = z and NE=yNE = y. From OFPAFO\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
AMN2=xyzs(Heron’s formula) andAMN=ra(sa), |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 MM'. Let the line through MM' and parallel to ANAN intersect EFEF at RR'. Let PP' be the intersection of lines NRNR' and AMAM. It suffices to show that POFEP'O \parallel FE, since this would yield P=PP = P', and then R=RR = R' and M=MM = 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 AMNAM'N and its excircle opposite AA.
Let u=PFu = P'F and x,y,z,sx, y, z, s as in Solution 2a. Note that since AE=AFAE = AF and MRAEM'R' \parallel AE, we have MR=MF=zM'R' = M'F = z. Since MRANM'R' \parallel AN, we have PMPA=MRNA\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=ADDFDFDO=AFOFAFOF=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,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.