Solution 1 (synthetic)
Without Loss of Generality, assume AB>AC. It is sufficient to prove that ∠OFA=90∘, as this would immediately prove that A,P,O,F,N are concyclic.
By applying the Menelaus' Theorem in the Triangle △BFC for the transversal E,M,D, we have (in magnitude)
ECFE⋅MBCM⋅DFBD=1⟺ECFE=BDDF
Here, we used that BM=MC, as M is the midpoint of BC. Now, since EC=EA and BD=DA, we have
EAFE=DADF⟺AEDA=FEDF⟺AF bisects exterior ∠EFD
Now, note that OE bisects the exterior ∠FED and OD bisects exterior ∠FDE, making O the F-excentre of △FED. This implies that OF bisects interior ∠EFD, making OF⊥AF, as was required.
Solution 2 (complex)
Let A=1,B=b,C=c where b,c all lie on the unit circle. Then O is 0. As noted earlier, (FOBC) is cyclic. We will find the ghost point F′, the second intersection of OBC and ANP.
We know that these two circles already intersect at O so we can reflect over the line between their centers. The center of ANPO is the midpoint of AO namely 21. With the tangent formula and then taking the midpoint, we find that the center of OBC is b+cbc. Then we want to find the reflection of 0 over the line through 21 and b+cbc. Then we get
f′=(1/2)−b+cbc(b+cbc−b+cbc)÷2=2(b+c)b+c−22(b+c)bc−1=b+c−2bc−1.
Now it remains to show ∠F′BA=∠ABM; the other angle equality would follow by symmetry.
Then we get:
b−af′−b÷a−mb−a=b−1b+c−2bc−1−b÷1−2b+cb−1=2(b−1)2b+c−2bc−1−b(b+c−2)(2−b+c)=2(b−1)2b2−2b+1=21.
Thus ∡F′BA=∡BAM, so F′=F and we're done.
~cocohearts
Solution 3 (synthetic)
Without loss of generality AB180∘ so ∠AFC=∠AFB.
Then ∠FAB+∠ABF=180∘−∠AFB=180∘−∠AFC=∠FAC+∠ACF and ∠ABF+∠ACF=∠A=∠FAB+∠FAC. Subtracting these two equations, ∠FAB−∠FCA=∠FCA−∠FAB so ∠BAF=∠ACF. Therefore, △ABF∼△CAF (by AA similarity), so a spiral similarity centered at F takes B to A and A to C. Therefore, it takes the midpoint of BA to the midpoint of AC, or P to N. So ∠APF=∠CNF=180∘−∠ANF and APFN 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 T on AM such that ∠BCT=∠ACF. Then ∠BCT=∠CAM. Then △AMC∼△CMT, so CMAM=TMCM, or BMAM=TMBM. Then △AMB∼△BMT, so ∠CBT=∠BAM=∠FBA. Then we have
∠CBT=∠ABF and ∠BCT=∠ACF. So T and F are isogonally conjugate. Thus ∠BAF=∠CAM. Then
∠AFB=180−∠ABF−∠BAF=180−∠BAM−∠CAM=180−∠BAC.
If O is the circumcenter of △ABC then ∠BFC=2∠BAC=∠BOC so BFOC is cyclic. Then ∠BFO=180−∠BOC=180−(90−∠BAC)=90+∠BAC.
Then ∠AFO=360−∠AFB−∠BFO=360−(180−∠BAC)−(90+∠BAC)=90. Then △AFO is a right triangle.
Now by the homothety centered at A with ratio 21, B is taken to P and C is taken to N. Thus O is taken to the circumcenter of △APN and is the midpoint of AO, which is also the circumcenter of △AFO, so A,P,N,F,O all lie on a circle.
Solution 7 (symmedians)
Median AM of a triangle ABC implies sinCAMsinBAM=sinCsinB.
Trig ceva for F shows that AF is a symmedian.
Then FP is a median, use the lemma again to show that AFP=C, and similarly AFN=B, so you're done.
Solution 8 (inversion) (Official Solution #2)
Invert the figure about a circle centered at A, and let X′ denote the image of the point X under this inversion. Find point F1′ so that AB′F1′C′ is a parallelogram and let Z′ denote the center of this parallelogram. Note that △BAC∼△C′AB′ and △BAD∼△D′AB′. Because M is the midpoint of BC and Z′ is the midpoint of B′C′, we also have △BAM∼△C′AZ′. Thus
∠AF1′B′=∠F1′AC′=∠Z′AC′=∠MAB=∠DAB=∠DBA=∠AD′B′.
Hence quadrilateral AB′D′F1′ is cyclic and, by a similar argument, quadrilateral AC′E′F1′ is also cyclic. Because the images under the inversion of lines BDF and CFE are circles that intersect in A and F′, it follows that F1′=F′.
Next note that B′, Z′, and C′ are collinear and are the images of P′, F′, and N′, respectively, under a homothety centered at A and with ratio 1/2. It follows that P′, F′, and N′ are collinear, and then that the points A, P, F, and N lie on a circle.
2008usamo2-sol8.png
Solution 9 (Official Solution #1)
Let O be the circumcenter of triangle ABC. We prove that
∠APO=∠ANO=∠AFO=90∘.(1)
It will then follow that A,P,O,F,N lie on the circle with diameter AO. Indeed, the fact that the first two angles in (1) are right is immediate because OP and ON are the perpendicular bisectors of AB and AC, respectively. Thus we need only prove that ∠AFO=90∘.
2008usamo2-sol9.png
We may assume, without loss of generality, that AB>AC. This leads to configurations similar to the ones shown above. The proof can be adapted to other configurations. Because PO is the perpendicular bisector of AB, it follows that triangle ADB is an isosceles triangle with AD=BD. Likewise, triangle AEC is isosceles with AE=CE. Let x=∠ABD=∠BAD and y=∠CAE=∠ACE, so x+y=∠BAC.
Applying the Law of Sines to triangles ABM and ACM gives
sinxBM=sin∠BMAABandsinyCM=sin∠CMAAC.
Taking the quotient of the two equations and noting that sin∠BMA=sin∠CMA, we find
CMBMsinxsiny=ACABsin∠BMAsin∠CMA=ACAB.
Because BM=MC, we have
sinysinx=ABAC.(2)
Applying the Law of Sines to triangles ABF and ACF, we find
sinxAF=sin∠AFBABandsinyAF=sin∠AFCAC.
Taking the quotient of the two equations yields
sinysinx=ABACsin∠AFCsin∠AFB,
so by (2),
sin∠AFB=sin∠AFC.(3)
Because ∠ADF is an exterior angle to triangle ADB, we have ∠EDF=2x. Similarly, ∠DEF=2y. Hence
∠EFD=180∘−2x−2y=180∘−2∠BAC.
Thus ∠BFC=2∠BAC=∠BOC, so BOFC is cyclic. In addition,
∠AFB+∠AFC=360∘−2∠BAC>180∘,
and hence, from (3), ∠AFB=∠AFC=180∘−∠BAC. Because BOFC is cyclic and △BOC is isosceles with vertex angle ∠BOC=2∠BAC, we have ∠OFB=∠OCB=90∘−∠BAC. Therefore,
∠AFO=∠AFB−∠OFB=(180∘−∠BAC)−(90∘−∠BAC)=90∘.
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.