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 3 of 3: Apply a homothety centered at A to map OQ to KM
In plain words

The configuration (O,P,Q)(O, P, Q) is simply a scaled copy of (K,R,M)(K, R, M) from center AA; sliding NN along the bisector just scales △OPQ\triangle OPQ without changing the direction of OQOQ.

HA:O↦K  ⟹  P↦R  ⟹  Q↦M  ⟹  OQ∥KM⊥BC\mathcal{H}_A: O \mapsto K \implies P \mapsto R \implies Q \mapsto M \implies OQ \parallel KM \perp BC
Detailed analysis

Consider the homothety HA\mathcal{H}_A centered at AA that takes OO to KK along line ANAN. Since OP⊥ABOP \perp AB and KR⊥ABKR \perp AB, lines OPOP and KRKR are parallel, so HA\mathcal{H}_A maps line OPOP to line KRKR and hence takes P=OP∩ABP = OP \cap AB to R=KR∩ABR = KR \cap AB. Next, since PQ∥RSPQ \parallel RS and M∈RSM \in RS, HA\mathcal{H}_A maps line PQPQ to line RSRS, taking Q=PQ∩AMQ = PQ \cap AM to M=RS∩AMM = RS \cap AM. Because HA(O)=K\mathcal{H}_A(O) = K and HA(Q)=M\mathcal{H}_A(Q) = M, line OQOQ is parallel to line KMKM. Since KM⊥BCKM \perp BC, it follows that QO⊥BCQO \perp BC.