Skip to content

Euler Line

The line of a non-equilateral triangle on which its circumcenter, centroid, orthocenter, and nine-point center lie in fixed affine ratios.

Version
v2 · 2026-09-06 · History
Domain-specific #
1793
Origin domain
mathematics
Subdomain
triangle geometry
Aliases
Euler's line, Euler line of a triangle

Core Idea

For a non-equilateral Euclidean triangle, the circumcenter \(O\), centroid \(G\), and orthocenter \(H\) are collinear. Their common line is the Euler line, and

\[ \overrightarrow{GH}=2\overrightarrow{OG}, \]

so \(G\) divides \(OH\) in the ratio \(1:2\). The nine-point center \(N\) is the midpoint of \(OH\), hence also lies on the line.[1] The result is a linked center configuration, not merely any line through two selected points.

Euler established the central relation in his paper E325, presented in 1763 and published in 1767.[2]

Structural Signature

  • A nondegenerate Euclidean triangle \(ABC\).
  • Circumcenter \(O\), from perpendicular bisectors.
  • Centroid \(G\), from medians.
  • Orthocenter \(H\), from altitudes.
  • Collinearity of \(O,G,H\).
  • Fixed vector relation \(H=3G-2O\).
  • Nine-point center \(N=(O+H)/2\).
  • A line invariant under similarities of the triangle.
  • Collapse to an indeterminate line when the triangle is equilateral.
  • Additional triangle centers that may lie on the same line under defined conventions.

What It Is Not

It is not a triangle altitude, median, perpendicular bisector, or symmetry axis in general. It is not defined by every three triangle centers. The incenter usually does not lie on it. It is not the Euler characteristic, Euler path, Euler spiral, or an arbitrary construction bearing Euler's name.

Scope of Application

The Euler line organizes classical triangle centers, proves center ratios, supports synthetic and vector arguments, and anchors generalizations to orthocentric systems, simplices, conics, and special triangles. Modern triangle-center catalogs use it as a central locus for comparing derived points.[3]

Clarity

Declare that the triangle is Euclidean and nondegenerate. For an equilateral triangle, \(O=G=H=N\), so one point does not determine a unique Euler line. State vector orientation when using signed ratios, and distinguish facts valid for every triangle from those requiring isosceles or other special cases.

Manages Complexity

The line compresses four independently constructed centers into one affine configuration. Once \(O\), \(G\), and their ratio are known, \(H\) and \(N\) follow without repeating altitude or circle constructions. Homothety between the reference and medial triangles supplies a compact proof architecture.[4]

Abstract Reasoning

  1. Construct or calculate \(O\) and \(G\).
  2. Use a convenient vector origin, often \(O\).
  3. Derive the orthocenter vector from the vertex vectors.
  4. Show \(H=3G-2O\).
  5. Infer collinearity and the \(OG:GH=1:2\) ratio.
  6. Take the midpoint of \(OH\) to obtain \(N\).
  7. Audit equilateral and degenerate boundary cases.

Knowledge Transfer

The portable pattern is independently defined landmarks become tractable when a hidden affine relation places them on one carrier. It transfers to center loci and invariant configurations. The proposed immediate parent is Relation.

Examples

For a right triangle, the orthocenter is the right-angle vertex and the circumcenter is the midpoint of the hypotenuse; the centroid lies between them in the required ratio. For an isosceles non-equilateral triangle, the Euler line coincides with the axis of symmetry and therefore also contains the incenter.

Structural Tensions

  • Synthetic construction versus coordinate proof.
  • Euclidean center definitions versus affine ratio structure.
  • Generic uniqueness versus equilateral collapse.
  • Core four centers versus extended center catalogs.
  • Named locus versus special-triangle coincidences.

Structural–Framed Character

Collinearity, ratios, midpoint structure, and invariance under similarity are structural. Triangle centers, altitudes, circumcircles, medians, and the nine-point circle are constitutive. The identity is domain-specific.

Structural Core vs. Domain Accent

The portable core is constructed landmarks -> fixed affine dependence -> common line. The domain accent is the classical centers of a Euclidean triangle.

Relation is the proposed immediate parent. Linearity, Invariance, Symmetry, Intersection, and Measurement are related. Nine-Point Conic is neither a synonym nor a covering node.

The prospective queue contains one strict edge to prime:relation. No live DAG mutation is authorized.

Relationships to Other Abstractions

Local relationship map for Euler LineParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Euler LineDOMAINPrime abstraction: Relation — is a kind ofRelationPRIME

Current abstraction Euler Line Domain-specific

Parents (1) — more general patterns this builds on

  • Euler Line is a kind of Relation Prime

    Relation is the proposed immediate parent.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Euler Line sits in a sparse region of the domain-specific corpus (95th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With

  • Any altitude, median, or perpendicular bisector.
  • A triangle's symmetry axis, except in special cases.
  • The line through an arbitrary pair of centers.
  • Euler characteristic or Euler path.
  • Nine-Point Conic.
  • A unique line in the equilateral case.

References

[1] H. S. M. Coxeter and S. L. Greitzer, Geometry Revisited (Mathematical Association of America, 1967), ISBN 9780883856192. registry ↩

[2] Leonhard Euler, “Solutio facilis problematum quorundam geometricorum difficillimorum,” Novi Commentarii Academiae Scientiarum Imperialis Petropolitanae 11 (1767), E325, https://scholarlycommons.pacific.edu/euler-works/325/. registry ↩

[3] Clark Kimberling, “Triangle Centers and Central Triangles,” Congressus Numerantium 129 (1998): 1–285. registry ↩

[4] Gerry Leversha and G. C. Smith, “Euler and Triangle Geometry,” The Mathematical Gazette 91 (2007): 436–452, doi:10.1017/S0025557200182087. registry ↩