Professional Documents
Culture Documents
Ejercicio 1
Determine la verdad o falsedad de los enunciados que se listan a continuacin.
a. Las civilizaciones prehelnicas carecan de conocimientos matemticos.
b. Los egipcios lograron un grado de abstraccin matemtica notablemente elevado. c.
Los pueblos de la Mesopotamia desarrollaron una matemtica tendiente a la
er
d.
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.
En este contexto surgieron algunos pensadores, como Tales de Mileto, Anaximandro y
Anaxmenes, que inauguraron una forma de especulacin racional sobre la naturaleza
que constituye el origen histrico de lo que llamamos ciencia.
Dichos pensadores reconocieron la importancia de la teora como organizadora de la
prctica. Esto significa que los conocimientos prcticos, basados en la experiencia,
tenan que poder explicarse a partir de nociones tericas. A partir de estas nuevas
ideas, los conocimientos de carcter concreto, singular y sin articulacin de los egipcios
y de los babilonios se fueron desarrollando y adquirieron un carcter ms abstracto y un
grado mayor de generalizacin, al tiempo que se iban integrando en un nico cuerpo de
conocimiento.
1
Entre estos pensadores nos interesa la figura de Tales de Mileto , 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.
La principal contribucin de Tales no fue la resolucin de problemas geomtricos
muchos de los cuales ya tenan solucin, sino el tratamiento general de esos
problemas. Esto le permiti formular y aplicar propiedades de carcter general,
dndoles ms importancia a los mtodos involucrados en la resolucin de problemas
que a las soluciones particulares.
Vamos a aclarar a qu nos referimos cuando:
er
a
b
Si llamamos a y b a sus lados, podremos calcular su permetro: P = a + b + a + b = 2a +
2b
Ahora hemos resuelto el problema de forma general.
------------------------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.
a. Una nueva actitud hacia la naturaleza por parte de los
pensadores griegos dio lugar a lo que hoy llamamos .......... d. el mtodo deductivo
b. Tales fue uno de los primeros matemticos en utilizar
e. un tratamiento
general
f. ciencia
er
3. Euclides y la geometra
er
Junto con los postulados y nociones comunes, Euclides incluye las definiciones. Por
er
er
Ejercicio 3
Antes de avanzar con la lectura, asegrese de poder responder las siguientes
preguntas:
a. Quin fue Euclides? Cundo y dnde vivi?
b. Cul fue su obra magna y cul su aporte a la geometra?
c. Cuntos postulados establece en su sistema?
d. Qu es un postulado?, en qu se diferencia de las nociones comunes?
e. Cul es el mtodo empleado por Euclides para la obtencin de teoremas?
f. Este mtodo, qu propiedad les garantiza a los teoremas y en qu condiciones?
g. Cmo definira un teorema?
h. La geometra de Euclides, era dependiente de las posibilidades prcticas de su
aplicacin?
c
b
Si la recta c corta a las rectas a y b y la suma de los ngulos y es menor que dos
er
er
Ejercicio 4
Complete las siguientes oraciones de modo que resulten correctas:
a. La verdad del quinto postulado de Euclides no es tan ..... como la de los
otros cuatro.
b. Por esta razn, los matemticos posteriores pensaron que podra tratarse de un
....
c. Los intentos de demostracin del quinto postulado no fueron exitosos porque sin
quererlo, siempre se apelaba a un enunciado ......
5. El trabajo de Saccheri
er
Por un punto exterior a una recta, pasa una sola paralela a dicha recta.
10
er
Ejercicio 5
Determine la verdad o falsedad de las siguientes oraciones.
a.
b.
c.
d.
6. Geometras no euclidianas
El matemtico alemn Carl Friedrich Gauss fue el primero que vio con claridad la
independencia del quinto postulado y la posibilidad de construir una geometra distinta
de la eucldea.
Recordemos que un postulado o axioma es independiente cuando no puede deducirse
de los dems postulados o axiomas del sistema. Si el postulado quinto de Euclides
fuera independiente, podra ser reemplazado por otro y, manteniendo los dems
postulados (1 a 4), se podra desarrollar una nueva geometra a partir de ese nuevo
grupo de postulados.
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,
11
er
En 1823, apareci un trabajo de Jnos Bolyai 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.
3
En 1826, Nikoli Lobachevski 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.
Muchos de los contemporneos de Lobachevski, educados como nosotros en un
mundo eucldeo, consideraron que esta geometra resultaba caricaturesca.
Recordemos que la geometra hiperblica resulta de tomar una de las hiptesis de
Saccheri, la de la existencia de infinitas paralelas. Faltaba estudiar la otra hiptesis, la
de la existencia de ninguna paralela. Cuando Saccheri desarroll esta hiptesis, haba
credo encontrar una clara contradiccin.
4
En 1854, Bernhard Riemman 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.
Esta geometra se denomina geometra elptica y supone algunas otras modificaciones
adems de la del quinto postulado. Como en este sistema la recta es cerrada, tampoco
se cumple el segundo postulado de Euclides, que es el que postula la infinitud de la
Adriana Espejo y Alejandra Valente
12
er
Euclides
N. de
paralelas
Una
Recta
180
Infinita
Infinita
Riemman (elptica)
Cerrada
Ninguna
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.
De este modo, el surgimiento de estas nuevas geometras origin un cambio en el
modo de concebir la disciplina, y se hizo inteligible la distincin entre una geometra
pura y una geometra aplicada; entre una geometra matemtica y otra fsica. La
primera meramente describa estructuras posibles; la otra pretenda describir la realidad
fsica.
Progresivamente, estos sistemas axiomticos fueron concebidos, entonces, como
estructuras formales, que partiendo de ciertos enunciados permitan construir edificios
coherentes, pero donde esos enunciados no referan a entidad alguna. As, al hablar de
punto o recta, no se haca referencia a algo en particular (a ninguna entidad especfica),
13
er
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:
1. El presidente es electo por el pueblo.
2. El mandato del presidente dura cuatro aos.
3. Luego de un primer mandato, el presidente puede ser reelecto.
4. Luego de un segundo mandato, puede ser reelecto.
14
er
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.
Volvamos entonces a la geometra. Todo pareca indicar que la geometra euclidiana
era la geometra del espacio y que las otras eran ms afines a la ficcin que a la
realidad. Una era la geometra que se aplicaba al mundo; las otras eran sistemas
meramente formales. Pero la historia tuvo un desenlace inesperado.
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.
15
er
obtienen
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.
De modo que las demostraciones parten de axiomas o de teoremas ya demostrados
previamente y, por aplicacin de las reglas de inferencia, permiten obtener nuevos
teoremas. Los axiomas de una demostracin juegan un papel similar al de las premisas
de una deduccin, y los teoremas (ltimo enunciado de una demostracin) pueden ser
asimilados a su conclusin. Una demostracin es, entonces, una secuencia finita de
pasos en donde cada uno se deriva de un enunciado anterior que es o bien un axioma,
o bien otro teorema que ya ha sido demostrado.
Todos estos enunciados estn compuestos por trminos (expresiones lingsticas con
significado), y podemos distinguir entre ellos dos tipos:
16
er
Ejercicio 8
Determine la verdad o falsedad de cada uno de los enunciados que se listan a
continuacin.
a.
17
er
Ejercicio 9
Determine cules de las siguientes afirmaciones corresponden a la concepcin
euclidiana de los sistemas axiomticos y cules a la concepcin contempornea.
a.
b.
c.
Los axiomas son verdades evidentes que se toman como puntos de partida.
La referencia de los trminos de un sistema axiomtico queda establecida a partir
de una interpretacin.
d.
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.
Trataremos de contestar a la primera pregunta. Supongamos que queremos justificar el
enunciado A. Para ello necesitamos otros enunciado. Supongamos por simplicidad que
solo necesitamos un enunciado, llammoslo B, del cual podamos deducir A. Pero
tambin tenemos que justificar B. Necesitaremos otro enunciado C del cual deducirlo.
18
er
19
er
Ejercicio 10
Indique el nmero de la opcin correcta y el de su correspondiente justificacin.
1. se definen
Porque
5.
2. no se definen
6. son trminos sencillos conocidos
por todos.
1. se demuestran
b. Los axiomas
de un sistema
axiomtico
Porque
2. no se
demuestran
6. ya estn demostrados.
20
er
Ejercicio 11
Complete los siguientes enunciados seleccionando alguna de las opciones que
se proponen, de modo que el enunciado resulte verdadero.
a. Un sistema axiomtico es consistente cuando
i.
todos los axiomas han sido demostrados.
ii. no puede derivarse un axioma de los otros axiomas del sistema. iii. no
pueden derivarse de sus axiomas un enunciado y su negacin.
iv.
se derivan de los axiomas todas las verdades del sistema.
21
er
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:
-
22
er
23