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 5 of 5: Conclude M bisects arc LK, so MK = ML
MX∥PS∥LK   ⟹   MX∥LK   ⟹   M is the midpoint of arc LK   ⟹   MK=MLMX\parallel PS\parallel LK\ \implies\ MX\parallel LK\ \implies\ M\ \text{is the midpoint of arc } LK\ \implies\ MK=ML
Detailed analysis

Steps 2 and 4 give MX∥PSMX\parallel PS and PS∥LKPS\parallel LK; by transitivity of parallelism, MX∥LKMX\parallel LK. But MXMX is (part of) the tangent to Γ\Gamma at MM, and LKLK is a chord of Γ\Gamma: a tangent at a point of a circle is parallel to a chord exactly when that point is the midpoint of one of the two arcs the chord determines. Hence MM is the midpoint of arc LKLK (not containing the other intersection with line CMCM), which means the arcs MKMK and MLML are equal, so the chords they subtend are equal: MK=MLMK=ML. ■\blacksquare