Relation To Pappus' Theorem
Pappus's hexagon theorem states that, if a hexagon AbCaBc is drawn in such a way that vertices a, b, and c lie on a line and vertices A, B, and C lie on a second line, then each two opposite sides of the hexagon lie on two lines that meet in a point and the three points constructed in this way are collinear. A plane in which Pappus's theorem is universally true is called Pappian. Hessenberg (1905) showed that Desargues's theorem can be deduced from three applications of Pappus's theorem (Coxeter 1969, 14.3).
The converse of this result is not true, that is, not all Desarguesian planes are Pappian. Satisfying Pappus's theorem universally is equivalent to having the underlying coordinate system be commutative. A plane defined over a non-commutative division ring (a division ring that is not a field) would therefore be Desarguesian but not Pappian. However, due to Wedderburn's theorem, which states that all finite division rings are fields, all finite Desarguesian planes are Pappian. There is no known, satisfactory geometric proof of this fact.
Read more about this topic: Desargues' Theorem
Famous quotes containing the words relation to, relation and/or theorem:
“Science is the language of the temporal world; love is that of the spiritual world. Man, indeed, describes more than he explains; while the angelic spirit sees and understands. Science saddens man; love enraptures the angel; science is still seeking, love has found. Man judges of nature in relation to itself; the angelic spirit judges of it in relation to heaven. In short to the spirits everything speaks.”
—Honoré De Balzac (1799–1850)
“Hesitation increases in relation to risk in equal proportion to age.”
—Ernest Hemingway (1899–1961)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)