Euler Line¶
The line of a non-equilateral triangle on which its circumcenter, centroid, orthocenter, and nine-point center lie in fixed affine ratios.
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
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. 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.
How would you explain it like I'm…
Triangle Centers in a Row
Three Centers, One Line
Collinear Triangle Centers Line
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.
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.
Abstract Reasoning¶
- Construct or calculate \(O\) and \(G\).
- Use a convenient vector origin, often \(O\).
- Derive the orthocenter vector from the vertex vectors.
- Show \(H=3G-2O\).
- Infer collinearity and the \(OG:GH=1:2\) ratio.
- Take the midpoint of \(OH\) to obtain \(N\).
- 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.
Relationships to Other Abstractions¶
Current abstraction Euler Line Domain-specific
Parents (1) — outgoing typed relations
-
Euler Line is a kind of Relation Prime
Relation is the broader abstraction this entry instantiates.
Hierarchy path (1) — routes to 1 parentless root
- Euler Line → is a kind of Relation
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 (2769 abstractions)
Nearest neighbors
- Right triangle — 0.80
- Law of sines — 0.80
- Desargues's Theorem — 0.78
- Rhombus — 0.77
- Edge Tessellation — 0.76
Computed from structural-signature embeddings · 2026-10-25