Let be the altitude of the isosceles triangle . A circle centered at the midpoint of touches and . Let be an arbitrary point of line . Prove that the tangents from to cut congruent segments on lines and
Problem 1447
Official solution
1. Setup and Definitions:
- Let be the altitude of the isosceles triangle with .
- Let be a circle centered at the midpoint of that touches and .
- Let be an arbitrary point on the line .
- We need to prove that the tangents from to cut congruent segments on lines and .
2. **Properties of the Circle **:
- Since is centered at the midpoint of and touches and , it is the incircle of the right triangle .
- The radius of is the distance from to or .
3. **Tangents from to **:
- Let the tangents from to touch at points and .
- By the properties of tangents from a point to a circle, .
4. Reflection and Symmetry:
- Reflect and over the line to get points and respectively.
- Since is symmetric with respect to , the tangents from to will also be symmetric with respect to .
5. **Congruent Segments on and **:
- Let and intersect and at points and respectively.
- By the symmetry of the setup, the segments and are congruent to and respectively.
6. Using Menelaus' Theorem:
- Consider the triangle with transversal .
- By Menelaus' theorem, we have:
- Since and , the segments and are congruent.
7. Conclusion:
- The tangents from to cut congruent segments on lines and .