Difference between revisions of "Orthocenter"
(→Easier proof) |
|||
(6 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
− | The '''orthocenter''' of a [[triangle]] is the point of intersection of its [[altitude]] | + | The '''orthocenter''' of a [[triangle]] is the point of intersection of its [[altitude|altitudes]]. It is [[mathematical convention | conventionally]] denoted <math>H</math>. |
+ | <asy> | ||
+ | size(15cm); | ||
+ | markscalefactor = 0.01; | ||
+ | dot((0,0)); | ||
+ | dot((4,0)); | ||
+ | dot((3,3)); | ||
+ | dot((3,0)); | ||
+ | dot((2,2)); | ||
+ | dot((3,1)); | ||
+ | dot((3.6,1.2)); | ||
+ | draw((0,0)--(4,0)--(3,3)--cycle); | ||
+ | draw((0,0)--(3.6,1.2),red); | ||
+ | draw((2,2)--(4,0),red); | ||
+ | draw((3,0)--(3,3), red); | ||
+ | draw(rightanglemark((0,0),(3,0),(3,1))); | ||
+ | draw(rightanglemark((4,0),(3.6,1.2),(0,0))); | ||
+ | draw(rightanglemark((0,0),(2,2),(4,0))); | ||
+ | label("Orthocenter",(2.85,1.1),W); | ||
+ | </asy> | ||
+ | The lines highlighted are the [[altitude|altitudes]] of the triangle, they meet at the orthocenter. | ||
== Proof of Existence == | == Proof of Existence == | ||
Line 12: | Line 32: | ||
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 | + | 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]]. | ||
+ | |||
+ | === Easier proof === | ||
+ | That seems somewhat overkill to prove the existence of the orthocenter. We use a much easier (and funnier) way. | ||
+ | |||
+ | Let the line through <math>B</math> parallel to <math>AC</math> and the line through <math>C</math> parallel to <math>AB</math> intersect at <math>D.</math> Define <math>E,F</math> similarly. Note that <math>FA=BC=AE,</math> so the <math>A</math> altitude of <math>\triangle ABC</math> is the perpendicular bisector of <math>DE.</math> Since the circumcenter exists, the altitude must too. | ||
+ | |||
+ | <asy> | ||
+ | import olympiad; | ||
+ | size(4cm); | ||
+ | pair A=dir(110), B=dir(200), C=dir(-20), D,E,F,H; | ||
+ | H=orthocenter(A,B,C); | ||
+ | D=B+C-A; | ||
+ | E=C+A-B; | ||
+ | F=A+B-C; | ||
+ | draw(A--B--C--A); | ||
+ | draw(D--E--F--D); | ||
+ | draw(A--H,dotted); | ||
+ | draw(B--H,dotted); | ||
+ | draw(C--H,dotted); | ||
+ | label("A",A,N); | ||
+ | label("B",B,dir(190)); | ||
+ | label("C",C,dir(-10)); | ||
+ | label("D",D,S); | ||
+ | label("E",E,dir(45)); | ||
+ | label("F",F,dir(140)); | ||
+ | label("H",H,dir(50)); | ||
+ | </asy> | ||
==Properties== | ==Properties== | ||
Line 40: | Line 87: | ||
==See Also== | ==See Also== | ||
*[[Centroid]] | *[[Centroid]] | ||
+ | *[[Incenter]] | ||
*[[Altitude]] | *[[Altitude]] | ||
*[[Circumcenter]] | *[[Circumcenter]] |
Revision as of 20:52, 3 May 2020
The orthocenter of a triangle is the point of intersection of its altitudes. It is conventionally denoted . The lines highlighted are the altitudes of the triangle, they meet at the orthocenter.
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.
Consider a triangle with circumcenter and centroid . Let be the midpoint of . Let be the point such that is between and and . Then the triangles , are similar by side-angle-side similarity. It follows that is parallel to and is therefore perpendicular to ; i.e., it is the altitude from . Similarly, , , are the altitudes from , . Hence all the altitudes pass through . 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.
Easier proof
That seems somewhat overkill to prove the existence of the orthocenter. We use a much easier (and funnier) way.
Let the line through parallel to and the line through parallel to intersect at Define similarly. Note that so the altitude of is the perpendicular bisector of Since the circumcenter exists, the altitude must too.
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 be a triangle and its orthocenter. Then the reflections of over , , and are on the circumcircle of :
- Even more interesting is the fact that if you take any point on the circumcircle and let to be the midpoint of , then is on the nine-point circle.