Professional Documents
Culture Documents
Forum Geometricorum
Volume 11 (2011) 109119.
b
FORUM GEOM
ISSN 1534-1178
1. Introduction
The Droz-Farny circles of a triangle are a pair of circles of equal radii obtained
by particular geometric constructions [4]. Let T be a triangle of vertices A1 , A2 ,
A3 , with circumcenter O and orthocenter H. Let Hi be the foot of the altitude of
T at Ai , and Mi the middle point of the side Ai Ai+1 (with indices taken modulo
3); see Figure 1.
A1
A1
H2
M1
M3
O
H3
H
M2
A2
H1
A3
A2
A3
Figure 1.
(a) If we consider the intersections of the circle Hi (O) (center Hi and radius
Hi O) with the line Ai+1 Ai+2 , then we obtain six points which all lie on a circle
with center H (first Droz-Farny circle).
(b) If we consider the intersections of the circle Mi (H) (center Mi and radius
Mi H) with the line Ai Ai+1 , then we obtain six points which all lie on a circle with
center O (second Droz-Farny circle).
The property of the first Droz-Farny circle is a particular case of a more general
property (first given by Steiner and then proved by Droz-Farny in 1901 [2]). Fix
a segment of length r, if for i = 1, 2, 3, the circle with center Ai and radius r
Publication Date: May 13, 2011. Communicating Editor: Paul Yiu.
110
intersects the line Mi Mi+2 in two points, then we obtain six points all lying on a
circle with center H. When r is equal to the circumradius of T we obtain the
first Droz-Farny circle (see Figure 2).
A1
M1
H
M3
O
M2
A2
A3
Figure 2.
In this paper we deal with the problem to see whether and how analogous properties of concyclicity hold for convex quadrilaterals.
2. An eight-point circle
Let A1 A2 A3 A4 be a convex quadrilateral, which we denote by Q, and let G
be its centroid. Let V be the Varignon parallelogram of Q, i.e., the parallelogram
M1 M2 M3 M4 , where Mi is the middle point of the side Ai Ai+1 . Let Hi be the
foot of the perpendicular drawn from Mi to the line Ai+2 Ai+3 . The quadrilateral
H1 H2 H3 H4 , which we denote by H, is called the principal orthic quadrilateral of
Q [5], and the lines Mi Hi are the maltitudes of Q. We recall that the maltitudes
of Q are concurrent if and only if Q is cyclic [6]. If Q is cyclic, the point of
concurrency of the maltitudes is called anticenter of Q [7]. Moreover, if Q is
cyclic and orthodiagonal, the anticenter is the common point of the diagonals of Q
(Brahmagupta theorem) [4]. In general, if Q is cyclic, O is its circumcenter and G
its centroid, the anticenter H is the symmetric of O with respect to G, and the line
containing the three points H, O and G is called the Euler line of Q.
Theorem 1. The vertices of the Varignon parallelogram and those of the principal
orthic quadrilateral of Q, that lie on the lines containing two opposite sides of Q,
belong to a circle with center G.
111
A1
H2 M4
A4
H3
H1
M1
M3
A3
H4
A2
M2
Figure 3.
H3
M4
M1
H2
G
A4
A2
M3
M2
H1
A3 H4
Figure 4.
112
X3
M4
X2
M1
H2
O
H3
G
X2
X1
A4
A2
X4
M2
M3
H1
H4
X3
A3
X4
X1
Figure 5.
Proof. Let us prove that the points X1 , X1 , X3 , X3 are on a circle with center H
(see Figure 5). Since H is on the perpendicular bisector of the segment X1 X1 ,
we have HX1 = HX1 . Moreover, since X1 lies on the circle with center H1
and radius OH1 , H1 X1 = OH1 . By applying Pythagoras theorem to triangle
HH1 X1 , and Apollonius theorem to the median H1 G of triangle OHH1 , we
have
1
HX12 = HH12 + H1 X12 = HH12 + OH12 = 2H1 G2 + OH 2 .
2
Analogously,
1
HX32 = 2H3 G2 + OH 2 .
2
But from Theorem 1, H1 and H3 are on a circle with center G, then H1 G = H3 G.
Consequently, HX1 = HX3 , and it follows that the points X1 , X1 , X3 , X3 are on
a circle with center H.
113
The same reasoning shows that the points X2 , X2 , X4 , X4 also lie on a circle
with center H.
Theorem 3 states that the points Xi , Xi , i = 1, 2, 3, 4, lie on two circles with
center H.
Corollary 4. For a cyclic quadrilateral Q, the eight points Xi , Xi , i = 1, 2, 3, 4,
all lie on a circle (with center H) if and only if Q is orthodiagonal.
Proof. The two circles that contains the points Xi , Xi and coincide if and only if
H1 G = H2 G = H3 G = H4 G, i.e., if and only if the principal orthic quadrilateral
is inscribed in a circle with center G. From Corollary 2, this is the case if and only
if Q is orthodiagonal.
As in the triangle case, if Q is cyclic and orthodiagonal, we call the circle containing the eight points Xi , Xi , i = 1, 2, 3, 4, the first Droz-Farny circle of Q.
Theorem 5. If Q is cyclic and orthodiagonal, the radius of the first Droz-Farny
circle of Q is the circumradius of Q.
A1
X2
X3
M4
M1
H3
O
H2
G
X3
X1
A2
X4
A4
M3
M2
H1
X2
H4
A3
X4
X1
Figure 6.
(1)
114
(2)
M4
M1
H2
O
H3
Y3
Y4
A2
A4
Y2
Y1
M2
M3
H4
H1
Y2
A3
Y3
Figure 7.
Proof. Let us prove that the points Y1 , Y1 , Y3 , Y3 are on a circle with center O (see
Figure 7).
115
M4
M1
O
H3
H2
A2
A4
M3
H
M2
H1
H4
A3
Figure 8.
If Q is cyclic and orthodiagonal, we call the circle containing the eight points
Yi , i = 1, 2, 3, 4, the second Droz-Farny circle of Q. But observe that the
circle with diameter a side of Q passes through H, because the diagonals of Q are
perpendicular. The points Yi , Yi are simply the vertices Ai of Q, each counted
twice. The second Droz-Farny circle coincides with the circumcircle of Q (see
Figure 8).
Yi ,
116
Z1
p4
C2
A4
C1
Z1
A2
p2
C3
Z3
C4
M3
M2
Z3
A3
p3
Z2
Z4
Figure 9.
Theorem 8 states that there are four circles, each passing through the points
Zi , Zi , that belong to the lines containing two consecutive sides of the Varignon
parallelogram of Q (see Figure 10).
Theorem 9. The eight points Zi , Zi , i = 1, 2, 3, 4, all lie on a circle if and only if
Q is orthodiagonal.
Proof. Suppose first that the eight points Zi , Zi , i = 1, 2, 3, 4, all lie on a circle. If
C is the center of the circle, then each Ci coincides with C. Since the lines A1 C1
and A3 C3 both are perpendicular to A2 A4 , the point C must lie on A1 A3 and then
Q is orthodiagonal.
Conversely, let Q be orthodiagonal. Since A1 A3 is perpendicular to M1 M4 , the
point C1 lies on A1 A3 . Since A2 A4 is perpendicular to M1 M2 , C1 also lies on
A2 A4 . It follows that C1 coincides with K. Analogously, each of C2 , C3 , C4 also
coincides with K, and the four circles coincide each other in one circle with center
K.
117
A1
Z2
Z4
M4
M1
Z1
A4
Z1
A2
K
M3
Z3
M2
Z3
A3
Z2
Z4
Figure 10.
Z1
A4
Z1
A2
K
Z3
M3
M2
Z3
A3
Z2
Z4
Figure 11.
Corollary 10 below follows from Theorem 5 and from the fact that in a cyclic and
orthodiagonal quadrilateral Q the common point of the diagonals is the anticenter
of Q.
118
Corollary 10. If Q is cyclic and orthodiagonal, the circle containing the eight
points Zi , Zi , i = 1, 2, 3, 4, obtained by getting the circumradius of Q as r, coincides with the first Droz-Farny circle of Q.
We conclude the paper with the following general result.
Theorem 11. If Q is a convex quadrilateral, the eight points Zi , Zi , i = 1, 2, 3, 4,
all lie on an ellipse whose axes are the bisectors of the angles between the diagonals of Q. Moreover, the area of the ellipse is equal to the area of a circle with
radius r.
A1
Z2
Z4
M4
M1
Z1
A4
Z1
A2
K
Z3
M3
M2
Z3
A3
Z2
Z4
Figure 12.
Proof. We set up a Cartesian coordinate system with axes the bisectors of the angles between the diagonals of Q. The equations of the diagonals are of the form
y = mx and y = mx, with m > 0. The vertices of Q have coordinates
A1 (a1 , ma1 ), A2 (a2 , ma2 ), A3 (a3 , ma3 ), A4 (a4 , ma4 ), with a1 , a2 > 0
and a3 , a4 < 0. By calculations, the coordinates of the points Zi and Zi are
q
q
3
2
2
2
2
ai (m + 1)r m ai m ai (m2 + 1)r 2 m2 a2i
.
,
m2 + 1
m2 + 1
These eight points Zi , Zi , i = 1, 2, 3, 4, lie on the ellipse
m4 x2 + y 2 = m2 r 2 .
Moreover, since the lengths of the semi axes of the ellipse are
enclosed by the ellipse is equal to r 2 .
(3)
r
m
119
Note that (3) is the equation of a circle if and only if m = 1. In other words, the
ellipse is a circle if and only if Q is orthodiagonal.
References
[1] L. Brand, The eight-point circle and the nine-point circle, Amer. Math. Monthly, 51 (1944) 84
85.
[2] A. Droz-Farny, Notes sur un theoreme de Steiner, Mathesis, 21 (1901) 268271.
[3] R. Honsberger, Mathematical Gems II, Math. Assoc. America, 1976.
[4] R. Honsberger, Episodes in nineteenth and twentieth century Euclidean geometry, Math. Assoc.
America, 1995.
[5] M.F. Mammana, B. Micale and M. Pennisi, Orthic quadrilaterals of a Convex quadrilateral,
Forum Geom., 10 (2010) 7991.
[6] B. Micale and M. Pennisi, On the altitudes of quadrilaterals, Int. J. Math. Educ. Sci. Technol., 36
(2005) 1524.
[7] P. Yiu, Notes on Euclidean Geometry, Florida Atlantic University Lecture Notes, 1998.
Maria Flavia Mammana: Department of Mathematics and Computer Science, University of Catania, Viale A. Doria 6, 95125, Catania, Italy
E-mail address: fmammana@dmi.unict.it
Biagio Micale: Department of Mathematics and Computer Science, University of Catania, Viale
A. Doria 6, 95125, Catania, Italy
E-mail address: micale@dmi.unict.it
Mario Pennisi: Department of Mathematics and Computer Science, University of Catania, Viale
A. Doria 6, 95125, Catania, Italy
E-mail address: pennisi@dmi.unict.it