12
$\begingroup$

In Euclidean geometry, the centroid, orthocenter and circumcenter of a triangle lie on a line.

In which other geometries does this hold?

$\endgroup$
1
  • $\begingroup$ Does Absolute Geometry + Euler collinearity $\ \Longrightarrow\ $ Euclid ? $\endgroup$ Jan 10, 2015 at 17:23

4 Answers 4

16
$\begingroup$

In the paper "On some classical constructions extended to hyperbolic geometry", A. V. Akopyan proves an analogue of Feuerbach's theorem for hyperbolic geometry. Let $M_a,M_b,M_c$ be three points on sides of a triangle so that the corresponding cevians bisect the area of the triangle $ABC$. The intersection of these cevians, G, is the analogue of the centroid. Next if we take the circle passing through $M_a,M_b,M_c$, it will intersect each side a second time, in points $H_a,H_b,H_c$. The intersection of $AH_a,BH_b,CH_c$ is the analogue of the orthocenter, call it $H$.

The paper proves that there is a line passing through $G$, $H$, the circumcenter and the center of the circle passing through $M_a,M_b,M_c$. This is pretty much the most natural analogue for the Euler line in hyperbolic geometry.

$\endgroup$
2
7
$\begingroup$

Another non-euclidean version of the Euler line, different from Akopyan's one appears in the paper "Non-euclidean shadows of classical projective theorems". This line is the line called "orthoaxis" by N. Wildberger in "Universal hyperbolic geometry II: a pictorial overview", and so it is called "Euler-Wildberger line".

As in Akopyan's paper, the Euler-Wildberger line uses alternative definitions for some centers, in this case for the centroid and the circumcenter of a triangle. These alternative definitions are equivalent to the standard ones in the euclidean case but not in the non-euclidean world. For a non-euclidean triangle $ABC$, its double triangle $A''B''C''$ is constructed by taking at each vertex the orthogonal line to the altitude through the vertex. The double triangle and the original triangle are allways perspective. In euclidean geometry, the center of perspectivity is the centroid of the triangle, and the lines $m_a,m_b,m_c$ joining $A,B,C$ with $A'',B'',C''$ respectively are the medians of the triangle, passing through the midpoints of the sides $a,b,c$ of $ABC$ respectively. In hyperbolic or elliptic geometry, this center of perspectivity is not necessarily the centroid, it is a "pseudo-centroid" of the triangle, and the lines $m_a,m_b,m_c$ do not pass through the midpoints of $a,b,c$ in general. The intersection points of $m_a,m_b,m_c$ with $a,b,c$ respectively are the "pseudo-midpoints" of the sides. The lines orthogonal to the sides through the pseudo-midpoints are concurrent and their intersection point is the "pseudo-circumcenter" of the triangle. The orthocenter, the pseudo-centroid and the pseudo-circumcenter are collinear and the Euler-Wildberger line is the line joining them. This construction is developed in Cayley-Klein projective models and because of this it is valid also for other hyperbolic figures such as right-angled hexagons, for example.

$\endgroup$
6
$\begingroup$

As shown by Richard Baldus in 1929 (Ueber Eulers Dreieckssatz in der absoluten Geometrie, Sitzungsberichte der Heidelberger Akademie der Wissenschaften. Mathematisch-naturwissenschaftliche Klasse 11. Abhandlung), the Euler line exists in non-Euclidean geometry only in the case of isosceles triangles. A different proof for that result and a related one for Feuerbach's circle can be found in H. Kuenneth, H.: Der Schwerpunkt, die Eulersche Gerade und der Feuerbachsche Kreis in der absoluten Geometrie. Jahresber. Deutsch. Math.-Verein. 43 (1933), 65–77.

$\endgroup$
0
$\begingroup$

Only in Euclidean geometry.

$\endgroup$
4
  • 2
    $\begingroup$ Why do you say that? $\endgroup$
    – Igor Rivin
    Sep 9, 2012 at 18:17
  • $\begingroup$ Igor, I say it because it is true :) BTW it is really easy to check. $\endgroup$ Sep 10, 2012 at 0:56
  • 2
    $\begingroup$ How does this fit with Gjergji Zaimi's answer? (Maybe you are using different definitions...) $\endgroup$
    – Henry Cohn
    Sep 10, 2012 at 1:55
  • $\begingroup$ I use the standard defs and Akopyan modifies them. (BTW if you would read Gjergji's answer then it would be clear for you.) $\endgroup$ Sep 11, 2012 at 14:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.