Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On Chasles' Quadrilateral Theorem

Leah Wrenn Berman, Jürgen Richter-Gebert

Abstract

Chasles' Quadrilateral Theorem is a classical statement about four tangents to a conic that simultaneously circumscribe a circle. In its various formulations, it relates the concurrence of certain lines to the existence of confocal conics or inscribed circles. We show that several classical and modern versions of this theorem are affected by subtle ambiguities arising from multiple solutions in the underlying geometric constructions. These ambiguities often enter through seemingly natural extensions of otherwise correct statements. We provide a systematic analysis of these issues and present coherent formulations of the theorem that avoid these inconsistencies. In particular, we interpret the theorem in a projective framework and relate it to the Cayley-Bacharach theorem, which explains the underlying incidence structure.

On Chasles' Quadrilateral Theorem

Abstract

Chasles' Quadrilateral Theorem is a classical statement about four tangents to a conic that simultaneously circumscribe a circle. In its various formulations, it relates the concurrence of certain lines to the existence of confocal conics or inscribed circles. We show that several classical and modern versions of this theorem are affected by subtle ambiguities arising from multiple solutions in the underlying geometric constructions. These ambiguities often enter through seemingly natural extensions of otherwise correct statements. We provide a systematic analysis of these issues and present coherent formulations of the theorem that avoid these inconsistencies. In particular, we interpret the theorem in a projective framework and relate it to the Cayley-Bacharach theorem, which explains the underlying incidence structure.

Paper Structure

This paper contains 10 sections, 8 theorems, 3 equations, 13 figures.

Table of Contents

  1. Chasles' Quadrilateral Theorem
  2. Pitfalls of Chasles' Quadrilateral Theorem
  3. The projective nature of the theorem
  4. The absolute circle points
  5. A projective view of the CQT
  6. The Cayley--Bacharach Theorem approach
  7. Cayley--Bacharach arguments
  8. Historical remarks
  9. Getting rid of the circle
  10. Conclusion

Key Result

Theorem 1

(pure version of the CQT): Let $\mathcal{X}$ be an ellipse in the Euclidean plane and let $a,b,c,d$ be four distinct tangents to $\mathcal{X}$. Then the following statements are equivalent.

Figures (13)

  • Figure 1: The Chasles' Quadrilateral Theorem in its purest form (left) and its extended form (right), including tangents to $\mathcal{R}$ at $P$ and $Q$.
  • Figure 2: The Chasles' Quadrilateral Theorem in a generic situation with a hyperbola as $\mathcal{R}$.
  • Figure 3: The symmetric situation with the two possible choices for the conic $\mathcal{R}$ and the circle $\mathcal{C}$ (leftmost). The following images show two consistent choices (middle) and one inconsistent choice (rightmost).
  • Figure 4: The intended geometric situation in AkBo18 Lemma 2.5 (left) and an explicit counterexample to the statement (right).
  • Figure 5: The geometric situation in Theorem \ref{['CGTfour']}.
  • ...and 8 more figures

Theorems & Definitions (10)

  • Theorem 1
  • Theorem 2
  • Theorem 3
  • Remark 1
  • Theorem 4
  • Theorem 5
  • Theorem 6
  • Theorem 7
  • Theorem 8
  • proof