Pasch's axiom
From Wikipedia, the free encyclopedia
In geometry, Pasch's axiom, is a result of plane geometry used by Euclid, but yet which cannot be derived from Euclid's postulates. Its axiomatic role was discovered by Moritz Pasch.
The axiom states that, in the plane,
- A line which intersects one edge of a triangle and misses the three vertices must intersect one of the other two edges.
Pasch published this axiom in 1882, and showed that Euclid's axioms were incomplete.
Pasch's axiom is distinct from Pasch's theorem.
[edit] References
- Philip J. Davis and Reuben Hersh. The Mathematical Experience. Birkhäuser Boston, Boston, 1981. Page 160. [QA8.4.D37 1982]