Orthic triangle
(WIP)
In geometry, given any , let , , and denote the feet of the altitudes from , , and , respectively. Then, is called the orthic triangle of .
It's easy to see that there is no orthic triangle if is right. The only two cases are when is either acute or obtuse.
Orthic triangles are not unique to their mother triangles, as one acute and one to three obtuse triangles are guaranteed to have the same orthic triangle. To see this, take an acute triangle and swap its orthocenter and any vertex to get an obtuse triangle. It's easy to verify that the orthic triangle will remain the same. The number of obtuse triangles is determined by how many unique side lengths the given orthic triangle has: a scalene triangle has three, an isosceles triangle has two, and an equilateral has only one.
Contents
Cyclic quadrilaterals
In both the acute and obtuse case, quadrilaterals , , , , , and are cyclic.
Proof: we will be using directed angles, denoted by instead of the conventional . We know that and thus is cyclic. In addition, so is also cyclic. It follows that the other cyclic quadrilaterals are also cyclic.
These cyclic quadrilaterals show up frequently in olympiads and are the most crucial section of this article.
Incenter
If is acute, then the incenter of the orthic triangle is the orthocenter .
If is obtuse, then the incenter of the orthic triangle is the obtuse vertex.
Relationship with the incenter/excenter lemma
Lemma: In any , let denote the -excenter, and and defined similarly. Then is the orthic triangle of .
Proof:
This lemma also applies in reverse. In the acute case, , , and are the excenters of the orthic triangle, while in the obtuse case, the two vertexes with acute angles and the orthocenter of are the excenters.
With this in mind, we can transfer results about the incenter and excenters to the orthic triangle, in particular, the incenter/excenter lemma. Although, we must divide our investigation into two cases: acute and obtuse.
In the acute case, the incenter-excenter lemma tells that every cyclic quadrilateral of the orthic triangle has a circumcenter on the nine-point circle of . Quadrilaterals , , and follow immediately from the lemma. As for , , and , via the inscribed angle theorem, their circumcenters are the midpoints of the side lengths of , which we know to be on the nine-point circle.
In the obtuse case, the six cyclic quadrilaterals also have circumcenters on the nine-point circle of by similar logic.