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 1 of 5: Read off the collinearities and introduce X
In plain words

K, L, M are just the second intersections of the cevians AP, BP, CP with the circle, so each cevian is literally a chord through P; a second tangent from M gives a fresh isosceles triangle to compare with SPC.

A,P,K colinear;B,P,L colinear;C,P,M colinear;X=(tangent at M)∩SCA,P,K\ \text{colinear};\quad B,P,L\ \text{colinear};\quad C,P,M\ \text{colinear};\qquad X=(\text{tangent at }M)\cap SC
Detailed analysis

By definition KK is the second intersection of line APAP with Γ\Gamma, so AA, PP, KK are colinear; likewise BB, PP, LL are colinear and CC, PP, MM are colinear, with PP strictly between CC and MM (since PP is interior to the triangle, hence interior to Γ\Gamma). Let the tangent to Γ\Gamma at MM meet the line SCSC (which carries the tangent to Γ\Gamma at CC, since SS was defined on that tangent) at a point XX. This XX is the vertex from which we will compare two isosceles triangles.