Problem:
In cyclic quadrilateral with and , let and denote the incenters of triangles and . If diagonal bisects , find the length of .
Problem:
In cyclic quadrilateral with and , let and denote the incenters of triangles and . If diagonal bisects , find the length of .
Solution:
Let be circumcenter, the circumradius and the common inradius. We have by a result of Euler; denote for the common value of and . Additionally, we know (angle chase to find that ). Since is the midpoint of the arc not containing , both and lie on the angle bisector of angle , so are collinear. So by Power of a Point we have
Next, observe that the angle bisector of angle contains both and , so are collinear. Let be the midpoint of , lying on . Let be the intersection of and . Observing that the right triangles and are similar, we find , so . Now apply Stewart's Theorem to to derive
Eliminating the common factor of and rearranging gives
so . Hence , and thus . Thus .
Finally, .