CAPTULO I

LGICA Y GEOMETR A
Introduccin

La geometra estudia las propiedades de los cuerpos extensos en el espacio,

haciendo abstraccin de todo lo q u e no sea extensin. No se ocupa, por lo tanto, del
color, la dureza, la vida...

Etimolgicamente -geos = tierra, metra = medida- deriva de una de las

aplicaciones que motiv su nacimiento: la agrimensura de los campos de Egipto, para que
cada campesino recuperara sus par celas, despus de las inundaciones del ro Nilo.

Experimentacin e Induccin en Geometra

La geometra arranca de la experiencia, y su primera motivacin han sido las
necesidades prcticas. Buena parte de los conocimientos geomtricos han sido hallados
empricamente, siquiera en forma aproximada, antes de ser demostrados. Los babilonios,
por ejemplo, tomaban, como longitud de la circunferencia, el triple del dimetro, y el
rea del crculo como un doceavo del cuadrado de la circunferencia (averige qu valor
asignaran al nmero ). Para resolver ciertos problemas geomtricos, es an muy til
hallar, sobre una figura, una solucin emprica, que oriente para buscar la solucin
verdadera.

L g i c a y Deduccin en Geometra
Los conocimientos geomtricos han sido organizados desde Eu clides (300 a.C.;
public los "Elementos") de acuerdo al mtodo axiomtico, copiado despus por otras
ciencias (matemticas y fsicas), y perfeccionado, pero no variado su bstancialmente desde
su inicio.
El mtodo axiomtico separa las adquisiciones de una ciencia en dos partes
claramente definidas : la parte emprico - inductiva, por un lado, y la parte derivada
mediante combinaciones lgicas, o parte deductiv a, por otro.

Los conceptos empricos usados se llaman conceptos primitivos (p. e.: punto, recta,
plano, interseccin, distancia...). Las proposiciones emprico-inductivas se llaman
axiomas o postulados (p. e.: "Por dos puntos distintos pasa una recta y slo una").

Los conceptos obtenidos combinando conceptos primitivos (o tambin

combinndolos con combinaciones de los mismos) se llaman definidos (y necesitan
definicin precisa; los conceptos primitivos se pueden explicar, pero no definir).

Las proposiciones obtenidas por deduccin se llaman teoremas; los cuales necesitan
una demostracin. Un corolario es una proposicin cuya deduccin es inmediata, a partir
de un teorema ya demostrado.
 2
El 5 Postulado de Euclides. Geometra no Eucldeas
El 5 postulado de Euclides es mucho menos evidente que los restantes. En una
versin moderna, dicho postulado se expresara as: "En un plano, por un punto exterior a
una recta pasa una re cta, y s lo una, paralela a la primera". El propio Euclides se dio
cuenta de ello y trat de evitar el uso de dicho postulado, en lo posible, en sus
demostraciones.

La nica condicin lgica que debe exigirse a un sistema de postulados es que no

sean contradictorios entre s; porque de lo contrario, consideraramos invlida la lgica natural
del hombre y renunciaramos a cualquier ciencia.

Por otra parte, no han faltado intentos de demostrar dicho 5 postulado, como
consecuencia de los dems. En el siglo XIX, se demostr que dicho postulado era
independiente de los dems (no se poda deducir de ellos) y compatible con ellos (no los
contradeca). Se construyeron distintas geometras no eucldeas, que prescinden del 5
postulado de Euclides o lo cambian por otro.

Boylai y Lobatchewsky postularon que por un punto se podan trazar infinitas

paralelas a una recta". Riemann postul que no se poda trazar ninguna. Los primeros
dedujeron de su sistema que la suma de los ngulos del tringulo es siempre menor que dos
rec tos. El ltimo dedujo que esa suma es siempre mayor que dos rectas.

El mundo aparece, en l a escala humana, como euclideo. Sin embargo, a escala

astrofsica adm ite la geometra de Riemann (mo dificada por el fsico Einstein).
 3
Limitaciones del mtodo axiomtico
Desde el punto de vista prctico, el mtodo axiomt ico no puede ser
aplicado con todo su rigor por el estudiante de ingeniera, que debe aceptar
muchas conclusiones ajenas y combinar la deduc cin con la intuicin.

Desde el punto de vista t er ico se presta a construir sistemas de

proposiciones deducidas de postulados que no se cumplen en el mundo r e a l : el
conjunto obtenido puede ser lgico, pero no ref l e j a una realidad; no es por
tanto un conocimiento cientfico, an que use correctamente un mtodo
cientfico.

Estructura de los teoremas. Relaciones entre teoremas

Un teorema se enuncia en form a de una oracin condicional (o en una
forma equivalente, que fcilmente puede transformarse, en condicional sin que
cambie de significado). La condicin se llama, "hiptesis", y lo
condicionado,"tesis"; ejemplo:
Si saco la l o t e r a , comprar un carro.
Hiptesis , "saco la l o t e r a " .
T e s i s , T: "comprar un carro".
La forma esquemtica de un teorema es pues, as:
Si se cumple H, tambin se cumple T.

Un teorema se llama reciproco de otro, llamado directo, cuando la

t e s i s de uno es la hiptesis del otro y viceversa:

Direct o: Si se cumple H, se cumple T.

Recproco: Si se cumple T, se cumple H.

La certeza de un teorema no implica la cer teza de su recproco. As, el

teorema: "Si dos tri ngulos son congruentes, sus ngulos son
respectivamente iguales", tiene un recproco f a l s o : "Si dos tringulos tienen
sus ngulos respectivamente iguales, son congruentes".

Cuando tanto un teorema como su recproco son verdaderos, entonces H y T se

cumplen (o incumplen) simultneamente. Se dice de este caso que H es "condicin
necesaria y suficiente" de T. El Teorema de Pitgoras: "S un tri ngulo es rectngulo,
el cuadrado del lado mayor (o hipotenusa) es igual a la suma de los cuadrados de los
otros dos lados (catetos)", tiene un recproco tambin verdadero: "Si en un tringulo el
cuadrado del lado mayor es i gual a la suma de los cuadrados de los otros dos lados,
dicho tringulo es rectngulo".
 4
Dos teoremas se llaman contrarios cuando la hiptesis y la tesis de uno son las
negaciones respectivas de la hiptesis y la tesis del otro:

Si se cumple H, se cumule T.
Si no se cumple H, no se cumple T.

La certeza de un teorema no implica la de su contrario. Ejemplo: "Si dos tringulos

son congruentes, sus ngulos son respectivamente iguales" (verdadero); "Si dos tringulos
no son congruentes, sus ngulos no son respectivamente iguales" (falso).

Dos teoremas se llaman contrarrecprocos cuando cada uno de ellos es el contrario

del recproco del otro.

Si es H, es T.
Si no es T, no es H.

Es fcil comprobar que dos teoremas contrarrecprocos son a la vez verdaderos o

falsos (son equivalentes). En efecto, supongamos que no se cumple T, y se cumple H (se
incumple el segundo teorema); ello vulnerara tambin el primero, ya que segn l, al
cumplirse H, debe cumplirse T.

Cuando para demostrar un teorema, demostramos la certeza de su

contrarrecproco, la demostracin se llama demostracin por reduccin al absurdo.

El siguiente esquema lgico muestra las relaciones entre un teorema, su recproco,

contrario y contrarrecproco:
 5

Se observa que el recproco y el contrario son contrarrec procos entre s. Por

consiguiente, si son ciertos el directo y el recproco, tambin lo es el contrario. Si son
ciertos el directo y el contrario, tambin lo es el recproco.

A la vista de la estructura lgica condicional de los teoremas, puede parecer que la

geometra no podr ser utilizada, porque al decir: "Si se cumple H, tambin se cumple T"
quin garantiza que se cumple H? Tiene que ser justamente el usuario de la geometra,
bajo su responsabilidad, el que decida en cada problema concreto si la hiptesis se
cumple o no.