# Axiom:Pasch's Axiom (Tarski's Axioms)

This page is about Pasch's Axiom in the context of Tarski's Geometry. For other uses, see Pasch's Axiom.

## Axiom

Let $\mathsf B$ be the relation of betweenness.

## First form

The first form of the axiom is:

$\forall a, b, c, p, q: \exists x :\mathsf B a p c \land \mathsf B b q c \implies \mathsf B p x b \land \mathsf B q x a$

where $a, b, c, p, q, x$ are points.

### Intuition Let $a q c$ be a triangle.

Draw a line segment extending segment $c q$ to some point $b$ outside the triangle such that $c, q, b$ are collinear.

Pick a point $p$ on segment $a c$.

Draw a line segment connecting point $p$ with point $b$.

Segment $p b$ will intersect segment $a q$ at some point $x$.

## Second form

The second form of the axiom is:

$\forall a, b, c, p, q: \exists x : \mathsf B a p c \land \mathsf B q c b \implies \mathsf B a x q \land \mathsf B b p x$

where $a, b, c, p, q, x$ are points.

### Intuition Let $a, p, c$ be collinear.

Further, let $q, c, b$ be collinear.

Construct a ray with endpoint $a$ passing through $q$.

Construct another ray with endpoint $b$ passing through $p$.

Ray $aq$ and ray $bp$ will intersect at some point $x$.

## Source of Name

This entry was named for Moritz Pasch.