Problem 4
Let and be different points on a circle such that is not a diameter. Let be the tangent line to at . Point is such that is the midpoint of . Point is chosen on the shorter arc of so that the circumcircle of triangle intersects at two distinct points. Let be the common point of and that is closer to . Line meets again at . Prove that line is tangent to .
Step 2 of 6: Obtain the key parallelism
Detailed analysis
Use directed angles modulo 180 degrees. The first equality uses A, J, K collinear; the second uses R, S, J, K on the same circle; the third uses R, S, T collinear; the fourth uses S, T, A, J on the same circle; and the last again uses A, J, K collinear. Hence RK is parallel to AT.