En los textos matemticos egipcios, por ejemplo, el tratamiento de los nmeros y de las
figuras era de carcter concreto, no abstracto. Podemos encontrar en ellos afirmaciones
parecidas a que 25 aceitunas ms 15 aceitunas son 40 aceitunas, pero no aparece
explicitado el clculo abstracto 25 + 15 = 40. Del mismo modo, no se hace referencia a
figuras geomtricas abstractas (rectngulo, crculo), sino a cuerpos materiales
concretos, como un terreno rectangular o una vasija circular.
La geometra prehelnica constituye una tcnica cuyo fin fundamental era la prctica.
Intentaba dar respuesta a problemas concretos y de ndole cotidiana, por eso muchos
de sus resultados no fueron exactos, sino solo aproximados.
Ejercicio 1
Determine la verdad o falsedad de los enunciados que se listan a continuacin.
2. Geometra griega
Hacia el siglo VII a. C., comienza a desarrollarse una forma peculiar de pensamiento
para tratar de explicar los fenmenos de la naturaleza. Esta forma de pensamiento
surge en las ciudades griegas de la costa egea del Asia Menor, ciudades que recibieron
la influencia de los fenicios, los egipcios y los cretenses por va martima, y de los
pueblos del Asia Menor por va terrestre.
Si bien la posicin geogrfica fue un factor importante, ella no explica por s sola el
surgimiento del genio griego. A este factor hay que sumarle otras razones de ndole
poltica y social que permiten explicar el desarrollo intelectual de los griegos, cuya
nueva actitud frente a la naturaleza se basaba en el intento de ofrecer explicaciones de
los fenmenos naturales sin apelar a elementos mticos o sobrenaturales.
Entre estos pensadores nos interesa la figura de Tales de Mileto1, uno de los primeros
matemticos y astrnomos griegos, y uno de los primeros en utilizar mtodos
deductivos en la geometra. Como vimos en la leccin anterior, la aplicacin de mtodos
deductivos permite justificar un enunciado a partir de otros enunciados ya conocidos.
2. Ahora queremos obtener una expresin que nos permita calcular el permetro de
cualquier rectngulo sin importar la medida de sus lados.
-------------------------
1. Se estima que Tales de Mileto floreci alrededor del 585 a.C. y que muri hacia el 546-545
a.C. aproximadamente.
Ejercicio 2
Complete cada una de las oraciones que se listan a la izquierda con la opcin de
la derecha que corresponda.
3. Euclides y la geometra
Entre las obras de Euclides que se han conservado, la ms importante son los
Elementos, que pas en su momento casi inadvertida, aunque luego tuvo gran
relevancia en el desarrollo de la geometra. En ella se perfeccionan y se demuestran de
forma rigurosa todos los conocimientos geomtricos anteriores. Para llevar a cabo la
sistematizacin, Euclides sigui los lineamientos que, segn Aristteles, deba cumplir
una ciencia demostrativa.
Los postulados hoy en da denominados axiomas son aquellos que se refieren a una
ciencia en particular, en este caso la geometra, y son los siguientes5:
5. Si una recta corta a otras dos de manera que la suma de los ngulos interiores de
un mismo lado sea menor que dos ngulos rectos, entonces dichas rectas,
prolongadas suficientemente, se cortarn del mismo lado de la primera lnea recta en
que se encuentren aquellos ngulos cuya suma es menor que dos rectos.
La formulacin del postulado 5 que aqu damos es afn a la versin original enunciada
por Euclides y, como podr observar el lector, es de una complejidad mucho mayor que
la de los cuatro postulados anteriores. Este postulado 5 se conoce como postulado de
las paralelas y dar lugar, como veremos luego, a intensas discusiones y a cambios de
gran importancia en la historia de la geometra. Ms adelante nos ocuparemos de
aclarar qu afirma este quinto postulado.
Euclides saba todo esto, pero se despreocupaba de estas limitaciones prcticas. Para
l, en principio, una lnea recta puede trazarse entre dos puntos aunque no podamos
hacerlo en la prctica. Lo mismo ocurre con la prolongacin de las rectas y el trazado de
los crculos.
Junto con los postulados y nociones comunes, Euclides incluye las definiciones. Por
ejemplo:
Ser una preocupacin central de los matemticos y lgicos del siglo XIX la explicitacin
de la lgica subyacente a las demostraciones geomtricas.
-----------------------
1. No hay muchos datos certeros sobre la vida de Euclides, usualmente se lo sita entre
Aristteles (384-322 a. C.) y Arqumedes (287-212 a. C. aprox.).
2. Alejandra fue fundada por Alejandro Magno en la desembocadura del Nilo en el 331 a. C.
Despus de la muerte de Alejandro (323 a. C.) se convirti en la capital cultural y cientfica del
mundo helnico.
3. "Necesariamente verdaderas" y "generales" ha de entenderse en el mismo sentido que lo
estudiado en las lecciones anteriores. A diferencia de lo que ocurre con los enunciados
contingentes, lo enunciado por una oracin necesariamente verdadera es el caso y no podra
ser de otro modo. En cuanto a la exigencia de generalidad, ella radica en la conviccin
aristotlica de que la ciencia es sobre lo general y no sobre entidades particulares; por
ejemplo, sobre los tringulos en general y no sobre uno especfico.
4. Ahondaremos este punto ms adelante, pero a modo de anticipo: qu le parece que
ocurrira si se extendiera la exigencia de que un enunciado debe estar demostrado a todos los
enunciados?
5. En sentido estricto, la formulacin original de Euclides tiene otro tenor. Por ejemplo, el primer
postulado reza: Postlese el trazar una lnea recta desde un punto cualquiera hasta un punto
cualquiera (elegimos aqu esta reformulacin por cuestiones de simplicidad).
Ejercicio 3
Antes de avanzar con la lectura, asegrese de poder responder las siguientes
preguntas:
Tratemos de aclarar lo que quiere decir este postulado atendiendo al siguiente dibujo:
a
P
c
Si la recta c corta a las rectas a y b y la suma de los ngulos y es menor que dos
El propio Euclides parece haber tenido alguna duda respecto a este postulado, ya que
evit utilizarlo en las demostraciones de los teoremas; llama la atencin que recin lo
haya utilizado para demostrar la proposicin (teorema) 29 del Libro I, aun cuando
algunas de las demostraciones anteriores habran sido ms sencillas si lo hubiera
utilizado.
Esta aparente falta de evidencia de la formulacin original del quinto postulado hizo que
los gemetras posteriores a la poca de Euclides sospecharan que el postulado era, en
realidad, un teorema; es decir, que poda ser demostrado a partir de ellos. En trminos
ms precisos, creyeran que el axioma no era independiente de los otros cuatro (un
axioma es independiente si no puede deducirse del resto de los axiomas).
A lo largo de los siglos, se sucedieron los intentos de demostracin, pero toda vez que
se crea haberla conseguido, a poco se adverta que no se haba partido solo de los
cuatro primeros postulados (como era el propsito), sino que se haba utilizado tambin
otro enunciado que resultaba equivalente al quinto postulado; es decir, se haba
empleado en la demostracin una versin distinta del postulado que se quera
demostrar.
Por un punto exterior a una recta, puede trazarse una nica paralela a dicha recta.1
-----------------------------
1. Qu opina ahora de esta nueva versin del quinto postulado?, le parece ms evidente que
la anterior?
2. Posidonio de Apamea (135 al 51 a. C., aprox.) fue un filsofo estoico que realiz
investigaciones de muy diferente ndole: matemticas, astronmicas, meteorolgicas,
psicolgicas, etnogrficas, ticas, entre otras.
Ejercicio 4
Complete las siguientes oraciones de modo que resulten correctas:
5. El trabajo de Saccheri
Por un punto exterior a una recta, pasa una sola paralela a dicha recta.
En los aos posteriores a la publicacin del trabajo de Saccheri que permiti que
empezaran a incubarse nuevas ideas en torno a la geometra, continu el intento de
demostrar, por distintos mtodos, el ya famoso postulado de las paralelas. Varios
trabajos, sobre todo en Francia, lograron avances importantes, pero ninguno de ellos
pudo demostrar el quinto postulado. A fines del siglo XVII, todos estaban de acuerdo con
DAlambert3, quien deca: La definicin de las paralelas es el escndalo de la
geometra. Todos lo aceptaban, pero nadie lograba quitarle la categora de postulado.
Con ello, se segua creyendo que el sistema eucldeo era el nico sistema geomtrico
posible.
--------------------------
1. Giovanni Gerolamo Saccheri (1667-1733) fue un matemtico italiano. A los dieciocho aos
ingres en la Compaa de Jess. Estudi los Elementos de Euclides bajo la gua del gemetra
Tommaso Ceva. Desde 1697 ense matemticas en la Universidad de Pava. La obra
fundamental de Saccheri, publicada el mismo ao de su muerte, es Euclides ab omni naevo
vindicatus [Euclides reivindicado].
2. En realidad los casos analizados por Saccheri fueron tres, pues como dijimos, l trabaj con
una versin diferente del quinto postulado. No desarrollaremos aqu el detalle del trabajo, ya
que excede los objetivos de nuestra materia. Para una presentacin ms detallada, le
sugerimos consultar la bibliografa ampliatoria.
Ejercicio 5
Determine la verdad o falsedad de las siguientes oraciones.
6. Geometras no euclidianas
El matemtico alemn Carl Friedrich Gauss1 fue el primero que vio con claridad la
independencia del quinto postulado y la posibilidad de construir una geometra distinta
de la eucldea.
Eso fue lo que hizo Gauss. Reemplaz el quinto postulado por el siguiente:
Por un punto exterior a una recta, pueden trazarse infinitas paralelas a dicha
recta.
Se trata de una versin del segundo caso mencionado a propsito de Saccheri. Gauss
trabaj con este axioma y con los otros cuatro de Euclides, y demostr propiedades y
teoremas que no lo llevaban a ninguna contradiccin.
Recordemos que esta es una de las ideas que haba explorado Saccheri y que rechaz
(aunque no haba llegado a una contradiccin) porque supuso que haba algn error en
el desarrollo y que la contradiccin deba existir, aunque l no hubiera podido hallarla.
En esta nueva geometra desarrollada por Gauss, en la que existen infinitas paralelas,
En 1829 Gauss dio a conocer su trabajo, pero solo en forma privada, y nunca lo public
porque pensaba que sus conclusiones geomtricas podan ser consideradas insensatas
para la mentalidad de la poca. No quiso arriesgar el prestigio que haba ganado con
sus investigaciones por las cuales se lo llamaba el prncipe de los matemticos.
En 1823, apareci un trabajo de Jnos Bolyai2 que fue publicado como apndice de un
libro de su padre, tambin matemtico. Dicho trabajo exploraba la hiptesis de la
existencia de infinitas paralelas y fue enviado a Gauss, quien le respondi al padre que
l haba llegado a las mismas conclusiones, aunque no pensaba publicarlas, y que se
alegraba de que fuera el hijo de un amigo quien lo hiciera.
En 1826, Nikoli Lobachevski3 present un trabajo que habra de completar luego con
otras publicaciones en el que desarroll un sistema geomtrico que tomaba los cuatro
primeros axiomas de Euclides y un quinto que afirmaba la existencia de infinitas
paralelas, tal como lo haban sugerido Gauss y Bolyai.
En esta geometra, que se conoce como geometra hiperblica, hay teoremas que son
comunes con los de la geometra eucldea (todos aquellos que se deducen solo de los
cuatro primeros axiomas) y otros que no lo son (aquellos que se demuestran usando el
quinto postulado). Entre los ltimos se encuentra el de la suma de los ngulos interiores
de un tringulo que mencionamos ms arriba.
En 1854, Bernhard Riemman4 present su tesis doctoral ante un jurado del cual
formaba parte Gauss, quien se sinti muy entusiasmado con este trabajo. En l se
exploraban las consecuencias que surgan al negar el quinto postulado suponiendo la
no existencia de rectas paralelas.
Como consecuencia de los axiomas de Riemman, se puede probar como teorema que
la suma de los ngulos interiores de un tringulo es mayor que 180.
Hemos visto que los gemetras lograron desarrollar distintos sistemas incuestionables
desde un punto de vista lgico: los nuevos conjuntos de axiomas permitan deducir
nuevos teoremas, y tal conjunto de enunciados por ms extraos que resultaran al
sentido comn no resultaban contradictorios entre s. Surgi, entonces, el problema de
cmo interpretar estos nuevos sistemas axiomticos.
Una respuesta sencilla fue interpretarlos como juegos, como muestras de los alcances
del ingenio y la imaginacin humana. As, durante ms de veinte siglos la geometra
euclidiana no solo fue la nica geometra, sino que fue tambin la geometra del
espacio: se trataba de la geometra que describa el espacio fsico. Los puntos, rectas,
tringulos de los que se hablaba en los Elementos no eran otros que aquellos que
encontramos en los objetos en nuestra vida diaria y aquellos que acostumbramos
dibujar. All, a todas luces, los ngulos interiores de un tringulo suman 180 y por un
punto exterior a una recta, pasa una paralela y solo una.
sino que eran trminos cuyo comportamiento quedaba establecido a partir de los
axiomas. Veamos un ejemplo para aclarar este punto.
Podemos pensar que los axiomas son verdaderos, y en efecto lo son para el caso de la
Argentina. Sin embargo, no resultan as si se consideran otros pases. En cualquier
caso, un sistema que contase con estos principios es consistente. Que un conjunto de
axiomas sea consistente quiere decir que no se deriva de ellos contradiccin alguna.
Pero tambin es consistente el siguiente sistema:
Seguramente estos principios entren en contradiccin con las leyes de la biologa, sin
embargo, a los efectos de analizar el sistema conformado por estos tres axiomas, aqu
no surge problema alguno: el sistema es consistente. Sin embargo, como acordar el
lector, solo aplicable a un mundo de ficcin.
El punto por destacar es que podemos ver estos sistemas de axiomas como formales
en el sentido de que no se refieren a un pas especfico y obtener las consecuencias
que de ellos se derivan. Podemos estudiar el sistema en s mismo. Desde ya,
podramos luego aplicarlo para el estudio de casos particulares. Para ello, habra que
interpretar los trminos involucrados en el sistema para que refirieran al caso en
cuestin; por ejemplo, para que hablen sobre los presidentes de la Argentina.
Las geometras no euclidianas no resultaron ser simples ejercicios de lgica; bien por el
contrario: son ellas las que permiten interpretar el universo en el que vivimos. La fsica
del tomo y de las estrellas, por caso, las emplean en sus investigaciones; y el mismo
Einstein no habra podido desarrollar las ecuaciones de la teora de la relatividad si no
hubiera contado con las herramientas que estas nuevas geometras aportaron.
-----------------------------
1. Carl Friedrich Gauss (1777-1855) fue un matemtico, astrnomo, geodesta y fsico alemn
que contribuy significativamente en muchos campos, incluida la teora de nmeros, el anlisis
matemtico, la geometra diferencial, la estadstica, el lgebra, la geodesia, el magnetismo y la
ptica. Considerado el prncipe de los matemticos y el matemtico ms grande desde la
antigedad, Gauss ha tenido una influencia notable en muchos campos de la matemtica y de
la ciencia.
2. Jnos Bolyai (1802-1860) fue un matemtico hngaro.
3. Nikoli Lobachevski (1792-1856) fue un matemtico ruso. Es considerado, junto con el
alemn Carl Gauss y con el hngaro Jnos Bolyai, uno de los fundadores de la geometra no
euclidiana o hiperblica (imaginaria en la denominacin de Lobachevski) y como uno de los
gemetras ms ilustres de todos los tiempos.
4. Bernhard Riemman (1826-1866) fue un matemtico alemn que realiz contribuciones muy
importantes al anlisis y a la geometra diferencial, algunas de las cuales allanaron el camino
para el desarrollo ms avanzado de la relatividad general de Einstein.
Los axiomas son los enunciados que se aceptan sin demostracin y constituyen los
puntos de partida de las demostraciones (aquellos que eran denominados postulados
por Euclides). A diferencia de Aristteles y de Euclides, ya no se exige que los axiomas
sean verdades evidentes; solo se trata de enunciados que se acepta tomar como
puntos de partida. Esta consideracin no es casual: el nuevo enfoque formal con que se
aborda la formulacin de los sistemas axiomticos hace que pierda sentido la exigencia
respecto de la verdad de los axiomas. Puesto que si los axiomas no refieren a entidades
especficas, si son meros constructos formales, no cabe ni siquiera predicar de ellos
verdad o falsedad. Mucho menos, entonces, exigirla.1
Los sistemas axiomticos tambin deben incluir de modo explcito las reglas de
inferencia que se utilizan para demostrar teoremas. Las reglas de inferencia
presentadas en la leccin anterior podran ser candidatas a ocupar este lugar dentro de
un sistema axiomtico (seguramente en una versin formalizada de ellas). Como vimos,
estas reglas lgicas garantizan que si se parte de enunciados verdaderos, las
conclusiones tambin sern verdaderas. Aplicado a nuestro caso: si se admiten los
axiomas como verdaderos, los teoremas tambin lo son.
Todos estos enunciados estn compuestos por trminos (expresiones lingsticas con
significado), y podemos distinguir entre ellos dos tipos:
Trminos lgicos (expresiones como todos, son, pasan por, sientonces, y, o, etc.,
que estudiamos en la segunda leccin)
Trminos no lgicos: por ejemplo, en el caso de la geometra se refieren a entes
geomtricos (recta, punto, tringulo, crculo, ngulo, etc.)
Tal como anticipramos, Euclides no realiza esta distincin y pretende ofrecer una
definicin incluso de aquellos trminos que hoy consideraramos primitivos. Varios
siglos despus, David Hilbert2 desarrollar una nueva sistematizacin ahora de
carcter formal de la geometra euclidiana. En sus trabajos tomar punto, recta y plano
como trminos primitivos, sin incluir definicin alguna. El resto de los trminos, por
ejemplo paralela, sern definidos a partir de los trminos tomados como primitivos. De
modo que los sistemas axiomticos actuales incluyen tambin definiciones, pero solo de
ciertos trminos, precisamente los trminos definidos.
Por ltimo, los sistemas axiomticos suelen incluir reglas de formacin que indican
cmo combinar los diferentes trminos para dar lugar a expresiones complejas bien
formadas. Por ejemplo, si intentramos sistematizar axiomticamente la aritmtica,
seguramente querramos introducir reglas sintcticas que nos permitieran construir
expresiones complejas tales como "2+2=4" y no "224+=". Aunque podramos disponer
las reglas de otro modo, desde ya. A diferencia de las reglas de inferencia que nos
permiten obtener consecuencias a partir de axiomas o teoremas ya probados, las
reglas de formacin nos indican cmo construir sintcticamente los enunciados que
cumplirn (o no) el rol de axiomas o teoremas.
---------------------
1. Recordemos que los axiomas pueden ser interpretados para que s refieran a entidades o
circunstancias especficas, y all s cabra preguntarse por su verdad.
2. David Hilbert (1862-1943) fue un matemtico alemn; durante muchos aos se dedic
fundamentalmente a la geometra. En su obra de 1899, dedicada a proporcionar a la geometra
euclidiana una fundamentacin estrictamente axiomtica y que ha ejercido una gran influencia
sobre el desarrollo de la matemtica en el siglo XX, realiz el primer esfuerzo sistemtico y
global para hacer extensivo a la geometra el carcter puramente formal que ya haban
adquirido la aritmtica y el anlisis matemtico.
Ejercicio 8
Determine la verdad o falsedad de cada uno de los enunciados que se listan a
continuacin.
Ejercicio 9
Determine cules de las siguientes afirmaciones corresponden a la concepcin
euclidiana de los sistemas axiomticos y cules a la concepcin contempornea.
b. Los axiomas son verdades evidentes que se toman como puntos de partida.
Ejercicio 10
Elabore un esquema que resuma la clasificacin de los tipos de trminos de un
sistema axiomtico y otro esquema para los diferentes tipos de enunciados.
Hemos mencionado con anterioridad que los axiomas se toman como puntos de partida,
que se los acepta como enunciados verdaderos sin que sea necesario demostrarlos.
Podemos preguntarnos por qu es necesario tomar estos puntos de partida y cmo
decidir qu enunciados elegir como axiomas.
Grficamente:
Grficamente:
En cuanto a cules son los enunciados que se tomarn como axiomas, dijimos que de
acuerdo con la concepcin de la poca de Euclides, deban ser enunciados cuya verdad
fuera evidente. Este criterio de evidencia que ha sido dejado de lado en la axiomtica
moderna tiene sus dificultades, ya que lo que es evidente para una persona podra no
serlo para otra. Se trata de un criterio subjetivo y, por lo tanto, no es un criterio
confiable.
Tambin dijimos que en los sistemas axiomticos modernos no se pretende que los
axiomas sean verdades evidentes: solo son puntos de partida que se eligen de manera
convencional, a tal punto que lo que es un axioma en un sistema podra ser un teorema
en un sistema diferente.
Si atendemos al carcter formal que tienen los axiomas, podemos comprender por qu
ni siquiera se exige ni se puede exigir que sean verdaderos. En tanto enunciados
formales, estn compuestos por trminos que no refieren a nada, y entonces esos
enunciados no pueden ser ni verdaderos ni falsos. Solo cabe preguntarse por su verdad
una vez que se asigna referencia (es decir, se otorga significado) a los trminos del
sistema y los enunciados son aplicados a un determinado dominio de objetos; dicho de
otro modo: solo cabe preguntarse por la verdad de los axiomas cuando el sistema ha
sido interpretado.
Ejercicio 10
Indique el nmero de la opcin correcta y el de su correspondiente justificacin.
2. no se definen
son trminos sencillos conocidos
6.
por todos.
Ejercicio 11
Complete los siguientes enunciados seleccionando alguna de las opciones que
se proponen, de modo que el enunciado resulte verdadero.
Ejercicio 12
Dado un sistema axiomtico conformado por un lenguaje especfico, por las
reglas de inferencia presentadas en la leccin anterior y por los siguientes grupos
de axiomas, resuelva las actividades que se indican a continuacin.
a. Axiomas:
b. Axiomas: