Pappus's hexagon theorem
Encyclopedia : P : PA : PAP : 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.
Statement 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 \times V, X \times W, Y \times Z \rangle = 0]
- [ \langle U \times Z, X \times V, Y \times W \rangle = 0]
- [ \langle U \times W, X \times Z, Y \times V \rangle = 0.]
Proof
Let- [ \alpha = \langle U \times V, X \times W, Y \times Z \rangle]
- [ \beta = \langle U \times Z, X \times V, Y \times W \rangle]
- [ \gamma = \langle U \times W, X \times Z, Y \times V \rangle]
Step 1.
Using the identity- [ \langle A,B,C\rangle = \langle C,A,B\rangle = \langle B,C,A\rangle ]
- [ \alpha = \langle U \times V, X \times W, Y \times Z \rangle]
- [ \beta = \langle Y \times W, U \times Z, X \times V \rangle]
- [ \gamma = \langle X \times Z, Y \times V, U \times W \rangle]
Step 2.
We can apply the identities- [\langle A,B,C\rangle = A \cdot (B \times C)]
- [A \times (B \times C) = (A \cdot C)B - (A \cdot B)C]
- [ \alpha = (U \times V) \cdot ((X \times W) \times (Y \times Z)) ]
- [ \beta = (Y \times W) \cdot ((U \times Z) \times (X \times V))]
- [ \gamma = (X \times Z) \cdot ((Y \times V) \times (U \times W))]
- [ \alpha = (U \times V) \cdot (\langle X,W,Z\rangle Y - \langle X,W,Y\rangle Z) ]
- [ \beta = (Y \times W) \cdot (\langle U,Z,V\rangle X - \langle U,Z,X\rangle V) ]
- [ \gamma = (X \times Z) \cdot (\langle Y,V,W\rangle U - \langle Y,V,U\rangle W) ]
Step 3.
Using the distributive property of the dot product:- [ \alpha = \langle X,W,Z\rangle \langle U,V,Y\rangle - \langle X,W,Y\rangle \langle U,V,Z\rangle]
- [ \beta = \langle U,Z,V\rangle \langle Y,W,X\rangle - \langle U,Z,X\rangle \langle Y,W,V\rangle]
- [ \gamma = \langle Y,V,W\rangle \langle X,Z,U\rangle - \langle Y,V,U\rangle \langle X,Z,W\rangle]
Step 4.
Using the identities- [ \langle A,B,C\rangle = \langle C,A,B\rangle = \langle B,C,A\rangle ]
- [ \langle A,B,C\rangle = -\langle A,C,B\rangle = -\langle C,B,A\rangle = -\langle B,A,C\rangle ]
- [ \alpha = \langle X,W,Z\rangle \langle U,V,Y\rangle - \langle X,W,Y\rangle \langle U,V,Z\rangle]
- [ \beta = -\langle U,Z,X\rangle \langle Y,W,V\rangle + \langle X,W,Y\rangle \langle U,V,Z\rangle ]
- [ \gamma = \langle U,Z,X\rangle \langle Y,W,V\rangle - \langle X,W,Z\rangle \langle U,V,Y\rangle]
Step 5.
We can now add these equations to get:- [ \alpha + \beta + \gamma = 0 ]
- [ \gamma = -(\alpha + \beta) ]
External links
- [Pappus' hexagon theorem at Cut-the-knot.org] at cut-the-knot
- [Dual to Pappus' hexagon theorem at Cut-the-knot.org] at cut-the-knot
See also
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.