Problem 4
Let be a point interior to triangle (with ). The lines , and meet again its circumcircle at , , respectively . The tangent line at to meets the line at . Show that from follows .
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.
Detailed analysis
By definition is the second intersection of line with , so , , are colinear; likewise , , are colinear and , , are colinear, with strictly between and (since is interior to the triangle, hence interior to ). Let the tangent to at meet the line (which carries the tangent to at , since was defined on that tangent) at a point . This is the vertex from which we will compare two isosceles triangles.