Problem:
Let be a cyclic quadrilateral, and suppose that . Let be the incenter of triangle . If as well, find the minimum value of the length of diagonal .
Problem:
Let be a cyclic quadrilateral, and suppose that . Let be the incenter of triangle . If as well, find the minimum value of the length of diagonal .
Solution:
Answer:
Let be the point where the incircle intersects , and let be the inradius and be the circumradius of . Since , is on the midpoint of arc on the opposite side of as , and hence on the angle bisector of . Thus , , and are collinear. We have the following formulas:
The last two equations follow from the extended law of sines on and , respectively.
Using gives . However, it is well-known that with equality for an equilateral triangle (one way to see this is the identity ). Hence and . Then
with equality when is equilateral.

Solution:

Let be the point where the incircle intersects , and let be the inradius and be the circumradius of . Since , is on the midpoint of arc on the opposite side of as , and hence on the angle bisector of . Thus , , and are collinear. We have the following formulas:
The last two equations follow from the extended law of sines on and , respectively.
Using gives . However, it is well-known that with equality for an equilateral triangle (one way to see this is the identity ). Hence and . Then
with equality when is equilateral.