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 3 of 6: Compute and in terms of
In plain words
The inscribed angle theorem turns the angle at into a central angle at , while the angle sum of triangle turns the given angles at and into the angle at .
Detailed analysis
In the circumcircle of triangle , the central angle over chord equals twice the inscribed angle , so . In triangle , the angle sum gives .