Maths Olympiad Prep

Library / /506 of 520

Geometry Difficulty 4.6 AIME Prove it

(Zuming Feng) 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

Solution 1 (synthetic)
Without Loss of Generality, assume AB>ACAB >AC. It is sufficient to prove that OFA=90\angle OFA = 90^{\circ}, as this would immediately prove that A,P,O,F,NA,P,O,F,N are concyclic.
By applying the Menelaus' Theorem in the Triangle BFC\triangle BFC for the transversal E,M,DE,M,D, we have (in magnitude)
FEECCMMBBDDF=1    FEEC=DFBD\frac{FE}{EC} \cdot \frac{CM}{MB} \cdot \frac{BD}{DF} = 1 \iff \frac{FE}{EC} = \frac{DF}{BD}
Here, we used that BM=MCBM=MC, as MM is the midpoint of BCBC. Now, since EC=EAEC =EA and BD=DABD=DA, we have
FEEA=DFDA    DAAE=DFFE    AF bisects exterior EFD\frac{FE}{EA} = \frac{DF}{DA} \iff \frac{DA}{AE} = \frac{DF}{FE} \iff AF \text{ bisects exterior } \angle EFD
Now, note that OEOE bisects the exterior FED\angle FED and ODOD bisects exterior FDE\angle FDE, making OO the FF-excentre of FED\triangle FED. This implies that OFOF bisects interior EFD\angle EFD, making OFAFOF \perp AF, as was required.

Solution 2 (complex)
Let A=1,B=b,C=cA=1,B=b,C=c where b,cb,c all lie on the unit circle. Then OO is 0. As noted earlier, (FOBC)(FOBC) is cyclic. We will find the ghost point F,F', the second intersection of OBCOBC and ANPANP.
We know that these two circles already intersect at OO so we can reflect over the line between their centers. The center of ANPOANPO is the midpoint of AOAO namely 12\frac12. With the tangent formula and then taking the midpoint, we find that the center of OBCOBC is bcb+c.\frac{bc}{b+c}. Then we want to find the reflection of 0 over the line through 12\frac12 and bcb+c.\frac{bc}{b+c}. Then we get
f=(bcb+cbcb+c)÷2(1/2)bcb+c=bc12(b+c)b+c22(b+c)=bc1b+c2.\begin{align*} f' &= \frac{\left(\frac{bc}{b+c}-\overline{\frac{bc}{b+c}}\right)\div2}{(1/2)-\overline{\frac{bc}{b+c}}}\\ &= \frac{\frac{bc-1}{2(b+c)}}{\frac{b+c-2}{2(b+c)}}\\ &= \frac{bc-1}{b+c-2}. \end{align*}
Now it remains to show FBA=ABM;\angle F'BA=\angle ABM; the other angle equality would follow by symmetry.
Then we get:
fbba÷baam=bc1b+c2bb1÷b11b+c2=bc1b(b+c2)b+c2(2b+c)2(b1)2=b22b+12(b1)2=12.\begin{align*} \frac{f'-b}{b-a}\div\frac{b-a}{a-m} &=\frac{\frac{bc-1}{b+c-2}-b}{b-1}\div\frac{b-1}{1-\frac{b+c}2}\\ &=\frac{\frac{bc-1-b(b+c-2)}{b+c-2}(2-b+c)}{2(b-1)^2}\\ &=\frac{b^2-2b+1}{2(b-1)^2}\\ &=\frac12. \end{align*}
Thus FBA=BAM,\measuredangle F'BA=\measuredangle BAM, so F=FF'=F and we're done.
~cocohearts

Solution 3 (synthetic)

Without loss of generality AB180AB 180^\circ so AFC=AFB\angle AFC = \angle AFB.
Then FAB+ABF=180AFB=180AFC=FAC+ACF\angle FAB + \angle ABF = 180^\circ - \angle AFB = 180^\circ - \angle AFC = \angle FAC + \angle ACF and ABF+ACF=A=FAB+FAC\angle ABF + \angle ACF = \angle A = \angle FAB + \angle FAC. Subtracting these two equations, FABFCA=FCAFAB\angle FAB - \angle FCA = \angle FCA - \angle FAB so BAF=ACF\angle BAF = \angle ACF. Therefore, ABFCAF\triangle ABF\sim\triangle CAF (by AA similarity), so a spiral similarity centered at FF takes BB to AA and AA to CC. Therefore, it takes the midpoint of BA\overline{BA} to the midpoint of AC\overline{AC}, or PP to NN. So APF=CNF=180ANF\angle APF = \angle CNF = 180^\circ - \angle ANF and APFNAPFN is cyclic.

Solution 6 (isogonal conjugates)

Figure (Asymptote source)
/* setup and variables */ size(280); pathpen = black + linewidth(0.7); pointpen = black; pen s = fontsize(8); pair B=(0,0),C=(5,0),A=(4,4); /* A.x > C.x/2 */   /* construction and drawing */ pair P=(A+B)/2,M=(B+C)/2,N=(A+C)/2,D=IP(A--M,P--P+5*(P-bisectorpoint(A,B))),E=IP(A--M,N--N+5*(bisectorpoint(A,C)-N)),F=IP(B--B+5*(D-B),C--C+5*(E-C)),O=circumcenter(A,B,C); D(MP("A",A,(0,1),s)--MP("B",B,SW,s)--MP("C",C,SE,s)--A--MP("M",M,s)); D(C--D(MP("E",E,NW,s))--MP("N",N,(1,0),s)--D(MP("O",O,SW,s))); D(D(MP("D",D,SE,s))--MP("P",P,W,s)); D(B--D(MP("F",F,s))); D(O--A--F,linetype("4 4")+linewidth(0.7)); D(MP("O'",circumcenter(A,P,N),NW,s)); D(circumcircle(A,P,N),linetype("4 4")+linewidth(0.7)); D(rightanglemark(A,P,D,3.5));D(rightanglemark(A,N,E,3.5)); picture p = new picture; draw(p,circumcircle(B,O,C),linetype("1 4")+linewidth(0.7)); draw(p,circumcircle(A,B,C),linetype("1 4")+linewidth(0.7)); clip(p,B+(-5,0)--B+(-5,A.y+2)--C+(5,A.y+2)--C+(5,0)--cycle); add(p);

Construct TT on AMAM such that BCT=ACF\angle BCT = \angle ACF. Then BCT=CAM\angle BCT = \angle CAM. Then AMCCMT\triangle AMC\sim\triangle CMT, so AMCM=CMTM\frac {AM}{CM} = \frac {CM}{TM}, or AMBM=BMTM\frac {AM}{BM} = \frac {BM}{TM}. Then AMBBMT\triangle AMB\sim\triangle BMT, so CBT=BAM=FBA\angle CBT = \angle BAM = \angle FBA. Then we have
CBT=ABF\angle CBT = \angle ABF and BCT=ACF\angle BCT = \angle ACF. So TT and FF are isogonally conjugate. Thus BAF=CAM\angle BAF = \angle CAM. Then
AFB=180ABFBAF=180BAMCAM=180BAC\angle AFB = 180 - \angle ABF - \angle BAF = 180 - \angle BAM - \angle CAM = 180 - \angle BAC.
If OO is the circumcenter of ABC\triangle ABC then BFC=2BAC=BOC\angle BFC = 2\angle BAC = \angle BOC so BFOCBFOC is cyclic. Then BFO=180BOC=180(90BAC)=90+BAC\angle BFO = 180 - \angle BOC = 180 - (90 - \angle BAC) = 90 + \angle BAC.
Then AFO=360AFBBFO=360(180BAC)(90+BAC)=90\angle AFO = 360 - \angle AFB - \angle BFO = 360 - (180 - \angle BAC) - (90 + \angle BAC) = 90. Then AFO\triangle AFO is a right triangle.
Now by the homothety centered at AA with ratio 12\frac {1}{2}, BB is taken to PP and CC is taken to NN. Thus OO is taken to the circumcenter of APN\triangle APN and is the midpoint of AOAO, which is also the circumcenter of AFO\triangle AFO, so A,P,N,F,OA,P,N,F,O all lie on a circle.

Solution 7 (symmedians)
Median AMAM of a triangle ABCABC implies sinBAMsinCAM=sinBsinC\frac {\sin{BAM}}{\sin{CAM}} = \frac {\sin{B}}{\sin{C}}.
Trig ceva for FF shows that AFAF is a symmedian.
Then FPFP is a median, use the lemma again to show that AFP=CAFP = C, and similarly AFN=BAFN = B, so you're done.

Solution 8 (inversion) (Official Solution #2)
Invert the figure about a circle centered at AA, and let XX' denote the image of the point XX under this inversion. Find point F1F_1' so that ABF1CAB'F_1'C' is a parallelogram and let ZZ' denote the center of this parallelogram. Note that BACCAB\triangle BAC\sim\triangle C'AB' and BADDAB\triangle BAD\sim\triangle D'AB'. Because MM is the midpoint of BCBC and ZZ' is the midpoint of BCB'C', we also have BAMCAZ\triangle BAM\sim\triangle C'AZ'. Thus
AF1B=F1AC=ZAC=MAB=DAB=DBA=ADB.\angle AF_1'B' = \angle F_1'AC' = \angle Z'AC' = \angle MAB = \angle DAB = \angle DBA = \angle AD'B'.
Hence quadrilateral ABDF1AB'D'F_1' is cyclic and, by a similar argument, quadrilateral ACEF1AC'E'F_1' is also cyclic. Because the images under the inversion of lines BDFBDF and CFECFE are circles that intersect in AA and FF', it follows that F1=FF_1' = F'.
Next note that BB', ZZ', and CC' are collinear and are the images of PP', FF', and NN', respectively, under a homothety centered at AA and with ratio 1/21/2. It follows that PP', FF', and NN' are collinear, and then that the points AA, PP, FF, and NN lie on a circle.

2008usamo2-sol8.png
Solution 9 (Official Solution #1)
Let OO be the circumcenter of triangle ABCABC. We prove that
APO=ANO=AFO=90.(1)\angle APO = \angle ANO = \angle AFO = 90^\circ.\qquad\qquad (1)
It will then follow that A,P,O,F,NA, P, O, F, N lie on the circle with diameter AO\overline{AO}. Indeed, the fact that the first two angles in (1)(1) are right is immediate because OP\overline{OP} and ON\overline{ON} are the perpendicular bisectors of AB\overline{AB} and AC\overline{AC}, respectively. Thus we need only prove that AFO=90\angle AFO = 90^\circ.

2008usamo2-sol9.png
We may assume, without loss of generality, that AB>ACAB > AC. This leads to configurations similar to the ones shown above. The proof can be adapted to other configurations. Because PO\overline{PO} is the perpendicular bisector of AB\overline{AB}, it follows that triangle ADBADB is an isosceles triangle with AD=BDAD = BD. Likewise, triangle AECAEC is isosceles with AE=CEAE = CE. Let x=ABD=BADx = \angle ABD = \angle BAD and y=CAE=ACEy = \angle CAE = \angle ACE, so 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}.
Taking the quotient of the two equations and noting that sinBMA=sinCMA\sin\angle BMA = \sin\angle CMA, we find
BMCMsinysinx=ABACsinCMAsinBMA=ABAC.\frac{BM}{CM}\frac{\sin y}{\sin x} = \frac{AB}{AC}\frac{\sin\angle CMA}{\sin\angle BMA} = \frac{AB}{AC}.
Because BM=MCBM = MC, we have
sinxsiny=ACAB.(2)\frac{\sin x}{\sin y} = \frac{AC}{AB}.\qquad\qquad (2)
Applying the Law of Sines to triangles ABFABF and ACFACF, we find
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}.
Taking the quotient of the two equations yields
sinxsiny=ACABsinAFBsinAFC,\frac{\sin x}{\sin y} = \frac{AC}{AB}\frac{\sin\angle AFB}{\sin\angle AFC},
so by (2)(2),
sinAFB=sinAFC.(3)\sin\angle AFB = \sin\angle AFC.\qquad\qquad (3)
Because ADF\angle ADF is an exterior angle to triangle ADBADB, we have EDF=2x\angle EDF = 2x. Similarly, DEF=2y\angle DEF = 2y. Hence
EFD=1802x2y=1802BAC.\angle EFD = 180^\circ - 2x - 2y = 180^\circ - 2\angle BAC.
Thus BFC=2BAC=BOC\angle BFC = 2\angle BAC = \angle BOC, so BOFCBOFC is cyclic. In addition,
AFB+AFC=3602BAC>180,\angle AFB + \angle AFC = 360^\circ - 2\angle BAC > 180^\circ,
and hence, from (3)(3), AFB=AFC=180BAC\angle AFB = \angle AFC = 180^\circ - \angle BAC. Because BOFCBOFC is cyclic and BOC\triangle BOC is isosceles with vertex angle BOC=2BAC\angle BOC = 2\angle BAC, we have 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.
This completes the proof.

Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.