Pappus's hexagon theorem

Pappus's hexagon theorem (attributed to Pappus of Alexandria) states that given one set of collinear points "A", "B", "C", and another set of collinear points "a", "b", "c", then the intersection points "x", "y", "z" of line pairs "Ab" and "aB", "Ac" and "aC", "Bc" and "bC" are collinear. ("Collinear" means the points are incident on a line.)

The dual of this theorem states that given one set of concurrent lines "A", "B", "C", and another set of concurrent lines "a", "b", "c", then the lines "x", "y", "z" defined by pairs of points resulting from pairs of intersections "A"∩"b" and "a"∩"B", "A"∩"c" and "a"∩"C", "B"∩"c" and "b"∩"C" are concurrent.

A generalization of this theorem is Pascal's theorem, which was discovered by Blaise Pascal at the age of 16.

tatement and proof of Pappus's hexagon theorem

Let there be six lines on a projective plane: "U", "V", "W", "X", "Y", and "Z". Then the theorem can be stated thus:

If
(1) the points equal to the intersections of "U" with "V", "X" with "W", and "Y" with "Z" are collinear,
and if
(2) the points equal to the intersection of "U" with "Z", "X" with "V", and "Y" with "W" are collinear, then
it must be true that
(3) the points equal to the intersections of "U" with "W", "X" with "Z", and "Y" with "V" are collinear.

Symbolically, Pappus's theorem can be stated as follows:
If :$$langle U imes V, X imes W, Y imes Z angle = 0 and if :$$langle U imes Z, X imes V, Y imes W angle = 0 then:$$langle U imes W, X imes Z, Y imes V angle = 0.

Proof

Let:$$alpha = langle U imes V, X imes W, Y imes Z angle :$$eta = langle U imes Z, X imes V, Y imes W angle :$$gamma = langle U imes W, X imes Z, Y imes V angle

We need to show that if $$alpha = 0 and $$eta = 0, then $$gamma = 0.

tep 1.

Using the identity:$$langle A,B,C angle = langle C,A,B angle = langle B,C,A angle we can express $$alpha, $$eta, and $$gamma in the following equivalent forms::$$alpha = langle U imes V, X imes W, Y imes Z angle :$$eta = langle Y imes W, U imes Z, X imes V angle :$$gamma = langle X imes Z, Y imes V, U imes W angle

tep 2.

We can apply the identities:$$langle A,B,C angle = A cdot (B imes C):$$A imes (B imes C) = (A cdot C)B - (A cdot B)Cto get:$$alpha = (U imes V) cdot ((X imes W) imes (Y imes Z)) :$$eta = (Y imes W) cdot ((U imes Z) imes (X imes V)) :$$gamma = (X imes Z) cdot ((Y imes V) imes (U imes W))and then:$$alpha = (U imes V) cdot (langle X,W,Z angle Y - langle X,W,Y angle Z) :$$eta = (Y imes W) cdot (langle U,Z,V angle X - langle U,Z,X angle V) :$$gamma = (X imes Z) cdot (langle Y,V,W angle U - langle Y,V,U angle W)

tep 3.

Using the distributive property of the dot product::$$alpha = langle X,W,Z angle langle U,V,Y angle - langle X,W,Y angle langle U,V,Z angle:$$eta = langle U,Z,V angle langle Y,W,X angle - langle U,Z,X angle langle Y,W,V angle:$$gamma = langle Y,V,W angle langle X,Z,U angle - langle Y,V,U angle langle X,Z,W angle

tep 4.

Using the identities:$$langle A,B,C angle = langle C,A,B angle = langle B,C,A angle :$$langle A,B,C angle = -langle A,C,B angle = -langle C,B,A angle = -langle B,A,C angle We can permute the terms as follows::$$alpha = langle X,W,Z angle langle U,V,Y angle - langle X,W,Y angle langle U,V,Z angle:$$eta = -langle U,Z,X angle langle Y,W,V angle + langle X,W,Y angle langle U,V,Z angle :$$gamma = langle U,Z,X angle langle Y,W,V angle - langle X,W,Z angle langle U,V,Y angle

tep 5.

We can now add these equations to get::$$alpha + eta + gamma = 0 :$$gamma = -(alpha + eta) from which it follows that if $$alpha = 0 and $$eta = 0, then $$gamma = 0.

"Q.E.D."

ee also

* Plane geometry
* Projective geometry
* Pappus of Alexandria
* Pappus configuration

External links

* [http://www.cut-the-knot.org/pythagoras/Pappus.shtml Pappus' hexagon theorem at Cut-the-knot.org] at cut-the-knot
* [http://www.cut-the-knot.org/Curriculum/Geometry/PappusDual.shtml Dual to Pappus' hexagon theorem at Cut-the-knot.org] at cut-the-knot