NOTAS DE GEOMATRIA EUCLIDIANA

Por Manuel J. Salazar Jimnez PhD. Profesor Titular Instituto de Matemticas U. de A.

INTRODUCCION

Los Elementos de Euclides: primer sistema deductivo

En la antigua Grecia, desde la poca del sabio Tales, 600 aos a de C., se empez a
perfeccionar un discurso, como una sucesin de proposiciones obtenidas mediante
razonamiento deductivo. El punto culminante de este proceso fue la aparicin de la
obra Los Elementos, 300 aos a. de C. escrita por Euclides. Euclides con su obra Los
Elementos, dio a la geometra un carcter deductivo, estableciendo 5 postulados, o
sea proposiciones que se admiten sin demostracin.

Los cinco postulados de Euclides:

1) Desde cualquier punto a cualquier otro se puede

trazar una recta.
2) Toda recta limitada (segmento), puede prolongarse
indefinidamente en la misma direccin.
3) Con cualquier punto y cualquier distancia se puede
trazar una circunferencia.
4) Todos los ngulos rectos son iguales entre s.
5) Si dos rectas diferentes de un plano, al ser cortadas por una
transversal, forman en un mismo lado de la transversal dos
ngulos internos cuya suma sea menor que 180, entonces
dichas rectas se cortan en un punto del semiplano que
contiene dichos ngulos.

Los Elementos, considerado como el primer sistema deductivo, ha marcado una gran
influencia en el desarrollo de las matemticas. Su quinto postulado, denominado,
postulado de la paralelas, dividi a los matemticos de la poca, pues muchos se
negaron a aceptarlo como tal e iniciaron la tarea de demostrarlo. Este cometido no
tuvo xito, pero la discusin se prolong por ms de 20 siglos. Qued satisfecha en el

1
siglo XIX, con el descubrimiento de las geometras no euclidianas, que dejaron
inclume el V postulado de Euclides.

A este importante descubrimiento, que revolcara las matemticas y la fsica, llegaron

simultneamente, de manera independiente, 3 matemticos entre los cuales estn, el
clebre matemtico alemn Karl Friedrich Gauss (1777-1855), el ruso Nikolai Ivanovich
Lobachevsky (1793-1856) y el hngaro Johann Bolyai (1802-1860). Ellos, precisamente,
pretendiendo demostrar la proposicin que Euclides haba establecido como el quinto
de sus cinco postulados, encuentran al negarlo, siguiendo el mtodo de demostracin
de reduccin al absurdo, no una contradiccin, sino teoras deductivas consistentes,
que fueron denominadas geometras no euclidianas, porque se construyeron negando
el quinto postulado de Euclides. Estas nuevas teoras matemticas mostraron un nuevo
punto de vista para el desarrollo de la matemtica y contribuyeron para que Einstein
construyera su teora de la relatividad general, abriendo las puertas a nuevas teoras
sobre la explicacin del universo.

Sistema deductivo moderno

A principios del siglo XX, con el desarrollo de la matemtica formal, el discurso de
Euclides se modific notablemente, para ajustarlo a un sistema deductivo como tal. De
manera muy esquemtica, la estructura de un sistema deductivo tiene los siguientes
elementos bsicos:

Trminos no definidos: Trminos que deliberadamente se admiten sin definir.

Este es el punto de mayor modificacin, pues Euclides defini, de manera muy
confusa, las nociones de punto, recta, plano y espacio. Hoy, estas nociones se
admiten como nociones no definidas.
Las definiciones: Todo nuevo trmino tcnico del discurso debe ser definido
explcitamente, por medio de los trminos primitivos trminos ya definidos. Al
aceptar las nociones no definidas, algunas definiciones de los Elementos de
Euclides desaparecieron y otras se hicieron ms precisas.

Los axiomas o postulados: El conjunto de enunciados, relacionados con las

nociones no definidas, que se admiten sin demostracin, se denominan axiomas
o postulados. Algunos de los postulados de Euclides fueron notablemente
modificados, otros desaparecieron y se agregaron otros.

Los teoremas: Todos los enunciados que se pueden deducir de los postulados
se denomina teoremas del discurso. Como comnmente se dice, un teorema es
una verdad que necesita ser demostrada.

Propiedades del conjunto de axiomas

Consistencia: Un conjunto de axiomas es consistente si mediante stos no se

implican contradicciones. Esta es la propiedad ms importante de un conjunto de
axiomas, sin esta propiedad el conjunto de axiomas no tiene validez.

2
 Independencia: Un conjunto de postulados se dice que es independiente si
ninguno de los postulados puede deducirse de los otros. El quinto de los
postulados de Euclides cre una gran polmica al considerar los matemticos de
la poca que no era independiente y era posible deducirlo de los otros
postulados. Esta pretendida deduccin no fue lograda.

Sugerencias que pueden ayudar en la demostracin de un teorema:

Leer cuidadosamente el enunciado del teorema.
Identificar la hiptesis y la tesis:
La hiptesis o premisa es la condicin conocida, bajo la cual se pide la validez de
un supuesto. La tesis es lo que se va a demostrar.
Conocer los fundamentos de la demostracin:
Cuando se va a demostrar un teorema es muy importante identificar en forma
precisa los conceptos no definidos, las definiciones, los axiomas y otros teoremas
demostrados anteriormente en los cuales se pueda apoyar el discurso
demostrativo.

Obsrvese el siguiente esquema: Por lo general, un teorema es de la forma p q

Trminos indefinido s

Definicion es
p discurso demostrativo q Conclusin
Axiomas
Otros teoremas demostrados

Hiptesis Tesis

Ejemplo: Teorema: Las diagonales de un cuadrado son perpendiculares

Hiptesis: Sea ABCD un cuadrado, AC y BD sus diagonales.

Tesis: AC es perpendicular a BD.

Elegir un mtodo de demostracin:

Luego de determinar la hiptesis y la tesis, se elige el mtodo de demostracin.
El mtodo deductivo o analtico es, por excelencia, el mtodo de las matemticas. Este
mtodo parte de la hiptesis y mediante un razonamiento deductivo, ajustado a las
reglas de la lgica, llega a la demostracinde la tesis. Puede ser directo o indirecto. En
el mtodo deductivo directo se parte de la hiptesis hasta llegar a la tesis. En el
mtodo deductivo indirecto, se parte de la negacin de la tesis hasta obtener una
contradiccin o la negacin de la hiptesis. En ambos casos se concluye la tesis.
Nota importante: El concepto de verdad en matemticas y en general en toda teora
cientfica, es un concepto constructivo, es decir, una proposicin de una teora
matemtica es verdadera si puede ser demostrada con base en los axiomas que se

3
han elegido. Una proposicin verdadera en la geometra euclidiana, puede ser falsa en
una de las geometras no euclidianas.
Algunos elementos de lgica
Antes de continuar con los mtodos de demostracin, se introducirn algunos
elementos de la lgica. Se trata de dar algunas nociones de los fundamentos de este
importante, pues el clculo proposicional es un sistema deductivo, y su estudio a
profundidad no se agota en un semestre.
Una proposicin es una expresin oracin o frase que establece un juicio completo y
puede ser verdadera o falsa.
Ej 1: Si el tringulo ABC tiene dos lados iguales es issceles.
Ej.2: Al cuerpo celeste que gira alrededor de un planeta se le denomina satlite.
A la lgica le compete establecer bajo qu condiciones una proposicin puede ser
considerada como una conclusin derivada de otras proposiciones, llamadas premisas.
Las premisas pueden ser axiomas o postulados, nociones no definidas, definiciones o
teoremas ya demostrados, en este caso del clculo proposicional.
Para construir el Clculo Proposicional se necesitan los siguientes elementos:

Proposiciones, las que se designan con letras minsculas: p, q, r,

Signos lgicos: ( negacin) y V (disyuncin), (conjuncin), (implicacin)

(doble implicacin)

Con los signos lgicos y V, se pueden construir los dems smbolos de la lgica,
lo que podemos observar en las siguientes equivalencias o definiciones:
o p p
o (p q) ( p q)
o (p q) ( p q)
o p q p q q p
Si p es una proposicin enunciado p es la negacin de dicha proposicin.

Si p y q son proposiciones entonces su disyuncin p q se escribe p q.

Otros signos:

: Signo de la conjuncin lgica. Si p y q son proposiciones su conjuncin p y q se

escribe P Q.

: Signo de la implicacin lgica. Si p y q son proposiciones el enunciado p implica q

se escribe p q y se llama implicacin.

La proposicin p q puede leerse de las siguientes formas:

Si p entonces q.

P es necesaria para q

q solo si p.

: Signo de la equivalencia se define p q q p

4
La proposicin p q puede leerse de las siguientes formas:

p equivale a q

p es necesaria y suficiente para q.

P si y solo si q.

Q es condicin necesaria y suficiente para p

Ejemplo:
p:El ABC es issceles. q: En el ABC, AB igual a AC.

p q : Si el ABC es issceles entonces AB igual a AC *1

La condicin el ABC es issceles es necesaria para que AB igual a AC.

q p : Si en el ABC AB igual a AC entonces el ABC es issceles *2

La condicin AB igual a AC es necesaria para que el ABC sea issceles

De *1 y *2 pq.
La condicin el ABC es issceles es necesaria y suficiente para que AB igual a AC.

La condicin AB igual a AC es necesaria y suficiente para que el ABC sea

issceles.

Todo teorema o problema de las matemticas involucra una proposicin de la

forma p q o p q.

Los siguientes son ejemplos de teoremas de algebra y geometra

Otras implicaciones asociadas a p q:

q p que se llama implicacin recproca.
q p que se llama implicacin contrarrecproca.
p q que se llama implicacin contraria.

Algunas equivalencias de la lgica preposicional son:

o p p
5
 o (p q) ( p q)
o p q p q
o p q (p q) q p
o (p q) (p q)
o (p q) (p q)
o ( p q) p q
o r (p q) (r q) (r q)

Algunas reglas de inferencia:

i) MODUS PONENDO PONEN (Modo que afirmando, afirma).

Este principio establece lo siguiente:

" Si p se cumple y p q se cumple, entonces q sec umple"

ii) MODUS TOLLENDO TOLLENS (Modo que negando, niega).

Este principio establece lo siguiente:

" Si p q se cumple y q se cumple, entonces p se cumple"

iii) MODUS TOLLENDO PONENS (Modo que negando afirma).

Si p v q se cumple y p se cumple entonces se puede concluir q

Si p v q se cumple y q se cumple entonces se puede concluir p

iv) REGLA DEL SILOGISMO

Este principio establece lo siguiente:

Si p q se cumple y q r se cumple, entonces p r se cumple"

v) Regle de adjuncin:
Si p entonces pvq

vi) Regla de la conjuncin

Si P se cumple y Q se cumple, entonces P Q se cumple.

6
 vii) Regla de la Simplificacin
Si P Q se cumple, entonces P se cumple, tambin Q se cumple.
viii) Regla del Contra recproco

(P Q) ( Q P).

Tres principios fundamentales.

Principio lgico de identidad: Toda cosa es lo que es p es p p p

Principio lgico del tercero excluido: Dos proposiciones contradictorias no
pueden ser ambas falsas o ambas verdaderas, necesariamente una de ellas
debe ser verdadera. p p
Principio lgico de la no contradiccin (Consistencia). No es posible que una
cosa sea al mismo tiempo verdadera y falsa. p p es una contradiccin.
Todo discurso que lleve a una contradiccin sale del sistema.

Descripcin del mtodo directo o de la hiptesis auxiliar

El mtodo deductivo o analtico pede ser directo o indirecto.

En el mtodo directo de demostracin contamos con un conjunto dado de

proposiciones, llamados fundamentos ( la hiptesis del teorema, las definiciones, los
axiomas y otros teoremas) los cuales se hace un encadenamiento conforme a las
reglas de la lgica preposicional, utilizando las reglas de inferencia para llegar a la
conclusin o tesis.

Esquema de una demostracin por el mtodo directo:

Supongamos que deseamos probar la verdad de la implicacin H T . Entonces, si

vamos a utilizar el mtodo directo, partimos de la hiptesis H, y valindonos de
verdades conocidas como las nociones no definidas, los axiomas, las definiciones y las
proposiciones ya demostradas, desarrollamos el siguiente esquema:

a) Partimos de H a) Hiptesis auxiliar.

b) Buscamos H H 1 b) Definicin, axioma u otro teorema ya

probado.

c) Luego, H 1 se cumple c) MODUS PONEN entre a) y b)

d) Buscamos H1 H 2 d) Definicin, axioma u otro teorema ya

probado.
7
 e) Buscamos H 2 H 3 e) Definicin, axioma u otro teorema ya
probado.

f) Luego H 1 H 3 f) Silogismo entre d) y e)

g) Luego, H 3 T g) Definicin, axioma u otro teorema ya

probado..

h) Luego, H 1 T , se cumple h) Silogismo entre f) y g)

i) Finalmente, T se cumple i) silogismo entre c) e i)

Como H se cumple y T se cumple entonces H T .

Mtodo por reduccin al absurdo: Este es un mtodo indirecto de demostracin.

Se llama reduccin al absurdo el mtodo de demostracin indirecto en el que se

supone que la proposicin que se trata de demostrar no es verdadera, y de tal
suposicin se deducen consecuencias que son absurdas o falsas lo cual demuestra que
la suposicin en cuestin es una falsedad. De sta manera, en virtud del principio del
medio excluido, la proposicin queda demostrada.

Esquema de una demostracin por el mtodo de reduccin al absurdo:

Supongamos que deseamos probar la implicacin H T , utilizando el mtodo de

reduccin al absurdo:

a) Partimos de T a) Una hiptesis auxiliar.

b) T H 1 b) Definicin, axioma u otro teorema ya

probado.

c) H1 c) Modus Ponen a) y b).

d) H 1 R d) Definicin, axioma u otro teorema ya

probado.

e) R e) Modus Ponen c) y d).

f) R Q f) Definicin, axioma u otro teorema ya

probado.

g) Q g) ) Modus Ponen e y f.

h) Q R h) Definicin, axioma u otro teorema ya

probado.

i) R i) Modus Ponen g y h.

j) ( R R ) j) Conjuncin de e) e i).
8
k) Una contradiccin, luego T es una falsedad.

h) Luego por el principio del medio excluido T es verdadera.

i) Luego la tesis ha sido probada.

Descripcin del mtodo del contrarrcproco: Es otro mtodo de demostracin

indirecta.

Supongamos que deseamos probar la implicacin H T , utilizando el mtodo del

contrarrecproco, entonces partimos de la negacin de la tesis T, T y valindonos de
las nociones no definidas, los axiomas, las definiciones y las proposiciones ya
demostradas, concluimos la negacin de la hiptesis H, H o sea que hemos
demostrado la implicacin T H .

.Luego por la regla de inferencia del contrarreciproco, la cual nos garantiza que
H T es equivalente a T H , podemos concluir que la implicacin H T ha
sido demostrada.

Mtodo del contraejemplo o mtodo de refutacin.

Para refutar una proposicin de tipo universal basta presentar un contraejemplo sea
un caso en el que no se cumple. Por ejemplo la proposicin el cuadrado de un
nmero real es siempre mayor que el nmero. Se puede refutar mediante el siguiente
contraejemplo:

0 , 0 2 0.

Este caso es suficiente para demostrar que dicha proposicin es falsa.

Ejemplos y ejercicios:

1) Ejemplo 1:
a) Si Juan estudia entonces ganar el ao pq
Juan estudia p

Conclusin: Juan ganar el ao q

Se ha aplicado la ley del MODUS PONEN.

b) Si un astro tiene luz propia, entonces es una estrella pq

El astro no es una estrella q

__________________________________________________________________

9
 Conclusin: El astro no tiene luz propia p

Se ha aplicado la ley del MODUS TOLLENDO TOLLENS.

c) Si es un buen estudiante entonces ser buen profesional

pq
Si es buen profesional ganar un buen salario qr

Conclusin: Si es buen estudiante entonces ganar un buen salario p r

Se ha aplicado la ley del SILOGISMO.

2) Utilice las reglas de inferencia para obtener una deduccin lgica de las siguientes
proposiciones:
p p r qr
pvq r p r

a) pvq b) _________ c) _________
____________


p q r q p s t
r t r
p r
d) _________ d) __________ e) _________

3) Utilice las reglas de inferencia para obtener una deduccin lgica de la proposicin
que se indica, a partir de las proposiciones dadas:
Deducir t Deducir c
1) r t 1)a b d

2) s r 2) b d c
a) 3) s b) 3) a
4) ? 4) ?

5) ? 5) ?

10