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$ : :$gamma\; =\; langle\; U\; imes\; W,\; X\; imes\; Z,\; Y\; imes\; V\; angle$

We need to show that if $alpha$ = 0 and = 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$, , and $gamma$ in the following equivalent forms::$alpha\; =\; langle\; U\; imes\; V,\; X\; imes\; W,\; Y\; imes\; Z\; 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)C$to get:$alpha\; =\; (U\; imes\; V)\; cdot\; ((X\; imes\; W)\; imes\; (Y\; imes\; Z))$: :$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)$::$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$::$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$::$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:::from which it follows that if $alpha$ = 0 and = 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