Problem 1
Consider the convex quadrilateral . The point is in the interior of . The following ratio equalities hold: . Prove that the following three lines meet in a point: the internal bisectors of angles and , and the perpendicular bisector of segment .
Step 4 of 6: Deduce that are concyclic and that bisects
In plain words
Opposite angles summing to is exactly the cyclic-quadrilateral criterion, and equal radii subtend equal angles from any point on that circle.
Detailed analysis
Since , quadrilateral is cyclic. As are both radii of the circumcircle of , the equal chords subtend equal angles from on circle , so ; hence bisects .