# Axiomes de Hilbert

Els axiomes de Hilbert són un conjunt de 20 (originalment 21) hipòtesis proposades per David Hilbert el 1899 com el fonament per a un tractament modern de la geometria euclidiana. Altres axiomatitazacions modernes ben conegudes de la geometria euclidiana són les degudes a Alfred Tarski i a George Birkhoff.

## Els axiomes

El sistema axiomàtic de Hilbert es compon de nou nocions primitives: tres termes primitius
* punt, línia recta, pla,
i sis relacions primitives:
* Ordre, una relació ternària entre punts;
* Pertinença, tres relacions binàries, una d'elles entre punts i rectes, una altra entre punts i plans, i una altra entre rectes i plans;
* Congruència, dues relacions binàries, una entre segment lineal i una altra entre angles, denotades per $\cong$.
Noteu que els segments i els angles (així com els triangles) no són nocions primitives, sinó que es defineixen en termes de punts i rectes utilitzant les relacions d'ordre i pertinença. Tots els punts, rectes i plans en els subseqüents axiomes són diferents llevat que s'indiqui el contrari.

### I. Incidència

* Dos punts diferents $A$ i $B$ determinen una única recta $a$. Denotem $AB=a$ o $BA=a$. En lloc de "determinen", es pot dir: "$A$ és a $a$", "$A$ és un punt de $a$ "," $a$ passa per $A$ i $B$ "," $a$ uneix $A$ amb $B$ ", etc. Si $A$ és a $a$ i al mateix temps en una altra recta $b$, es diu també "Les rectes $a$ i $b$ tenen el punt $A$ en comú ", etc.
* Dos punts qualsevol d'una recta la determinen per complet, és a dir, si $AB=a$ i $AC=a$, on en general $\scriptstyle B\neq C$, aleshores $BC=a$ al seu torn.
* Tres punts $A$, $B$ i $C$ no situats en una mateixa recta determinen un pla $\alpha$. Es denota $ABC=\alpha$, i es diu "$A$, $B$ i $C$ jeuen en $\alpha$ ", etc.
* Tres punts qualssevol $A$, $B$ i $C$ del pla $\alpha$ no situats en una mateixa recta determinen per complet a $\alpha$.
* Si dos punts $A$, $B$ de la recta $a$ jeuen en el pla $\alpha$, llavors tot punt de $a$ rau en $\alpha$. En aquest cas es diu "la recta $a$ rau en el pla $\alpha$", etc.
* Si dos plans $\alpha$, $\beta$ tenen un punt $A$ en comú, llavors tenen almenys un altre punt $B$ en comú.
* A cada recta hi ha almenys dos punts, en cada pla hi ha almenys tres punts no situats en la mateixa recta, i hi ha almenys quatre punts no situats en un mateix pla.

### II. Ordre

* Si un punt $B$ està entre els punts $A$ i $C$, també està llavors entre $C$ i $A$, i hi ha una recta que conté a tots tres.
* Si $A$ i $C$ són dos punts d'una recta, hi ha almenys un altre punt $B$ entre $A$ i $C$, i almenys un punt $D$ de manera que $C$ està entre $A$ i $D$.
* Donats tres punts en una recta, només un d'ells està entre els altres dos.
* Donada una parella de punts $A$ i $B$, es pot parlar llavors del segment $AB$. Els punts del segment $AB$ són tots aquells que estan entre $A$ i $B$. Aquests dos són els extrems del segment.
* Axioma de Pasch: Siguin $A$, $B$ i $C$ tres punts no situats en la mateixa recta i sigui $a$ una recta continguda en el pla $ABC$, que no passa per cap dels tres punts esmentats. Llavors, si $a$ passa per algun punt del segment $AB$, aleshores passa també per algun punt o bé del segment $BC$ o bé del segment $AC$.
Pot provar llavors que donades una recta $a$ i un punt $A$ en ella, pot dividir la recta en dues $semirayos$, disjunts entre si, que emanen de $A$, com que la seva unió constitueix tota la recta a excepció de $A$. De la mateixa manera, donats un pla $\alpha$ i una recta $a$ al, poden distingir-se en ell dos parts disjuntes, els costats de $\alpha$ respecte a $a$, on de nou la seva unió constitueix tot el pla a excepció de $a$.

### III. Paral·leles

* En un pla $\alpha$ es pot trobar una única recta $b$ que passi per un punt donat $A$, el qual no pertany a una recta donada $a$, de manera que $a$ i $b$ no tinguin cap punt en comú. Està recta es diu la paral·lela a $a$ que passa per $A$.

### IV. Congruència

Es defineix un angle com una parella de semiraigs $\scriptstyle \angle (h,k)$ jaient en un pla $\alpha$ que emanen del mateix punt $O$. Es demostra que es pot dividir llavors el pla en dues regions: l'interior i l'exterior de $\scriptstyle \angle (h,k)$, on $h$ i $k$ són els costats de l'angle i $O$ seu vèrtex. El segment entre dos punts qualssevol de l'interior està contingut per complet en aquesta regió. Això no es compleix per a una parella de punts qualssevol a l'exterior.
Un triangle queda definit per tres segments de la forma $AB$, $BC$ i $CA$. Aquests segments són els costats del triangle, i els tres punts $A$, $B$ i $C$ són el seu vèrtexs. El triangle divideix el pla definit pels seus tres vèrtexs en interior i exterior, amb les mateixes propietats que en cas dels angulos. A l'angle definit pels dos semirayos que surten de $A$ i que passen per $B$ i $C$ respectivament se li denota per $\scriptstyle \angle BAC$, i el seu interior conté tots els punts de l'interior del triangle $ABC$.
* Si $A$, $B$ són dos punts de la recta $a$, i $A'$ és un punt sobre la recta $a'$ (sigui aquesta igual a $a$ o no), s'ha de, d'una banda qualsevol de $A'$ a la recta $a'$, hi ha un únic $B'$ tal que el segment $AB$ és congruent amb el segment $A'B'$, i el denotem per $\scriptstyle AB\cong A'B'$. Tot segment és congruent amb si mateix.
* Si un segment $AB$ és congruent amb el segment $A'B'$ i també amb el segment $AB$, llavors aquests dos últims són congruents entre si (la congruència entre segments és transitiva).
* Siguin $AB$ i $BC$ dos segments de la mateixa recta sense punts en comú a excepció de $B$, i siguin més $A'B'$ i $B'C'$ dos segments de la recta $a'$ (sigui aquesta igual o no a $a$) sense més punts en comú que $B'$. Llavors, si $\scriptstyle AB\cong A'B'$ i $\scriptstyle BC\cong B'C'$, s'ha de $\scriptstyle AC\cong A'C'$.
* Sigui un angle $\scriptstyle \angle (h,k)$ al pla $\alpha$ i sigui una recta $a'$ al pla $\alpha '$. Suposem que en el pla $\alpha '$, s'escull un dels costats respecte a $a'$. Sigui un semirayo $h'$ de $a'$ que emana d'un punt $O'$ d'aquesta recta. Llavors, en el pla $\alpha '$ hi ha un únic semirayo $k'$ que surt de $O'$ de manera que $\scriptstyle \angle (h,k)$ és congruent amb $\scriptstyle \angle (h',k')$, i de manera que tots els punts de l'interior de $\scriptstyle \angle (h',k')$ són al costat escollit de $\alpha '$. Es denota per $\scriptstyle \angle (h,k)\cong \angle (h',k')$. Tot angle és congruent amb si mateix.
* Si l'angle $\scriptstyle \angle (h,k)$ és congruent amb l'angle $\scriptstyle \angle (h',k')$ i amb l'angle $\scriptstyle \angle (h,k)$, llavors aquests dos són congruents entre si.
* Si donats dos triangles $ABC$ i $A'B'C'$ es té $\scriptstyle AB\cong A'B'$, $\scriptstyle AC\cong A'C'$, $\scriptstyle \angle BAC\cong \angle B'A'C'$, aleshores es té al seu torn $\scriptstyle \angle ABC\cong \angle A'B'C'$ i $\scriptstyle \angle ACB\cong \angle A'C'B'$.

### V. Continuïtat

* Axioma d'Arquimedes. Sigui $A_{1}$ un punt qualsevol d'una recta, situat entre els punts arbitraris $A$ i $B$ d'aquesta. Prenguin els punts $A_{2}$, $a_{3}$,... de tal manera que $A_{1}$ estigui entre $A$ i $A_{2}$, $A_{2}$ estigui entre $A_{1}$ i $a_{3}$, etc. Suposem a més que els segments $AA_{1}$, $A_{1}A_{2}$, $A_{2}A_{3}$,... són tots congruents entre si. Llavors, en aquesta sèrie hi ha sempre un cert $a_{n}$ tal que $B$ està entre $A$ i $a_{n}$.

### Axioma de completesa

Al sistema de punts, rectes i plans, no poden afegir altres elements de manera que el sistema resultant formi una geometria nova, obeint tots els axiomes dels cinc grups. En altres paraules, els elements de la geometria formen un sistema que no és susceptible d'extensió, prengué els cinc grups d'axiomes com a vàlids.

## Axioma 21

Hilbert va introduir un axioma més que diu:
    II.4. Teorema de Pasch. Poden escollir quatre punts qualssevol $A$, $B$, $C$ i $D$ d'una recta de manera que $B$ estigui entre $A$ i $C$ i entre $A$ i $D$, i que $C$ estigui entre $A$ i $D$ i entre $B$ i $D$.

## Referències

* ↑ Sommer, Julius «Review: Grundlagen der Geometrie, Teubner, 1899». Bull. Amer. Math. Soc., 6, 7, 1900, pàg. 287–299. DOI: 10.1090/s0002-9904-1900-00719-1.
* ↑ Schweitzer, Arthur Richard «Review: Grundlagen der Geometrie, Third edition, Teubner, 1909». Bull. Amer. Math. Soc., 15, 10, 1909, pàg. 510–511. DOI: 10.1090/s0002-9904-1909-01814-2.
* ↑ Gronwall, T. H. «Review: Grundlagen der Geometrie, Fourth edition, Teubner, 1913». Bull. Amer. Math. Soc., 20, 6, 1919, pàg. 325–326. DOI: 10.1090/S0002-9904-1914-02492-9.

## Bibliografia

* Hilbert, David. The Open Court Publishing Company. The Foundations of Geometry, 1950. .
* Ivorra, Carlos. Geometría [Consulta: 6 novembre 2011]. Arxivat 2011-09-05 a Wayback Machine.