1. Introduction
This paper deals with a synthetic justification of a problem, which states that the locus of points constructed by a certain procedure is always a circle or a line. We call this problem “motivational”. In the process of solving it, we will encounter several other theorems that are interesting in themselves and are closely related to what we might call the “projective generalization of the bicentric quadrilateral” (a quadrilateral that can be inscribed in and circumscribed about circles). In particular, we will prove Poncelet’s closure theorem for in an elementary way.
The formulation of the motivational problem (M) is shown below.
Problem M.
Consider an arbitrary conic in the plane. Let us choose an arbitrary point P and construct two perpendicular lines m and n passing through P (Figure 1). Let the line m intersect the conic at two points, A and C, and the line n intersect the conic at two points, B and D. Denote by E the foot of the perpendicular from the point P to the line . Now, rotate the perpendicular lines m and n about the point P. The locus of the point E is a circle k (or a line in special cases). Denote by and H the feet of the perpendiculars from the point P to the lines , , and . These points also lie on the circle k. Prove it. The author noticed this property of conics in GeoGebra by chance many years ago. It is probable that this was not a new observation, since special cases of problem M (i.e., a special position of the point
P for a particular conic) are traceable on the internet as exercises in analytic geometry, e.g.,
https://math.stackexchange.com/questions/1528265/foot-of-perpendicular-on-a-chord-of-a-conic (accessed on 14 November 2015) and
https://www.doubtnut.com/qna/142211 (accessed on 3 December 2017). In [
1], a proof of problem M is based on computational elimination using the Grobner basis. However, the significance of that paper for our purposes (i.e., for obtaining a synthetic proof) lies in something else: in [
1], it is shown by computer computation that the envelope of the lines
(
,
,
) is a conic. At the very end, there is a remark that the fact that the envelope of the lines is a conic with focus at the point
P implies that the locus of feet
E of perpendiculars lies on the auxiliary circle of the conic. This is the first step of the synthetic proof, which is presented in the following pages.
To prove problem M, we use several theorems, most of which are stated in the relevant literature. This paper would be much shorter if their proofs were replaced with references. Specifically, we prove Poncelet’s closure theorem for , which was published and proved for arbitrary by the French mathematician Jean-Victor Poncelet in 1822. The proof presented here has a twofold meaning—(1) the proof is elementary, using only basic projective reasoning and avoiding any computation; (2) this paper is complete after including the proof. The reader does not need to look for external sources to understand the logic chain.
The following considerations are divided into three sections: the “Solution Procedure”, the “Proof of Theorem M”, and the “Conclusions”. In the first section, we gradually state the theorems that will be used in the synthetic solution of problem M. In the next section, we summarize all the theorems in a logical chain leading to the complete proof of problem M. Finally, in the Conclusions, we mention a question related to the solution.
2. Solution Procedure
First, let us mention an elementary theorem.
Theorem 1. Consider an arbitrary quadrilateral whose diagonals and are perpendicular and intersect at the point P. Construct the feet of the perpendiculars from the point P to the sides , , , and and denote them by E, F, G, and H. Then, the quadrilateral can be inscribed in a circle k (Figure 2). Proof. As the opposite angles are right, the quadrilaterals
and
are cyclic. Therefore,
By analogy, we arrive at the equalities
So,
and the quadrilateral EFGH is cyclic. □
Now, let us recall a well-known fact (see, e.g., [
2]).
Fact 1.
Consider an arbitrary conic with foci and , inscribed in quadrilateral . Then, the oriented magnitudes of angles subtended by opposite segments (e.g., and ) at the focus (e.g., ) are equal (Figure 3). Written symbolically, The theorem below can be understood as a generalization of a property inherent to the bicentric quadrilateral.
Theorem 2. Consider the conic circumscribed about the quadrilateral and the conic inscribed in this quadrilateral. Let P be the intersection of the diagonals and . Then, the polar of the point P with respect to the conic is identical to its polar with respect to the conic (Figure 4). Proof. Let
I,
J,
K, and
L be the points of contact of the conic
with the lines
,
,
, and
of the quadrilateral. Let
be the intersection of the lines
and
, let
be the intersection of the lines
and
, let
be the intersection of the lines
and
, and let
be the intersection of
and
(
Figure 4). Let us first recall some facts [
3,
4]:
- –
The diagonals , , , and intersect at a common point P (a consequence of Brianchon’s theorem).
- –
The triangle is self-polar with respect to , and the triangle is self-polar with respect to .
- –
For the proof, it suffices to show that the line (the polar of P with respect to ) is identical to the line (the polar of P with respect to ).
The lines , , , and intersect at , and the cross-ratio of the lengths of the segments on any line that intersects them is . The polar of the line with respect to the conic is the point P, the polar of the line is D, the polar of the line is , and the polar of the line is B. Therefore, the points , D, P, and B are collinear, and the cross-ratio . By analogy, the points A, P, C, and are collinear, and .
Since the line is the polar of the point P with respect to , the intersections and of the lines and and and , respectively, fulfill and . Hence, and , and the lines and are identical. □
We now prove Poncelet’s closure theorem for quadrilateral. We first state this theorem in a general version and then give a formulation of it for , which is in a certain way adapted for our purposes.
Poncelet’s closure theorem (general version). Let and be two plane conics. If, for a given , there exists at least one n-sided polygon that is simultaneously inscribed in and circumscribed about , then there are infinitely many of them. Each point of or is a vertex or tangency (respectively) of one such polygon.
Theorem 3 (Poncelet’s closure theorem for quadrilateral, adapted). Consider a conic that is circumscribed about a given quadrilateral and a conic that is inscribed in it. Let P be the intersection of the diagonals and . From any point on the conic , let us draw a tangent to the conic . Let this tangent intersect at another point . From the point , let us draw another tangent to that intersects at another point . In the same way, let us construct the point . Then, the line is tangent to . This means that conic is inscribed in the quadrilateral , and the intersection of the diagonals and is again point P.
Proof. We distinguish three cases:
- (a)
The point P lying inside the conic ;
- (b)
The point P lying outside conic but inside the conic ;
- (c)
The point P lying outside both conics and .
Proof of case (a). Since the point P lies inside the conic , its polar p does not intersect it. Consider an arbitrary projective mapping of the plane that sends the polar p to infinity (i.e., it becomes the ideal line). The image of the conic is an ellipse (since it has no intersection with the ideal line), the image of the conic is , and the image of the point P is a point S. Because the polar of the point S is common to both conics and lies at infinity, it is the center of both conics and . Next, let us apply an affinity that converts the ellipse into a circle, which we also denote as .
We have obtained the following (
Figure 5): a circle
is circumscribed about a quadrilateral
whose diagonals pass through the center
S of the circle and whose sides are tangent to a certain conic
, the conic and the circle being concentric. Since the diagonals pass through the center
S, the quadrilateral
is a rectangle, or, in other words, the tangents
,
,
, and
make right angles. However, this means that the circle
is a director circle (or orthoptic circle) for the conic
. It is well known that from any point
of the circle, one can successively construct the points
,
, and
such that the rectangle
has the properties required in the assignment of Theorem 3. Thus, the original conics
and
also have the required property. There are several synthetic or very simple analytic proofs that the orthoptic curve for a conic is a circle or line (see, e.g.,
http://users.math.uoc.gr/~pamfilos/eGallery/problems/Director.html, accessed on 1 January 2016. or [
5] and [
6], p. 5).
Proof of case (b). Let us consider the dual image
of the conic
with respect to the conic
(
Figure 6). The image of the quadrilateral
is the quadrilateral
inscribed in the conic
and tangent to the conic
, whose diagonals intersect at the point
P (see the proof of Theorem 2). Now, the theorem to be proved is equivalent to the statement that from every point
, one can construct a quadrilateral
inscribed in the conic
and tangent to the conic
. But this is the case (a) since the point
P lies inside the conic
.
Proof of case (c). First, we send a line through the point P, which does not intersect the conic , to infinity. The conic thus becomes an ellipse, which we then adjust to a circle by a suitable affinity.
The tangents from the ideal point P to the circle are parallel, so the diameter of the circle lies on the polar p, and the tangents make right angles with the polar. For the same reason, the diameter and the center of the conic must lie on the polar p. Since this diameter makes right angles with the tangents, there are only two possibilities:
The foci of the conic lie on the polar.
The conic is an ellipse, and the foci are axially symmetric with respect to the polar.
For the first possibility, we proceed as described below.
We have a quadrilateral
whose diagonals
and
are parallel, as they intersect at the ideal point
P, and which can be circumscribed by the circle
. On the polar
p, passing through the center of the circle and perpendicular to the diagonals, lie the foci
and
of the conic
. In our case, we assume an ellipse. The reasoning for a parabola or a hyperbola would be identical. The conic is tangent to the sides of the quadrilateral (
Figure 7). The angle bisector of
passes through the center
of the arc
and is identical to the angle bisector
(Poncelet’s first theorem). Thus, the line
passes through the center of the circle
and the angle bisector of
, and the line
and the circle
intersect at the same point
. But this means that
is the Apollonius circle for the triangle
. In other words, the points
A,
B,
C, and
D lie on the same Apollonius circle for the points
and
.
Now, let us choose two points
and
, symmetrical with respect to the polar
p and lying on the circle
. Let the tangents drawn from these points to the conic intersect at the points
and
(
Figure 7). Given the reflectional symmetry, the quadrilateral
is inscribed in a circle
. Following from the previous paragraph,
is the Apollonius circle for the triangle
. Since different Apollonius circles for two fixed points
and
do not intersect, we have
. Moreover, due to reflectional symmetry, the diagonals
and
intersect again at the ideal point
P. The theorem is proved for this case.
The procedure for the case where the foci do not lie on the polar is described below.
As before, the angle bisector of
is identical to the angle bisector of
(
Figure 8). Let
be the intersection of this bisector with the polar
p. The polar is the perpendicular bisector of the segment
. The quadrilateral
is cyclic since it is symmetric with respect to the polar. At the same time, the point
lies on the circle circumscribed about this quadrilateral. As this point also lies on the circle
, both circles have three points
C,
A, and
in common, so they are identical, and points
and
lie on the circle
.
Let us now choose two points
,
, symmetrical with respect to the polar, and draw from them tangents to the ellipse
. Let us denote their intersections by
and
(
Figure 8). From the preceding procedure it is clear that the circle
circumscribed about the quadrilateral
passes through the points
and
. Since the points
,
,
, and
lie on the circle
, it follows that
, and the diagonals
and
intersect again at the ideal point
P.
All cases are covered and the proof of Theorem 3 is complete. □
3. Proof of Theorem M
Let us recall this theorem once again.
Problem M.
Consider an arbitrary conic in the plane. Let us choose an arbitrary point P and construct two perpendicular lines m and n passing through P (Figure 9). Let the line m intersect the conic at two points, A and C, and the line n intersect the conic at two points, B and D. Denote by E the foot of the perpendicular from the point P to the line . Now, rotate the perpendicular lines m and n about the point P. The locus of the point E is a circle k (or a line in special cases). Denote by and H the feet of the perpendiculars from the point P to the lines , , and . These points also lie on the circle k. Prove it. Proof. If a point E is to be determined, the line m intersects the conic at one point. The same holds for the line n. But the conic and the line have, in general, two intersections, so we can assume the existence of a quadrilateral inscribed in the conic , whose diagonals intersect at the point P and are perpendicular.
According to Theorem 1, the quadrilateral can be inscribed in a circle. In this auxiliary circle, the focus P and the tangents , , , and uniquely determine the conic . The second focus is symmetric to P with respect to the center of the circle k. If P lies inside the circle, is an ellipse; if outside, it is a hyperbola.
According to Theorem 3, from each point of the conic , we can construct the quadrilateral , which is tangent to the conic . At the same time, the diagonals and intersect at the point P. Moreover, the point P is now the focus of the conic .
However, as the diagonals of the quadrilateral intersect at the focus of the inscribed conic, they make a right angle. This is because on the one hand,
which is a consequence of the fact that
and
are diagonals, and on the other hand, according to Fact 1,
which is a consequence of the fact that the point
P is the focus of the conic, so the angles are oriented.
and this equation is satisfied only if the angle is right.
Finally, the feet of the perpendiculars dropped from the point P to the sides of the quadrilateral lie on the auxiliary circle of the conic . □
The proof presented above does not work in one special case: when the point P lies on the conic . In such a case, Poncelet’s Theorem cannot be used, at least not in the form proved in this paper.
The proposition that the locus of the point
E is a circle is then completely equivalent to the proposition that the lines
pass through a fixed point
Y. This point is called Frégier’s point, which was discussed in 1815 [
7,
8].
Here, we try to prove this theorem as a limit case of the already proved problem M when the point P lies inside the conic .
Given a conic and a point O on , the hypotenuses of right-angled triangles inscribed in and having a common right-angle vertex O intersect at one point Y, the Fregiér’s point to O with respect to .
Proof. Consider any point
P inside the conic
. Without loss of generality, let the conic be an ellipse. Next, let us choose an arbitrary point
O on
. For any point
P, the quadrilateral
is defined, and the tangent conic
is defined as well. Now, let us move the point
P arbitrarily close to the point
O. Let
Hence,
Based on limit considerations, the “quadrilateral”
has a tangent conic that has a focus at
and passes through the points
. Since the focal point
P lies on the conic, it must be a degenerate conic, a line segment, and the foci are its two extreme points. Thus, the degenerate ellipse
, segment
, is tangent to the sides of the triangle
(see
Figure 10), which means that the extreme point
Y lies on the line
. However, since for any point
P inside the conic
, the conic
is tangent to all lines
(constructed according to the given algorithm), it can be proved using a continuity argument that the same property must hold for the degenerate conic
. But this means that the line segment
is “tangent” to all triangles
. In other words, all lines
pass through the fixed point
Y.
The proof that the feet of the perpendiculars dropped from the point O lie on the circle with diameter is left to the reader. □
The author is aware that the above proof is not completely rigorous. It could probably be improved but at the expense of length. The reader can find a standard proof of Frégier’s theorem in [
8].