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 5 of 5: Conclude M bisects arc LK, so MK = ML
Detailed analysis
Steps 2 and 4 give and ; by transitivity of parallelism, . But is (part of) the tangent to at , and is a chord of : 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 is the midpoint of arc (not containing the other intersection with line ), which means the arcs and are equal, so the chords they subtend are equal: .