Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Reciprocal links
Privacy Policy

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

Projective Proof of Pascal's Theorem

 

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

I'll use the symbol "^" to denote the intersection of two lines, i.e. the point incident to the two lines. Similarly, the same symbol is used to denoted the line passing through two points, i.e., incident to the two points, with no ambiguity. Thus let A, B, C, D, E, F be six points on a conic c (ellipse in the applet above.) Introduce

  P = AB ^ DE,
Q = CD ^ FA,
p = P ^ Q,
L, M = c ^ p,
R = EF ^ p,
S = BC ^ p.

T = AD ^ p is an auxiliary point useful in the proof. The idea is to show that R = S. (The proof that has been suggested by Hubert Shutrick is based on Chasles' theorem and is, therefore, entirely projective.) Using the cross-ratio notations for concurrent lines and collinear points, we have successively

 
(LQRM)= F(LAEM)
 = D(LAEM)
 = (LTPM)
 = A(LDBM)
 = C(LDBM)
 = (LQSM)

And, since the value of the cross ratio and three collinear points define the fourth point uniquely, we see that indeed R = S.

Remark

Chasles' theorem has been used twice in the proof: passing from pencil F to pencil D and from pencil A to pencil C. However, if the points L, A, E, M in the first case and L, D, B, M in the second, are collinear, the identities hold directly from the definition of the cross-ratio thus obviating the need for Chasles' theorem. Thus the above derivation immediately applies to Pappus' theorem.

Copyright © 1996-2008 Alexander Bogomolny

28774833Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
Math
Posted by Laura
2 messages
06:56 AM, Apr-15-08

Divisibility rules - Jargon buste ...
Posted by Carolyn
2 messages
08:35 AM, Apr-04-08

drawing puzzle
Posted by martin gran
31 messages
06:53 PM, May-09-08

conway's game of life
Posted by frequency
0 messages
11:52 PM, May-12-08

Mistake on the page (an aside, Be ...
Posted by Max
4 messages
10:28 AM, Feb-28-08

Need details on a part of Proof o ...
Posted by Manuel S.
2 messages
05:24 PM, May-16-08

Josephus Flavius (correction)
Posted by David Turner
1 messages
09:42 AM, May-14-08