The Euler Line's Cartesian Formula

Abstract

A triangle determines several mathematically significant points, including its circumcenter, its centroid, and its orthocenter. If the triangle is not equilateral, then those points are distinct and determine a line, known as the Euler line, which is typically represented using trigonometric, vector, or parametric notation. Here a formula for the Euler line is derived using the Cartesian coordinates of the triangle.

Introduction

In two-dimensional Euclidean geometry, any triangle determines many points that are not necessarily contained in the triangle's three vertices and three sides. Among these are the circumcenter, the centroid, and the orthocenter.

If a triangle is equilateral, then all of these points are the same point and therefore do not determine a line. However, if the triangle is not equilateral, then the points are not identical and have the remarkable property of being rectilinear.

This containing line is named in honor of the famous Swiss mathematician Leonhard Euler, who demonstrated its existence in his 1765 work Solutio Facilis Problematum Quorundam Geometricorum Difficillimorum, which was part of Novi Commentarii Academiae Scientiarum Imperialis Petropolitanae, Volume 11.

It was later discovered that the Euler line also contains other points of mathematical interest, such as the Exeter point, the de Longchamps point, the Schiffler point, the Zeeman-Gossard perspector, and the center of the nine-point circle. (Those points will not be examined in this article.)

For the analysis that follows, imagine a triangle whose vertices, in the clockwise direction, are at the distinct Cartesian coordinates `(A_x,A_y)`, `(B_x,B_y)`, and `(C_x,C_y).`

Triangle ABC
Figure 1. Triangle ABC

Circumcenter

A triangle's circumcenter, usually denoted as `O`, is the center of the single circle that passes through the triangle's three vertices.

Circle and circumcenter (O)
Figure 2. Circle and circumcenter (O)

Its Cartesian representation is:

`x = ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) / ( 2 ( A_x (B_y - C_y) + B_x (C_y - A_y) + C_x (A_y - B_y) ) ).`

`y = ( (A_x^2 + A_y^2) (C_x - B_x) + (B_x^2 + B_y^2) (A_x - C_x) + (C_x^2 + C_y^2) (B_x - A_x) ) / ( 2 ( A_x (B_y - C_y) + B_x (C_y - A_y) + C_x (A_y - B_y) ) ).`

Centroid

A triangle's centroid, usually denoted as `G`, is the intersection of the triangle's three medians, each of which is a line segment from a vertex to the midpoint of its base, which is the side opposite that vertex. The centroid is also known as the medicenter. From a physics perspective, if the triangle were a solid object of uniform thickness, then the centroid would be its center of mass.

Medians and centroid (G)
Figure 3. Medians and centroid (G)

Its Cartesian representation is:

`x = ( A_x + B_x + C_x ) / 3.`

`y = ( A_y + B_y + C_y ) / 3.`

Orthocenter

A triangle's orthocenter, usually denoted as `H`, is the intersection point of its three altitudes, each of which is a line segment from a vertex orthogonally to the altitude's extended base, which is the line through the side opposite the vertex.

Altitudes and orthocenter (H)
Figure 4. Altitudes and orthocenter (H)

The Cartesian coordinates of the orthocenter are given by these formulas:

If `B_y = C_y`, then `x = A_x`. If `A_y = C_y`, then `x = B_x`. If `A_y = B_y`, then `x = C_x`. Otherwise,

`x = ( A_y^2 (C_y - B_y) + B_x C_x (C_y - B_y) + B_y^2 (A_y - C_y) + A_x C_x (A_y - C_y) + C_y^2 (B_y - A_y) + A_x B_x (B_y - A_y) ) / ( A_x (B_y - C_y) + B_x (C_y - A_y) + C_x (A_y - B_y) ).`

If `B_x = C_x`, then `y = A_y`. If `A_x = C_x`, then `y = B_y`. If `A_x = B_x`, then `y = C_y`. Otherwise,

`y = ( A_x^2 (B_x - C_x) + B_y C_y (B_x - C_x) + B_x^2 (C_x - A_x) + A_y C_y (C_x - A_x) + C_x^2 (A_x - B_x) + A_y B_y (A_x - B_x) ) / ( A_y (C_x - B_x) + B_y (A_x - C_x) + C_y (B_x - A_x) ).`

Euler Line

These three points — the circumcenter (O), the centroid (G), and the orthocenter (H) — can be plotted for any triangle.

Circumcenter (O), centroid (G), orthocenter (H)
Figure 5. Circumcenter (O), centroid (G), orthocenter (H)

The rectilinear nature of the three points — at least for the example triangle with the coordinates (1,2), (6,6), (7,1) — is obvious. As noted earlier, these points define the Euler line.

Euler line
Figure 6. Euler line

Incenter

Before deriving a formula for the Euler line based on its Cartesian coordinates, it can be noted that not all mathematically significant points of a triangle lie on the Euler line — for instance, the incenter, which is the intersection point of the angle bisectors of a triangle.

Angle bisectors and incenter (I)
Figure 7. Angle bisectors and incenter (I)

The point is usually denoted as `I` and is equidistant from the sides of the triangle.

The incenter, in this case, may be close to the Euler line.

Circumcenter (O), centroid (G), incenter (I), orthocenter (H)
Figure 8. Circumcenter (O), centroid (G), incenter (I), orthocenter (H)

However, the incenter is not on the Euler line, as proven with this single exception.

Incenter not on Euler line
Figure 9. Incenter not on Euler line

Euler Line Formula

A Cartesian representation of the Euler line can be derived using the formulas for any two of the three points detailed above. The brevity of the centroid formulas makes it an obvious first choice. The circumcenter formulas are shorter than those of the orthocenter, and hence the former will be the other point used here.

The line passing through the two points `A` and `B` may be written as the standard slope-intercept formula

`y = x (B_y - A_y) / (B_x - A_x) + (A_y B_x - A_x B_y) / (B_x - A_x).`

Plugging the formulas for the centroid and the circumcenter into the standard slope-intercept formula results in

`y = x ( ( ( (A_x^2 + A_y^2) (C_x - B_x) + (B_x^2 + B_y^2) (A_x - C_x) + (C_x^2 + C_y^2) (B_x - A_x) ) / ( 2 ( A_x (B_y - C_y) + B_x (C_y - A_y) + C_x (A_y - B_y) ) ) ) - ( ( A_y + B_y + C_y ) / 3 ) ) / ( ( ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) / ( 2 ( A_x (B_y - C_y) + B_x (C_y - A_y) + C_x (A_y - B_y) ) ) ) - ( ( A_x + B_x + C_x ) / 3 ) )`

`+ ( ( ( A_y + B_y + C_y ) / 3 ) ( ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) / ( 2 ( A_x (B_y - C_y) + B_x (C_y - A_y) + C_x (A_y - B_y) ) ) ) - ( ( A_x + B_x + C_x ) / 3 ) ( ( (A_x^2 + A_y^2) (C_x - B_x) + (B_x^2 + B_y^2) (A_x - C_x) + (C_x^2 + C_y^2) (B_x - A_x) ) / ( 2 ( A_x (B_y - C_y) + B_x (C_y - A_y) + C_x (A_y - B_y) ) ) ) ) / ( ( ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) / ( 2 ( A_x (B_y - C_y) + B_x (C_y - A_y) + C_x (A_y - B_y) ) ) ) - ( ( A_x + B_x + C_x ) / 3 ) ).`

Begin simplifying by forming common denominators:

`y = x ( ( ( (A_x^2 + A_y^2) (C_x - B_x) + (B_x^2 + B_y^2) (A_x - C_x) + (C_x^2 + C_y^2) (B_x - A_x) ) / ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) ( 3 / 3 ) - ( ( A_y + B_y + C_y ) / 3 ) ( ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) / ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) ) / ( ( ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) / ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) ( 3 / 3 ) - ( ( A_x + B_x + C_x ) / 3 ) ( ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) / ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) )`

`+ ( ( ( A_y + B_y + C_y ) / 3 ) ( ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) / ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) - ( ( A_x + B_x + C_x ) / 3 ) ( ( (A_x^2 + A_y^2) (C_x - B_x) + (B_x^2 + B_y^2) (A_x - C_x) + (C_x^2 + C_y^2) (B_x - A_x) ) / ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) ) / ( ( ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) / ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) ( 3 / 3 ) - ( ( A_x + B_x + C_x ) / 3 ) ( ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) / ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) ).`

Continue the process:

`y = x ( ( ( 3 (A_x^2 + A_y^2) (C_x - B_x) + 3 (B_x^2 + B_y^2) (A_x - C_x) + 3 (C_x^2 + C_y^2) (B_x - A_x) - ( A_y + B_y + C_y ) ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) / ( 6 A_x (B_y - C_y) + 6 B_x (C_y - A_y) + 6 C_x (A_y - B_y) ) ) ) / ( ( ( 3 (A_x^2 + A_y^2) (B_y - C_y) + 3 (B_x^2 + B_y^2) (C_y - A_y) + 3 (C_x^2 + C_y^2) (A_y - B_y) - ( A_x + B_x + C_x ) ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) / ( 6 A_x (B_y - C_y) + 6 B_x (C_y - A_y) + 6 C_x (A_y - B_y) ) ) )`

`+ ( ( ( ( A_y + B_y + C_y ) ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) ) / ( 6 A_x (B_y - C_y) + 6 B_x (C_y - A_y) + 6 C_x (A_y - B_y) ) ) - ( ( ( A_x + B_x + C_x ) ( (A_x^2 + A_y^2) (C_x - B_x) + (B_x^2 + B_y^2) (A_x - C_x) + (C_x^2 + C_y^2) (B_x - A_x) ) ) / ( 6 A_x (B_y - C_y) + 6 B_x (C_y - A_y) + 6 C_x (A_y - B_y) ) ) ) / ( ( ( 3 (A_x^2 + A_y^2) (B_y - C_y) + 3 (B_x^2 + B_y^2) (C_y - A_y) + 3 (C_x^2 + C_y^2) (A_y - B_y) ) / ( 6 A_x (B_y - C_y) + 6 B_x (C_y - A_y) + 6 C_x (A_y - B_y) ) ) - ( ( ( A_x + B_x + C_x ) ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) / ( 6 A_x (B_y - C_y) + 6 B_x (C_y - A_y) + 6 C_x (A_y - B_y) ) ) ).`

Finally, eliminate the common denominators:

`y = x ( 3 (A_x^2 + A_y^2) (C_x - B_x) + 3 (B_x^2 + B_y^2) (A_x - C_x) + 3 (C_x^2 + C_y^2) (B_x - A_x) - ( A_y + B_y + C_y ) ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) / ( 3 (A_x^2 + A_y^2) (B_y - C_y) + 3 (B_x^2 + B_y^2) (C_y - A_y) + 3 (C_x^2 + C_y^2) (A_y - B_y) - ( A_x + B_x + C_x ) ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) )`

`+ ( ( A_y + B_y + C_y ) ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) - ( A_x + B_x + C_x ) ( (A_x^2 + A_y^2) (C_x - B_x) + (B_x^2 + B_y^2) (A_x - C_x) + (C_x^2 + C_y^2) (B_x - A_x) ) ) / ( 3 (A_x^2 + A_y^2) (B_y - C_y) + 3 (B_x^2 + B_y^2) (C_y - A_y) + 3 (C_x^2 + C_y^2) (A_y - B_y) - ( A_x + B_x + C_x ) ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ).`

Example

Consider a triangle whose coordinates have the values illustrated in Figure 6: (1,2), (6,6), (7,1). Plugging these values into the formula derived above results in this equation:

`y = x ( 3 (1^2 + 2^2) (7 - 6) + 3 (6^2 + 6^2) (1 - 7) + 3 (7^2 + 1^2) (6 - 1) - ( 2 + 6 + 1 ) ( 2 * 1 (6 - 1) + 2 * 6 (1 - 2) + 2 * 7 (2 - 6) ) ) / ( 3 (1^2 + 2^2) (6 - 1) + 3 (6^2 + 6^2) (1 - 2) + 3 (7^2 + 1^2) (2 - 6) - ( 1 + 6 + 7 ) ( 2 * 1 (6 - 1) + 2 * 6 (1 - 2) + 2 * 7 (2 - 6) ) )`

`+ ( ( 2 + 6 + 1 ) ( (1^2 + 2^2) (6 - 1) + (6^2 + 6^2) (1 - 2) + (7^2 + 1^2) (2 - 6) ) - ( 1 + 6 + 7 ) ( (1^2 + 2^2) (7 - 6) + (6^2 + 6^2) (1 - 7) + (7^2 + 1^2) (6 - 1) ) ) / ( 3 (1^2 + 2^2) (6 - 1) + 3 (6^2 + 6^2) (1 - 2) + 3 (7^2 + 1^2) (2 - 6) - ( 1 + 6 + 7 ) ( 2 * 1 (6 - 1) + 2 * 6 (1 - 2) + 2 * 7 (2 - 6) ) )`

Perform the calculations (to eight significant digits):

`y = x ( -9 / 71 ) + 255 / 71 = x ( -0.12676056 ) + 3.5915493`

This line has a slope of -0.12676056 and intersects the y-axis at 3.5915493, which matches the line seen in Figure 6.

Conclusion

For any triangle defined by the vertices whose Cartesian coordinates are `(A_x,A_y)`, `(B_x,B_y)`, and `(C_x,C_y)`, its Euler line can be represented by this formula:

`y = x ( 3 (A_x^2 + A_y^2) (C_x - B_x) + 3 (B_x^2 + B_y^2) (A_x - C_x) + 3 (C_x^2 + C_y^2) (B_x - A_x) - ( A_y + B_y + C_y ) ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ) / ( 3 (A_x^2 + A_y^2) (B_y - C_y) + 3 (B_x^2 + B_y^2) (C_y - A_y) + 3 (C_x^2 + C_y^2) (A_y - B_y) - ( A_x + B_x + C_x ) ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) )`

`+ ( ( A_y + B_y + C_y ) ( (A_x^2 + A_y^2) (B_y - C_y) + (B_x^2 + B_y^2) (C_y - A_y) + (C_x^2 + C_y^2) (A_y - B_y) ) - ( A_x + B_x + C_x ) ( (A_x^2 + A_y^2) (C_x - B_x) + (B_x^2 + B_y^2) (A_x - C_x) + (C_x^2 + C_y^2) (B_x - A_x) ) ) / ( 3 (A_x^2 + A_y^2) (B_y - C_y) + 3 (B_x^2 + B_y^2) (C_y - A_y) + 3 (C_x^2 + C_y^2) (A_y - B_y) - ( A_x + B_x + C_x ) ( 2 A_x (B_y - C_y) + 2 B_x (C_y - A_y) + 2 C_x (A_y - B_y) ) ).`

Copyright © 2018 Michael J. Ross. All rights reserved.
bad bots block