MathLabs

Problem 3

Let ABCABC be a triangle. Let MM and NN be the points in which the median and the angle bisector, respectively, at AA meet the side BCBC. Let QQ and PP be the points in which the perpendicular at NN to NANA meets MAMA and BABA, respectively, and OO the point in which the perpendicular at PP to BABA meets ANAN produced. Prove that QOQO is perpendicular to BCBC.
Step 1 of 3: Project the arc midpoint K onto the three sides via the Simson line
In plain words

The midpoint KK of arc BCBC ties the angle bisector ANAN to the midpoint MM of BCBC, and Simson's theorem links MM directly to the projections RR and SS on ABAB and ACAC.

K=AN∩(ABC),KB=KC,MB=MC  ⟹  KM⊥BCK = AN \cap (ABC), \qquad KB = KC, \quad MB = MC \implies KM \perp BC
Detailed analysis

Let the angle bisector ANAN meet the circumcircle of △ABC\triangle ABC again at KK, which is the midpoint of the arc BCBC not containing AA. Since KB=KCKB = KC and MM is the midpoint of BCBC (MB=MCMB = MC), line KMKM is the perpendicular bisector of BCBC, so MM is the orthogonal projection of KK onto BCBC. Let RR and SS be the orthogonal projections of KK onto lines ABAB and ACAC; by Simson's theorem, R,M,SR, M, S are collinear on the Simson line of KK with respect to △ABC\triangle ABC.