Let be the incenter of a triangle with , , and . Let intersect the circumcircle of at . Alice draws a line through that intersects on the minor arc at and the circumcircle of at outside . She notices that she can construct a right triangle with side lengths , , and . Determine, with proof, the length of .
Solution
1. Identify Key Points and Circles:
- Let be the incenter of .
- Given , , and .
- Let intersect the circumcircle of at .
- Let and be the excenters opposite and respectively.
- Let be the midpoint of arc on .
- Let be the circumcircle of .
2. **Properties of Point :**
- It is well-known that is the center of .
- Therefore, , where is the radius of .
3. **Power of Point :**
- Alice draws a line through that intersects on the minor arc at and the circumcircle of at outside .
- Since , has equal power with respect to and .
4. Radical Axis and Right Triangle:
- Since is a diameter of , .
- Hence, is the radical axis of and .
- It follows that by the Pythagorean Theorem in .
5. **Circle of Diameter :**
- It is well-known that lie on the circle of diameter centered at .
- Therefore, .
6. Similarity and Length Calculation:
- Note that is the external bisector of .
- Together with , this implies .
- Therefore, , whence it follows that .
- Hence, .
The final answer is .