Problem:
Let be a triangle. Point lies on segment such that . Point lies on the opposite side of line as and satisfies and . Analogously, point lies on the opposite side of line as and satisfies and . Prove that lines and are perpendicular.
Solutions — 3
Solution 1
Solution:
Let and be the incenter and the -excenter of . The key observation is that is the circumcenter of . To see why this is true, note that
Analogously, is the circumcenter of . Hence, is the perpendicular bisector of , which is clearly perpendicular to .
Solution 2
Solution:
Denote and as the circumcircle of and . Also, let intersect the circumcircle of at . Since , we get that . Similarly, . From here, there are two ways to finish.
- Note by Law of Sine that the radius of and are and , so they are actually equal. Thus, if and are the centers of and , then . Moreover, and are both clearly perpendicular to , so is a parallelogram, implying that .
- Observe that
so . Similarly, , so is the orthocenter of , implying the result.
Solution 3
Solution:
Let intersect at and intersect at . Observe that , so are concyclic. This implies that and that .
Similarly, we have and that . Thus, we actually have , implying that are concyclic.
Now, let be the incenter of . Since , it follows that is the perpendicular bisector of , so . Similarly, , so is actually the circumcenter of .
We then finish by angle chasing:
implying the result.