Let AD be the altitude of a triangle ABC and E , F be the incenters of the triangle ABD and ACD , respectively. line EF meets AB and AC at K and L. prove tht AK=AL if and only if AB=AC or A=90
Solution
1. Given: Let be the altitude of a triangle and , be the incenters of the triangles and , respectively. Line meets and at and . We need to prove that if and only if or .
2. Incenter and Angle Bisector: Let be the incenter of the triangle . We need to show that the bisector of the angle is perpendicular to if and only if either or .
3. Concurrent Cevians: The bisectors are concurrent cevians of the triangle . Let and be the feet of and in this triangle.
4. Angle Calculation:
5. Equality of Angles: Hence, .
6. **Case 1: **:
- If , then and are two altitudes of the triangle , is its orthocenter, and is its remaining altitude.
7. **Case 2: **:
- Assume now that and that we still have , i.e., is the A-altitude of the triangle , but is no longer its orthocenter.
- Since , then also , i.e., the quadrilateral is cyclic.
8. Cyclic Quadrilateral:
- Let be its circumcircle, which is centered on the perpendicular bisector of the segment .
- Using parallel projection, we can project the triangle into a triangle , so that the point is projected into its orthocenter .
- Then the cevians , are projected into its altitudes , , i.e., the quadrilateral is also cyclic, with the circumcircle centered at the midpoint of the segment .
9. Symmetry and Congruence:
- Thus the points , lie both on the circle and on an ellipse with the main axis (which is projected into the circle in our parallel projection), not identical with the circle .
- Since both the ellipse and the circle are symmetrical with respect to the perpendicular bisector of the segment , so are their intersections , , i.e., and .
- Hence, the triangles are congruent and it immediately follows that the triangle is isosceles with .
10. Conclusion:
- This and implies that the incircles are congruent, which means that the triangle itself is isosceles with .