Axiom:Uniqueness of Triangle Construction

From ProofWiki
Jump to navigation Jump to search

Axiom

Let $\equiv$ be the relation of equidistance.

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

Let $=$ be the relation of equality.


This axiom asserts:

$\forall a, b, c, c', d:$
$\left({\neg \left({a=b}\right) \land ac \equiv ac' \land bc \equiv bc' \land \mathsf{B} bdc' \land \left({\mathsf{B} adc \lor \mathsf{B} acd }\right)}\right)$
$\implies c = c'$

where $a, b, c, c', d$ are points.


Intuition

Construct a triangle $abc$.

Uniqueness of Triangle Construction.png

Pick a point $c'$ such that:

The length of the line segment $ac$ is the same as that of $ac'$.

The length of the line segment $bc$ is the same as that of $bc'$.

Draw a line segment connecting point $b$ and point $c'$.

Let $d$ be some point on segment $bc'$.

If points $a,c,d$ are collinear, then points $c$ and $c'$ are the same point.

Note that this axiom still holds in degenerate cases.

For example, one can consider a line segment as a degenerate triangle.

In such a case, this axiom might be interpreted as "if two points are the same distance away from the left and right endpoints of a line segment and are on that line segment, they are the same point".

Also see


Sources