1

Captulo 1

1.1

Introduccin

La Geometra como ciencia la inici Euclides ( s III AC ), al escribir los "Elementos" donde compila
en 13 libros los conocimientos de Geometra y Matemticase de su epoca. En este libro se presenta
por primera vez el uso de un sistema axiomtico deductivo que permite demostrar a partir de
unos principios bsicos o postulados (enunciados que son "intuitivamente evidentes") y algunas
deniciones, una serie de resultados o teoremas (proposiciones, lemas o corolarios). Al iniciar el
siglo XX el matemtico alemn David Hilbert (1862-1943), retoma el trabajo de Euclides con el
n de reestructurarlo en su libro "Fundamentos de Geometra".
En estas notas clase mostraremos algunos de los conjuntos de axiomas desarrollados por David
Hilbert.

1.2

Sistema axiomtico

Un sistema axiomtico se compone de:

1. Trminos indenidos. (vocabulario)
2. Trminos denidos.

(vocabulario)

3. Axiomas o postulados. (principios)

4. Teoremas, proposiciones, lemas y corolarios. (principios)
Los trminos indenidos para nuestra Geometra sern: Punto, recta, plano y espacio.
Se consideran como "nociones intuitivas" que se entienden de manera clara y que no necesitan
de explicacin adicional. Es interesante observar que Euclides dena estos trminos bsicos de la
siguiente manera:
Un punto es lo que no tiene partes.
Una linea recta o simplementa una recta es aquella que yace por igual respecto a los puntos
que estn en ella.
Un plano es aquel que yace por igual respecto a las lineas rectas que estn en l.
Ntese que hay algunos trminos usados en las deniciones de Euclides que no son ituitivos;
qu signica que algo "no tenga partes" o qu "yace por igual respecto a los puntos que estn en
ella" o qu "yace por igual respecto a las rectas que estn en l".
Con el n de motivar el uso de trminos indenidos o nociones intuitivas consideremos las
siguientes deniciones del diccionario Larouse:
1

Punto: Parte extremadamente pequea del espacio.

Linea Recta: Sucesin de puntos continua en el espacio.
Espacio: Extensin indenida de tres dimensiones que constituye el estudio de Geometra
Clsica.
Observamos que las anteriores deniciones tampoco son claras, pues dependen de conceptos
difciles de comprender como "Parte extremadamente pequea" o "Sucesin de puntos continua".
Los "trminos denidos" quedarn denidos a partir de trminos indenidos o de otros trminos
ya denidos, cmo por ejemplos
Segmento de recta: es el conjunto de puntos de una recta que estn entre dos puntos dados
de ella.
Ntese que esta denicin depende de la nocin "estar entre" que introduciremos posteriormente.
Una observacin interesante es que, si usamos nociones no denidas de la Teora de conjuntos
tales como: elemento conjunto y pertenencia, podemos denir las nociones geomtricas de recta,
plano y espacio de la siguiente manera: Las rectas, planos y el espacio son conjuntos de puntos.
Notacin 1.1 Notaremos los puntos mediante las letras mayusculas A; B; C; ::::; Z: Las lneas rectas mediante las letras L1 ; L2 ; L3 ; ::: o las letras minsculas a; b; c; : : : ; z; y los planos mediante las
letras P1 ; P2 ; P3 ; ::: o mediante las letras griegas

; ; ; : : : ; %:

En lo que sigue supondremos que el estudiante sabe algunas nociones de la Teora de Conjuntos
y que interpreta correctamente algunos trminos denidos de esta teora, tales como interseccin,
unin etc. que usaremos sin una previa denicin.

1.3

Axiomas de incidencia

Con el n de describir las propiedades intuitivas que poseen las nociones de: punto, recta, plano y
espacio, introducimos va los axiomas de incidencia algunas relaciones entre estos conceptos.
AI1: Dados dos puntos A y B existe una recta que se corresponde o est asociada con ellos. En
este caso diremos que " Dados dos puntos existe una recta que pasa por ellos " y tambin podemos
decir que "Los puntos A y B estn sobre la recta".
AI2: Dados dos puntos A y B; a lo sumo existe una recta que se corresponde o est asociada
con ellos.
AI3: En una recta existen al menos dos puntos. Existen al menos tres puntos no situados en
una recta.
AI4: Dados tres puntos A; B y C no situados en una misma recta, existe un plano que se
corresponde mutuamente o est asociado con ellos. En cada plano, existe por lo menos un punto.
En este caso diremos que el plano pasa por los puntos A; B y C:
2

AI5 : Dados tres puntos A; B y C que no estn situados sobre una misma recta, a lo sumo
existe un plano que se corresponde mutuamente o est asociado con ellos.
AI6 : Si dos puntos A y B de una recta a estn situados en un plano

, entonces todos los

puntos de la recta a estn situados en el plano :

AI7: Si dos planos tienen un punto en comn A, entonces tambin tienen otro punto en comn
B:
AI8: Existen en el espacio al menos cuatro puntos no situados en un plano.

1.4

Implicaciones de los axiomas de incidencia

Proposicin 1.2 Dos rectas (diferentes) tienen a lo sumo un punto en comn.

Prueba. Sean a y b rectas distintas de un plano

(hiptesis). Observemos que se dan dos

posibilidades: o las rectas tienen un punto en comn o no lo tienen. Sino tienen un punto en
comn, entonces la armacin que intentamos probar es evidente. Si tienen un punto en comn
y ste lo denotamos por A; entonces es claro que no puede haber otro ms, pues si hubiera un
punto B 6= A sobre las rectas a y b; entonces tendramos dos rectas (distintas) que pasan por un
par de puntos distintos, lo cual contradice AO2. Concluimos que existe un nico punto comn y
la proposicin queda probada.
Denicin 1.3

1. Diremos que dos rectas se cortan, si tienen un punto en comn.

2. Diremos que dos rectas son paralelas, si estn en un mismo plano y no se cortan.
Corolario 1.4 Dos rectas en un plano o son paralelas o se cortan en un nico punto.
Prueba. (Ejercicio).
Proposicin 1.5 Dos planos (distintos) o no tienen puntos comunes o tienen una recta en comn.
Prueba. Sean

dos planos distintos (hiptesis). Observemos que podemos considerar los

siguientes casos: Caso I: Los planos

no tienen puntos comunes. En este caso el resultado

es evidente. Caso II: Los planos tienen puntos comunes. Llamemos a uno de estos puntos A:
As, por AO7, deben tener otro punto en comn que llamaremos B: Ahora, sabemos por AO1 que
existe una recta a que pasa por los puntos A y B. Y por AO6 podemos armar que la recta a est
contenida en los planos

: Concluimos que la recta est simultaneamente en ambos planos,

que es precisamente lo que se quera probar.

Denicin 1.6 Diremos que dos planos se cortan, si tienen una recta en comn y que son paralelos, sino se cortan.
Proposicin 1.7 Un plano y una recta que no est en el plano tienen a lo sumo un punto en
comn.

Prueba. Sean
dos casos: o

un plano y a una recta que no est en el plano. Consideremos los siguientes

y a tienen un punto en comn o no lo tienen. Supongamos entonces que se da el

primer caso. Sea A un punto en comn del plano

y de la recta a. Ahora, supongamos que existe

otro punto en comn B: Entonces, por AO6 la recta a est contenida en el plano

; pero esto es

una contradiccin, pues por hiptesis la recta no est en el plano. Luego en este caso, A sera el
nico punto en comn entre el plano y la recta. Por otro lado, si el plano y la recta no tienen
puntos en comn, entonces la proposicin se cumple trivialmente.
Denicin 1.8

1. Diremos que una recta y un plano se cortan, si tienen un nico punto en

comn.
2. Diremos que un plano y una recta son paralelos, si no se cortan.
Proposicin 1.9 Dos rectas con un punto en comn determinan uno y slo un plano. (Existe un
nico plano que contiene dos rectas que se cortan).
Prueba. Sean a y b rectas distintas que tienen un punto en comn que llamaremos C: Por
AO3 en la recta A debe existir un punto A 6= C y por el mismo axioma debe existir en la recta b un
punto B 6= C: Ahora, es claro que tambin se tiene que A 6= B; sino fuera as las rectas a y b seran

iguales por AO2. As, A; B y C son puntos que no estn sobre una misma recta, en consecuencia
por AO5, existe un plano que pasa por estos tres puntos y por AO6 dicho plano contiene las rectas.
Ntese que por AO4 no puede existir otro plano que contenga las rectas. Concluimos que dos rectas
que se cortan determinan un nico plano.

Denicin 1.10 Diremos que los puntos de una coleccin no vaca son colineales, si cada uno de
los puntos de la coleccin estn sobre una misma recta. Diremos los puntos de una coleccin no
vaca son coplanares, si los puntos de la coleccin estn sobre un mismo plano.
!
Notacin 1.11 Si una recta pasa por los puntos A y B notaremos dicha recta con el smbolo AB:
Ejercicio 1.12 Determine si las siguientes armaciones son verdaderas o falsas. Si la armacin
es verdadera efecte una prueba, justicando cada uno de sus armaciones.
1. Por dos rectas sin puntos comunes pasa un nico plano.
2. Tres puntos estn en un nico plano.
3. El espacio contiene por lo menos cuatro puntos.
4. Por una recta pasa al menos un plano o toda recta est contenida en un plano.
5. Por una recta pasan al menos dos planos que la contienen o toda recta est contenida en dos
planos.
6. Por un punto de una recta pasan ms de dos rectas.
4

7. Dado un plano existe al menos una recta que lo corta.

8. Dada una recta en un plano existe por lo menos otra recta en el plano que corta la primera.
9. Dado un plano existe al menos otro plano que lo corta.
10. Dado una recta en un plano, existe un punto en el plano que no est en la recta.

1.5

Axiomas de orden

En esta seccin le daremos sentido a la expresin "estar entre", para esto usaremos la nocin de
recta.
AO1. Si A; B y C son puntos que estn en una recta y B est entre A y C; tambin diremos
que B est entre C y A:
AO2. Si A y C son puntos que estn en una recta, existe un punto B que est entre A y C;
y un punto D tal que C est entre A y D:
AO3. Para cualquier tres puntos que estn sobre una recta siempre hay uno y slo uno de
ellos que est entre los otros dos.
AO4. Cualquier cuatro puntos de una recta se pueden nombrar con las letras A; B; C y D
de tal manera que:
(i) B est entre A y C; y tambin entre A y D:
(ii) C est entre A y D; y tambin entre B y D:
AO5. Sean A; B y C tres puntos que estn sobre una recta y sea a una recta que est
sobre el plano que pasa por los puntos A; B y C, pero que no pasa por los puntos A; B y C:
Entonces, si la recta a pasa por un punto del segmento AB, tambin pasar por un punto o
bien del segmento BC o del segmento AC:
Denicin 1.13 Si L es una recta y, A y B son puntos de L; damos el nombre de segmento AB

a la coleccin de puntos conformada por los puntos que estn entre A y B:

Los puntos que estn entre A y B se denominan puntos interiores del segmento AB:
Los puntos A y B se denominan puntos extremos del segmento AB:
Los puntos de la recta L que no estn en segmentos AB; se denominan puntos exteriores del

segmento AB:

Qu consecuencias se pueden deducir de los axiomas de orden ?

Ejercicio 1.14 Pruebe que un segmento no es una recta.
5

1.6

Consecuencias de los axiomas de orden

Observemos que AO3 permite darle un orden a tres puntos cualesquiera A; B y C. As, si
suponemos que B est entre A y C, entonces hay dos ordenes posibles que respetan la relacin
"estar entre":
1. A primero, B segundo y C tercero que representamos mediante A
2. C primero, B segundo y A tercero que representaremos mediante C

C;o
B

A:

En general, dados n puntos sobre una recta siempre podemos asignarle un orden (ejercicio) de
tal manera que siempre se respete la relacin "estar entre" de cualquier tripla de puntos que se
tome de la coleccin. Por ahora probemos el caso para cuatro puntos.
Proposicin 1.15 A cuatro puntos en una recta se le puede asignar un orden que respeta la
relacin "estar entre".
Prueba. Consideremos cuatro puntos sobre una recta y de estos consideremos una tripla
cualesquiera: Entonces, por AO3 slo uno de los puntos de esta tripla, est entre los otros dos.
Llamemos a los puntos de esta tripla A; B y C; y supongamos que B es el punto que est entre
A y C: Asignemos a esta tripla el orden A

C: Denotemos el cuarto punto de la coleccin

dada por D. Observemos que por AO3 hay cuatro posibilidades para el punto D: (Caso I: ) A
es el punto medio entre D y B, en este caso el orden que preserva la relacin "estar entre" para
los cuatro puntos es D
orden es A
A

C: (Caso II:) El punto D est entre A y B, en este caso el

C: (Caso III: ) El punto D est entre B y C, en este caso el orden es

C:(Caso IV: ) El punto C est entre B y D, en este caso el orden es A

D:

Proposicin 1.16 Dados un par de puntos A y C sobre una recta L; existen puntos en L que son
puntos interiores del segmento AC y puntos en L que son puntos exteriores del segmento AC:

Prueba. Sean A y C puntos sobre una recta L (Hiptesis). Por el AO 2, existe un punto B en

L que est entre A y C; y un punto D en L tal que C est entre A y D: Podemos en consecuencia

armar que B es un punto del interior de AC: Ahora es claro por AO3 que, D no puede estar
en AC: As hay puntos de la recta L que son puntos interiores o puntos exteriores del segmento

AC:

Ejercicio 1.17 Si X; Y y Z son puntos que estn en una recta y Y est entre X y Z demuestre
que el segmento XY est contenido en el segmento XZ:(Ayuda: Tome un punto P del segmento
6

XY y pruebe que P est necesariamente en el segmento XZ. Pruebe esto usando AO4; observe
que hay solamente dos maneras de nombrar los puntos X; P; Y y Z de tal manera que preserve las
propiedades denidas en AO4.)
Proposicin 1.18 Entre dos puntos dados de una recta existe una innidad de puntos de la recta.
Prueba. Sean A y C dos puntos de una recta L. Entonces, por la proposicin anterior, existe

un punto C1 entre A y C: Por la misma proposicin existe un punto C2 entre A y C1 ; y por el

ejercicio anterior, necesariamente C2 es un punto del segmento AC: Supongamos por hiptesis
de induccin que hemos encontrado un punto Cn
encontrar un punto Cn entre A y Cn

1:

entre A y C; entonces por AO2 podemos

Y por el ejercicio anterior este punto necesariamente est

en el intervalo AC: En consecuencia, para todo nmero n = 1; 2; : : : se tiene que C1 ; C2 ; : : : es una

coleccin innita de puntos de la recta L.
Ejercicio 1.19

1. Si los puntos C y D estn entre los puntos A y B; todos los puntos del

segmento CD estn en el segmento AB:

2. Si el punto C est entre los puntos A y B, entonces ninguno de los puntos interiores del
segmento AC, est est en el segmento CB:
3. Si el punto C est entre los puntos A y B, entonces cada punto del segmento AB , est en
el segmento AC o en el segmento CB:
4. Determine si la siguiente armacin es falsa o verdadera:
"Si A; B y C son puntos colineales y una recta L no corta a los segmentos AC y BC, entonces
tampoco corta al segmento AB "

5. Si tres puntos A; B y C son no colineales y L es una recta en el plano de A; B y C que no

pasa por los puntos y corta a los segmentos AB y AC, entonces L no corta a BC: Adems,

si M es un punto de BC entonces L corta a AM ; pero no corta ni a BM ,ni a M C:

6. Si tres puntos A; B y C son no colineales y L es una recta en el plano de A; B y C que

no pasa por los puntos y no corta a los segmentos AB y AC; entonces L tampoco corta al
segmento BC:

1.7

Separacin de la recta

Denicin 1.20 Sean, O; A y B tres puntos de una recta L. Si O no est entre los puntos A y

B, diremos que los puntos A y B estn en un mismo lado del punto O: Si O est entre A y B ,
diremos que A y B estn en lados opuestos respecto al punto O; o que A est del lado opuesto a
B respecto a O:

Nuestra nocin intuitiva de recta dice que un punto cualquiera O de una recta divide los puntos
de la recta en dos conjuntos no vacos constituidos por los puntos que estn en lados opuestos de
O: La siguiente denicin permite especicar dichos conjuntos.
Denicin 1.21 Si O es un punto de una recta L, y A es otro punto de la recta L;llamaremos al
!
conjunto de puntos de L que estn del mismo lado de A respecto a O semirrecta OA : El punto

O se denomina origen de la semirecta. Si A y B son puntos de L que estn en lados opuestos

diremos que las semirectas son opuestas.

!
Ntese que el punto O est en la semirrecta OA, ya que O no est del mismo lado que A por
no estar entre A y O:
Proposicin 1.22 Todo punto O de una recta, separa a la recta en dos conjuntos no vacos y
disyuntos.
Prueba. Sea O un punto de una recta L. Por AI 3, existe un punto D de L, distinto de O,
!
!
y por AO 2, existe un punto E; tal que O est entre D y E: Consideremos los rayos OD y OE:
y denamos los conjuntos:
C1
C2

n
o
!
X es pto. de OD : X 6= O
n
o
!
=
X es pto. de OE : X 6= O
=

Sea P un punto en L cualquiera, tal que A 6= O . Probamos ahora que P est, o bien C1 o en C2 :

Entonces, si A est en C1 el resultado es evidente. Supongamos entonces que P no est en C1 ; es

decir que no pueden darse los ordenes O
posibles son P
oP

DoD

DyO

Eo E

P: As por AO3 los nicos ordenes

P: Veamos ahora que no pueden darse los ordenes E

E:Supongamos que se da el caso E

darse los ordenes D

D; E

Do E

D, y por nuestra suposicin descartamos D

O

P: Ahora, por hipotesis y AO3 slo pueden

aplicando AO3 varias veces los nicos ordenes posibles para E; O; P y D son: P
E

O
E

P: As
O

D;

P: Ntese que la dos ltimas opciones implican

que P est en C
Proposicin 1.23 Todo punto O de una recta, divide la recta en dos conjuntos de puntos no
vacos, de modo que cualquier par de puntos distintos A y B que estn en un mismo lado de O
pertenecen a uno y slo uno de los conjuntos y para cualquier par de puntos distintos A y C que
estn en lados opuestos respecto a O, stos pertenecen a conjuntos distintos.
Prueba. Sea L una recta cualquiera y O un punto de L. Por el AI 3 existe un punto D de L

distinto de O: Ahora por AO 2, existe un punto E en L tal que O est entre D y E: Veamos ahora
!
!
que las semirrectas OD y OE son dos conjuntos de puntos con las propiedades exigidas por la
proposicin. Observemos que para los puntos O; D y E se dan los siguientes ordenes: E

O Do

D O E: Sin perdida de generalidad vamos a suponer que se da el orden E O D: Consideremos

ahora un par de puntos distintos A y B que estn en un mismo lado de O; esto quiere decir por
denicin que, O no est entre A y B: Supongamos de nuevo sin perdida de generalidad que A est
entre O y B: Entonces los ordenes posibles para estos tres puntos son: O
(Caso I:)

Si se da el orden O

B yB

O:

B, entonces A y B estaran del mismo lado de D y en

!
consecuencia ambos puntos estn en la semirecta OD, . (Caso II: ) Si se da el orden B A O
entonces A y B estn del mismo lado de E, y as por la denicin de semirecta A y B estn
!
en la semirecta OE: Consideremos ahora dos puntos A y C que estn en lados opuestos respecto
a O: Entonces los ordenes posibles son A
A

C yC

A. (Caso I :) Si se da el orden

C; entonces A y E estn del mismo lado de O; y de igual manera C y D estn del mismo
!
!
lado de O. Se concluye de aqu que A est en OE y que C est en OD . (Caso II :) Si se da
!
!
el orden C O A entonces claramente C est en OE y A est en OD: Con esto concluimos la
prueba de la proposicin.

1.8

Poligonos y Conjuntos convexos

El concepto de polgono se puede introducir a partir de la nocin de segmento

Denicin 1.24 Una lnea poligonal es la unin de una coleccin nita de segmentos distintos
de la foma A1 A2 ; A2 A3 ; : : : ; An

1 An ;

que estn en un mismo plano e incluyendo sus estremos. En

este caso notaremos la lnea poligonal mediante el smbolo A1 A2 : : : An . Si A1 = An se dice que la

lnea poligonal es cerrada y en este caso dicha lnea se denomina polgono. Los puntos A1 ; : : : ; An
se denominan vrtices de la lnea poligonal. Un polgono A1 A2 : : : An se denomina polgono simple,
si los nicos vrtices que se repiten son el primero y el ltimo y los segmentos no se cortan en sus
puntos interiores.
Denicin 1.25 Diremos que un conjunto no vaco de puntos del espacio es convexo, si para
cualquier par de puntos del conjunto el segmento denido por dichos puntos est contenido en el
conjunto. Por denicin asumimos que el conjunto vaco es convexo.
Proposicin 1.26 La interseccin de conjuntos convexos es convexa.
Lema 1.27 (Lema de separacin del plano) Cada recta de un plano dado, separa los puntos
del plano que no estn en la recta en dos regiones no vacas y convexas.
Prueba. Sea

un plano y L una recta situada sobre el plano. Por AI 3 existen dos puntos

A y B sobre la recta L y por AI 8, existe un punto C que est en el plano , pero no est en la
!
!
recta L. Consideremos la recta AC: Ahora AO 3 existe un punto D en AC, tal que A est entre
D y C: Consideremos ahora los siguientes dos conjuntos
P1

X2

:X2
= L y la recta L corta a XD

P2

X2

:X2
= L y la recta L no corta a XD

Probaremos los siguientes hechos:

9

(i) Los conjuntos de puntos P1 y P2 son no vacos y no comparten puntos.

(ii) Los puntos del plano

que no estn en L estn en P1 o en P2 :

(iii) P1 y P2 son conjuntos convexos.

Veamos (i): P1 es no vaco pues C est en P1 ; ya que CD corta a L en A: Por otro lado,

existe un punto E tal que B est entre C y E: Ntese que los puntos C; D y E son no colineales,
en otro caso puede probarse que C estara en la recta L y esto no puede suceder. Ahora puesto que
L corta a CD y a CE; entonces L no puede cortar a ED: De aqu y por la denicin de P2 , E

es un punto de P2 , y as P2 es un conjunto no vaco. Adems, por las deniciones de P1 y P2 es

claro que estos conjuntos no pueden compartir puntos.
Veamos (ii):

Consideremos ahora un punto P en el plano

, que no este en la recta L.

Observemos entonces que o bien P D corta a la recta L o no la corta, en el primer caso P est en
P1 en el segundo caso P est en P2 :

Veamos (iii): Consideremos dos puntos cualesquiera M y N del conjunto P1 ; entonces L corta

M D y N D por la denicin de P1 : Probaremos que todos los puntos del segmento M N estn en

P1 : Tomemos un punto cualquiera M 0 en el segmento M N . Ntese que los puntos M; M 0 y D no

estn sobre L, entonces por un ejercicio anterior la recta L corta a M 0 D y en consecuencia M 0

est en P1 : Como M 0 era un punto cualquiera de M N podemos concluir que todo punto de M N es
un punto de P1 : Con esto comprobamos que P1 es convexo. Veamos que P2 es convexo. Tomemos
dos puntos P y Q de P2 : Probaremos que todos los puntos de P Q estn en P2 tomemos un punto

cualquiera P 0 de P Q. (Caso I:) Si D; P y Q son colineales, entonces por un ejercicio anterior

L no puede cortar al segmento P 0 D y en este caso P 0 est en P2 . (Caso II:) Si D; P y Q son

no colineales y P 0 es un punto de P Q; entonces por un ejercicio anterior L no puede cortar al

segmento P 0 D y en este caso P 0 est en P2 : Con esto comprobamos que P2 es convexo. De esta
manera comprobamos lo que se quera probar.

Denicin 1.28 Los dos conjuntos denidos por el Lema de separacin del plano, se denomiman
!
semiplanos con arsta AB del plano .

10