[[Image:Triangle.EulerLine.svg|thumb|

]]

In geometry, the Euler line, named after Leonhard Euler ( ), is a line determined from any triangle that is not equilateral. It is a central line of the triangle, and it passes through several important points determined from the triangle, including the orthocenter, the circumcenter, the centroid, the Exeter point and the center of the nine-point circle of the triangle.

The concept of a triangle's Euler line extends to the Euler line of other shapes, such as the quadrilateral and the tetrahedron.

Triangle centers on the Euler line

Individual centers

Euler showed in 1765 that in any triangle, the orthocenter, circumcenter and centroid are collinear. This property is also true for another triangle center, the nine-point center, although it had not been defined in Euler's time. In equilateral triangles, these four points coincide, but in any other triangle they are all distinct from each other, and the Euler line is determined by any two of them.

Other notable points that lie on the Euler line include the de Longchamps point, the Schiffler point, the Exeter point, and the Gossard perspector. it is on the Euler line only for isosceles triangles, for which the Euler line coincides with the symmetry axis of the triangle and contains all triangle centers.

The tangential triangle of a reference triangle is tangent to the latter's circumcircle at the reference triangle's vertices. The circumcenter of the tangential triangle lies on the Euler line of the reference triangle. reads as

:<math>\vec{OH}=\vec{OA}+\vec{OB}+\vec{OC}.</math>

Now, using the vector addition, we deduce that

:<math>\vec{GO}=\vec{GA}+\vec{AO}\,\mbox{(in triangle }AGO\mbox{)},\,\vec{GO}=\vec{GB}+\vec{BO}\,\mbox{(in triangle }BGO\mbox{)},\,\vec{GO}=\vec{GC}+\vec{CO}\,\mbox{(in triangle }CGO\mbox{)}.</math>

By adding these three relations, term by term, we obtain that

:<math>3\cdot\vec{GO}=\left(\sum\limits_{\scriptstyle\rm cyc}\vec{GA}\right)+\left(\sum\limits_{\scriptstyle\rm cyc}\vec{AO}\right)=0-\left(\sum\limits_{\scriptstyle\rm cyc}\vec{OA}\right)=-\vec{OH}.</math>

In conclusion, <math>3\cdot\vec{OG}=\vec{OH}</math>, and so the three points <math>O</math>, <math>G</math> and <math>H</math> (in this order) are collinear.

In Dörrie's book,

:<math>GH=2GO;</math>

:<math>OH=3GO.</math>

The segment GH is a diameter of the orthocentroidal circle.

The center N of the nine-point circle lies along the Euler line midway between the orthocenter and the circumcenter:

:<math>(\tan C -\tan B)\alpha +(\tan A -\tan C)\beta + (\tan B -\tan A)\gamma =0.</math>

Parametric representation

Another way to represent the Euler line is in terms of a parameter t. Starting with the circumcenter (with trilinear coordinates <math>\cos A : \cos B : \cos C</math>) and the orthocenter (with trilinears <math>\sec A : \sec B : \sec C = \cos B \cos C : \cos C \cos A : \cos A \cos B),</math> every point on the Euler line, except the orthocenter, is given by the trilinear coordinates

:<math>\cos A + t \cos B \cos C : \cos B + t \cos C \cos A : \cos C + t \cos A \cos B</math>

formed as a linear combination of the trilinears of these two points, for some t.

For example:

  • The circumcenter has trilinears <math>\cos A:\cos B:\cos C,</math> corresponding to the parameter value <math>t=0.</math>
  • The centroid has trilinears <math>\cos A + \cos B \cos C : \cos B + \cos C \cos A : \cos C + \cos A \cos B,</math> corresponding to the parameter value <math>t=1.</math>
  • The nine-point center has trilinears <math>\cos A + 2 \cos B \cos C : \cos B + 2 \cos C \cos A : \cos C + 2 \cos A \cos B,</math> corresponding to the parameter value <math>t=2.</math>
  • The de Longchamps point has trilinears <math>\cos A - \cos B \cos C : \cos B - \cos C \cos A : \cos C - \cos A \cos B,</math> corresponding to the parameter value <math>t=-1.</math>

Slope

In a Cartesian coordinate system, denote the slopes of the sides of a triangle as <math>m_1,</math> <math>m_2,</math> and <math>m_3,</math> and denote the slope of its Euler line as <math>m_E</math>. Then these slopes are related according to

:<math>m_1m_2 + m_1m_3 + m_1m_E + m_2m_3 + m_2m_E + m_3m_E</math>

::<math> + 3m_1m_2m_3m_E + 3 = 0.</math>

Thus the slope of the Euler line (if finite) is expressible in terms of the slopes of the sides as

:<math>m_E=-\frac{m_1m_2 + m_1m_3 + m_2m_3 + 3}{m_1 + m_2 + m_3 + 3m_1m_2m_3}.</math>

Moreover, the Euler line is parallel to an acute triangle's side BC if and only if

In special triangles

Right triangle

In a right triangle, the Euler line coincides with the median to the hypotenuse&mdash;that is, it goes through both the right-angled vertex and the midpoint of the side opposite that vertex. This is because the right triangle's orthocenter, the intersection of its altitudes, falls on the right-angled vertex while its circumcenter, the intersection of its perpendicular bisectors of sides, falls on the midpoint of the hypotenuse.

Isosceles triangle

The Euler line of an isosceles triangle coincides with the axis of symmetry. In an isosceles triangle the incenter falls on the Euler line.

Automedian triangle

The Euler line of an automedian triangle (one whose medians are in the same proportions, though in the opposite order, as the sides) is perpendicular to one of the medians.

Systems of triangles with concurrent Euler lines

Consider a triangle ABC with Fermat–Torricelli points F<sub>1</sub> and F<sub>2</sub>. The Euler lines of the 10 triangles with vertices chosen from A, B, C, F<sub>1</sub> and F<sub>2</sub> are concurrent at the centroid of triangle ABC.

The Euler lines of the four triangles formed by an orthocentric system (a set of four points such that each is the orthocenter of the triangle with vertices at the other three points) are concurrent at the nine-point center common to all of the triangles.

Tetrahedron

A tetrahedron is a three-dimensional object bounded by four triangular faces. Seven lines associated with a tetrahedron are concurrent at its centroid; its six midplanes intersect at its Monge point; and there is a circumsphere passing through all of the vertices, whose center is the circumcenter. These points define the "Euler line" of a tetrahedron analogous to that of a triangle. The centroid is the midpoint between its Monge point and circumcenter along this line. The center of the twelve-point sphere also lies on the Euler line.

Simplicial polytope

A simplicial polytope is a polytope whose facets are all simplices (plural of simplex). For example, every polygon is a simplicial polytope. The Euler line associated to such a polytope is the line determined by its centroid and circumcenter of mass. This definition of an Euler line generalizes the ones above.

Suppose that <math>P</math> is a polygon. The Euler line <math>E</math> is sensitive to the symmetries of <math>P</math> in the following ways:

  1. If <math>P</math> has a line of reflection symmetry <math>L</math>, then <math>E</math> is either <math>L</math> or a point on <math>L</math>.
  2. If <math>P</math> has a center of rotational symmetry <math>C</math>, then <math>E=C</math>.

A triangle's Kiepert parabola is the unique parabola that is tangent to the sides (two of them extended) of the triangle and has the Euler line as its directrix.

References

  • An interactive applet showing several triangle centers that lies on the Euler line.
  • "Euler Line" and "Non-Euclidean Triangle Continuum" at the Wolfram Demonstrations Project
  • Nine-point conic and Euler line generalization, A further Euler line generalization, and The quasi-Euler line of a quadrilateral and a hexagon at Dynamic Geometry Sketches
  • Bogomolny, Alexander, "Altitudes and the Euler Line" and "Euler Line and 9-Point Circle", Cut-the-Knot
  • Archived at Ghostarchive and the Wayback Machine: