Remarkable Line in a Quadrilateral

In a triangle, the orthocenter H, the 9-point center N, the centroid G, and the circumcenter O are collinear. The line that houses these four and other remarkable points is known as Euler's line of the triangle. The four points always occur on the Euler line in that order: H, N, G, O. Furthermore, N is always the midway between H and O (HN = NO), while G is twice as close to O as it is to H (2·GO = HG).

For a cyclic quadrilateral ABCD, all points O_A- O_D coincide and the quadrilaterals H_AH_BH_CH_D, N_AN_BN_CN_D, and G_AG_BG_CG_D happen to be homothetic with ABCD such that all three centers of homothety (denoted H, N, G) are collinear with the common circumcenter (O). The line of the centers served as a strong candidate for the title of Euler line of the quadrilateral ABCD. Points H, N, G, O lie on the line in that order but, instead of (1), they satisfy different proportions:

Let H' be the intersection of H_AH_C and H_BH_D, N' the intersection of N_AN_C and N_BN_D, G' the intersection of G_AG_C and G_BG_D, and O' the intersection of O_AO_C and O_BO_D. Then in any quadrilateral, points H', N', G', O' are collinear and similar to (1),

Discussion

Reference

1. A. Myakishev, On Two Remarkable Lines Related to a Quadrilateral, Forum Geometricorum, Volume 6 (2006) 289–295.

Copyright © 1996-2008 Alexander Bogomolny

The intersection of G' = G_AG_C ∩ G_BG_D is a natural construct that serves as the center of gravity, or centroid, of the quadrilateral ABCD. The other points

by association, are called quasiorthocenter, quasi-nine-point-center, and quasicircumcenter, respectively. Quite obviously, the quasicircumcenter lies at the intersection of the diagonals AC and BD such that, for a cyclic quadrilateral, O' is indeed the circumcenter.

A. Myakishev credits Jaroslav Ganin with the statement of the theorem below and François Rideau with the idea of the proof.

Theorem

In any arbitrary quadrilateral the quasiorthocenter H', the centroid G', and the quasicircumcenter O' are collinear. Furthermore, H'G' : G'O' = 2:1.

Proof

Consider three affine maps f_G, f_O and f_H transforming ΔABC onto triangles G_AG_BG_C, O_AO_BO_C, and H_AH_BH_C, respectively. In the affine plane, write D = xA + yB + zC with x + y + z = 1, so that x, y, z are the barycentric coordinates of D with respect to ΔABC.

First note that

Further, triangles ABC and O_AO_BO_C are orthologic with centers D and O_D. It is known [Danneels and Dergiades, Theorem 1] that the centers have the same barycentric coordinates relative to the respective triangles. Therefore, f_O(D) = O_D.

Also, since H_XG_X : G_XO_X = 2:1, for X = A, B, C, it follows that

for X = A, B, C, and thus for any X in the plane. In particular,

or,

so that f_H(D) = H_D.

Finally, if Q = AC ∩ BD, then

from which we conclude that H'G' : G'O' = 2:1.

The proportion H'N' : N'O' = 1:1 is treated similarly.

Reference

1. E. Danneels and N. Dergiades, A theorem on orthology centers, Forum Geom, 4 (2004) 135–141.

Copyright © 1996-2008 Alexander Bogomolny