MathLabs

Problem 4

Let PP be a point interior to triangle ABCABC (with CA≠CBCA \neq CB). The lines APAP, BPBP and CPCP meet again its circumcircle Γ\Gamma at KK, LL, respectively MM. The tangent line at CC to Γ\Gamma meets the line ABAB at SS. Show that from SC=SPSC = SP follows MK=MLMK = ML.
Step 4 of 5: Inscribed angles force PS parallel to LK
∠SAP=∠BAK=∠BLK=∠PLK=∠SPB   ⟹   PS∥LK\angle SAP=\angle BAK=\angle BLK=\angle PLK=\angle SPB\ \implies\ PS\parallel LK
Detailed analysis

Since AA, PP, KK are colinear (Step 1), the ray APAP is the ray AKAK, so ∠SAP=∠SAK\angle SAP=\angle SAK; and since SS lies on line ABAB, the ray ASAS is the ray ABAB, so ∠SAK=∠BAK\angle SAK=\angle BAK. The inscribed angles ∠BAK\angle BAK and ∠BLK\angle BLK both subtend the same arc BKBK of Γ\Gamma from the same side, hence ∠BAK=∠BLK\angle BAK=\angle BLK. Since BB, PP, LL are colinear (Step 1), the ray LBLB is the ray LPLP, so ∠BLK=∠PLK\angle BLK=\angle PLK. Combining with Step 3, ∠PLK=∠SAP=∠SPB\angle PLK=\angle SAP=\angle SPB. These are the angles that LKLK and PSPS make with the common transversal line BPLBPL at LL and at PP respectively, so equal corresponding angles give PS∥LKPS\parallel LK.