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 2 of 5: Two isosceles triangles force MX parallel to PS
XM=XC, SP=SC   ⟹   ∠XMC=∠XCM=∠SCP=∠SPC   ⟹   MX∥PSXM=XC,\ SP=SC\ \implies\ \angle XMC=\angle XCM=\angle SCP=\angle SPC\ \implies\ MX\parallel PS
Detailed analysis

Since XMXM and XCXC are the two tangent segments from XX to Γ\Gamma, they are equal, so triangle XMCXMC is isosceles and ∠XMC=∠XCM\angle XMC=\angle XCM. Because CC, PP, MM are colinear (Step 1), the ray CMCM is the ray CPCP, so ∠XCM=∠XCP\angle XCM=\angle XCP; and because XX lies on line SCSC, the ray CXCX is the ray CSCS, so ∠XCP=∠SCP\angle XCP=\angle SCP. On the other hand, SP=SCSP=SC is given, so triangle SPCSPC is isosceles with apex SS, giving ∠SPC=∠SCP\angle SPC=\angle SCP. Chaining these equalities, ∠XMC=∠SPC\angle XMC=\angle SPC. These are the angles that MXMX and PSPS make with the common transversal line CPMCPM at MM and at PP respectively, so equal corresponding angles give MX∥PSMX\parallel PS.