# Axiom:Birkhoff's Axioms

This page has been identified as a candidate for refactoring of medium complexity.In particular: The four postulates deserve their own pages. Furthermore, their statement is quite vague and may even be incorrect ('rays through O' instead of 'rays starting at O').Until this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

This article needs to be linked to other articles.In particular: throughoutYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

## Axioms

These postulates of Euclidean geometry are all based on basic geometry that can be confirmed experimentally with a ruler and protractor.

### Postulate I: Postulate of Line Measure

A set of points $\set {A, B, \ldots}$ on any line can be put into a 1:1 correspondence with the real numbers $\set {a, b, \ldots}$ so that:

- $\size {b - a} = \map d {A, B}$

for all points $A$ and $B$.

### Postulate II: Point-Line Postulate

There is one and only one line $l$ that contains any two given distinct points $P$ and $Q$.

### Postulate III: Postulate of Angle Measure

A set of rays $\set {l, m, n, \ldots}$ through any point $O$ can be put into one-to-onecorrespondence with the real numbers $a \pmod {2 \pi}$ so that:

- if $A$ and $B$ are points (not equal to $O$) of $l$ and $m$ respectively,
- then the difference $a_m - a_l \pmod {2 \pi}$ of the numbers associated with the lines $l$ and $m$ is $\angle AOB$.

### Postulate IV: Postulate of Similarity

Given two triangles $ABC$ and $A'B'C'$ and some constant $k > 0$ such that:

- $\map d {A', B'} = k \map d {A, B}$, $\map d {A', C'} = k \map d {A, C}$ and $\angle B'A'C' = \pm \angle BAC$

then:

- $\map d {B', C'} = k \map d {B, C}$, $\angle C'B'A' = \pm \angle CBA$, and $\angle A'C'B' = \pm \angle ACB$

## Source of Name

This entry was named for George David Birkhoff.