Chasles' Theorem, a Proof
|What if applet does not run?|
(The blue points and the circle are draggable.)
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,
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').
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.
- H. Eves, A Survey of Geometry, Allyn and Bacon, 1972
Copyright © 1996-2018 Alexander Bogomolny