Escolar Documentos
Profissional Documentos
Cultura Documentos
El propsito de este artculo es presentar el contexto y la obtuvo. Su mayor contribucin fue encontrar y organizar una
evolucin del sistema axiomtico propuesto por el gran base comn (axiomas) que permitiera demostrar los resulta-
matemtico griego Euclides, utilizando como base su li- dos conocidos en su poca, utilizando un razonamiento de-
bro I de los Elementos. La visin moderna de axiomas ductivo.
difiere sustancialmente de la que los define como ver- En este artculo enfatizamos que la pregunta verdad evi-
dades evidentes y sus resultados han tenido un impacto dente o falsedad?, aplicada por ejemplo a definiciones o a
fundamental en muchas disciplinas. Incluimos las impli- axiomas, no tiene sentido. En un sistema axiomtico moderno
caciones que esta gran obra de geometra ha tenido sobre los axiomas, aplicados a elementos indefinidos, se escogen y
la enseanza de geometra elemental. no se prueban. Utilizaremos como ilustracin el sistema axio-
mtico contenido en el libro primero de Euclides. Tambin
incluiremos una discusin sobre algunos libros de geometra
1 Introduccin elemental.
Las matemticas primitivas empezaron con clculos matem-
ticos de nmeros especficos, nmeros especiales como y
procesos particulares aritmticos, geomtricos o algebraicos, 2 Elementos de Euclides, Libro I
todo esto apoyado ms en el clculo numrico que en el rigor
deductivo, lo cual es una manera distinta de como procede- Euclides, conocido como El Padre de la Geometra fue un
mos hoy da en matemticas modernas. Vanse por ejem- matemtico griego del perodo Helenstico que destac en
plo las tablas de nmeros pitagricos contenidas en [5] y las Alejandra, Egipto, casi con total seguridad durante el reinado
multiplicaciones egipcias descritas por los romanos en [10]. de Ptolomeo I (del 323 a.C. al 283 a.C.).
Destacan en este sentido las matemticas de muchas civiliza- Los Elementos de Euclides estn constitudos por 13 li-
ciones antiguas, como la babilonia y la egipcia. Mencin bros. En el primero de ellos, el conocimiento geomtrico dis-
aparte merece la matemtica china y la hind; sus descubri- ponible fue organizado sistemticamente por Euclides. Aun-
mientos matemticos, realizados antes que sus contempor- que algunos de los resultados contenidos en los Elementos
neos del oeste [11,8] son considerados independientes. pueden no ser de su autora, antes que l las demostraciones
Euclides, quien vivi alrededor del ao 300 a.C. en Ale- distaban mucho de ser como se presentan en esta gran obra.
jandra es uno de los ms prominentes matemticos de la anti- El libro I consta de las siguientes partes:
gedad por los Elementos que llevan su nombre. La natu-
raleza de este tratado de matemticas hace que Euclides sea 1. Definiciones previas.
considerado como uno de los matemticos ms destacados de
2. Axiomas o Postulados.
todos los tiempos. Fue el primero en definir un sistema axio-
mtico el cual consiste en proponer axiomas, los que se uti-
3. Nociones Comunes.
lizan para derivar resultados, llamados teoremas o en el caso
de Euclides, proposiciones. Su belleza inherente est en el
4. Proposiciones o Teoremas.
1 Proyecto CONACYT 2005 # 25749: Estudio de Variedades Diferencia- En seguida, analizaremos cada una de ellas aunque no en
bles a travs de geodsicas y ramilletes. ese orden.
CARTA INFORMATIVA 1
2.1 Definiciones previas 2.2 Nociones Comunes de Euclides
En el libro I Euclides presenta 23 definiciones [4,9]. A con- Euclides presenta las siguientes propiedades, a las cuales llama
tinuacin presentamos las cuatro que nos parecen de mayor nociones comunes.
inters.
1. Cosas iguales a la misma cosa son tambin iguales en-
tre s.
1: Un punto es aquello que no tiene parte.
2. Si cosas iguales se aaden a cosas iguales, los totales
2: Una lnea es una longitud sin anchura. son iguales tambin.
4: Una lnea recta es aquella que yace por igual respecto 3. Si iguales se restan de iguales, los restos son iguales.
de los puntos que estn en ella. 4. Cosas que coinciden con una tercera son iguales entre
s.
23: Las lneas rectas paralelas son lneas rectas que, es-
tando en el mismo plano, se continuan indefinidamente 5. El todo es mayor que cualquiera de sus partes.
en las dos direcciones y no se cortan en ninguna de las
Es importante mencionar que en algunos contextos la no-
dos direcciones.
cin comn 5 no se cumple, por ejemplo:
Galileo (Pisa, 15 de febrero de 1564 - Florencia, 8 de
Muchos libros de geometra euclidiana, basados en los
enero de 1642) se percat de que de todos los nmeros natu-
Elementos, incluyen no solamente la lista completa de defini-
rales N = {1, 2, 3, . . .}, algunos tienen la propiedad de ser un
ciones de Euclides, sino que la extienden con algunas ms.
cuadrado perfecto {1, 4, 9, . . .} mientras que otros no lo son.
Un ejemplo es el libro de Wentworth y Smith [15], en cuya
Por ello, el conjunto de todos los nmeros en N, incluyendo
Introduccin los autores van desde describir el carcter de la
tanto a los cuadrados como a los no cuadrados, debera ser
Aritmtica hasta establecer definiciones como las siguientes:
mayor que el conjunto de los cuadrados. Sin embargo, por
cada cuadrado hay exactamente un nmero natural que es su
Definicin. Llmese axioma una proposicin que siendo evi-
raz cuadrada, y por cada nmero natural hay exactamente un
dente, no necesita demostracin.
cuadrado. As pues, no puede haber ms de un tipo que de
otro. En cuanto a nmero de elementos, N y {1, 4, 9, . . .} son
Definicin. Llmese postulado a una proposicin cuya ver- iguales. Ntese que se trata de conjuntos infinitos.
dad, aunque no tenga la evidencia de un axioma, se admite
sin demostracin.
Es importante mencionar que este proceso no tiene sentido 2.3 Postulados
todas las palabras son definibles en base a otras. En la percep- Empezaremos por recalcar que el que los postulados de Eu-
cin de la geometra euclidiana moderna, no se define nada: clides estuvieran incompletos y que algunas demostraciones
se empieza por escoger trminos indefinidos. Vase la Sec- estuvieran incorrectas no demerita el trabajo realizado por
cin 3. Observemos que tampoco los diccionarios empiezan este gran matemtico griego. Adems, en los textos moder-
con una definicin primaria, es decir, como base de lo que se nos ya no se hace diferencia entre las nociones de Axioma y
definir despus. Postulado; ambos se consideran sinnimos.
Sugerimos al lector interesado consultar los textos de geo- Los 5 postulados o axiomas de Euclides resultan muy co-
metra euclidiana [1,3,9,12,13] que contienen el punto de vista nocidos, y cumplen las propiedades que ahora se sabe debe
moderno de la geometra euclidiana para todos los niveles cumplir cualquier sistema axiomtico. Vase por ejemplo
educativos. [6], en los dos primeros captulos. El proceso histrico de
No podemos terminar esta seccin sin comentar que tanto reconocimiento de la independencia en particular del V Pos-
el libro de Wentworth y Smith como otros libros de geome- tulado dur 22 siglos. Fue hasta el siglo XIX cuando con
tra euclidiana adicionan definiciones al trabajo de Euclides, los trabajos de los distinguidos matemticos Bolyai, Gauss
todos en los primeros captulos. Vase por ejemplo el libro de y Lobachevsky, finalmente se demostr que el V postulado,
Baldor [2] y el libro de Seymour [14]. En nuestra opinin, es- tambin conocido como Postulado de las Paralelas, es inde-
tas obras han ejercido una influencia negativa en la enseanza pendiente de los 4 primeros postulados, [12, captulos 24-26].
de la geometra. Adems, en muchos programas de los nive- Despus de estos descubrimientos, Hilbert realiz una refor-
les elementales poco se le dedica a la geometra y usualmente mulacin de la geometra euclidiana, completando los axio-
se deja al final del periodo. Con frecuencia los profesores mas y cambiando algunas demostraciones que estaban inco-
enfrentan la escasez de tiempo para este tema desconocido rrectas. Posteriormente Birkhoff dio una formulacin en tr-
haciendo que sus estudiantes memoricen al menos una serie minos de mtrica que parece ser ms natural para los estudian-
de definiciones (incluyendo en algunos casos las de axioma y tes de esta poca. Los dos conjuntos de postulados aparecen
postulado) y si acaso alcanza el tiempo para estudiar alguna en [4], como apndices. Hay varios textos modernos de geo-
proposicin, como la de Pitgoras, la cual no se demuestra. metra euclidiana con la formulacin de Birkhoff. Algunos de
Esta prctica nada tiene que ver con el proceso deductivo. estos son [1,3,12,13].
CARTA INFORMATIVA 3
12. Edwin Moise, Geometra elemental desde un punto de
vista avanzado, CECSA, Mxico, 1976.
13. D. Pedoe, Geometry, a Comprehensive Course, Dover,
New York, 1988.
CARTA INFORMATIVA 5
xico fue sede de la 24a Olimpiada Iberoameri- En esta ocasin el equipo mexicano estuvo integrado por
cana de Matemticas (OIM), con la participacin los alumnos:
de 21 pases: Argentina, Bolivia, Brasil, Chile,
Colombia, Costa Rica, Ecuador, El Salvador, Es- Manuel Guillermo Lpez Buenfil (Chihuahua);
paa, Guatemala, Honduras, Mxico, Nicaragua, Panam,
Paraguay, Per, Portugal, Puerto Rico, Uruguay y Venezuela. Csar Bibiano Velasco (Morelos);
El certamen se llev a cabo del 17 al 27 de septiembre en la Daniel Perales Anaya (Morelos);
ciudad de Quertaro.
El objetivo fundamental de las Olimpiadas de Matemti- Erik Alejandro Gallegos Baos (Oaxaca).
cas, en cualquiera de sus versiones: estatal, nacional o inter-
nacional, es crear y promover el inters por las Matemticas Manuel Guillermo obtuvo medalla de oro, Daniel y Erik
para impulsar el desarrollo de la ciencia y la tecnologa. obtuvieron medalla de plata y Csar obtuvo una mencin ho-
La Olimpiada Iberoamericana de Matemticas es una com- norfica.
petencia pensada para alumnos inscritos en los niveles medio Para mayores informes ver
bsico o medio superior. El concurso se realiza en dos se- http://www.omm.unam.mx
siones de cuatro horas y media cada una. En cada una de ellas
los estudiantes se enfrentan a un examen escrito que consiste
de tres problemas.
ISBN: 968-9161-37-7 (versin en lnea), 968-9161-36-9 (versin en papel), 968-9161-38-5 (versin en CD)
El xito de la Teora de Grupos es impresionante y extraordinario. Es quizs, la rama ms poderosa e influyente de toda la
Matemtica. Influye en casi todas las disciplinas cientficas, artsticas (en particular en la Msica) y en la propia Matemtica
de una manera fundamental. El concepto de estructura y los relacionados con ste, como el de isomorfismo, juegan un papel
decisivo en la Matemtica actual. Este texto est basado en el de "Teora de Grupos: un primer curso" de Emilio Lluis-Puebla
publicado en esta misma serie y contiene el material correspondiente al curso sobre la materia que se imparte en la Facultad
de Ciencias de la Universidad Nacional Autnoma de Mxico, aunado a material optativo introductorio a un curso bsico de la
Teora Matemtica de la Msica.
Este texto sigue el enfoque de los otros textos de Emilio Lluis-Puebla sobre lgebra Lineal y lgebra Homolgica. En l
se escogi una presentacin moderna donde se introduce el lenguaje de diagramas conmutativos y propiedades universales, tan
requerido en la matemtica actual as como en la Fsica y en la Ciencia de la Computacin, entre otras disciplinas.
CARTA INFORMATIVA 11
AVISOS
CARTA INFORMATIVA
SOCIEDAD MATEMTICA MEXICANA
Nmero 62,
Octubre de 2009
Publicacin de la
Sociedad Matemtica Mexicana, A.C.
Apartado Postal 70-450,
04510 Mxico, D.F.
Tel. (55) 5747-3800 ext. 6414
smm@smm.org.mx
JUNTA DIRECTIVA
Fernando Brambila Paz
Presidente
Isidoro Gitler Goldwain
Vicepresidente
INVITACION Ernesto Lupercio Lara
Secretario General
Miguel A. Xicotncatl Merino
Secretario de Actas
Se invita a la comunidad matemtica a publicar en la Carta Informativa
de la Sociedad Matemtica Mexicana, anuncios de reuniones acadmi- Francisco Ortz Arango
Tesorero
cas como son congresos, coloquios, jornadas y en general de aconte-
cimientos del medio matemtico. Tambin se aceptan anuncios de Hebert Kanarek Blando
Vocal
concursos o reseas de libros.
Flor de Mara Aceff Snchez
Vocal
La Carta Informativa adems publica artculos de divulgacin de
matemticas, dirigidos a matemticos y profesores de matemticas. Las
propuestas de artculos de preferencia debern estar escritos en LaTeX,
COMIT EDITORIAL
pero tambin se aceptan en Word. Los archivos de imgenes pueden DE LA CARTA
ser en cualquier formato, pero con la mejor resolucin posible, sobre
Antonio Rivera Figueroa (Coordinador)
todo si se trata de fotografas.
Fernando Galaz Fontes
Gabriel Villa Salvador
Favor de enviar las propuestas a la direccin electrnica
Ernesto Lupercio Lara
arivera@cinvestav.mx, indicando en el asunto que es una solicitud para
la Carta Informativa. Vctor Hugo Ibarra Mercado
COLABORADORES
Rosa Mara Garca Mndez
Los editores
DISEO
Daniel Espinosa Prez
IMPRESIN
S y G editores, SA de CV
Tels. 5619-5293 / 5617-5610
sygeditores@cablevision.net.mx
PORTADA
Ganadores de la Olimpiada ???