Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Orthic triangle"

(Created page with "(WIP) In geometry, given any <math>\triangle ABC</math>, let <math>D</math>, <math>E</math>, and <math>F</math> denote the feet of the altitudes from <math>A</math>, <mat...")
 
m
Line 5: Line 5:
 
It's easy to see that there is no orthic triangle if <math>\triangle ABC</math> is right. The only two cases are when <math>\triangle ABC</math> is either acute or obtuse.
 
It's easy to see that there is no orthic triangle if <math>\triangle ABC</math> is right. The only two cases are when <math>\triangle ABC</math> 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.
+
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 this placement of the orthocenter is correct, and that the orthic triangle will remain the same as before.
  
 
== Cyclic quadrilaterals ==
 
== Cyclic quadrilaterals ==
Line 12: Line 12:
 
''Proof'': we will be using [[directed angles]], denoted by <math>\measuredangle</math> instead of the conventional <math>\angle</math>. We know that <cmath>\measuredangle ADB = 90^{\circ} = \measuredangle AEB,</cmath> and thus <math>ADEB</math> is cyclic. In addition, <cmath>\measuredangle AEH = \measuredangle AFH,</cmath> so <math>AEHF</math> is also cyclic. It follows that the other cyclic quadrilaterals are also cyclic. <math>\square</math>
 
''Proof'': we will be using [[directed angles]], denoted by <math>\measuredangle</math> instead of the conventional <math>\angle</math>. We know that <cmath>\measuredangle ADB = 90^{\circ} = \measuredangle AEB,</cmath> and thus <math>ADEB</math> is cyclic. In addition, <cmath>\measuredangle AEH = \measuredangle AFH,</cmath> so <math>AEHF</math> is also cyclic. It follows that the other cyclic quadrilaterals are also cyclic. <math>\square</math>
  
−
These cyclic quadrilaterals show up frequently in olympiads and are the most crucial section of this article.
+
These cyclic quadrilaterals make frequent appearances in olympiad geometry and are the most crucial section of this article.
−
== Incenter ==
 
  
 +
== Connection with incenters and excenters ==
 +
 +
=== Incenter of the orthic triangle ===
 
If <math>\triangle ABC</math> is acute, then the incenter of the orthic triangle is the orthocenter <math>H</math>.
 
If <math>\triangle ABC</math> is acute, then the incenter of the orthic triangle is the orthocenter <math>H</math>.
  
 
If <math>\triangle ABC</math> is obtuse, then the incenter of the orthic triangle is the obtuse vertex.
 
If <math>\triangle ABC</math> is obtuse, then the incenter of the orthic triangle is the obtuse vertex.
  
−
== Relationship with the incenter/excenter lemma ==
+
=== Excenters of the orthic triangle ===
−
''Lemma'': In any <math>\triangle ABC</math>, let <math>I_A</math> denote the <math>A</math>-excenter, and <math>I_B</math> and <math>I_C</math> defined similarly. Then <math>\triangle ABC</math> is the orthic triangle of <math>\triangle I_A I_B I_C</math>.
+
For any <math>\triangle ABC</math> and <math>\triangle DEF</math>, <math>\triangle DEF</math> is the orthic triangle of <math>\triangle ABC</math> if and only if <math>A</math>, <math>B</math>, and <math>C</math> are the excenters of <math>\triangle DEF</math>.
−
 
+
''Proof'': (for excenters -> orthic triangle, note that AD perp BC. Thus, AD is an altitude of <math>triangle ABC</math>, with foot <math>D</math>. Similarly, the others go and we have <math>E</math> and <math>F</math> are the feet of the altitudes, so <math>\triangle DEF</math> is the orthic trianlge) (for orthic triangle -> excenters, note that <math>\angle FDE = 180 - 2 \angle CAB</math> and <math>\angle EDC = \angle a</math>. then BC is the exterior bisector of FDE. similarly, AB and CA are exterior bisectors, so they intersect at the excenters, ie A, B, and C)
−
''Proof'':
 
  
 
This lemma also applies in reverse. In the acute case, <math>A</math>, <math>B</math>, and <math>C</math> are the excenters of the orthic triangle, while in the obtuse case, the two vertexes with acute angles and the [[orthocenter]] of <math>\triangle ABC</math> are the excenters.
 
This lemma also applies in reverse. In the acute case, <math>A</math>, <math>B</math>, and <math>C</math> are the excenters of the orthic triangle, while in the obtuse case, the two vertexes with acute angles and the [[orthocenter]] of <math>\triangle ABC</math> 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.
+
=== Relationship with the incenter/excenter lemma ===
−
 
+
With this knowledge in mind, we can transfer results about the incenter and excenters to the orthic triangle. In particular, the [[incenter/excenter lemma]] can be translated into the language of the orthic triangle. It tells that all six cyclic quadrilaterals of the orthic triangle have a circumcenter on the nine-point circle of <math>\triangle ABC</math>.
−
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 <math>\triangle ABC</math>. Quadrilaterals <math>AEHF</math>, <math>BFHD</math>, and <math>CDHE</math> follow immediately from the lemma. As for <math>ADEB</math>, <math>BEFC</math>, and <math>CFDA</math>, via the [[inscribed angle theorem]], their circumcenters are the midpoints of the side lengths of <math>\triangle ABC</math>, 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 <math>\triangle ABC</math> by similar logic.
+
In the case where <math>\triangle ABC</math> is acute, quadrilaterals <math>AEHF</math>, <math>BFHD</math>, and <math>CDHE</math> follow immediately from the lemma. As for <math>ADEB</math>, <math>BEFC</math>, and <math>CFDA</math>, via the [[inscribed angle theorem]], their circumcenters are the midpoints of the side lengths of <math>\triangle ABC</math>, which we know to be on the nine-point circle. Identical reasoning follows that the six cyclic quadrilaterals also have circumcenters on the nine-point circle.
  
 
== See also ==
 
== See also ==
Line 39: Line 39:
 
[[Category:Definitions]]
 
[[Category:Definitions]]
  
−
[[Category: Stubs]]
+
[[Category:Stubs]]

Revision as of 20:38, 9 May 2021

(WIP)

In geometry, given any $\triangle ABC$, let $D$, $E$, and $F$ denote the feet of the altitudes from $A$, $B$, and $C$, respectively. Then, $\triangle DEF$ is called the orthic triangle of $\triangle ABC$.

It's easy to see that there is no orthic triangle if $\triangle ABC$ is right. The only two cases are when $\triangle ABC$ 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 this placement of the orthocenter is correct, and that the orthic triangle will remain the same as before.

Cyclic quadrilaterals

In both the acute and obtuse case, quadrilaterals $ADEB$, $BEFC$, $CFDA$, $AEHF$, $BFHD$, and $CDHE$ are cyclic.

Proof: we will be using directed angles, denoted by $\measuredangle$ instead of the conventional $\angle$. We know that \[\measuredangle ADB = 90^{\circ} = \measuredangle AEB,\] and thus $ADEB$ is cyclic. In addition, \[\measuredangle AEH = \measuredangle AFH,\] so $AEHF$ is also cyclic. It follows that the other cyclic quadrilaterals are also cyclic. $\square$

These cyclic quadrilaterals make frequent appearances in olympiad geometry and are the most crucial section of this article.

Connection with incenters and excenters

Incenter of the orthic triangle

If $\triangle ABC$ is acute, then the incenter of the orthic triangle is the orthocenter $H$.

If $\triangle ABC$ is obtuse, then the incenter of the orthic triangle is the obtuse vertex.

Excenters of the orthic triangle

For any $\triangle ABC$ and $\triangle DEF$, $\triangle DEF$ is the orthic triangle of $\triangle ABC$ if and only if $A$, $B$, and $C$ are the excenters of $\triangle DEF$. Proof: (for excenters -> orthic triangle, note that AD perp BC. Thus, AD is an altitude of $triangle ABC$, with foot $D$. Similarly, the others go and we have $E$ and $F$ are the feet of the altitudes, so $\triangle DEF$ is the orthic trianlge) (for orthic triangle -> excenters, note that $\angle FDE = 180 - 2 \angle CAB$ and $\angle EDC = \angle a$. then BC is the exterior bisector of FDE. similarly, AB and CA are exterior bisectors, so they intersect at the excenters, ie A, B, and C)

This lemma also applies in reverse. In the acute case, $A$, $B$, and $C$ are the excenters of the orthic triangle, while in the obtuse case, the two vertexes with acute angles and the orthocenter of $\triangle ABC$ are the excenters.

Relationship with the incenter/excenter lemma

With this knowledge in mind, we can transfer results about the incenter and excenters to the orthic triangle. In particular, the incenter/excenter lemma can be translated into the language of the orthic triangle. It tells that all six cyclic quadrilaterals of the orthic triangle have a circumcenter on the nine-point circle of $\triangle ABC$.

In the case where $\triangle ABC$ is acute, quadrilaterals $AEHF$, $BFHD$, and $CDHE$ follow immediately from the lemma. As for $ADEB$, $BEFC$, and $CFDA$, via the inscribed angle theorem, their circumcenters are the midpoints of the side lengths of $\triangle ABC$, which we know to be on the nine-point circle. Identical reasoning follows that the six cyclic quadrilaterals also have circumcenters on the nine-point circle.

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Orthic_triangle&oldid=153465"