Problem 4
In triangle the bisector of angle intersects the circumcircle again at , the perpendicular bisector of at , and the perpendicular bisector of at . The midpoint of is and the midpoint of is . Prove that the triangles and have the same area.
Step 1 of 4: Similar right triangles at K and L give equal angles and a side ratio
In plain words
The two perpendicular bisectors meet the angle bisector at the same angle , making the two right triangles and similar.
Detailed analysis
Let , so . Since at and at , right triangles and are similar, giving and . Their supplements along line therefore satisfy .