In geometry, Pasch's axiom is a statement in plane geometry, used implicitly by Euclid, which cannot be derived from the postulates as Euclid gave them. Its essential role was discovered by Moritz Pasch in 1882.
- If a line intersects one side of a triangle internally then it intersects precisely one other side internally and the third side externally, if it does not pass through a vertex of the triangle.
(In case the third side is parallel to our line, we count an "intersection at infinity" as external.) A more informal version of the axiom is often seen:
- If a line, not passing through any vertex of a triangle, meets one side of the triangle then it meets another side.
In this statement, a side of a triangle is taken to be the line segment joining two vertices of the triangle, so the expression "a line meeting a side" means that the line meets the line forming the side of the triangle internally.
Pasch published this axiom in 1882, and showed that Euclid's axioms were incomplete. The axiom was part of Pasch's approach to introducing the concept of order into plane geometry.
In other treatments of elementary geometry, using different sets of axioms, Pasch's axiom can be proved as a theorem; it is a consequence of the plane separation axiom when that is taken as one of the axioms. Hilbert uses Pasch's axiom in his axiomatic treatment of Euclidean geometry. Given the remaining axioms in Hilbert's system, it can be shown that Pasch's axiom is logically equivalent to the plane separation axiom.
Hilbert's statement of Pasch's axiom
David Hilbert uses Pasch's axiom in his book Foundations of Geometry which provides an axiomatic basis for Euclidean geometry. Depending upon the edition, it is numbered either II.4 or II.5 and is stated as:
- Let A, B, C be three points that do not lie on a line and let a be a line in the plane ABC which does not meet any of the points A, B,C. If the line a passes through a point of the segment AB, it also passes through a point of the segment AC, or through a point of segment BC.
The fact that both segments AC and BC are not intersected by the line a is proved in Supplement I,1, which was written by P. Bernays.
In Hilbert's treatment, this axiom appears in the section concerning axioms of order and is referred to as a plane axiom of order. Since he does not phrase the axiom in terms of the sides of a triangle there is no need to talk about internal and external intersections of the line a with the sides of the triangle ABC. However, if one applies the triangle terminology to Hilbert's version of the axiom, the fact that it is equivalent to Pasch's version is apparent.
Pasch's axiom is distinct from Pasch's theorem which is a statement about the order of four points on a line. However, in the literature there are many instances where Pasch's axiom is referred to as Pasch's theorem. A notable instance of this is Greenberg (1974, p. 67).
- If a line intersects two sides of a triangle, then it also intersects the third side.
There is no mention of internal and external intersections in the statement of this axiom which is only concerned with the incidence property of the lines meeting.
- Beutelspacher & Rosenbaum 1998, pg. 7
- M. Pasch, Vorlesungen über neuere Geometrie (Leipzig, 1882)
- Wylie,Jr. 1964, pg. 100
- axiom II.5 in Hilbert's Foundations of Geometry (Townsend translation referenced below), in the authorized English translation of the 10th edition translated by L. Unger (also published by Open Court) it is numbered II.4. There are several differences between these translations.
- only Hilbert's axioms I.1,2,3 and II.1,2,3 are needed for this. Proof is given in (Faber 1983, pp. 116-117)
- This is taken from the Unger translation of the 10th edition and is numbered II.4.
- Hilbert 1971, pg. 200, the Unger translation.
- Beutelspacher & Rosenbaum 1998, pg. 6
- Beutelspacher, Albrecht; Rosenbaum, Ute (1998), Projective geometry: from foundations to applications, Cambridge University Press, ISBN 978-0-521-48364-3, MR1629468
- Faber, Richard L. (1983), Foundations of Euclidean and Non-Euclidean Geometry, New York: Marcel Dekker, Inc., ISBN 0-8247-1748-1
- Greenberg, Marvin Jay (1974), Euclidean and Non-Euclidean Geometries/Development and History, San Francisco: W.H. Freeman, ISBN 0-7167-0454-4
- David Hilbert, The Foundations of Geometry [Grundlagen der Geometrie], Open Court Publishing, Lasalle, IL, 1902 (original), 1950 (quoted, English translation by E. J. Townsend), http://www.gutenberg.org/files/17384/17384-pdf.pdf.
- Hilbert, David (1971), Foundations of Geometry, LaSalle, IL: Open Court Publishing, ISBN 0-87548-164-7 (Unger translation)
- Edwin Moise. Elementary Geometry from an Advanced Standpoint, Third Edition. Addison-Wesley, Reading, MA, 1990. Page 74.
- Victor Pambuccian: The axiomatics of ordered geometry: I. Ordered incidence spaces. Expositiones Mathematicae 29 (2011), 24-66.
- Wylie,Jr., C.R. (1964), Foundations of Geometry, New York: McGraw-Hill
- Pasch's Axiom MathWorld