Pasch's axiom


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.

Statement

The axiom states that,
The fact that segments AC and BC are not both intersected by the line is proved in Supplement I,1, which was written by P. Bernays.
A more modern version of this axiom is as follows:
A more informal version of the axiom is often seen:

History

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.

Equivalences

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 use of Pasch's axiom

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. His statement is given above.
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 with the sides of the triangle ABC.

Caveats

Pasch's axiom is distinct from Pasch's theorem which is a statement about the order of four points on a line. However, in literature there are many instances where Pasch's axiom is referred to as Pasch's theorem. A notable instance of this is.
Pasch's axiom should not be confused with the Veblen-Young axiom for projective geometry, which may be stated as:
There is no mention of internal and external intersections in the statement of the Veblen-Young axiom which is only concerned with the incidence property of the lines meeting. In projective geometry the concept of betweeness is not valid and all lines meet.