Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
Pasch's axiom
Summary
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.
The axiom states that,
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 segments AC and BC are not both intersected by the line a is proved in Supplement I,1, which was written by P. Bernays.
A more modern version of this axiom is as follows:
In the plane, 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.
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.
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. His statement is given above.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.