Chasles' Theorem, a Proof

This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at http://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

Buy this applet
What if applet does not run?

(The blue points and the circle are draggable.)

Chasles' Theorem

Let A, B, C, D be four distinct points on a proper conic and let the tangents to the conic at A, B, C, D meet a fixed tangent t to the conic in the points A', B', C', D' respectively. Then, if K is any point on the conic, K(ABCD) = (A'B'C'D').

Proof

Since the theorem is a projective one, it suffices to establish it for the case where the proper conic is a circle. Let O be the center of the circle, and T the point of contact of the tangent t. Then

(1)	∠A'OT = ½∠AOT = ∠AKT.

It follows that pencils K(ABCD) and O(A'B'C'D') are congruent, and

K(ABCD) = O(A'B'C'D') = (A'B'C'D').

Note

The proof is taken verbatim from [Eves, p. 256]. In this form the proof is incomplete as (1) does not always hold. Please see what modifications are needed as K travels over the circle.
As a consequence of the theorem, we have a statement (also referred to as Chasles' theorem) that asserts that the cross-ratio K(ABCD) is independent of K.

References

H. Eves, A Survey of Geometry, Allyn and Bacon, 1972

Chasles' Theorem

Chasles' Theorem
Chasles' Theorem, a Simple Proof
Pascal's Theorem, Homogeneous Coordinates
Chasles' Theorem, a Proof
Projective Proof of Pascal's Theorem

49552139