Assume without loss of generality that AB>AC, and we consider the configuration shown below. Our proof can be modified for other configurations.
Let O be the circumcenter of triangle ABC. Point D lies on PO, which is the perpendicular bisector of segment AB. Thus, ABO is an isosceles triangle with AD=BD. Likewise, AEC is isosceles with AE=EC. Set x=∠ABD=∠BAD and y=∠CAE=∠ACE. (Hence x+y=∠BAC.)
Applying the law of sines to triangles ABM and ACM gives
sinxBM=sin∠BMAABandsinyCM=sin∠CMAAC.
Dividing the two equations yields
CMBM⋅sinxsiny=ACAB⋅sin∠CMAsin∠BMA=ABAC,
since sin∠BMA=sin∠CMA (as they are supplementary angles). Therefore,
BM=MCif and only ifsinysinx=ABAC.(∗)
Applying the law of sines to triangles ABF and ACF gives
sinxAF=sin∠AFBABandsinyAF=sin∠AFCAC.
Dividing these two equations and noting (*) yields
sinxsiny=ACAB⋅sin∠AFCsin∠AFBorsin∠AFB=sin∠AFC.
Since ∠ADF is an exterior angle of triangle ABO, ∠EDF=2x. Likewise, ∠DEF=2y. Thus ∠EFD=180∘−2x−2y=180∘−2∠BAC. Hence ∠BFC=2∠BAC (and so BOFC is cyclic), implying that ∠AFB+∠AFC=360∘−2∠BAC>180∘ (since ∠BAC<90∘). We must have ∠AFB=∠AFC=180∘−∠BAC. Since BOFC is cyclic and BOC is isosceles with vertex angle BOC=2∠BAC, ∠OFB=∠OCB=90∘−∠BAC. Therefore,
∠AFO=∠AFB−∠OFB=180∘−∠BAC−(90∘−∠BAC)=90∘.
Since ∠APO=∠AFO=∠ANO=90∘, points A, P, O, F, N lie on a circle.
Solution 2:
We maintain the notations in the first proof. Let R denote the intersection of lines MP and CE. Let ω denote the circumcircle of APON. We claim that R lies on ω. Note that AEC is isosceles, so that MER is also isosceles, and so ARMC is an isosceles trapezoid, hence cyclic. Since PN∥MC, ARPN is also cyclic.
As in the above proof, we can show that BFOC is cyclic. Then ∠RFO=∠OBC=90∘−∠A. Moreover, ∠RAO=∠RAC−∠OAC=∠C−(90∘−∠B)=90∘−∠A. Thus AROF is cyclic, so that ARPOFN is cyclic.
Solution 3:
We maintain the notations in the first proof. Assume without loss of generality that AB>AC, and we consider the configuration shown below. Our proof can be modified for other configurations.
Since ∠OPB=∠OMB=∠OMC=∠ONC=90∘, BPOM and CNOM are cyclic. Let ray AM meet the circumcircles of BPOM and CNOM at X and Y (different from M), respectively. We have
∠OXY=∠OXM=∠OBM=∠OBC=∠BCO=∠MCO=∠MYO=∠XYO;
that is, triangle OXY is similar to triangle OBC. and the rotation centered at O that takes one to the other. In particular, ∠XOY=∠BAC. Note also that APON is cyclic, implying that ∠NOD=∠PAN=∠BAC. Hence, ∠XOY=2∠NOD. Combining the facts that OX=OY and ∠XOY=2∠NOD, we conclude that the image of X under the reflection through line OD (denoted by ROP) is the same as that of Y under the reflection through line ON (denoted by RON). Let F1 denote this common image. Note that the image of line AYE under RON is line CF1E, and the image of line ADX under ROP is line BDF1. Therefore, F1 lies on lines CE and BD; that is, F1=F.
On the other hand, since X lies on the circumcircle of MBPO, F=F1 must lie on its image under ROP, which is the circumcircle of NAPO.
Solution 4:
Invert the figure about a circle centered at A, and let IX denote the image of the point X under this inversion. Find point G so that AIBIGIC is a parallelogram and let IZ denote the center of this parallelogram. Note that triangle BAC is similar to triangle ICAIB and triangles BAD and IDAIB. Because M is the midpoint of AB and IZ is the midpoint of IBIC, we also have the similarity between the triangles BAM and ICAIZ. Thus
∠AIGIB=∠IGAIC=∠ZAIC=∠MAB=∠DAB=∠DBA=∠AIDIB.
Hence quadrilateral AIBIDIG is cyclic and, by a similar argument, quadrilateral AICIEIG is also cyclic. Because the images under the inversion of lines BDF and CFE are circles that intersect in A and IF, it follows that IG=IF; that is, G=F.
Next note that IB,IZ, and IC are collinear and are the images of IP,IF (or IG), and IN, respectively, under a homothety centered at A and with ratio 1/2. It follows that IP,IF and IN are collinear, and then that the points A,P,F and N lie on a circle.
Solution 5:
Let A be the origin and denote the complex number of each point by the corresponding lowercase letter. Note that 2n=c and 2p=b. Define point F2 such that
f2=m2np=mcp=mbn;
that is
cf2=mpandbf2=mn.(∗∗)
The first equation in (∗∗) implies that triangles AF2C and APM are similar (and have the same orientation). Hence
∠ACF2=∠AMP=∠MAC=∠EAC=∠ECA;
that is, F2 lies on line EC. Similarly, the second equation in (∗∗) shows that F2 lies on line BD. Thus, F2 lies on both BD and CE; that is, F2=F.
We have established the similarity between triangle AFC (which is AF2C) and triangle APM. Thus, triangle ACM is similar to triangle AFP (because of spiral similarities about A). Hence ∠AFP=∠ACM=∠ANP, implying that ANFP is cyclic.