104023 – Geometría Euclidiana

Departamento de Mecánica y Producción

Profesor César Augusto Álvarez Vargas

Axiomas de Hilbert
Introducción

En 1899 David Hilbert presenta su libro titulado “Grundlagen der Geometrie”, [Fundamentos de
Geometría]. En este libro Hilbert propone un conjunto de axiomas con el fin de dar rigor
matemático y llenar los vacíos presentados en la axiomática de Euclides. Hilbert inicia su obra
con la definición de elementos geométricos que no pueden ser definidos, tales como el punto, la
recta y el plano, estar sobre (o incidir), entre, y congruencia; dando a entender que la intuición
geométrica del ser humano conoce dichos elementos en el mundo platónico de las ideas sin
necesidad de concretar una definición. Analicemos desde el principio. En los Elementos,
Euclides define varios de estos conceptos conceptos en el Libro I [1]:

Definición 1: “Un punto es lo que no tiene partes”.

Definición 2: “Una línea es una longitud sin anchura”.
Definición 4: “Una línea recta es aquella que yace por igual respecto de los puntos que están en
ella”.
Definición 5: “Una superficie es lo que sólo tiene longitud y anchura”.
Definición 7: “Una superficie plana es aquella que yace por igual respecto de las líneas que
están en ella”.

En Fundamentos de Geometría, Hilbert explica los elementos no definidos pero entendibles de

acuerdo a la intuición [2]: “Consideremos tres sistemas de cosas. Las cosas que componen el
primer sistema, los llamaremos puntos y los designaremos mediante las letras 𝐴, 𝐵, 𝐶, … ;a
aquellas del segundo los llamaremos líneas rectas y las designaremos mediante las letras
𝑎, 𝑏, 𝑐, … ; y a aquellas del tercer sistema, las llamaremos planos y los designaremos mediante
las letras Griegas 𝛼, 𝛽, 𝛾, … Los puntos son llamados los elementos de la geometría lineal, los
puntos y las líneas rectas, los elementos de la geometría plana, y los puntos, líneas y planos, los
elementos de la geometría del espacio o los elementos del espacio.
Imaginemos que estos puntos, líneas rectas, y planos poseen ciertas relaciones mutuas, las
cuales indicaremos por medio de palabras tales como “están situados”, “entre”, “paralelos”,
“congruentes”, “continuos”, etc. Una descripción completa y precisa de estas relaciones se sigue
como consecuencia de los axiomas de geometría. Estos axiomas pueden ser ordenados en cinco
grupos. Cada uno de esos grupos expresa, por si mismos, ciertos hechos fundamentales
entendibles por nuestra intuición.”

De acuerdo a Hartshorne [3], “El primer beneficio de establecer el nuevo sistema de axiomas es
por supuesto reivindicar Los Elementos de Euclides, estableciendo la geometría euclidiana
como una disciplina matemática rigurosa. Un segundo beneficio consiste en plantear
cuidadosamente aquellos problemas que han perturbado a los geómetras por siglos, como la
pregunta acerca de la independencia del quinto postulado”.

Presento entonces los axiomas de Hilbert (con algunas modificaciones mínimas) [3,4,5], con el
fin de ser estudiados y analizados con detenimiento.
 104023 – Geometría Euclidiana
Departamento de Mecánica y Producción
Profesor César Augusto Álvarez Vargas

Axiomas de Hilbert
Axiomas de Conexión (también llamados de Incidencia).

Los axiomas de conexión describen las relaciones entre puntos, planos y líneas.

I1. Por un par de puntos diferentes 𝐴, 𝐵, existe una línea 𝑙 que contiene cada uno de los puntos
𝐴, 𝐵.
I2. Para cada dos puntos diferentes 𝐴, 𝐵, existe no más de una línea que contiene cada uno de
los puntos 𝐴, 𝐵.
I3. Existen al menos dos puntos sobre una línea. Existen al menos tres puntos que no están
sobre una línea.
I4. Para tres puntos cualesquiera 𝐴, 𝐵, 𝐶, que no estén sobre la misma línea existe un plano 𝛼
que contiene cada uno de los puntos 𝐴, 𝐵, 𝐶. Para cada plano existe un punto que está contenido.
I5. Para tres puntos cualesquiera 𝐴, 𝐵, 𝐶, que no estén sobre la misma línea existe no más de un
plano que contiene los puntos 𝐴, 𝐵, 𝐶.
I6. Si dos puntos 𝐴, 𝐵, de una línea 𝑙 están en un plano 𝛼 entonces cada punto de 𝑙 está sobre el
plano 𝛼.
I7. Si dos planos 𝛼, 𝛽, tienen un punto 𝐴 en común, entonces ellos tienen al menos un punto más
𝐵 en común.
I8. Existen al menos cuatro puntos que no están en un plano.

Axiomas de Orden

Los axiomas de orden definen las posiciones relativas entre puntos y líneas.

O1. Si B está entre A y C, (escrito 𝐴 ∗ 𝐵 ∗ 𝐶), entonces A, B, C son tres puntos distintos sobre
una línea y además 𝐶 ∗ 𝐵 ∗ 𝐴.
O2. Para dos puntos distintos A, B, existe un punto C tal que 𝐴 ∗ 𝐵 ∗ 𝐶.
O3. Dados tres puntos diferentes sobre una línea, uno y sólo uno de ellos está entre los otros
dos.
O4. Axioma de Pasch: Sean A, B, C tres puntos no colineales, y sea l una línea que no
contenga a ninguno de los puntos A, B, C. Si l contiene un punto D que está entre A y B,
entonces también contiene un punto que está entre A y C o entre B y C pero no en ambos.

Axiomas de Congruencia

La noción de congruencia es indefinida para Hilbert, pero es el equivalente literario a lo que

Euclides llamo igualdad. La connotación moderna de congruencia es más específica y es una
relación entre dos elementos geométricos de la misma clase simbolizada como ℵ ≅ ℶ.

C1. Dado un segmento 𝐴𝐵, y dado un rayo 𝑟 cuyo origen es un punto C, existe un único punto
D sobre el rayo 𝑟 tal que 𝐴𝐵 ≅ 𝐶𝐷.
C2. Si 𝐴𝐵 ≅ 𝐶𝐷 y 𝐴𝐵 ≅ 𝐸𝐹, entonces 𝐶𝐷 ≅ 𝐸𝐹.
 104023 – Geometría Euclidiana
Departamento de Mecánica y Producción
Profesor César Augusto Álvarez Vargas

Axiomas de Hilbert
C3. Axioma de adición: Dados tres puntos A, B, C sobre una línea satisfaciendo 𝐴 ∗ 𝐵 ∗ 𝐶, y
otros tres puntos D, E, F, sobre otra línea satisfaciendo 𝐷 ∗ 𝐸 ∗ 𝐹, si 𝐴𝐵 ≅ 𝐷𝐸 y 𝐵𝐶 ≅ 𝐸𝐹,
entonces 𝐴𝐶 ≅ 𝐷𝐹.
C4. Dado un ángulo ∠𝐵𝐴𝐶 y dado un rayo ⃗⃗⃗⃗⃗𝐷𝐹 , existe un único rayo ⃗⃗⃗⃗⃗
𝐷𝐸, sobre un lado dado del
⃗⃗⃗⃗⃗ , tal que ∠𝐵𝐴𝐶 ≅ ∠𝐸𝐷𝐹.
rayo 𝐷𝐹
C5. Para tres ángulos cualesquiera 𝛼, 𝛽, 𝛾, si 𝛼 ≅ 𝛽 y 𝛼 ≅ 𝛾, entonces 𝛽 ≅ 𝛾. Todo ángulo es
congruente consigo mismo.
C6. Axioma LAL: Dados dos triángulos Δ𝐴𝐵𝐶 y Δ𝐷𝐸𝐹, suponga que 𝐴𝐵 ≅ 𝐷𝐸 y 𝐴𝐶 ≅ 𝐷𝐹, y
además ∠𝐵𝐴𝐶 ≅ ∠𝐸𝐷𝐹. Entonces los triángulos son congruentes y se tendrá 𝐵𝐶 ≅ 𝐸𝐹,
∠𝐴𝐵𝐶 ≅ ∠𝐷𝐸𝐹 y ∠𝐴𝐶𝐵 ≅ ∠𝐷𝐹𝐸.

Axioma de Paralelismo

Este axioma basado en el V postulado de Euclides [1], es el punto de bifurcación entre las
geometrías euclidianas y las no euclidianas.

P1. Axioma de Euclides [2,4] o de Playfair [3]: Sea 𝑙 una línea y 𝐴 un punto que no esté sobre
ella. Entonces existe al menos una línea en el plano, determinado por 𝑙 y 𝐴, que pasa por A y no
intersecta 𝑙. Esta línea se llama la paralela a 𝑙 trazada por A.

Referencias

[1] Euclides. Elementos I. Libros I-VII. Ed. Gredos. Madrid. 2007.

[2] Hilbert, D. The Foundations of Geometry. Open Court Publishing Company. La Salle. 1950.

[3] Hartshorne, R. Geometry: Euclid and Beyond. Springer. New York. 2000.

[4] Venema, G. Foundations of Geometry. Second Edition. Pearson. Boston. 2012.

[5] Guerrero, A. B.; Geometría Desarrollo Axiomático. ECOE Ediciones. Bogotá. 2006.
 104023 – Geometría Euclidiana
Departamento de Mecánica y Producción
Profesor César Augusto Álvarez Vargas

Axiomas de Hilbert

Anexos

1. Algunas definiciones euclidianas [1].

Definiciones 1 y 4. Definición 10. Definición 11. Definición 12.

a
Ángulo recto -
Punto A - Línea recta a Perpendicularidad Ángulo obtuso Ángulo agudo
Definición 15. Definiciones 16 y 17. Definición 18. Definición 19.
C
b a
O O
B
A c
Círculo - Centro del círculo -
Circunferencia Diámetro del círculo Semicírculo Triángulo
Definición 19. Definición 20. Definición 20. Definición 21.
c C C
D C C
b a a
d b b a b

B A A c B
A a c B A B
c
a=b=c a=b
Cuadrilátero Triángulo equilátero Triángulo isósceles Triángulo rectángulo
Definición 22. Definición 22. Definición 22. Definición 23.
D a C a C D a C
D
b b
a a a a b
a
a B A a B
A a B A
Romboide
Cuadrado Rombo (Paralelogramo) Rectas paralelas
 104023 – Geometría Euclidiana
Departamento de Mecánica y Producción
Profesor César Augusto Álvarez Vargas

Axiomas de Hilbert
2. Los Postulados de Euclides [1].

Postulado I

B B

A A

Postúlese el trazar una línea recta desde un punto cualquiera hasta un punto cualquiera.
Postulado II

B B
A A

Y el prolongar continuamente una recta finita en línea recta.

Postulado III

B
B
A
A

Y el describir un círculo con cualquier centro y distancia.

Postulado IV

= =1 recto( )

Y el ser todos los ángulos rectos iguales entre sí.

Postulado V
K

+ < 2 rectos
Y que si una recta al incidir sobre dos rectas hace los ángulos internos del mismo lado
menores que dos rectos, las dos rectas prolongadas indefinidamente se encontrarán
en el lado en el que están los (ángulos) menores que dos rectos.
 104023 – Geometría Euclidiana
Departamento de Mecánica y Producción
Profesor César Augusto Álvarez Vargas

Axiomas de Hilbert

3. Axiomas de conexión de Hilbert [2].

Axiomas I1 - I2
l
B
B
A A

Existencia y unicidad de una recta que pasa por dos puntos.

Axioma I3

B B

A A
C C

Colinealidad. Puntos exteriores e interiores a una recta.

Axiomas I4 - I5 - I6
l
B B
D
A A
C C
Existencia y unicidad de un plano que pase por tres puntos no colineales. Si

Axioma I7
B
A A

Dos planos se cortan en una línea recta.

Axioma I8 D

B B

A A
C C

Coplanaridad. Puntos exteriores e interiores a un plano.

 104023 – Geometría Euclidiana
Departamento de Mecánica y Producción
Profesor César Augusto Álvarez Vargas

Axiomas de Hilbert
4. Axiomas de orden de Hilbert [2].

Axiomas O1- O3

C A
B B
A C

A * B* C * B * A (B entre dos puntos de una recta).

Axioma O2

B C
B
A A

Punto sobre una recta pero exterior a un segmento dado sobre ella.
Axioma O4
C C
l1
D

A B A l2 B
Axioma de Pasch.
 104023 – Geometría Euclidiana
Departamento de Mecánica y Producción
Profesor César Augusto Álvarez Vargas

Axiomas de Hilbert
5. Axiomas de congruencia de Hilbert [2]. Congruencia de segmentos.

Axioma C1
B
B
A
C
C D r
r A

Congruencia de segmentos. AB CD
Axioma C2
B
B F
E
A A F C
C E D
D
Transitividad de la congruencia. Si AB CD y AB EF entonces CD EF
Axioma C3
C C C
B D B B
A A
E F
D E F A D E F

Axioma de adición. Si AB DE y BC EF entonces AC DF

 104023 – Geometría Euclidiana
Departamento de Mecánica y Producción
Profesor César Augusto Álvarez Vargas

Axiomas de Hilbert
6. Axiomas de congruencia de Hilbert [2]. Congruencia de ángulos.

Axioma C4
B
D F B
E
A C D F
A C
Congruencia de ángulos. BAC ≅ EDF
Axioma C5

α γ
β α
γ β

Transitividad de la congruencia. Si α ≅ β y α ≅ γ entonces γ ≅ β

Axioma C6 F
C C
F

D
E B
A B D
A E
Axioma LAL de congruencia de triángulos
AB ≅ DE y AC ≅ DF y BAC ≅ EDF entonces ΔAΒC ≅ ΔDEF

7. Axioma de Euclides (o de Playfair) [2].

Axioma P1
A α
A
l
l

Existencia y unicidad de la paralela.