Problem 4
Let be a cyclic quadrilateral. Let be the feet of perpendiculars from to lines , respectively. Show that if and only if the bisectors of angles and meet on segment .
Step 6 of 7: Apply the two angle-bisector theorems
In plain words
Each internal bisector selects one point of AC by a side-length ratio.
Detailed analysis
Let the internal bisector at meet at , and the internal bisector at meet at . The angle-bisector theorem gives and . Both and lie on the segment and are uniquely determined by their positive ratios. Hence the bisectors meet at one point of exactly when .