Problem:
Let be a triangle with incenter . Suppose the reflection of across and the reflection of across intersect at a point . Prove that is perpendicular to .
(The incenter is the point where the three angle bisectors meet.)
Problem:
Let be a triangle with incenter . Suppose the reflection of across and the reflection of across intersect at a point . Prove that is perpendicular to .
(The incenter is the point where the three angle bisectors meet.)
Solution:
Suppose the reflection of across intersects at . Define similarly for the reflection of across . Also suppose intersects at and intersects at . Since and are reflections across , and so are and , we have that and are reflections across . Similarly and are reflections across .
Thus if is acute (and , when is obtuse), so . Moreover we also find that by the aforementioned reflection properties, so thus is the perpendicular bisector of and is hence perpendicular to .