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.