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.
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) — 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
- Euler Line → 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 (1565 abstractions)
Nearest neighbors
- Right triangle — 0.80
- Law of sines — 0.80
- Rhombus — 0.77
- Edge Tessellation — 0.76
- Nine-Point Conic — 0.75
Computed from structural-signature embeddings · 2026-09-08