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 5 of 6: Repeat the argument on the side: bisects
In plain words
Swapping the roles of and , and for , repeats exactly the same computation.
Detailed analysis
By the same reasoning with in place of : the central angle , and the triangle angle sum gives . Their sum is , so are concyclic, and gives , so bisects .