---
tag: KJT98G16Y4
kind: statement
role: fact
name: Pasch's axiom
msc: [51G05, 51F05]
uses: [0MP9BCF6DP, 0CTNFGYMM2, CE8GX6ADZS]
about: [CE8GX6ADZS]
sources:
  - url: https://en.wikipedia.org/wiki/Pasch%27s_axiom
same_as:
  wikidata: Q792528
  wikipedia: Pasch's axiom
---

## Statement

Let $A$, $B$ and $C$ be three non-collinear points of a plane.
Let $\ell$ be a [[line|0MP9BCF6DP]] of that plane that passes through none of them.
Suppose that $\ell$ contains a point [[between|CE8GX6ADZS]] $A$ and $B$.
Then $\ell$ contains a point between $A$ and $C$ or a point between $B$ and $C$.

## Remarks

Moritz Pasch stated it as an axiom in 1882, after he noticed that Euclid uses it without saying so.
In Hilbert's system it is one of the axioms of order, and it cannot be proved from the other axioms of incidence and order.
From the axioms of order one can also prove that $\ell$ cannot meet all three sides of the [[triangle|0CTNFGYMM2]] $ABC$.
In $\R^2$ it holds: write $\ell = \set{x : f(x) = 0}$ with $f$ affine, so that $f(A)$ and $f(B)$ have opposite signs.
Then $f(C)$ has the sign opposite to one of them, and $f$ vanishes between $C$ and that point.
It is the basis of the plane separation theorem: a line divides the rest of the plane into two half-planes.

## Explanations

### L1 human

If a straight line goes into a triangle through one side, it has to come out through another side.
A picture makes this obvious, but it does not follow from Euclid's postulates.
So modern axiom systems state it as an axiom.

### L2 human

Pasch's axiom is what one uses to prove that a line splits the plane into two sides, and that the inside of a triangle or an angle is well defined.
Many proofs in Euclid use it without saying so.
The crossbar theorem, which says that a ray inside an angle of a triangle meets the opposite side, rests on it.