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 "Orthocenter"
m (→‎Proof of Existence: Probably was a typo, but caused a major logical fluke.)
Line 12: Line 12:
 
label("A",A,(0,1));label("B",B,(0,-1));label("C",C,(0,-1));label("G",G,(1,-1));label("H",H,(0,-1));label("O",O,(-1,1));label("$A'$",A1,(0,-1));dot(H);
 
label("A",A,(0,1));label("B",B,(0,-1));label("C",C,(0,-1));label("G",G,(1,-1));label("H",H,(0,-1));label("O",O,(-1,1));label("$A'$",A1,(0,-1));dot(H);
 
</asy>
 
</asy>
−
Consider a triangle <math>ABC</math> with [[circumcenter]] <math>O</math> and [[centroid]] <math>G</math>.  Let <math>A'</math> be the midpoint of <math>BC</math>.  Let <math>H</math> be the point such that <math>G</math> is between <math>H</math> and <math>O</math> and <math>HG = 2 GO</math>.  Then the triangles <math>AGH</math>, <math>A'GO</math> are [[similar]] by angle-side-angle similarity.  It follows that <math>AH</math> is parallel to <math>OA'</math> and is therefore perpendicular to <math>BC</math>; i.e., it is the altitude from <math>A</math>.  Similarly, <math>BH</math>, <math>CH</math>, are the altitudes from <math>B</math>, <math>{C}</math>.  Hence all the altitudes pass through <math>H</math>.  Q.E.D.
+
Consider a triangle <math>ABC</math> with [[circumcenter]] <math>O</math> and [[centroid]] <math>G</math>.  Let <math>A'</math> be the midpoint of <math>BC</math>.  Let <math>H</math> be the point such that <math>G</math> is between <math>H</math> and <math>O</math> and <math>HG = 2 GO</math>.  Then the triangles <math>AGH</math>, <math>A'GO</math> are [[similar]] by side-angle-side similarity.  It follows that <math>AH</math> is parallel to <math>OA'</math> and is therefore perpendicular to <math>BC</math>; i.e., it is the altitude from <math>A</math>.  Similarly, <math>BH</math>, <math>CH</math>, are the altitudes from <math>B</math>, <math>{C}</math>.  Hence all the altitudes pass through <math>H</math>.  Q.E.D.
  
 
This proof also gives us the result that the orthocenter, centroid, and circumcenter are [[collinear]], in that order, and in the proportions described above.  The line containing these three points is known as the [[Euler line]] of the triangle, and also contains the triangle's [[de Longchamps point]] and [[nine-point center]].
 
This proof also gives us the result that the orthocenter, centroid, and circumcenter are [[collinear]], in that order, and in the proportions described above.  The line containing these three points is known as the [[Euler line]] of the triangle, and also contains the triangle's [[de Longchamps point]] and [[nine-point center]].

Revision as of 20:00, 19 October 2011

The orthocenter of a triangle is the point of intersection of its altitudes. It is conventionally denoted $H$.

Proof of Existence

Note: The orthocenter's existence is a trivial consequence of the trigonometric version Ceva's Theorem; however, the following proof, due to Leonhard Euler, is much more clever, illuminating and insightful.

[asy] defaultpen(fontsize(8)); pair A=(8,7), B=(0,0), C=(10,0), A1 = (B+C)/2, O = circumcenter(A,B,C), G = (A+B+C)/3, H = 3*G-2*O; draw(A--B--C--cycle); draw(A--G--H--cycle); draw(A1--G--O--cycle); label("A",A,(0,1));label("B",B,(0,-1));label("C",C,(0,-1));label("G",G,(1,-1));label("H",H,(0,-1));label("O",O,(-1,1));label("$A'$",A1,(0,-1));dot(H); [/asy] Consider a triangle $ABC$ with circumcenter $O$ and centroid $G$. Let $A'$ be the midpoint of $BC$. Let $H$ be the point such that $G$ is between $H$ and $O$ and $HG = 2 GO$. Then the triangles $AGH$, $A'GO$ are similar by side-angle-side similarity. It follows that $AH$ is parallel to $OA'$ and is therefore perpendicular to $BC$; i.e., it is the altitude from $A$. Similarly, $BH$, $CH$, are the altitudes from $B$, ${C}$. Hence all the altitudes pass through $H$. Q.E.D.

This proof also gives us the result that the orthocenter, centroid, and circumcenter are collinear, in that order, and in the proportions described above. The line containing these three points is known as the Euler line of the triangle, and also contains the triangle's de Longchamps point and nine-point center.

Properties

  • The orthocenter and the circumcenter of a triangle are isogonal conjugates.
  • If the orthocenter's triangle is acute, then the orthocenter is in the triangle; if the triangle is right, then it is on the vertex opposite the hypotenuse; and if it is obtuse, then the orthocenter is outside the triangle.
  • Let $ABC$ be a triangle and $H$ its orthocenter. Then the reflections of $H$ over $AB$, $BC$, and $CA$ are on the circumcircle of $ABC$:

[asy] defaultpen(fontsize(8)); pair A=(8,7), B=(0,0), C=(10,0), H=orthocenter(A,B,C), A1, B1, C1; A1 = 2*foot(A,B,C)-H; B1 = 2*foot(B,C,A)-H; C1 = 2*foot(C,A,B)-H; draw(A--B--C--cycle,black+1); draw(A--A1);draw(B--B1);draw(C--C1); draw(A1--B--C1--A--B1--C--cycle); draw(circumcircle(A,B,C)); dot(A1^^B1^^C1^^H); label("$A$",A,(0,1));label("$B$",B,(-1,0));label("$C$",C,(1,0)); label("$A'$",A1,(0,-1));label("$B'$",B1,(1,1));label("$C'$",C1,(-1,1)); label("$H$",H,(-1,-1)); [/asy]

  • Even more interesting is the fact that if you take any point $P$ on the circumcircle and let $M$ to be the midpoint of $HP$, then $M$ is on the nine-point circle.

See Also

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