Problem 2
The angle at is the smallest angle in triangle . The points divide its circumcircle into two arcs. Let be an interior point of the arc not containing . The perpendicular bisectors of and meet line at and , respectively. The lines and meet at . Show that .
Step 4 of 4: Finish by lengths
In plain words
Finish by lengths
Detailed analysis
Now , proving the claim.