Problem 4
Let be a convex pentagon such that . Assume that there is a point inside with , and . Let line intersect lines and at points and , respectively, with in that order on the line. Let line intersect lines and at points and , respectively, with in that order on the line. Prove that the points , , , lie on a circle.
Step 4 of 6: Use , to show concyclic
Detailed analysis
Cross-multiplying gives ; substituting and gives the chain , so in particular . Since , this is exactly the power-of-a-point criterion for to be concyclic.