In Euclidean geometry, the centroid, orthocenter and circumcenter of a triangle lie on a line.
In which other geometries does this hold?
In Euclidean geometry, the centroid, orthocenter and circumcenter of a triangle lie on a line. In which other geometries does this hold? 


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. 


Another noneuclidean version of the Euler line, different from Akopyan's one appears in the paper "Noneuclidean 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 "EulerWildberger line". As in Akopyan's paper, the EulerWildberger 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 noneuclidean world. For a noneuclidean 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 "pseudocentroid" 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 "pseudomidpoints" of the sides. The lines orthogonal to the sides through the pseudomidpoints are concurrent and their intersection point is the "pseudocircumcenter" of the triangle. The orthocenter, the pseudocentroid and the pseudocircumcenter are collinear and the EulerWildberger line is the line joining them. This construction is developed in CayleyKlein projective models and because of this it is valid also for other hyperbolic figures such as rightangled hexagons, for example. 


As shown by Richard Baldus in 1929 (Ueber Eulers Dreieckssatz in der absoluten Geometrie, Sitzungsberichte der Heidelberger Akademie der Wissenschaften. Mathematischnaturwissenschaftliche Klasse 11. Abhandlung), the Euler line exists in nonEuclidean 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. 


Only in Euclidean geometry. 

