FG201318 PDF
FG201318 PDF
FG201318 PDF
Forum Geometricorum
Volume 13 (2013) 169–184. b b
FORUM GEOM
ISSN 1534-1178
1. Introduction
The relative position of Euler’s line with respect to the sides of a triangle has
raised the geometers’ interest since the very first paper on this topic, Leonhard
Euler’s classical work [10].
In 1997, problem A1 from the W. L. Putnam competition explored the case
when Euler’s line is parallel to one of the sides of a triangle. Amer. Math. Monthly
published Problem 10980 proposed by Ye Zhong Hao and Wu Wei Chao, whose
statement is the following. Consider four distinct straight lines in the same plane,
with the property that no two of them are parallel, no three are concurrent, and
no three form an equilateral triangle. Prove that, if one of the lines is parallel to
the Euler line of the triangle formed by the other three, then each of the four given
lines is parallel to the Euler line of the triangle formed by the other three. In the
Editorial Comment following the solution of problem 10980 (see vol. 111 (2004),
pp.824), the editors have pointed out the meaningful contributions to the history of
this problem, especially Gossard’s presentation at an A. M. S. conference in 1915.
A generalization from 1999, given by Paul Yiu, is mentioned in [13].
In the Bulletin of the A. M. S. from 1916, we find O. D. Kellogg’s report on
Gossard’s 1915 talk at the AMS Southwestern Section Conference (see [15]). As
far as we know, Gossard’s paper has not been published, although we know from
the report what he proved and what methods he used. The summary, as published
by the Bulletin, is the following: ”Euler proved that orthocenter, circumcenter,
and centroid of a triangle are collinear, and the line through them has received the
name Euler line. He also proved that the Euler line of a given triangle together
with two of its sides forms a triangle whose Euler line is parallel with the third side
of the given triangle. By the use of vector coordinates or ordinary projective coor-
dinates, Professor Gossard proves the following theorem: the three Euler lines of
the triangles formed by the Euler line and the sides, taken by twos, of a given trian-
gle, form a triangle triply perspective with the given triangle and having the same
Euler line. The orthocenters, circumcenters and centroids of these two triangles
are symmetrically placed as to the center of perspective.”
Our goal in the present note goes beyond providing elementary proofs for these
facts, and aims to explore the deeper geometric meaning of a phenomenon seen in
the above mentioned results. Application 1 is Ye and Wu’s problem. Applications
3 and 4, proved below, are just particular cases of Application 1. Proposition 1 is
Gossard result from 1916, with a different proof. Furthermore, the original tools
in Gossard’s work were ordinary projective coordinates. That’s why tt would be
natural to explore from a projective viewpoint the geometric structure inspired by
Euler’s original contribution, which made the substance in Gossard’s work. In the
last part of our paper, we discuss the projective viewpoint on the relative position
of the Euler line and the three lines forming a given triangle. We will show how
Euler’s line can be regarded as the axis of a projectivity between two sides of a
triangle. This result was also proved by D. Barbilian (see [4]), and it appears in
a note unpublished during Barbilian’s life. The result is presented below in our
Proposition 4. We have been able to reconstruct the context of Barbilian’s work
and we have obtained incidence results that complete the discussion on Ye and
Wu’s problem.
Finally, with Propositions 3 and 4, which as far as we know appear for the first
time here, we extend the projective analysis on this geometric structure (i.e., a
triangle, its Euler line and its nine-point circle) and will relate Pappus’ Theorem to
the nine-point circle and Euler line. We also study the parallelism of Euler’s line
with one of the sides of the triangle from the projective viewpoint. In conclusion,
one of the most important consequences of our investigation is that we are able
to better understand the geometric connections between Euler’s line and the nine-
point circle using projective methods. Our geometric motivation was the belief
that beyond the synthetic and analytic methods, one can fathom the entire depth
of a geometry problem by understanding the projective background of a certain
geometric structure.
Proof. Measuring the slope of the angle between BC and the Euler’s line of ∆ABC,
we have (see Figure 1):
Gossard’s perspector and projective consequences 171
S O
B M N C
Figure 1
m1 − mE HS AM − AH − ON
= tan ∠(HOS) = =
1 + m1 mE MN BN − BM
2R sin B sin C − 2R cos A − R cos A
=
R sin A − 2R sin C cos B
2 sin B sin C + 3 cos(B + C)
=
sin(B + C) − 2 sin C cos B
3 cos B cos C − sin B sin C
=
sin B cos C − sin C cos B
3 − tan B tan C
= .
tan B − tan C
Replacing in the last relation the following expressions
m3 − m1 m1 − m2
tan B = , tan C = ,
1 + m1 m3 1 + m1 m2
we get the equality
m1 − mE 3 − m3 −m 1
1 m3
m1 −m2
· 1+m 1 m2
= m31+m
−m1 m1 −m2 .
1 + m1 mE 1+m m − 1+m m
1 3 1 2
We should remark here that any other relative positions of the points A, B, C
yield the same result. Now, we present several applications of this lemma.
172 W. G. Boskoff, L. Homentcovschi and B. D. Suceavă
C ′′ C′
O
B C
B′
′′
B
Figure 2
Then ∆A′′ B ′′ C ′′ is obtained by rotating ∆ABC about O by α. Thus, all the ele-
ments of ∆ABC rotate about O. This means e′′ = RO α (e), or m(∠(e, e′′ )) = α.
Since the slopes satisfy the following equalities mA′′ B ′′ = mA′ B ′ , mA′′ C ′′ =
Gossard’s perspector and projective consequences 173
e′
M H
e
O
N
B C
Figure 3
Proof. Choose a coordinate system so that the x-axis is parallel to BC, as in Ap-
plication 3 (see Figure 3). If we denote by m1 the slope of the straight line BC,
then m1 = 0. Denoting m2 , m3 , me the slopes of the straight lines AC, AB, and
respectively Euler’s line e. By Lemma 1:
m2 m3 + 3
me = − ,
m2 + m3
and the slope of Euler’s line of ∆AM N is
me m2 + me m3 + m2 m3 + 3
me′ = − .
me + m2 + m3 + 3me m2 m3
Gossard’s perspector and projective consequences 175
Application 5. Consider two triangles such that ∆ABC ≡ ∆A′ B ′ C ′ and they
have the same Euler’s line. Then ∆A′ B ′ C ′ is obtained from ∆ABC either by a
translation, or by a central symmetry.
Example 1. Problem 244 in [19] states the following. Let H be the orthocenter
of ∆ABC, and Oa , Ob , Oc the circumcenters of triangles BHC, CHA, AHB.
Then ∆ABC ≡ ∆Oa Ob Oc have the same nine-point circle and the same Euler’s
line. This provides us an example of two triangles that have the same Euler’s line
(see Figure 4).
Oc Ob
B1
C1 O
O9
H
B A1 C
Oa
Figure 4.
Example 2. Now we describe two triangles of interest that have the same Euler’s
line. Consider ∆ABC and its circumcircle C. Consider also the incircle tangent to
BC, AC and AB respectively in D, E, and F. On the straight lines AI, BI, CI we
consider the excenters (i.e., the centers of the excircles) Ia , Ib , and Ic . Remark that
176 W. G. Boskoff, L. Homentcovschi and B. D. Suceavă
Ic
E
F
I
B D C
Ia
Figure 5.
Thus, I is the orthocenter in ∆Ia Ib Ic , and O is the center of the nine-point circle
in ∆Ia Ib Ic . Therefore, OI is Euler’s line in ∆Ia Ib IC . Remark that ∆DEF and
∆Ia Ib Ic have parallel sides. Therefore their Euler’s lines must be parallel (we may
say that this is a consequence of Application 2). But the circumcenter of ∆DEF
is the point I. This means that the Euler’s line of ∆DEF passes through I and,
being parallel to OI, must be OI.
3. Gossard’s perspector
In this section we present an elementary proof of Gossard’s result cited in [15].
Proposition 3 (Gossard, [15]). Denote by e the Euler line of an arbitrary ∆ABC
in the Euclidean plane. Suppose that e intersects BC, AB, AC in M, N, and re-
spectively P. Denote by e1 , e2 , e3 Euler’s lines of ∆AN P, ∆BM N, and ∆CP M,
respectively. Denote A′ , B ′ , C ′ the intersection of the following pair of lines:
e2 ∩e3 , e1 ∩e3 , and e1 ∩e2 , respectively. Then ∆A′ B ′ C ′ ≡ ∆ABC, and ∆A′ B ′ C ′
has the same Euler line e, and there exists a point IG (called Gossard’s perspec-
tor) on the line e such that ∆A′ B ′ C ′ is the symmetric of ∆ABC by the symmetry
centered in IG .
The proof presented below is based on Lemma 1. Thus, we claim that it may
be more elementary than Gossard’s original proof, as it is presented by Kellogg in
[15]. An important rôle in the proof is played by the conditions e1 kBC, e2 kAC,
e3 kAB.
Gossard’s perspector and projective consequences 177
y
A(0, 1)
e1
N
S
R
x
M B(b, 0) C(c, 0)
e2
Figure 6
Proof. We choose coordinate axis such that the vertices of ∆ABC have the co-
ordinates A(0, 1), B(b, 0), C(c, 0) (see Figure 4). Let G be the gravity center of
∆ABC; then G( b+c 1
3 , 3 ). The slope of Euler’s line in ∆ABC is given by
m2 m3 + 3 − 1c − 1b + 3 3bc + 1
me = − =− = .
m2 + m3 − 1c − 1b b+c
Thus, the equation of Euler’s line is y = 3bc+1
b+c x−bc. The coordinates of the points
M, N, and P are:
bc(b + c)
M ,0 ,
3bc + 1
b(b + c)(bc + 1) 2b2 c − bc2 + b
N , ,
3b2 c + 2b + c 3b2 c + 2b + c
c(b + c)(bc + 1) 2bc2 − b2 c + c
P , .
3bc2 + 2c + b 3bc2 + 2c + b
The line e1 passes through the center of gravity of ∆AN P and is parallel to BC,
therefore it has the equation
yN + y P + y A
(e1 ) : y= .
3
At the intersection of lines e and e1 we have the point Q whose coordinates are
b+c 1 1
Q · (E + 3bc), E ,
3bc + 1 3 3
178 W. G. Boskoff, L. Homentcovschi and B. D. Suceavă
4. Projective viewpoint
Consider now a projectivity f : d1 → d2 . (See also [7, pp.39 ff], [8, pp.9-11])
The geometric locus of the points from which the the projectivity is seen as an
involution of pencils of lines is called axis of the projectivity.
M2
M1
N1
N2
Figure 7.
More precisely (see Figure 7), any projectivity relating ranges on two distinct
lines determines another special line, the axis of projectivity, which contains the
180 W. G. Boskoff, L. Homentcovschi and B. D. Suceavă
intersection of the cross-joints of any pairs of corresponding points (see [8, pp.36-
37]). This result is known as the axis theorem. To illustrate it, if M1 → N1 and
M2 → N2 , then the point {P } = M1 N2 ∩M2 N1 lies on the axis of the projectivity,
since we have the mapping r1 = P M1 → P N1 = r2 and r2 = P M2 → P N1 =
r1 . Thus, r1 → r2 and r2 → r1 , which means that the projectivity f : d1 → d2 is
seen as an involution. As a consequence, we remind here the well-known geometric
structure called Pappus’ line.
N P
M
A′
B′
C′
Figure 8.
B1
B′
H
G
O
B A1 A′ C
Figure 9.
Gossard’s perspector and projective consequences 181
Denote by A′ , B ′ , C ′ the midpoints of the sides BC, AC, and respectively AB.
Denote by A1 , B1 , C1 the feet of altitudes from A, B, C. We use the standard no-
tations for O, the circumcircle, G the center of gravity, and H the orthocenter of
∆ABC. There are three projectivities, each one between two sides of ∆ABC. One
of them is fC : BC → AC, the projectivity determined by B → A, A1 → B1 ,
A′ → B ′ . Since H and G appear as cross-joints points, they lie on the axis of pro-
jectivity of fC . Specifically, {H} = AA1 ∩ BB1 , {G} = BB ′ ∩ AA′ . Since two
points determine uniquely a line, and since G and H determine Euler’s line, this
means that the Euler’s line is identified with the axis of projectivity fC . Further-
more, on the Euler’s line we get a new point: {ΩAB } = A1 B ′ ∩ A′ B1 . We can also
emphasize the pair of homologous points that determine O, the circumcenter, in
this projectivity. Extend the line determined by the vertex A and by O and denote
{X} = AO ∩ BC. Similarly, {Y } = BO ∩ AC. Since in our projectivity B → A,
then X → Y. Thus, on the axis of projectivity we obtain {O} = AX ∩ BY.
Considering similar constructions for the projectivities fA and fB , we obtain the
following fact.
Proposition 4 (Barbilian [4]). In ∆ABC, let A′ , B ′ , C ′ be the midpoints of the
sides BC, AC, and respectively AB. Denote by A1 , B1 , C1 the feet of altitudes
from A, B, C. Then the points {ΩAB } = A1 B ′ ∩ A′ B1 , {ΩCB } = C1 B ′ ∩ C ′ B1 ,
{ΩAC } = A1 C ′ ∩ A′ C1 are collinear and they lie on Euler’s line of ∆ABC.
B1
B′
H
G
O
B A1 A′ C
Figure 10.
In the first part, we have presented Applications 3 and 4, where we give syn-
thetic and trigonometric characterizations of the fact that Euler’s line is parallel
to a side of the triangle. We study here the following question: What is projec-
tive condition that the projectivity fC : BC → AC must satisfy such that Euler’s
182 W. G. Boskoff, L. Homentcovschi and B. D. Suceavă
line is parallel to BC? Denote by (e) Euler’s line in ∆ABC. (See Figure 10.) Let
{T } = AC ∩(e), {U } = BC ∩(e). We need to determine the pairs of straight lines
that characterize in a projectivity the points T and U. Recall that the projectivity
fC has as homologous points B → A. To get T , consider the pair C → (e) ∩ AC.
Similarly, we get U by the pair (e) ∩ BC → C. Therefore we have obtained the
projective characterization of the fact that the Euler line is parallel to a side of the
triangle. Thus, we are able to state the projective counterpart of Application 3,
which is the trigonometric characterization of this parallelism.
Proposition 5. In ∆ABC, let (e) be the Euler’s line. The sufficient condition that
(e)kBC, is that the projectivity fC has ∞ → C as pair of homologous points. Sim-
ilarly, to have (e)kAC, it is sufficient that fC has C → ∞ as pairs of homologous
points.
Four our next step, we need to recall here Pappus’ Theorem on the circle. Let
A, B, C and A′ , B ′ , C ′ six points on the circle C. Then the intersection points
AB ′ ∩ A′ B, AC ′ ∩ A′ C and BC ′ ∩ B ′ C are collinear. To recall the idea of the
most direct proof, consider the projectivity f : C → C uniquely determined by
A → A′ , B → B ′ , C → C ′ . Then, the intersection points mentioned in the
statement lie precisely on the axis of the projectivity. With this observation, we
obtain that Euler’s line is the axis of projectivity of a certain projectivity within the
nine-point circle. The result is the following.
Proposition 6. Consider A′ , B ′ , C ′ the midpoints of the sides BC, AC and re-
spectively AB. Let A1 , B1 and C1 the feet of the altitudes. Consider the projec-
tivity φ uniquely determined by A1 → B1 , A′ → B ′ , B2 → A2 . Then the points
A1 A2 ∩ B1 B2 = {H} (the orthocenter of ∆ABC), A1 B ′ ∩ A′ B1 = {ΩAB } and
A′ A2 ∩ B ′ B2 = {O9 } (the center of the nine-point circle) are collinear on the axis
of projectivity of φ.
A2
B1
B′
H
O9
G
O
B2 B A1 A′ C
Figure 11.
Gossard’s perspector and projective consequences 183
The proof is just a direct application of Pappus’ Theorem on the circle, for the
geometric structure described in the statement. Since H and ΩAB are on Euler’s
line, the axis of projectivity and Euler’s line must be the same straight line. As a
consequence, the third point, O9 , the center of the nine-point circle, must be on the
axis of projectivity, thus on Euler’s line.
Proposition 4 appears in [4, pp. 40]. Actually, Dan Barbilian collected in an
undated note, published in the cited collection of posthumuous works, several pro-
jective properties of the nine-point circle and its connection with Euler’s line. He
focused mainly on the projective properties, which represent, as we can see, an
important part of the more complex phenomenon whose overall picture we tried to
present here.
References
[1] A. F. Agnew, A. Bobe, W. G. Boskoff, and B. D. Suceavă, Gheorghe Ţiţeica and the origins of
affine differential geometry, Hist. Math., 36 (2009) 161–170.
[2] A. F. Agnew, A. Bobe, W. G. Boskoff, L. Homentcovschi, and B. D. Suceavă, The equation of
Euler’s line yields a Tzitzeica surface, Elemente der Mathematik, 64 (2009) 71–80.
[3] A. F. Agnew, A. Bobe, W. G. Boskoff, and B. D. Suceavă, Tzitzeica Curves and surfaces , The
Mathematica Journal, 12 (2010) 1–18.
[4] D. Barbilian, Pagini inedite, vol. II, editors G. Barbilian and V. Gh. Vodă, Ed. Albatros, 1984.
[5] L. M. Blumenthal and K. Menger, Studies in Geometry, W. H. Freeman Co., San Francisco,
1970.
[6] W. G. Boskoff and B. D. Suceavă, When Is Euler’s Line Parallel to a Side of a Triangle?,
College Math. J., 35 (2004) 292–296.
[7] H. S. M. Coxeter, The Real Projective Plane, Third Edition, Springer-Verlag, 1992.
[8] H. S. M. Coxeter, Projective Geometry, 2nd edition, Springer-Verlag, 1987, 2003.
[9] L. Euler, Variae demonstrationes geometriae, Novii comm. acad. sci. Petropolitanae, 1 (1747/8),
1750, 49–66, also Opera omnia, series 1, vol. 26, pp.15–32.
[10] L. Euler, Solutio facilis problematum quorundam geometricorum difficillimorum, Novii comm.
acad. sci. Petropolitanae, 11 (1765), 1765, 103–123, also Opera omnia, series 1, vol. 26,
pp.139–157.
[11] F. G.-M., Éxercices de géometrie, sixiéme édition,Vuibert, Paris, 1920.
[12] M. J. Greenberg, Euclidean and Non-Euclidean Geometries, Freeman & Co., Third Edition,
1993.
[13] C. Kimberling - Web resource: Gossard Perspector,
http://faculty.evansville.edu/ck6/tcenters/recent/gosspersp.html
[14] K. S. Kedlaya, B. Poonen, R. Vakil - The William Lowell Putnam Mathematical Competition
1985-2000, Mathematical Association of America, 2002.
[15] O. D. Kellogg, The Ninth Regular Meeting of the Southwestern Section, Bull. Amer. Math.
Soc., 1916 () 215–219.
[16] T. Lalescu, La Géométrie du Triangle, Éditions Jacques Gabay, sixiéme édition, 1987.
[17] D. Sachelarie and V. Sachelarie, The Most Beautiful Problems in Mathematics (in Romanian),
Editura Teora, Bucharest, 1996.
[18] A. Seidenberg, Lectures in Projective Geometry, D. Van Nostrand Co. Inc., 1962.
[19] G. Ţiţeica, Problems of Geometry, (in Romanian), Sixth Edition, Editura Tehnică, 1962,
reprinted 1981.
184 W. G. Boskoff, L. Homentcovschi and B. D. Suceavă
Bogdan D. Suceavă: California State University Fullerton, Department of Mathematics, P.O. Box
6850, Fullerton, CA 92834-6850
E-mail address: [email protected]