Next Article in Journal
Problems in Invariant Differential Operators on Homogeneous Manifolds
Previous Article in Journal / Special Issue
Defining and Visualizing the Geometry of Relativistic Physics
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Relation Between a Locus and Poncelet’s Closure Theorem

Faculty of Science, Humanities and Education, Technical University of Liberec, 461 17 Liberec, Czech Republic
Geometry 2025, 2(2), 8; https://doi.org/10.3390/geometry2020008
Submission received: 4 January 2025 / Revised: 1 March 2025 / Accepted: 12 April 2025 / Published: 9 June 2025
(This article belongs to the Special Issue Feature Papers in Geometry)

Abstract

:
This article contains a synthetic proof of the following proposition: consider a conic c 1 and its variable chord A B , which subtends a right angle at a given point P. Then, the foot E of the perpendicular dropped from P onto the line A B lies on a certain circle (the line being the limiting case of the circle). To prove this proposition, we show how Poncelet’s closure theorem for quadrilaterals can be derived by elementary projective considerations only (without any computations, either in Cartesian or projective coordinates). Finally, the limiting case of the proposition, where the point P lies on the conic, is also mentioned. The problem can then be reduced to Frégier’s theorem and may represent a slightly different perspective on this theorem.

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 n = 4 in an elementary way.
The formulation of the motivational problem (M) is shown below.
Problem M
Consider an arbitrary conic c 1 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 A B . 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 F , G , and H the feet of the perpendiculars from the point P to the lines B C , C D , and D A . 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 A B ( B C , C D , E F ) 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 n = 4 , which was published and proved for arbitrary n > 2 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 A B C D whose diagonals A C and B D are perpendicular and intersect at the point P. Construct the feet of the perpendiculars from the point P to the sides A B , B C , C D , and D A and denote them by E, F, G, and H. Then, the quadrilateral E F G H can be inscribed in a circle k (Figure 2).
Proof. 
As the opposite angles are right, the quadrilaterals P E A H and P E B F are cyclic. Therefore,
H E F = H E P + P E F = H A P + P B F = D A P + P B C
By analogy, we arrive at the equalities
H G F = H G P + P G F = H D P + P C F = A D P + P C B
So,
H E F + H G F = D A P + P B C + A D P + P C B
= ( A D P + D A P ) + ( P C B + P B C ) = 90 + 90 = 180
and the quadrilateral EFGH is cyclic. □
Now, let us recall a well-known fact (see, e.g., [2]).
Fact 1
Consider an arbitrary conic c 2 with foci F 1 and F 2 , inscribed in quadrilateral A B C D . Then, the oriented magnitudes of angles subtended by opposite segments (e.g., A D and B C ) at the focus (e.g., F 1 ) are equal (Figure 3). Written symbolically,
A F 1 D B F 1 C m o d 180
The theorem below can be understood as a generalization of a property inherent to the bicentric quadrilateral.
Theorem 2. 
Consider the conic c 1 circumscribed about the quadrilateral A B C D and the conic c 2 inscribed in this quadrilateral. Let P be the intersection of the diagonals A C and B D . Then, the polar of the point P with respect to the conic c 1 is identical to its polar with respect to the conic c 2 (Figure 4).
Proof. 
Let I, J, K, and L be the points of contact of the conic c 2 with the lines A B , B C , C D , and D A of the quadrilateral. Let X 1 be the intersection of the lines A B and C D , let X 2 be the intersection of the lines B C and A D , let Y 1 be the intersection of the lines I J and L K , and let Y 2 be the intersection of J K and I L (Figure 4). Let us first recall some facts [3,4]:
The diagonals A C , I K , B D , and L J intersect at a common point P (a consequence of Brianchon’s theorem).
The triangle P Y 1 Y 2 is self-polar with respect to c 2 , and the triangle P X 1 X 2 is self-polar with respect to c 1 .
For the proof, it suffices to show that the line Y 1 Y 2 (the polar of P with respect to c 2 ) is identical to the line X 1 X 2 (the polar of P with respect to c 1 ).
The lines Y 2 Y 1 , L K , Y 1 P , and I J intersect at Y 1 , and the cross-ratio of the lengths of the segments on any line that intersects them is 1 . The polar of the line Y 2 Y 1 with respect to the conic c 2 is the point P, the polar of the line L K is D, the polar of the line Y 1 P is Y 2 , and the polar of the line I J is B. Therefore, the points Y 2 , D, P, and B are collinear, and the cross-ratio ( B D , P Y 2 ) = 1 . By analogy, the points A, P, C, and Y 1 are collinear, and ( A C , P Y 1 ) = 1 .
Since the line X 1 X 2 is the polar of the point P with respect to c 1 , the intersections Y 1 and Y 2 of the lines A C and X 1 X 2 and B D and X 1 X 2 , respectively, fulfill ( A C , P Y 1 ) = 1 and ( B D , P Y 2 ) = 1 . Hence, Y 1 = Y 1 and Y 2 = Y 2 , and the lines X 1 X 2 and Y 1 Y 2 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 n = 4 , which is in a certain way adapted for our purposes.
  • Poncelet’s closure theorem (general version). Let c 1 and c 2 be two plane conics. If, for a given n > 2 , there exists at least one n-sided polygon that is simultaneously inscribed in c 1 and circumscribed about c 2 , then there are infinitely many of them. Each point of c 1 or c 2 is a vertex or tangency (respectively) of one such polygon.
Theorem 3 
(Poncelet’s closure theorem for quadrilateral, adapted). Consider a conic c 1 that is circumscribed about a given quadrilateral A B C D and a conic c 2 that is inscribed in it. Let P be the intersection of the diagonals A C and B D . From any point A 1 on the conic c 1 , let us draw a tangent to the conic c 2 . Let this tangent intersect c 1 at another point B 1 . From the point B 1 , let us draw another tangent to c 2 that intersects c 1 at another point C 1 . In the same way, let us construct the point D 1 . Then, the line A 1 D 1 is tangent to c 2 . This means that conic c 2 is inscribed in the quadrilateral A 1 B 1 C 1 D 1 , and the intersection of the diagonals A 1 C 1 and B 1 D 1 is again point P.
Proof. 
We distinguish three cases:
(a)
The point P lying inside the conic c 1 ;
(b)
The point P lying outside conic c 1 but inside the conic c 2 ;
(c)
The point P lying outside both conics c 1 and c 2 .
Proof of case (a). Since the point P lies inside the conic c 1 , 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 c 1 is an ellipse c 1 (since it has no intersection with the ideal line), the image of the conic c 2 is c 2 , 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 c 1 and c 2 . Next, let us apply an affinity that converts the ellipse c 1 into a circle, which we also denote as c 1 .
We have obtained the following (Figure 5): a circle c 1 is circumscribed about a quadrilateral A B C D whose diagonals pass through the center S of the circle and whose sides are tangent to a certain conic c 2 , the conic and the circle being concentric. Since the diagonals pass through the center S, the quadrilateral A B C D is a rectangle, or, in other words, the tangents A B , B C , C D , and D A make right angles. However, this means that the circle c 1 is a director circle (or orthoptic circle) for the conic c 2 . It is well known that from any point A 1 of the circle, one can successively construct the points B 1 , C 1 , and D 1 such that the rectangle A 1 B 1 C 1 D 1 has the properties required in the assignment of Theorem 3. Thus, the original conics c 1 and c 2 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 c 3 of the conic c 1 with respect to the conic c 2 (Figure 6). The image of the quadrilateral A B C D is the quadrilateral I J K L inscribed in the conic c 2 and tangent to the conic c 3 , 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 A 1 c 2 , one can construct a quadrilateral A 1 B 1 C 1 D 1 inscribed in the conic c 2 and tangent to the conic c 3 . But this is the case (a) since the point P lies inside the conic c 2 .
Proof of case (c). First, we send a line through the point P, which does not intersect the conic c 1 , to infinity. The conic c 1 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 c 2 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 c 2 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 A B C D whose diagonals A C and B D are parallel, as they intersect at the ideal point P, and which can be circumscribed by the circle c 1 . On the polar p, passing through the center of the circle and perpendicular to the diagonals, lie the foci F 1 and F 2 of the conic c 2 . 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 D A B passes through the center F of the arc B D and is identical to the angle bisector F 1 A F 2 (Poncelet’s first theorem). Thus, the line F 1 F 2 passes through the center of the circle c 1 and the angle bisector of F 1 A F 2 , and the line F 1 F 2 and the circle c 1 intersect at the same point F . But this means that c 1 is the Apollonius circle for the triangle F 1 A F 2 . In other words, the points A, B, C, and D lie on the same Apollonius circle for the points F 1 and F 2 .
Now, let us choose two points A 1 and C 1 , symmetrical with respect to the polar p and lying on the circle c 1 . Let the tangents drawn from these points to the conic intersect at the points B 1 and D 1 (Figure 7). Given the reflectional symmetry, the quadrilateral A 1 B 1 C 1 D 1 is inscribed in a circle c 1 . Following from the previous paragraph, c 1 is the Apollonius circle for the triangle F 1 A 1 F 2 . Since different Apollonius circles for two fixed points F 1 and F 2 do not intersect, we have c 1 = c 1 . Moreover, due to reflectional symmetry, the diagonals A 1 C 1 and B 1 D 1 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 F 1 A F 2 is identical to the angle bisector of B A D (Figure 8). Let F be the intersection of this bisector with the polar p. The polar is the perpendicular bisector of the segment F 1 F 2 . The quadrilateral C F 1 A F 2 is cyclic since it is symmetric with respect to the polar. At the same time, the point F lies on the circle circumscribed about this quadrilateral. As this point also lies on the circle c 1 , both circles have three points C, A, and F in common, so they are identical, and points F 1 and F 2 lie on the circle c 1 .
Let us now choose two points A 1 c 1 , C 1 c 1 , symmetrical with respect to the polar, and draw from them tangents to the ellipse c 2 . Let us denote their intersections by B 1 and D 1 (Figure 8). From the preceding procedure it is clear that the circle c 1 circumscribed about the quadrilateral A 1 B 1 C 1 D 1 passes through the points F 1 and F 2 . Since the points F 1 , F 2 , A 1 , and C 1 lie on the circle c 1 , it follows that c 1 = c 1 , and the diagonals A 1 C 1 and B 1 D 1 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 c 1 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 A B . 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 F , G , and H the feet of the perpendiculars from the point P to the lines B C , C D , and D A . 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 A B C D inscribed in the conic c 1 , whose diagonals intersect at the point P and are perpendicular.
According to Theorem 1, the quadrilateral E F G H can be inscribed in a circle. In this auxiliary circle, the focus P and the tangents A B , B C , C D , and D A uniquely determine the conic c 2 . The second focus is symmetric to P with respect to the center of the circle k. If P lies inside the circle, c 2 is an ellipse; if outside, it is a hyperbola.
According to Theorem 3, from each point A 1 of the conic c 1 , we can construct the quadrilateral A 1 B 1 C 1 D 1 , which is tangent to the conic c 2 . At the same time, the diagonals A 1 C 1 and B 1 D 1 intersect at the point P. Moreover, the point P is now the focus of the conic c 2 .
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,
A P D = C P B ,
which is a consequence of the fact that A C and B D are diagonals, and on the other hand, according to Fact 1,
A P D B P C m o d 180 ,
which is a consequence of the fact that the point P is the focus of the conic, so the angles are oriented.
Hence,
C P B B P C m o d 180 ,
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 A 1 B 1 C 1 D 1 lie on the auxiliary circle of the conic c 2 . □
  • Remark—Frégier’s theorem 
The proof presented above does not work in one special case: when the point P lies on the conic c 1 . 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 A B 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 c 1 .
  • Frégier’s theorem 
Given a conic c 1 and a point O on c 1 , the hypotenuses of right-angled triangles inscribed in c 1 and having a common right-angle vertex O intersect at one point Y, the Fregiér’s point to O with respect to c 1 .
Proof. 
Consider any point P inside the conic c 1 . Without loss of generality, let the conic be an ellipse. Next, let us choose an arbitrary point O on c 1 . For any point P, the quadrilateral A B C D is defined, and the tangent conic c 2 is defined as well. Now, let us move the point P arbitrarily close to the point O. Let
lim P O C = lim P O D = lim P O P = O
Hence,
lim P O H = lim P O G = lim P O F = O
Based on limit considerations, the “quadrilateral” A B O has a tangent conic that has a focus at P = O and passes through the points H = G = F = O . 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 c 2 , segment O Y , is tangent to the sides of the triangle A B O (see Figure 10), which means that the extreme point Y lies on the line A B . However, since for any point P inside the conic c 1 , the conic c 2 is tangent to all lines A B (constructed according to the given algorithm), it can be proved using a continuity argument that the same property must hold for the degenerate conic c 2 . But this means that the line segment O Y is “tangent” to all triangles O A B . In other words, all lines A B 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 O Y 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].

4. Conclusions

In this article, a synthetic proof was presented that the locus constructed according to the procedure given in the introduction is always a circle or a line. In doing so, we proved Poncelet’s closure theorem for a quadrilateral using only elementary projective considerations.
Let us mention a question related to the topic of this article. The synthetic proof presented above says nothing about whether the locus under consideration is a circle or a line. In the former case, the conic c 2 is an ellipse or hyperbola; in the latter case, c 2 is a parabola. Analytical calculations show that a line comes out only in the case of an equilateral hyperbola (see [1]). Is there a purely synthetic proof for this fact?
There are other ways to generalize the problem addressed here. However, it is uncertain whether such generalizations are amenable to synthetic investigation. Problem M presented here is interesting precisely for the simplicity of the search locus, which can be justified based on (relatively) elementary arguments.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Pech, P. On the locus related to chords of conic sections. In Proceedings of the Asian Technology Conference in Mathematics, Radford, VA, USA, 13–15 December 2021; pp. 137–144. [Google Scholar]
  2. Deaux, R. Introduction to the Geometry of Complex Numbers; Dover Publications: Mineola, NY, USA, 2008; ISBN 0486466299. [Google Scholar]
  3. Johnson, R.A. Advanced Euclidean Geometry; Dover Publications: Mineola, NY, USA, 2007; ISBN 9780486462370. [Google Scholar]
  4. Richter-Gebert, J. Perspectives on Projective Geometry; Springer Science and Business Media: Berlin/Heidelberg, Germany, 2011; ISBN 3642172865. [Google Scholar]
  5. Pellegrinetti, D. On a synthetic proof for the conic sections orthoptics. Math. Gaz. 2021, 105, 533–538. [Google Scholar] [CrossRef]
  6. Blazek, J.; Pech, P. Geometrická místa bodů-zobecnění Mongeovy kružnice a možnosti současného softwaru. South Bohemia Math. Lett. 2016, 24, 1–9. Available online: https://home.pf.jcu.cz/~sbml/wp-content/uploads/Blazek.pdf (accessed on 1 January 2016).
  7. Weiss, G. Frégier points revisited. South Bohemia Math. Lett. 2018, 26, 84–92. [Google Scholar]
  8. Wells, D. The Penguin Dictionary of Curious and Interesting Geometry; Penguin Books: Grand Rapids, MI, USA, 1992. [Google Scholar]
Figure 1. Construction of problem M.
Figure 1. Construction of problem M.
Geometry 02 00008 g001
Figure 2. Theorem 1.
Figure 2. Theorem 1.
Geometry 02 00008 g002
Figure 3. Fact 1.
Figure 3. Fact 1.
Geometry 02 00008 g003
Figure 4. Theorem 2.
Figure 4. Theorem 2.
Geometry 02 00008 g004
Figure 5. Theorem 3, case (a).
Figure 5. Theorem 3, case (a).
Geometry 02 00008 g005
Figure 6. Theorem 3, case (b).
Figure 6. Theorem 3, case (b).
Geometry 02 00008 g006
Figure 7. Theorem 3, case (c,I.).
Figure 7. Theorem 3, case (c,I.).
Geometry 02 00008 g007
Figure 8. Theorem 3, case (c,II.).
Figure 8. Theorem 3, case (c,II.).
Geometry 02 00008 g008
Figure 9. Proof of problem M.
Figure 9. Proof of problem M.
Geometry 02 00008 g009
Figure 10. Frégier’s theorem.
Figure 10. Frégier’s theorem.
Geometry 02 00008 g010
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Blažek, J. On the Relation Between a Locus and Poncelet’s Closure Theorem. Geometry 2025, 2, 8. https://doi.org/10.3390/geometry2020008

AMA Style

Blažek J. On the Relation Between a Locus and Poncelet’s Closure Theorem. Geometry. 2025; 2(2):8. https://doi.org/10.3390/geometry2020008

Chicago/Turabian Style

Blažek, Jiří. 2025. "On the Relation Between a Locus and Poncelet’s Closure Theorem" Geometry 2, no. 2: 8. https://doi.org/10.3390/geometry2020008

APA Style

Blažek, J. (2025). On the Relation Between a Locus and Poncelet’s Closure Theorem. Geometry, 2(2), 8. https://doi.org/10.3390/geometry2020008

Article Metrics

Back to TopTop