GEOMETRA EUCLIDIANA

Cualquier ciencia, por abstracta que sea (en especial la matemtica), tiene sus comienzos en la
experimentacin, y la geometra, que est basada en la medicin y la observacin, no escapa a este principio.
Esta es la razn por la cual se empieza este curso con un enfoque histrico y luego se pasa a la geometra
moderna, cuyo desarrollo se debe a mtodos y conceptos desarrollados en Europa entre los siglos XVI y
XIX, y que son una continuacin de los teoremas clsicos de Euclides, mucho ms refinados y sofisticados.

Conceptos Bsicos de Geometra Euclidiana

La palabra geometra viene del griego geo-metra que significa medida de la tierra. Los antepasados de los
gemetras actuales fueron agrimensores del antiguo Egipto, que tenan encomendada la tarea de restablecer
los lmites borrados por el agua debido a las inundaciones peridicas del Nilo. Fueron arquitectos egipcios y
babilonios quienes construyeron templos tumbas y pirmides claramente geomtricas, y los primeros
navegantes del mediterrneo usaban tcnicas geomtricas bsicas para orientarse. Y estas civilizaciones
hacan un uso prctico de los nmeros sin tener claro el concepto de nmero ni de las teoras matemticas, y
usaban las propiedades prcticas de las lneas, ngulos, tringulos, crculos y otras figuras sin usar un estudio
matemtico detallado.
Fue el griego Tales en el siglo VI a.C. quien dio comienzo a la geometra griega como una disciplina
matemtica, la primera disciplina matemtica. El libro Los Elementos de Euclides, del 350 a. C. es el
primer tratado escrito de Geometra. Para Euclides y para muchas generaciones de matemticos siguientes, la
Geometra era el estudio de las formas regulares que se podan observar en el mundo. Actualmente, a ese
estudio se le denomina Geometra Euclidea o Geometra Mtrica.
En este primer tema vamos a ver conceptos bsicos de la geometra mtrica del plano que resultan
indispensables para el desarrollo de los dems temas. Partiendo de los componentes bsicos (segmentos),
construiremos polgonos y estudiaremos sus propiedades ms importantes.

Trminos no definidos
Al discutir la recta de nmeros se usaron respectivamente las palabras punto y recta, pero no se intent
definirlos. Estos trminos junto con la palabra plano no son definibles. Cualquier intento de definirlos
implicara el uso de trminos geomtricos menos familiares. Los prrafos siguientes describen, aun cuando
no definen tales trminos.
Punto: Un punto se representa grficamente por un pequeo crculo de tamao variable pero que an el ms
pequeo posee cierta rea. En matemticas, un punto no tiene tamao, slo tiene posicin. Por esta razn,
nunca se hace mencin del tamao de un punto. Para referirse a los puntos, se emplea letras maysculas.

Matemticamente se define como un elemento de dimensin 0, es decir que todas las figuras se construyen a
partir de estos, debido a que tienen mayor dimensin. Los puntos suelen nombrarse con letras maysculas.
Recta: Una recta significa siempre una lnea que se prolonga indefinidamente en dos sentidos opuestos. Al
dibujar rectas, se trazan puntas de flechas para enfatizar el hecho de que la recta termina. Es conjunto de
puntos dotados de una direccin determinada.

Una recta no tiene anchura. Se la considera como un conjunto infinito de puntos. Para referirse a una recta,
usualmente se seleccionan dos de sus puntos y sobre las rectas correspondientes se coloca una flecha con dos

puntas. As, AB , representa una recta que pasa por A y por B.

Postulado o Axioma: Proposicin que se acepta verdadera sin demostrarla, por dos razones, son casi obvios
y son imposibles de demostrar, de los postulados se puede deducir otros enunciados o teoremas.
Los postulados no se han constituido al azar, si no que se han escogido cuidadosamente para construir la
geometra que intentamos desarrollar.
El conjunto de postulados de la geometra constituye lo que se conoce como un sistema de postulados. Un
buen sistema de postulados debe cumplir tres caractersticas:
1. Los diversos postulados deben ser independientes unos de otros, es decir, ningn postulado debe ser
deducible del resto.
2. Los postulados deben ser coherentes, esto es, que de ellos no se puedan deducir dos enunciados
contradictorios.
3. El sistema debe ser completo, o sea que no debe ser posible encontrar una proposicin verdadera que no
se pueda deducir de los postulados y tampoco que los contradiga.
Teorema: es una afirmacin o principio que se acepta solo despus de que se ha demostrado mediante un
razonamiento lgico.
Todo teorema, en geometra, consta de dos partes; una parte que establece lo que se da o se conoce llamada
hiptesis o dato y otra parte que debe probarse llamada tesis.
Corolario: Es una consecuencia inmediata de un postulado o teorema y que requiere, para su demostracin,
poco o ningn razonamiento nuevo.

Demostracin directa
Los procedimientos de demostracin establecen la conexin lgica entre los fundamentos y sus
consecuencias sucesivas, hasta llegar a la tesis o conclusin final. Las diferentes formas de ordenar los
elementos de la demostracin establecen diferentes tipos de procedimientos demostrativos, a saber:
demostracin directa y demostracin indirecta.
La demostracin directa del teorema H T es el procedimiento que nos prueba la verdad de T mediante una
serie finita de inferencias de los elementos de H.
Este procedimiento nos lleva al descubrimiento de la veracidad de la tesis mediante el examen de las
condiciones, los trminos primitivos, las definiciones, los postulados y las proposiciones ya probadas que en
conjunto conforman la hiptesis H, constituyndose as en un razonamiento deductivo que nos conduce a la
conclusin de la tesis T. Si de un conjunto finito de proposiciones p 1, p2,, pn que constituyen la hiptesis H
se siguen como consecuencias lgicas las proposiciones t 1, t2, , tn y de stas se concluye la tesis T, entonces
decimos que el teorema H T se ha demostrado o deducido directamente.
Ejemplo: Cualesquier real multiplicado por cero es igual a cero.
Demostracin. Sea a un nmero real.
a.0=0.a
a . (0 + 0) = 0 . a
a.0+a.0=0.a
a . 0 + a . 0 + (-a . 0) = 0 . a + (-a . 0)
a . 0 + (a . 0 + (-a . 0)) = 0
a.0+0=0
a.0=0

Reflexividad
Modulativa y 0 + 0 = 0
Distributiva de la adicin
Sumar /(-a . 0) a ambos lados
Asociativa en la adicin
Adicin con el inverso
Modulativa en la adicin

Demostracin indirecta
Si se tienen dificultades en la construccin de una demostracin directa, se pueden obtener a veces resultados
ms simples y mejores empleando algunos otros mtodos.
Cuando se establece la validez de una tesis T probando que las consecuencias de su contraria son falsas,
entonces se realiza una demostracin indirecta.
La demostracin indirecta determina la veracidad de la tesis que se demuestra, no examinando sta sino
algunas otras proposiciones, las cuales se hallan concatenadas con la tesis que se demuestra, de tal manera
que, comprobada la falsedad de aqullas, se sigue necesariamente la veracidad de la tesis.
La demostracin indirecta se basa en el hecho de que si T (negacin de la tesis) es falsa, entonces T es
verdadera. La mejor manera de hacerlo es mostrando que T no es compatible (contradice) con las
afirmaciones dadas en la hiptesis H y por lo tanto T es falsa y T es verdadera.
Luego, para demostrar un teorema de la forma H T, basta deducir alguna contradiccin a partir de la
hiptesis auxiliar H T.
Ejemplo: Demostremos por reduccin al absurdo que ``no existe un nmero primo que sea el mayor de
todos''.
Demostracin:
Negando la tesis diramos que ``existe un nmero primo que es el mayor de todos los nmeros primos''. Esto
equivale a decir que:
``Existe un numero primo
Si hacemos el producto

n que es el mayor de todos los nmeros primos''

Si

La multiplicacin de varios factores es mayor que uno de ellos

Si se adiciona una unidad en el lado izquierdo, la desigualdad
permanece.
No es divisible por ninguno de los primos menores o iguales a n
(sobrara 1)
y de aqu se deducen dos situaciones:
es primo, contradiccin con la negacin de la tesis,
es divisible por algn nmero primo ms grande que (Contradiccin).

Definicin de Proposicin simple: Enunciado declarativo del cual se puede afirmar que es verdadero o que
es falso pero no ambos a la vez.
Definicin Proposicin compuesta: Las proposiciones compuestas son aquellas que se forman por unin de
proposiciones simples mediante los conectivos lgicos.

Postulados de incidencia
Son los postulados que nos manifiesta la existencia de los elementos primitivos y los enlaces entre ellos.
1. Postulado de la recta: Dos puntos diferentes determinan una recta a la cual pertenecen

Sin embargo, tambin es posible designar una recta por medio de una sola letra minscula, como se ve en la
figura siguiente.

Definicin de colinealidad: Tres o ms puntos estn alineados o son colineales si y slo si estn en una
misma recta.
2. Postulado: A toda recta pertenecen al menos dos puntos diferentes.
3. Postulado: Dada una recta, existe por lo menos un punto que no est en la recta.
Este postulado establece que la interseccin de dos planos diferentes es una recta.
Plano: Un plano es una superficie llana que se extiende indefinidamente. Una placa de vidrio o la cubierta de
un escritorio nos dan la idea de un plano. Igual que en el caso de la recta, y de hecho en el de todas las figuras
geomtricas, se puede considerar un plano. Es conjunto de puntos dotados de dos direcciones distintas. al
poder definirse por dos direcciones. Se vern ms detalladamente cuando veamos la geometra mtrica del
espacio. Se suelen nombrar por letras griegas.

4. Postulado del plano: Tres puntos no colineales determinan un plano y slo uno al cual pertenecen.
Definicin de coplanar: Cuatro o ms puntos son coplanares si y slo si estn en un mismo plano.
5. Postulado: Si dos puntos diferentes de una recta estn en un plano, entonces la recta entera est
contenida en el plano.
6. Postulado: Si dos planos diferentes tienen un punto en comn, entonces tienen por lo menos otro punto
en comn.
Definicin: Dos rectas se intersecan o se cortan si y slo si tienen un punto en comn.
Definicin: Dos rectas que se cortan en un punto se llaman rectas incidentes.
7. Postulado: Dado un plano, existe por lo menos un punto que no est en el plano.
8. Postulado del espacio: Cuatro puntos no coplanares determinan el espacio.
Definicin: El espacio es el conjunto de todos los puntos
Definicin: Dos figura geomtrica F1 y F2 son iguales si y slo si coinciden en todos sus puntos, y escribimos
F1 = F2.
Postulados de orden sobre puntos
Con estos postulados vamos a ordenar los puntos y a establecer relaciones entre ellos, como la de estar
entre, una de las relaciones primitivas.
Si en una recta escogemos tres puntos M, N, P y el punto N est entre los otros dos, podemos decir que N
est entre M y P, o bien que N est entre P y M y lo representamos grficamente como en la siguiente figura.

Lo importante es que N est entre los dos puntos. Simblicamente escribimos M-N-P, o bien P-N-M.

9. Postulado: Dados dos puntos diferentes M y N de una recta l, existe por lo menos un punto P de la recta
tal que P est entre M y N, y escribimos M-P-N.

Nota: si P est entre M y N (M-P-N), entonces M es diferente de N.

10. Postulado: Dados dos puntos diferentes M y N de una recta l, existe por lo menos un punto Q sobre la
recta l tal que N est entre M y Q, y escribimos M-N-Q.

11. Postulado: Dados dos puntos diferentes M y N de una recta l, existe por lo menos un punto K sobre la
recta tal que M est entre K y N, y escribimos K-M-N.

12. Postulado: Dados tres puntos diferentes de una recta, uno y slo uno de ellos est entre dos. Este
postulado establece que A-B-C, entonces B-C-A, pero no C-A-B ni A-B-C.
Nota: si A, B, C son puntos sobre una recta y en ese orden, podemos decir que A precede a B, y B
precede a C, A precede entonces a C, lo cual simbolizamos por A-B-C.
13. Postulado: si N est entre M y P, y X est entre N y P, entonces X est entre M y P.

Trminos definidos
Figura geomtrica: Es el conjunto no vaci de puntos. Es bueno tener presente que de acuerdo con la
definicin anterior, un conjunto cuyo nico elemento es un punto es una figura geomtrica.
Segmento rectilneo: Dados dos puntos A y B, se llama segmento rectilneo AB a la interseccin de la
semirrecta de origen A que contiene al punto B, y la semirrecta de origen B que contiene al punto A. Luego,
los puntos A y B se denominan extremos del segmento, y los puntos de la recta a la que pertenece el
segmento (recta sostn), sern interiores o exteriores al segmento segn pertenezcan o no a este.

Es la porcin de recta comprendida entre dos puntos. Los segmentos se denotan con letras maysculas
latinas, as: AB; DE; FH,....
Si A y B representan el mismo punto decimos que AB = AA = BB es el segmento nulo.
14. Postulado de la separacin de la recta: Sea O un punto de una recta l, los dems puntos de la recta
forman dos conjuntos M, N como se muestra en la siguiente figura, tales que:

a. Su interseccin es vaci: M N = .
b. Si A M y B M, entonces AB est contenido en M, y si C N y D N, entonces CD est
contenido en N.
c. Si A M y C N, entonces O AC. Es decir, A-O-C.
d. Si M {O} N = l
Semirrecta: Una semirrecta (tambin llamada rayo) es la parte de una recta formada por uno de sus puntos
(llamado origen), y todos los puntos de la misma que le siguen, segn uno de los sentidos u ordenamientos
naturales de la misma. Luego, una semirrecta tiene un primer punto, pero no tiene ltimo punto. Es la
porcin de recta comprendida entre un punto y el infinito.
Un punto O de una recta l y los puntos X de la recta que estn a un mismo lado de O determinan el rayo OX
y lo denotamos OX. Si no se incluye el punto O tenemos la semirrecta OX y la denotamos OX.

Como podemos observar en la figura, la semirrecta OX es diferente de semirrecta XO, es decir, OX XO, al
igual que los rayos OX y XO.
En el postulado de la separacin de la recta los conjuntos M y N son semirrectas OA, OC.
Si O, A y B son puntos colineales y A-O-B, decimos que OA y OB son semirrectas opuestas y que OA y OB
son rayos opuestos.

Semiplano: Se llama banda, regin o semiplano a cada una de las partes en que un plano queda dividido
por una recta. Los semiplanos as determinados se dicen opuestos.

Toda recta l, de un plano , determina dos conjuntos llamados semiplanos. La recta se llama borde o frontera
del semiplano y no pertenece al semiplano.

A los semiplanos los nombramos por medio de la recta y un punto de uno de los semiplanos. As, los
semiplanos 1 y 2 de la figura los nombramos as: semiplano 1 por l(A); semiplano 2 por l(C).
Si los puntos A y B estn en un mismo semiplano l(A), entonces AB est contenido en el mismo semiplano.
Lo mismo ocurre con CD en el semiplano 2.
Si los puntos B y C estn en diferentes semiplanos, entonces BC corta a la recta l en P.
15.

Postulado de separacin del plano: dada una recta l cualquiera en un plano, el conjunto de todos los
puntos del plano que no pertenecen a l consiste de dos conjuntos disjuntos 1 y 2 tales que:

a. Plano = 1 2 l.
b. A, B 1 entonces AB 1.
c. C, D 2 entonces CD 2.
d. 1 l = 2 l = 1 2 = .
e. Si B 1 y C 2 entonces BC l = P
As como el punto separa a la recta y la recta al plano, el plano separa al espacio en dos conjuntos disjuntos
llamados semiespacios. El plano que los separa se llama cara de cada uno de ellos.
Ejercicios
1. En cada uno de los siguientes casos determine
si la proposicin es verdadera o falsa.
a. La unin de dos conjuntos no puede ser el
conjunto vaco.
b. La interseccin de dos planos puede ser
un segmento.
c. Un plano contiene por lo menos tres
puntos.
d. Dos rectas se pueden cortar en dos puntos
diferentes.
e. l es una recta. Si AB l = y BC l =
, entonces AC l = .
f. Si AB l = y BC l = , entonces
AC l = .
g. Si AB l = , entonces A y B se
encuentran en semiplanos diferentes.
h. Si M pertenece al semiplano l (A),
entonces AM corta a la recta l..
i. La unin de dos semiplanos es una recta.
j. La unin de dos semiplanos es un
semiplano.
k. Si N no est entre M y P, entonces P est
entre M y N.
l. La semirrecta AB tiene punto inicial y
punto Terminal.
m. Si AB = BA, entonces A = B.
n. La recta tiene extremos.
o. Toda recta esta contenida en un plano.

Con base en los postulados responda cada una de

las siguientes preguntas:
2. Cuntos puntos contiene un segmento?Una
recta?
3. Cuntas rectas pueden pasar por un punto
dado?Cuntos planos?
4. Cuntas rectas pueden pasar por dos puntos
diferentes?Cuntos planos?
5. Por tres puntos diferentes cuntas rectas
pueden pasar?Cuntos planos?
6. Tres puntos diferentes A, B, C en un plano,
cuntos segmentos determinan?
a. Si son colineales.
b. Si no son colineales.
7. Cuatros puntos A, B, C, D son coplanarios
tres a tres:
a. Cuntos segmentos determinan?
b. Cuntas semirrectas determinan?
c. Cuntos planos determinan?
Con base en los postulados justifique las
siguientes proposiciones.
8. una recta y un punto exterior a ella
determinan un nico plano que las contiene.
9. Dos rectas incidentes determinan un nico
plano que las contiene.
10. El punto donde se cortan dos rectas es nico.