Maths Olympiad Prep

Library / /90 of 169

Geometry Difficulty 7.4 National Olympiad, round 2 Prove it United States

Let ABCABC be an acute, scalene triangle, and let MM, NN, and PP be the midpoints of BC\overline{BC}, CA\overline{CA}, and AB\overline{AB}, respectively. Let the perpendicular bisectors of AB\overline{AB} and AC\overline{AC} intersect ray AMAM in points DD and EE respectively, and let lines BDBD and CECE intersect in point FF, inside of triangle ABCABC. Prove that points AA, NN, FF, and PP all lie on one circle.

Solution

Assume without loss of generality that AB>ACAB > AC, and we consider the configuration shown below. Our proof can be modified for other configurations.
Let OO be the circumcenter of triangle ABCABC. Point DD lies on POPO, which is the perpendicular bisector of segment ABAB. Thus, ABOABO is an isosceles triangle with AD=BDAD = BD. Likewise, AECAEC is isosceles with AE=ECAE = EC. Set x=ABD=BADx = \angle ABD = \angle BAD and y=CAE=ACEy = \angle CAE = \angle ACE. (Hence x+y=BACx + y = \angle BAC.)
Applying the law of sines to triangles ABMABM and ACMACM gives
BMsinx=ABsinBMAandCMsiny=ACsinCMA. \frac{BM}{\sin x} = \frac{AB}{\sin \angle BMA} \quad \text{and} \quad \frac{CM}{\sin y} = \frac{AC}{\sin \angle CMA}.
Dividing the two equations yields
BMCMsinysinx=ABACsinBMAsinCMA=ACAB, \frac{BM}{CM} \cdot \frac{\sin y}{\sin x} = \frac{AB}{AC} \cdot \frac{\sin \angle BMA}{\sin \angle CMA} = \frac{AC}{AB},
since sinBMA=sinCMA\sin \angle BMA = \sin \angle CMA (as they are supplementary angles). Therefore,
BM=MCif and only ifsinxsiny=ACAB.() BM = MC \quad \text{if and only if} \quad \frac{\sin x}{\sin y} = \frac{AC}{AB}. \qquad (*)
Applying the law of sines to triangles ABFABF and ACFACF gives
AFsinx=ABsinAFBandAFsiny=ACsinAFC. \frac{AF}{\sin x} = \frac{AB}{\sin \angle AFB} \quad \text{and} \quad \frac{AF}{\sin y} = \frac{AC}{\sin \angle AFC}.
Dividing these two equations and noting (*) yields
sinysinx=ABACsinAFBsinAFCorsinAFB=sinAFC. \frac{\sin y}{\sin x} = \frac{AB}{AC} \cdot \frac{\sin \angle AFB}{\sin \angle AFC} \quad \text{or} \quad \sin \angle AFB = \sin \angle AFC.
Since ADF\angle ADF is an exterior angle of triangle ABOABO, EDF=2x\angle EDF = 2x. Likewise, DEF=2y\angle DEF = 2y. Thus EFD=1802x2y=1802BAC\angle EFD = 180^\circ - 2x - 2y = 180^\circ - 2\angle BAC. Hence BFC=2BAC\angle BFC = 2\angle BAC (and so BOFCBOFC is cyclic), implying that AFB+AFC=3602BAC>180\angle AFB + \angle AFC = 360^\circ - 2\angle BAC > 180^\circ (since BAC<90\angle BAC < 90^\circ). We must have AFB=AFC=180BAC\angle AFB = \angle AFC = 180^\circ - \angle BAC. Since BOFCBOFC is cyclic and BOCBOC is isosceles with vertex angle BOC=2BACBOC = 2\angle BAC, OFB=OCB=90BAC\angle OFB = \angle OCB = 90^\circ - \angle BAC. Therefore,
AFO=AFBOFB=180BAC(90BAC)=90. \angle AFO = \angle AFB - \angle OFB = 180^\circ - \angle BAC - (90^\circ - \angle BAC) = 90^\circ.
Since APO=AFO=ANO=90\angle APO = \angle AFO = \angle ANO = 90^\circ, points AA, PP, OO, FF, NN lie on a circle.

Solution 2:

We maintain the notations in the first proof. Let RR denote the intersection of lines MPMP and CECE. Let ω\omega denote the circumcircle of APONAPON. We claim that RR lies on ω\omega. Note that AECAEC is isosceles, so that MERMER is also isosceles, and so ARMCARMC is an isosceles trapezoid, hence cyclic. Since PNMCPN \parallel MC, ARPNARPN is also cyclic.
As in the above proof, we can show that BFOCBFOC is cyclic. Then RFO=OBC=90A\angle RFO = \angle OBC = 90^\circ - \angle A. Moreover, RAO=RACOAC=C(90B)=90A\angle RAO = \angle RAC - \angle OAC = \angle C - (90^\circ - \angle B) = 90^\circ - \angle A. Thus AROFAROF is cyclic, so that ARPOFNARPOFN is cyclic.

Solution 3:

We maintain the notations in the first proof. Assume without loss of generality that AB>ACAB > AC, and we consider the configuration shown below. Our proof can be modified for other configurations.
Since OPB=OMB=OMC=ONC=90\angle OPB = \angle OMB = \angle OMC = \angle ONC = 90^\circ, BPOMBPOM and CNOMCNOM are cyclic. Let ray AMAM meet the circumcircles of BPOMBPOM and CNOMCNOM at XX and YY (different from MM), respectively. We have
OXY=OXM=OBM=OBC=BCO=MCO=MYO=XYO; \angle OXY = \angle OXM = \angle OBM = \angle OBC = \angle BCO = \angle MCO = \angle MYO = \angle XYO;
that is, triangle OXYOXY is similar to triangle OBCOBC. and the rotation centered at OO that takes one to the other. In particular, XOY=BAC\angle XOY = \angle BAC. Note also that APONAPON is cyclic, implying that NOD=PAN=BAC\angle NOD = \angle PAN = \angle BAC. Hence, XOY=2NOD\angle XOY = 2\angle NOD. Combining the facts that OX=OYOX = OY and XOY=2NOD\angle XOY = 2\angle NOD, we conclude that the image of XX under the reflection through line ODOD (denoted by ROPR_{OP}) is the same as that of YY under the reflection through line ONON (denoted by RONR_{ON}). Let F1F_1 denote this common image. Note that the image of line AYEAYE under RONR_{ON} is line CF1ECF_1E, and the image of line ADXADX under ROPR_{OP} is line BDF1BDF_1. Therefore, F1F_1 lies on lines CECE and BDBD; that is, F1=FF_1 = F.
On the other hand, since XX lies on the circumcircle of MBPOMBPO, F=F1F = F_1 must lie on its image under ROPR_{OP}, which is the circumcircle of NAPONAPO.

Solution 4:

Invert the figure about a circle centered at AA, and let IXI_X denote the image of the point XX under this inversion. Find point GG so that AIBIGICAI_B I_G I_C is a parallelogram and let IZI_Z denote the center of this parallelogram. Note that triangle BACBAC is similar to triangle ICAIBI_C AI_B and triangles BADBAD and IDAIBI_D AI_B. Because MM is the midpoint of ABAB and IZI_Z is the midpoint of IBICI_B I_C, we also have the similarity between the triangles BAMBAM and ICAIZI_C AI_Z. Thus
AIGIB=IGAIC=ZAIC=MAB=DAB=DBA=AIDIB. \angle AI_G I_B = \angle I_G AI_C = \angle ZAI_C = \angle MAB = \angle DAB = \angle DBA = \angle AI_D I_B.
Hence quadrilateral AIBIDIGAI_BI_DI_G is cyclic and, by a similar argument, quadrilateral AICIEIGAI_CI_EI_G is also cyclic. Because the images under the inversion of lines BDFBDF and CFECFE are circles that intersect in AA and IFI_F, it follows that IG=IFI_G = I_F; that is, G=FG = F.
Next note that IB,IZI_B, I_Z, and ICI_C are collinear and are the images of IP,IFI_P, I_F (or IGI_G), and INI_N, respectively, under a homothety centered at AA and with ratio 1/21/2. It follows that IP,IFI_P, I_F and INI_N are collinear, and then that the points A,P,FA, P, F and NN lie on a circle.

Solution 5:

Let AA be the origin and denote the complex number of each point by the corresponding lowercase letter. Note that 2n=c2n = c and 2p=b2p = b. Define point F2F_2 such that
f2=2npm=cpm=bnm; f_2 = \frac{2np}{m} = \frac{cp}{m} = \frac{bn}{m};
that is
f2c=pmandf2b=nm.() \frac{f_2}{c} = \frac{p}{m} \quad \text{and} \quad \frac{f_2}{b} = \frac{n}{m}. \qquad (**)
The first equation in ()(**) implies that triangles AF2CAF_2C and APMAPM are similar (and have the same orientation). Hence
ACF2=AMP=MAC=EAC=ECA; \angle ACF_2 = \angle AMP = \angle MAC = \angle EAC = \angle ECA;
that is, F2F_2 lies on line ECEC. Similarly, the second equation in ()(**) shows that F2F_2 lies on line BDBD. Thus, F2F_2 lies on both BDBD and CECE; that is, F2=FF_2 = F.
We have established the similarity between triangle AFCAFC (which is AF2CAF_2C) and triangle APMAPM. Thus, triangle ACMACM is similar to triangle AFPAFP (because of spiral similarities about AA). Hence AFP=ACM=ANP\angle AFP = \angle ACM = \angle ANP, implying that ANFPANFP is cyclic.

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.