Orthocenter

File:Triangle.Orthocenter.svg

The three altitudes of a triangle intersect at the orthocenter, which for an acute triangle is inside the triangle.

The orthocenter of a triangle, usually denoted by Template:Mvar, is the point where the three (possibly extended) altitudes intersect. The orthocenter lies inside the triangle if and only if the triangle is acute. For a right triangle, the orthocenter coincides with the vertex at the right angle. For an equilateral triangle, all triangle centers (including the orthocenter) coincide at its centroid.

Formulation

Let Template:Mvar denote the vertices and also the angles of the triangle, and let $a=\left|\overline{BC}\right|,b=\left|\overline{CA}\right|,c=\left|\overline{AB}\right|$ be the side lengths. The orthocenter has trilinear coordinates

$$\begin{array}{rl}& \sec A:\sec B:\sec C\\ & =\cos A-\sin B\sin C:\cos B-\sin C\sin A:\cos C-\sin A\sin B,\end{array}$$

and barycentric coordinates

$$\begin{array}{rl}& (a^2+b^2-c^2)(a^2-b^2+c^2):(a^2+b^2-c^2)(-a^2+b^2+c^2):(a^2-b^2+c^2)(-a^2+b^2+c^2)\\ & =\tan A:\tan B:\tan C.\end{array}$$

Since barycentric coordinates are all positive for a point in a triangle's interior but at least one is negative for a point in the exterior, and two of the barycentric coordinates are zero for a vertex point, the barycentric coordinates given for the orthocenter show that the orthocenter is in an acute triangle's interior, on the right-angled vertex of a right triangle, and exterior to an obtuse triangle.

In the complex plane, let the points Template:Mvar represent the numbers Template:Mvar and assume that the circumcenter of triangle Template:Math is located at the origin of the plane. Then, the complex number

$z_H=z_A+z_B+z_C$

is represented by the point Template:Mvar, namely the altitude of triangle Template:Math. From this, the following characterizations of the orthocenter Template:Mvar by means of free vectors can be established straightforwardly:

$\overrightarrow{OH}=\sum _{\mathrm{c}\mathrm{y}\mathrm{c}\mathrm{l}\mathrm{i}\mathrm{c}}\overrightarrow{OA},2\cdot \overrightarrow{HO}=\sum _{\mathrm{c}\mathrm{y}\mathrm{c}\mathrm{l}\mathrm{i}\mathrm{c}}\overrightarrow{HA}.$

The first of the previous vector identities is also known as the problem of Sylvester, proposed by James Joseph Sylvester.

Properties

Let Template:Mvar denote the feet of the altitudes from Template:Mvar respectively. Then:

• The product of the lengths of the segments that the orthocenter divides an altitude into is the same for all three altitudes:

$\overline{AH}\cdot \overline{HD}=\overline{BH}\cdot \overline{HE}=\overline{CH}\cdot \overline{HF}.$

The circle centered at Template:Mvar having radius the square root of this constant is the triangle's polar circle.

• The sum of the ratios on the three altitudes of the distance of the orthocenter from the base to the length of the altitude is 1: (This property and the next one are applications of a more general property of any interior point and the three cevians through it.)

$\frac{\overline{HD}}{\overline{AD}}+\frac{\overline{HE}}{\overline{BE}}+\frac{\overline{HF}}{\overline{CF}}=1.$

• The sum of the ratios on the three altitudes of the distance of the orthocenter from the vertex to the length of the altitude is 2:

$\frac{\overline{AH}}{\overline{AD}}+\frac{\overline{BH}}{\overline{BE}}+\frac{\overline{CH}}{\overline{CF}}=2.$

• The isogonal conjugate of the orthocenter is the circumcenter of the triangle.
• The isotomic conjugate of the orthocenter is the symmedian point of the anticomplementary triangle.
• Four points in the plane, such that one of them is the orthocenter of the triangle formed by the other three, is called an orthocentric system or orthocentric quadrangle.

Relation with circles and conics

Denote the circumradius of the triangle by Template:Mvar. Then

$a^2+b^2+c^2+\stackrel{2}{\stackrel{‾}{AH}}+\stackrel{2}{\stackrel{‾}{BH}}+\stackrel{2}{\stackrel{‾}{CH}}=12R^2.$

In addition, denoting Template:Mvar as the radius of the triangle's incircle, Template:Mvar as the radii of its excircles, and Template:Mvar again as the radius of its circumcircle, the following relations hold regarding the distances of the orthocenter from the vertices:

$\begin{array}{rl}& r_a+r_b+r_c+r=\overline{AH}+\overline{BH}+\overline{CH}+2R,\\ & r_a^2+r_b^2+r_c^2+r^2=\stackrel{2}{\stackrel{‾}{AH}}+\stackrel{2}{\stackrel{‾}{BH}}+\stackrel{2}{\stackrel{‾}{CH}}+(2R{)}^2.\end{array}$

If any altitude, for example, Template:Mvar, is extended to intersect the circumcircle at Template:Mvar, so that Template:Mvar is a chord of the circumcircle, then the foot Template:Mvar bisects segment Template:Mvar:

$\overline{HD}=\overline{DP}.$

The directrices of all parabolas that are externally tangent to one side of a triangle and tangent to the extensions of the other sides pass through the orthocenter.

A circumconic passing through the orthocenter of a triangle is a rectangular hyperbola.

Relation to other centers, the nine-point circle

The orthocenter Template:Mvar, the centroid Template:Mvar, the circumcenter Template:Mvar, and the center Template:Mvar of the nine-point circle all lie on a single line, known as the Euler line. The center of the nine-point circle lies at the midpoint of the Euler line, between the orthocenter and the circumcenter, and the distance between the centroid and the circumcenter is half of that between the centroid and the orthocenter:

$\begin{array}{rl}& \overline{OH}=2\overline{NH},\\ & 2\overline{OG}=\overline{GH}.\end{array}$

The orthocenter is closer to the incenter Template:Mvar than it is to the centroid, and the orthocenter is farther than the incenter is from the centroid:

$\begin{array}{rl}\overline{HI}& <\overline{HG},\\ \overline{HG}& >\overline{IG}.\end{array}$

In terms of the sides Template:Mvar, Template:Mvar, Template:Mvar, inradius Template:Mvar and circumradius Template:Mvar,Template:Rp

$\begin{array}{rl}\stackrel{2}{\stackrel{‾}{OH}}& =R^2-8R^2\cos A\cos B\cos C\\ & =9R^2-(a^2+b^2+c^2),\\ \stackrel{2}{\stackrel{‾}{HI}}& =2r^2-4R^2\cos A\cos B\cos C.\end{array}$

Orthic triangle

File:Altitudes and orthic triangle SVG.svg

Triangle Template:Math (respectively, Template:Math in the text) is the orthic triangle of triangle Template:Math

If the triangle Template:Math is oblique (does not contain a right-angle), the pedal triangle of the orthocenter of the original triangle is called the orthic triangle or altitude triangle. That is, the feet of the altitudes of an oblique triangle form the orthic triangle, Template:Math. Also, the incenter (the center of the inscribed circle) of the orthic triangle Template:Math is the orthocenter of the original triangle Template:Math.

Trilinear coordinates for the vertices of the orthic triangle are given by $$\begin{array}{rccccc}D=& 0& :& \sec B& :& \sec C\\ E=& \sec A& :& 0& :& \sec C\\ F=& \sec A& :& \sec B& :& 0\end{array}$$

The extended sides of the orthic triangle meet the opposite extended sides of its reference triangle at three collinear points.

In any acute triangle, the inscribed triangle with the smallest perimeter is the orthic triangle. This is the solution to Fagnano's problem, posed in 1775. The sides of the orthic triangle are parallel to the tangents to the circumcircle at the original triangle's vertices.

The orthic triangle of an acute triangle gives a triangular light route.

The tangent lines of the nine-point circle at the midpoints of the sides of Template:Math are parallel to the sides of the orthic triangle, forming a triangle similar to the orthic triangle.

The orthic triangle is closely related to the tangential triangle, constructed as follows: let Template:Mvar be the line tangent to the circumcircle of triangle Template:Math at vertex Template:Mvar, and define Template:Mvar analogously. Let $A^{″}=L_B\cap L_C,$ $B^{″}=L_C\cap L_A,$ $C^{″}=L_C\cap L_A.$ The tangential triangle is Template:Math, whose sides are the tangents to triangle Template:Math's circumcircle at its vertices; it is homothetic to the orthic triangle. The circumcenter of the tangential triangle, and the center of similitude of the orthic and tangential triangles, are on the Euler line.Template:Rp

Trilinear coordinates for the vertices of the tangential triangle are given by $$\begin{array}{rrcrcr}{A}^{″}=& -a& :& b& :& c\\ B^{″}=& a& :& -b& :& c\\ C^{″}=& a& :& b& :& -c\end{array}$$ The reference triangle and its orthic triangle are orthologic triangles.

For more information on the orthic triangle, see here.

History

The theorem that the three altitudes of a triangle concur (at the orthocenter) is not directly stated in surviving Greek mathematical texts, but is used in the Book of Lemmas (proposition 5), attributed to Archimedes (3rd century BC), citing the "commentary to the treatise about right-angled triangles", a work which does not survive. It was also mentioned by Pappus (Mathematical Collection, VII, 62; Template:C. 340). The theorem was stated and proved explicitly by al-Nasawi in his (11th century) commentary on the Book of Lemmas, and attributed to al-Quhi (Template:Floruit).

This proof in Arabic was translated as part of the (early 17th century) Latin editions of the Book of Lemmas, but was not widely known in Europe, and the theorem was therefore proven several more times in the 17th–19th century. Samuel Marolois proved it in his Geometrie (1619), and Isaac Newton proved it in an unfinished treatise Geometry of Curved Lines Template:Nobr Later William Chapple proved it in 1749.

A particularly elegant proof is due to François-Joseph Servois (1804) and independently Carl Friedrich Gauss (1810): Draw a line parallel to each side of the triangle through the opposite point, and form a new triangle from the intersections of these three lines. Then the original triangle is the medial triangle of the new triangle, and the altitudes of the original triangle are the perpendicular bisectors of the new triangle, and therefore concur (at the circumcenter of the new triangle).

See also

• Triangle center

External links

• Orthocenter of a triangle With interactive animation
• Animated demonstration of orthocenter construction Compass and straightedge.
• Fagnano's Problem by Jay Warendorff, Wolfram Demonstrations Project.