Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lección 5 Analizada
Lección 5 Analizada
En los textos matemáticos egipcios, por ejemplo, el tratamiento de los números y de las
figuras era de carácter concreto, no abstracto. Podemos encontrar en ellos afirmaciones
parecidas a que “25 aceitunas más 15 aceitunas son 40 aceitunas”, pero no aparece
explicitado el cálculo abstracto “25 + 15 = 40”. Del mismo modo, no se hace referencia a
figuras geométricas abstractas (rectángulo, círculo), sino a cuerpos materiales
concretos, como un terreno rectangular o una vasija circular.
La geometría prehelénica constituye una técnica cuyo fin fundamental era la práctica.
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 continuación.
2. Geometría griega
Hacia el siglo VII a. C., comienza a desarrollarse una forma peculiar de pensamiento
para tratar de explicar los fenómenos 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 vía marítima, y de los
pueblos del Asia Menor por vía terrestre.
Si bien la posición geográfica 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
política 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 fenómenos naturales sin apelar a elementos míticos o sobrenaturales.
Entre estos pensadores nos interesa la figura de Tales de Mileto1, uno de los primeros
matemáticos y astrónomos griegos, y uno de los primeros en utilizar métodos
deductivos en la geometría. Como vimos en la lección anterior, la aplicación de métodos
deductivos permite justificar un enunciado a partir de otros enunciados ya conocidos.
2. Ahora queremos obtener una expresión que nos permita calcular el perímetro de
cualquier rectángulo 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 opción de
la derecha que corresponda.
3. Euclides y la geometría
Entre las obras de Euclides que se han conservado, la más importante son los
Elementos, que pasó en su momento casi inadvertida, aunque luego tuvo gran
relevancia en el desarrollo de la geometría. En ella se perfeccionan y se demuestran de
forma rigurosa todos los conocimientos geométricos anteriores. Para llevar a cabo la
sistematización, Euclides siguió los lineamientos que, según Aristóteles, debía cumplir
una ciencia demostrativa.
Los postulados –hoy en día denominados axiomas– son aquellos que se refieren a una
ciencia en particular, en este caso la geometría, 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 cortarán del mismo lado de la primera línea recta en
que se encuentren aquellos ángulos cuya suma es menor que dos rectos.
La formulación del postulado 5 que aquí damos es afín a la versión 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 geometría. Más adelante nos ocuparemos de
aclarar qué afirma este quinto postulado.
Euclides sabía todo esto, pero se despreocupaba de estas limitaciones prácticas. Para
él, en principio, una línea recta puede trazarse entre dos puntos aunque no podamos
hacerlo en la práctica. Lo mismo ocurre con la prolongación de las rectas y el trazado de
los círculos.
Junto con los postulados y nociones comunes, Euclides incluye las definiciones. Por
ejemplo:
Será una preocupación central de los matemáticos y lógicos del siglo XIX la explicitación
de la lógica subyacente a las demostraciones geométricas.
-----------------------
1. No hay muchos datos certeros sobre la vida de Euclides, usualmente se lo sitúa entre
Aristóteles (384-322 a. C.) y Arquímedes (287-212 a. C. aprox.).
2. Alejandría fue fundada por Alejandro Magno en la desembocadura del Nilo en el 331 a. C.
Después de la muerte de Alejandro (323 a. C.) se convirtió en la capital cultural y científica del
mundo helénico.
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 oración necesariamente verdadera es el caso y no podría
ser de otro modo. En cuanto a la exigencia de generalidad, ella radica en la convicción
aristotélica de que la ciencia es sobre lo general y no sobre entidades particulares; por
ejemplo, sobre los triángulos en general y no sobre uno específico.
4. Ahondaremos este punto más adelante, pero a modo de anticipo: ¿qué le parece que
ocurriría si se extendiera la exigencia de que un enunciado debe estar demostrado a todos los
enunciados?
5. En sentido estricto, la formulación original de Euclides tiene otro tenor. Por ejemplo, el primer
postulado reza: “Postúlese el trazar una línea recta desde un punto cualquiera hasta un punto
cualquiera” (elegimos aquí esta reformulación por cuestiones de simplicidad).
Ejercicio 3
Antes de avanzar con la lectura, asegúrese de poder responder las siguientes
preguntas:
Ya enunciamos con anterioridad los cinco postulados de Euclides. Veamos ahora qué
quiere decir lo expresado en esta reformulación del quinto postulado:
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 atención que recién lo
haya utilizado para demostrar la proposición (teorema) 29 del Libro I, aun cuando
algunas de las demostraciones anteriores habrían sido más sencillas si lo hubiera
utilizado.
Esta aparente falta de evidencia de la formulación original del quinto postulado hizo que
los geómetras posteriores a la época de Euclides sospecharan que el postulado era, en
realidad, un teorema; es decir, que podía ser demostrado a partir de ellos. En términos
más 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 demostración, pero toda vez que
se creía haberla conseguido, a poco se advertía que no se había partido solo de los
cuatro primeros postulados (como era el propósito), sino que se había utilizado también
otro enunciado que resultaba equivalente al quinto postulado; es decir, se había
empleado en la demostración una versión distinta del postulado que se quería
demostrar.
• Por un punto exterior a una recta, puede trazarse una única paralela a dicha recta.1
-----------------------------
1. ¿Qué opina ahora de esta nueva versión del quinto postulado?, ¿le parece más evidente que
la anterior?
2. Posidonio de Apamea (135 al 51 a. C., aprox.) fue un filósofo estoico que realizó
investigaciones de muy diferente índole: matemáticas, astronómicas, meteorológicas,
psicológicas, etnográficas, éticas, entre otras.
Ejercicio 4
Complete las siguientes oraciones de modo que resulten correctas:
5. El trabajo de Saccheri
En el año 1733 fue publicado un trabajo de Giovanni Gerolamo Saccheri1. Este trabajo
presenta un enfoque metodológico diferente si lo comparamos con los intentos
anteriores por demostrar el quinto postulado, pues se trata de una demostración
indirecta, o por absurdo, tal como las estudiadas en la lección 3: en vez de tratar de
demostrar dicho postulado a partir de los cuatro primeros, intenta probarlo por vía
indirecta, partiendo de los postulados 1 a 4 y de la negación del quinto como supuesto
provisional. Suponía que iba a encontrar una contradicción que lo llevaría a rechazar
ese supuesto provisional y le permitiría, entonces, concluir la afirmación del quinto
postulado. Ello valdría como una demostración –de carácter indirecto– del postulado 5 a
partir de los otros cuatro y probaría, por ende, que este no era independiente.
Detengámonos un momento, si como se sospechaba, el postulado 5 se deducía
de los anteriores (i.e. no era independiente) y se introducía ahora su negación,
la contradicción habría de surgir eventualmente.
• Por un punto exterior a una recta, pasa una sola paralela a dicha recta.
¿En qué consiste negar ese postulado? Negarlo puede consistir en afirmar alguno de
estos enunciados:
En los años posteriores a la publicación del trabajo de Saccheri –que permitió que
empezaran a incubarse nuevas ideas en torno a la geometría–, continuó el intento de
demostrar, por distintos métodos, 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
D´Alambert3, quien decía: “La definición de las paralelas es el escándalo de la
geometría”. Todos lo aceptaban, pero nadie lograba quitarle la categoría de postulado.
Con ello, se seguía creyendo que el sistema euclídeo era el único sistema geométrico
posible.
--------------------------
1. Giovanni Gerolamo Saccheri (1667-1733) fue un matemático italiano. A los dieciocho años
ingresó en la Compañía de Jesús. Estudió los Elementos de Euclides bajo la guía del geómetra
Tommaso Ceva. Desde 1697 enseñó matemáticas en la Universidad de Pavía. La obra
fundamental de Saccheri, publicada el mismo año 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 versión diferente del quinto postulado. No desarrollaremos aquí el detalle del trabajo, ya
que excede los objetivos de nuestra materia. Para una presentación más detallada, le
sugerimos consultar la bibliografía ampliatoria.
Ejercicio 5
Determine la verdad o falsedad de las siguientes oraciones.
6. Geometrías no euclidianas
El matemático alemán Carl Friedrich Gauss1 fue el primero que vio con claridad la
independencia del quinto postulado y la posibilidad de construir una geometría distinta
de la euclídea.
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 versión del segundo caso mencionado a propósito 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 contradicción.
Recordemos que esta es una de las ideas que había explorado Saccheri y que rechazó
(aunque no había llegado a una contradicción) porque supuso que había algún error en
el desarrollo y que la contradicción debía existir, aunque él no hubiera podido hallarla.
En esta nueva geometría 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 geométricas podían ser consideradas insensatas
para la mentalidad de la época. No quiso arriesgar el prestigio que había ganado con
sus investigaciones por las cuales se lo llamaba “el príncipe de los matemáticos”.
En 1823, apareció un trabajo de János Bolyai2 que fue publicado como apéndice de un
libro de su padre, también matemático. Dicho trabajo exploraba la hipótesis de la
existencia de infinitas paralelas y fue enviado a Gauss, quien le respondió al padre que
él había 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, Nikolái Lobachevski3 presentó un trabajo –que habría de completar luego con
otras publicaciones– en el que desarrolló un sistema geométrico que tomaba los cuatro
primeros axiomas de Euclides y un quinto que afirmaba la existencia de infinitas
paralelas, tal como lo habían sugerido Gauss y Bolyai.
En esta geometría, que se conoce como geometría hiperbólica, hay teoremas que son
comunes con los de la geometría euclídea (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 triángulo que mencionamos más 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 surgían 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 triángulo es mayor que 180º.
Hemos visto que los geómetras lograron desarrollar distintos sistemas incuestionables
desde un punto de vista lógico: los nuevos conjuntos de axiomas permitían deducir
nuevos teoremas, y tal conjunto de enunciados –por más extraños que resultaran al
sentido común– no resultaban contradictorios entre sí. Surgió, entonces, el problema de
cómo interpretar estos nuevos sistemas axiomáticos.
Una respuesta sencilla fue interpretarlos como juegos, como muestras de los alcances
del ingenio y la imaginación humana. Así, durante más de veinte siglos la geometría
euclidiana no solo fue la única geometría, sino que fue también la geometría del
espacio: se trataba de la geometría que describía el espacio físico. Los puntos, rectas,
triángulos 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 triángulo suman 180º y por un
punto exterior a una recta, pasa una paralela y solo una.
sino que eran términos 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 países. 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 contradicción alguna.
Pero también es consistente el siguiente sistema:
Seguramente estos principios entren en contradicción con las leyes de la biología, 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 ficción.
El punto por destacar es que podemos ver estos sistemas de axiomas como formales
–en el sentido de que no se refieren a un país específico– y obtener las consecuencias
que de ellos se derivan. Podemos estudiar el sistema en sí mismo. Desde ya,
podríamos luego aplicarlo para el estudio de casos particulares. Para ello, habría que
interpretar los términos involucrados en el sistema para que refirieran al caso en
cuestión; por ejemplo, para que hablen sobre los presidentes de la Argentina.
Las geometrías no euclidianas no resultaron ser simples ejercicios de lógica; bien por el
contrario: son ellas las que permiten interpretar el universo en el que vivimos. La física
del átomo y de las estrellas, por caso, las emplean en sus investigaciones; y el mismo
Einstein no habría podido desarrollar las ecuaciones de la teoría de la relatividad si no
hubiera contado con las herramientas que estas nuevas geometrías aportaron.
-----------------------------
1. Carl Friedrich Gauss (1777-1855) fue un matemático, astrónomo, geodesta y físico alemán
que contribuyó significativamente en muchos campos, incluida la teoría de números, el análisis
matemático, la geometría diferencial, la estadística, el álgebra, la geodesia, el magnetismo y la
óptica. Considerado “el príncipe de los matemáticos” y “el matemático más grande desde la
antigüedad”, Gauss ha tenido una influencia notable en muchos campos de la matemática y de
la ciencia.
2. János Bolyai (1802-1860) fue un matemático húngaro.
3. Nikolái Lobachevski (1792-1856) fue un matemático ruso. Es considerado, junto con el
alemán Carl Gauss y con el húngaro János Bolyai, uno de los fundadores de la geometría no
euclidiana o hiperbólica (imaginaria en la denominación de Lobachevski) y como uno de los
geómetras más ilustres de todos los tiempos.
4. Bernhard Riemman (1826-1866) fue un matemático alemán que realizó contribuciones muy
importantes al análisis y a la geometría diferencial, algunas de las cuales allanaron el camino
para el desarrollo más avanzado de la relatividad general de Einstein.
Los axiomas son los enunciados que se aceptan sin demostración y constituyen los
puntos de partida de las demostraciones (aquellos que eran denominados postulados
por Euclides). A diferencia de Aristóteles 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 consideración no es casual: el nuevo enfoque formal con que se
aborda la formulación de los sistemas axiomáticos hace que pierda sentido la exigencia
respecto de la verdad de los axiomas. Puesto que si los axiomas no refieren a entidades
específicas, si son meros constructos formales, no cabe ni siquiera predicar de ellos
verdad o falsedad. Mucho menos, entonces, exigirla.1
Los sistemas axiomáticos también deben incluir de modo explícito las reglas de
inferencia que se utilizan para demostrar teoremas. Las reglas de inferencia
presentadas en la lección anterior podrían ser candidatas a ocupar este lugar dentro de
un sistema axiomático (seguramente en una versión formalizada de ellas). Como vimos,
estas reglas lógicas garantizan que si se parte de enunciados verdaderos, las
conclusiones también serán verdaderas. Aplicado a nuestro caso: si se admiten los
axiomas como verdaderos, los teoremas también lo son.
Todos estos enunciados están compuestos por términos (expresiones lingüísticas con
significado), y podemos distinguir entre ellos dos tipos:
• Términos lógicos (expresiones como todos, son, pasan por, si…entonces, y, o, etc.,
que estudiamos en la segunda lección)
• Términos no lógicos: por ejemplo, en el caso de la geometría se refieren a entes
geométricos (recta, punto, triángulo, círculo, ángulo, etc.)
Tal como anticipáramos, Euclides no realiza esta distinción y pretende ofrecer una
definición incluso de aquellos términos que hoy consideraríamos primitivos. Varios
siglos después, David Hilbert2 desarrollará una nueva sistematización –ahora de
carácter formal– de la geometría euclidiana. En sus trabajos tomará punto, recta y plano
como términos primitivos, sin incluir definición alguna. El resto de los términos, por
ejemplo paralela, serán definidos a partir de los términos tomados como primitivos. De
modo que los sistemas axiomáticos actuales incluyen también definiciones, pero solo de
ciertos términos, precisamente los términos definidos.
Por último, los sistemas axiomáticos suelen incluir reglas de formación que indican
cómo combinar los diferentes términos para dar lugar a expresiones complejas bien
formadas. Por ejemplo, si intentáramos sistematizar axiomáticamente la aritmética,
seguramente querríamos introducir reglas sintácticas que nos permitieran construir
expresiones complejas tales como "2+2=4" y no "224+=". Aunque podríamos 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 formación nos indican cómo construir sintácticamente los enunciados que
cumplirán (o no) el rol de axiomas o teoremas.
---------------------
1. Recordemos que los axiomas pueden ser interpretados para que sí refieran a entidades o
circunstancias específicas, y allí sí cabría preguntarse por su verdad.
2. David Hilbert (1862-1943) fue un matemático alemán; durante muchos años se dedicó
fundamentalmente a la geometría. En su obra de 1899, dedicada a proporcionar a la geometría
euclidiana una fundamentación estrictamente axiomática y que ha ejercido una gran influencia
sobre el desarrollo de la matemática en el siglo XX, realizó el primer esfuerzo sistemático y
global para hacer extensivo a la geometría el carácter puramente formal que ya habían
adquirido la aritmética y el análisis matemático.
Ejercicio 8
Determine la verdad o falsedad de cada uno de los enunciados que se listan a
continuación.
Ejercicio 9
Determine cuáles de las siguientes afirmaciones corresponden a la concepción
euclidiana de los sistemas axiomáticos y cuáles a la concepción contemporánea.
b. Los axiomas son verdades evidentes que se toman como puntos de partida.
Ejercicio 10
Elabore un esquema que resuma la clasificación de los tipos de términos de un
sistema axiomático 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 cómo
decidir qué enunciados elegir como axiomas.
Gráficamente:
Gráficamente:
En cuanto a cuáles son los enunciados que se tomarán como axiomas, dijimos que de
acuerdo con la concepción de la época de Euclides, debían ser enunciados cuya verdad
fuera evidente. Este criterio de evidencia –que ha sido dejado de lado en la axiomática
moderna– tiene sus dificultades, ya que lo que es evidente para una persona podría no
serlo para otra. Se trata de un criterio subjetivo y, por lo tanto, no es un criterio
confiable.
También dijimos que en los sistemas axiomáticos 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 podría ser un teorema
en un sistema diferente.
Si atendemos al carácter formal que tienen los axiomas, podemos comprender por qué
ni siquiera se exige –ni se puede exigir– que sean verdaderos. En tanto enunciados
formales, están compuestos por términos 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 términos 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 número de la opción correcta y el de su correspondiente justificación.
2. no se definen
son términos 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 axiomático conformado por un lenguaje específico, por las
reglas de inferencia presentadas en la lección anterior y por los siguientes grupos
de axiomas, resuelva las actividades que se indican a continuación.
a. Axiomas:
b. Axiomas: