Primeras Jornadas de Educacin Matemtica

Instituto Politcnico Superior Gral. San Martn Facultad de Ciencias Exactas, Ingeniera y Agrimensura Universidad Nacional de Rosario

Algunas historias de la Matemtica

Dirce Braccialarghe
dirce@fceia.unr.edu.ar
1

Entre las ciencias, la Matemtica tiene una situacin singular y paradjica. Es sin duda, la obra que el espritu humano ha desarrollado ms, mediante sus propias fuerzas, y que testimonia mejor su estructura funcional. Por contraste, en verdad sorprendente, es una disciplina que parece ajena a un nmero demasiado grande de inteligencias. De esta manera, una creacin esencialmente humana aparece a muchos hombres como inhumana, hasta deshumanizante. Profesor Willy Servais (1913-1979), conferencia Humanizacin de la enseanza de la matemtica, pronunciada en las Jornadas de Rennes, organizadas por la Asociacin de Profesores de Matemtica de Francia, setiembre de 1976.

La Matemtica debera ser considerada por nuestros alumnos como la ms humana de las ciencias. Es esto lo que ellos piensan? La Matemtica, a lo largo de la historia de la humanidad, aparece como la principal herramienta para idealizar la complejidad de los fenmenos de la naturaleza y de las actividades humanas. Nuestros alumnos, reconocen este aspecto de ella? Para que nuestros alumnos puedan apreciarla como un proceso de construccin humana, lento y laborioso, tenemos a nuestro alcance una fabulosa herramienta: su historia. La utilizacin de elementos de la historia de la Matemtica, a la hora de preparar nuestras clases, podra facilitar el aprendizaje de ciertos temas, aclarar conceptos, promover el inters por la disciplina y la amenidad en sus estudios. Tambin podra permitir obtener la atencin del alumno, enriquecer el estudio e incluso dar cabida a una matemtica ms entretenida. No se trata de desarrollar un curso de Historia de la Matemtica en nuestras clases. Cualquier tema, por ms sencillo que parezca, puede ser introducido recurriendo a ancdotas o a la presentacin del desarrollo histrico del mismo. Invitemos a nuestros alumnos, aunque sea de vez en cuando, a realizar un viaje por la historia de la Matemtica. En este taller trabajaremos con un tema simple, el nmero , como excusa para ponernos a pensar y reflexionar, demostrar y resolver cuestiones matemticas.

El nmero
Parece un problema simple. Construye un cuadrado que cubra la misma rea de un crculo usando solamente una regla y un comps. Qu dificultad podra existir? Durante 2000 aos pareci natural creer que el ser humano podra lograrlo. Como veremos se estaba en presencia de una ilusin. Pi: 1. La decimosexta letra del alfabeto griego ( , ) equivalente a nuestra p. 2. Mat. la letra usada como smbolo de la razn entre la longitud de la circunferencia y su dimetro [etim. pi, usada en matemtica para representar la palabra griega periphrion, periferia, permetro]

Infancia de
Civilizacin egipcia
La mayor parte de la informacin matemtica egipcia se debe a un cierto nmero de papiros que han conseguido sobrevivir a los estragos del tiempo durante ms de tres milenios y medio. El papiro ms extenso, de los que contienen informacin matemtica, es un rollo de unos 30 cm de alto y casi 6 m de largo conocido como el Papiro Rhind. Este papiro fue comprado en 1858 en Luxor, una ciudad comercial egipcia, por el anticuario escocs H. Rhind (de all su nombre). Tambin es conocido con el menos frecuente nombre de Papiro de Ahmes, denominacin que hace referencia al escriba que lo copi hacia el 1650 a.C. quien nos dice que el material se deriva de otro datado entre el 2000 y el 1800 a.C. Este escrito contiene fundamentalmente problemas aritmticos, algebraicos y de medicin de figuras geomtricas y sus soluciones. El historiador griego Herodoto (484-425 a.C.) nos cuenta que el hecho de que todos los aos, en ocasin del desbordamiento del Nilo, se borraran las lindes de los campos fue el que acentu la necesidad de los agrimensores egipcios de resolver problemas de medicin de terrenos. Si el terreno tiene la forma de un tringulo issceles, el problema 51 del Papiro de Ahmes establece cmo calcular su rea: tomar la mitad de lo que nosotros llamaramos la base y multiplicarla por la altura. Ahmes justifica este mtodo sugiriendo que al tringulo issceles se lo puede pensar formado por dos tringulos rectngulos que ubicados adecuadamente forman un rectngulo. El mtodo egipcio para hallar el rea del crculo se ha venido considerando desde hace mucho tiempo como uno de los progresos ms notables de la poca. En el problema 50 el escriba Ahmes 3

admite que el rea de un campo circular de 9 unidades de dimetro es la misma que el rea de un cuadrado de 8 unidades de lado. Actividad 1: Halle el valor que se asignaba a . No existen indicios que permitan suponer que Ahmes fuera consciente de que las reas de su crculo y su cuadrado no eran exactamente iguales. Justamente, el hecho de no realizar una distincin clara entre las relaciones que son exactas y las que son slo aproximadas es un defecto importante de la geometra egipcia. Sin embargo, sorprende la regla que utilizaban para hallar la longitud de una circunferencia: El rea de un crculo es a la longitud de su circunferencia como el rea del cuadrado circunscrito es a su permetro. Esta regla representa una relacin geomtrica de una importancia matemtica y de una precisin mucho mayores que la de la relativamente buena aproximacin de . El descubrimiento por parte de los egipcios de relaciones entre figuras geomtricas, frecuentemente, se ha pasado por alto y es precisamente en este punto donde llegaron a aproximarse en su actitud a la de sus ilustres sucesores griegos. Otro aspecto de esta civilizacin que, sin lugar a dudas, ha maravillado al mundo es el que tiene que ver con las magnficas construcciones edilicias. Las pirmides muestran un grado tan elevado de precisin, tanto en su construccin misma como en su orientacin, que en torno a ellas se han desarrollado leyendas infundadas. Herodoto nos cuenta que la pirmide de Giza fue construida en modo tal que el rea de cada cara lateral fuese igual al rea de un cuadrado de lado igual a la altura de la pirmide. Teniendo presente esta condicin resulta que: El largo del lado de la base es a la altura de la pirmide aproximadamente como es a 2. Actividad 2: Compruebe esta afirmacin.

y la Biblia
La Biblia nos proporciona informacin muy clara sobre el valor de . En el Antiguo

Testamento I Reyes, 7:23, leemos a propsito del altar construido en el templo de Salomn:

Hizo luego un mar de fundicin, de diez codos (codo = 0,444 m) de un borde al otro, redondo, de diez codos de alto y rodeado de un cordn de treinta codos. Este enorme recipiente llamado mar estaba destinado a contener el agua para los Sacerdotes. En II Crnicas 4:2 podemos leer: Hizo el mar de metal fundido, enteramente redondo, de diez codos de dimetro y cinco codos de alto, un cordn de treinta codos lo cea en derredor; Segn los historiadores este texto fue probablemente escrito alrededor del siglo VI a.C. Actividad 3: Halle el valor que aqu se asignaba a .

Civilizacin griega
Despus de que en Egipto el escriba Ahmes registr sus formulaciones, por cientos de aos, nadie se dedic a reflexionar sobre la medicin del rea de un crculo. El valor considerado para lo que hoy conocemos como la razn entre la longitud de la circunferencia y su dimetro era suficientemente bueno a los fines de la agrimensura y de la construccin de edificios. El estudio de la medida del rea del crculo fue retomado con renovado empeo en el siglo IV a.C. por los griegos pero ya no con la intencin de obtener frmulas para la medicin de terrenos sino con el propsito de explorar ideas. En este sentido, encontramos, por ejemplo, en el libro XII de los Elementos de Euclides (~300 a.C.) la proposicin nmero 2 que establece: La razn entre las reas de dos crculos es igual a la razn entre los cuadrados de sus dimetros. Este resultado fue enunciado por Hipcrates de Chios (470?- ? a.C.) y probablemente demostrado por Eudoxio (408-335 a.C.). Actividad 4: Busque la demostracin en: http://aleph0.clarku.edu/~djoyce/java/elements/elements.html http://www.euclides.org

Otro matemtico griego que se preocup por el clculo del rea del crculo fue Arqumedes de Siracusa (287-212 a.C.). En su tratado La medida del crculo formada por slo tres teoremas establece los siguientes resultados: Teorema I: El rea de un crculo es igual al rea de un tringulo rectngulo cuyos catetos son el radio y la longitud de la circunferencia.
10 long (C ) 10 < < 3+ 71 D 70

Teorema III: 3 +

Arqumedes hizo uso del mtodo de exhauscin utilizando polgonos inscriptos y circunscriptos en el crculo. Observemos que una consecuencia del Teorema I es una admirable confirmacin de que las constantes que ligaban la longitud de la circunferencia con el dimetro, y el rea del crculo con el cuadrado del radio, eran la misma (El nmero !). Con respecto al Teorema III debe tenerse en cuenta que ningn matemtico griego utiliz nunca ni nuestra notacin ni la idea de un nmero como razn de la longitud de la circunferencia al dimetro de un crculo. Tambin cabe aclarar que ningn matemtico griego anterior a Arqumedes se interes tampoco por el clculo de . Especialmente significativa es la ausencia del mismo en los Elementos de Euclides. Las aproximaciones por defecto y por exceso conseguidas por Arqumedes,
3,14084507 < < 3,14285714

serviran cumplidamente a las necesidades prcticas del clculo durante muchos siglos.

Actividad 5: Demuestre el Teorema I.

En aquella poca, adems de estas buenas aproximaciones, otros valores fueron utilizados para aproximar el valor de . Por ejemplo, Hern de Alejandra (75 d.C.) us la aproximacin 3 y Ptolomeo (150 d.C.) us 3 significa 3 + 1 7

17 , lo cual se escriba en aquel tiempo como 3 8 30 , que 120

8 30 + en el sistema de numeracin en base 60 que se utilizaba entonces. 60 3600

Adolescencia de
Comenz as una larga historia de clculo de cifras de con el propsito de hallar cierta regularidad en sus cifras. Con el mtodo de exhauscin se siguieron calculando ms y ms cifras exactas para . En el siglo V, en China, el astrnomo Tsu Chung-chih, utilizando polgonos inscriptos obtuvo el valor 355 . En 1579, F. Vite (1540-1603) consider polgonos inscriptos y 113

circunscriptos de 393.216 lados y encontr una forma de escribir como el producto infinito:

1 1 1 1 1 1 1 1 1 . + . + + ... 2 2 2 2 2 2 2 2 2

Cuando el matemtico alemn Ludolph van Ceulen (1540-1610) muri, haba calculado 35 cifras decimales exactas de . Es por esto que en Alemania tambin se conoce a como el nmero ludolfiano. En el 1621 el matemtico holands W. Snell movido por el inters de encontrar una forma ms eficiente de realizar los clculos desarroll una tcnica basada ms en la inteligencia que en la resistencia. Mientras sus predecesores por conseguir una mejor aproximacin de la longitud de la circunferencia haban, cada vez, duplicado el nmero de lados de un polgono, Snell encontr una aproximacin mejor utilizando el mismo nmero de lados. Simplemente inscribiendo y circunscribiendo un hexgono en un crculo se puede demostrar que est comprendido entre 3,14022 y 3,14160. Su valor era ms exacto que el de la aproximacin de Arqumedes que haba utilizado polgonos de 96 lados.

Actividad 6: Analizar el mtodo utilizado por Snell expuesto en:

http://www2.polito.it/didattica/polymath/htmlS/argoment/appunti/testi/Apr_03/appunti.htm

Edad madura de
Con el advenimiento del clculo infinitesimal (siglo XVII) se desarrollaron una gran variedad de mtodos infinitos que proporcionaron numerosas expresiones para . Como ejemplo presentamos algunas de ellas. John Wallis (1616-1713), matemtico ingls, encontr la siguiente expresin para utilizando un producto infinito:

2.2.4.4.6.6.8.... 1.3.3.5.5.7.7... 7

La serie Gregory (1638-1675)-Leibniz (1646-1716) de los arcotangentes,

arctg x = x
proporciona una nueva expresin para :

x3 x5 x7 + L 3 5 7

1 1 1 = 1 + L 4 3 5 7

La teora de las fracciones continuas permiti hallar una curiosa representacin para . Las fracciones continuas constituyeron un medio de gran importancia terica y prctica para obtener valores racionales cada vez ms aproximados a un nmero dado. Los primeros pasos en esta teora tuvieron lugar en Italia donde Pietro Cataldi (1548-1626), de Bolonia, haba ya expresado races cuadradas de esta forma. Una fraccin continua es una expresin de la forma a = a 0 +

1 1 a1 + a2 +O 1

donde a i representan

an

nmeros naturales excepto quizs a0 que podra tomar tambin el valor 0 . Puede demostrarse que
todo nmero racional puede expresarse utilizando una fraccin continua. 2 43 y de . 5 30

Actividad 7: Halle los desarrollos en fraccin continua de

Tambin puede utilizarse una extensin de la definicin anterior para expresar nmeros irracionales. Por ejemplo a partir de la ecuacin cuadrtica x 2 = a x + 1 obtenemos x = a + tiene as el siguiente desarrollo para x: 1 . Se x

x=a+ a+

1 1 a +O

Actividad 8: Encuentre la expresin en fraccin continua para el nmero de oro. Actividad 9: Observando que
fraccin continua para

2 1 es raz de la ecuacin x 2 + 2 x = 1 encuentre una expresin en

Leonhard.Euler (1707-1783), en una de sus obras, present el siguiente desarrollo en fraccin continua para :
8

1 12 1+ 32 2+ 52 2+ 72 2+ 2 +O

Encontrando as otra bella relacin entre y los nmeros naturales.

Actividad 10: Construyamos nuestra propia sucesin que converja a considerando el rea de los
polgonos regulares inscriptos en el crculo de radio 1 y haciendo tender el nmero de lados a infinito.

El siglo XX y el nmero
1947 1949 1955 1959 1961 1966 1967 1973 1983 1988 1989 1995 1996 1997 D.F. Ferguson calcula 808 decimales de con una calculadora empleando casi un ao. La computadora Eniac calcula 2.037 decimales de en setenta horas. La computadora Norc calcula 3.089 decimales de en trece minutos. La computadora IBM 704, en Pars, calcula 16.167 decimales de . Daniel Shanks y John Wrench, en Nueva York, usan una IBM 7090 para calcular 100.200 decimales empleando 8 horas, 43 minutos y 12 segundos. La computadora IBM 7030, en Pars, calcula 250.000 decimales de . La CDC 6600, en Pars, calcula 500.000 decimales de . Jean Guilloud y M. Bouyer usan un CDC 7600 para calcular un milln de decimales de . Y. Tamura y Y. Kanada usan una HITAC M-280H para calcular 16 millones de cifras en menos de 3 horas. Kanada calcula 201.326.000 cifras con una Hitachi S-820 en seis horas. Los hermanos Chudnovsky calculan 480 millones de cifras; Kanada encuentra 536 millones de cifras, los hermanos Chudnovsky calculan 1000 millones de cifras. Kanada calcula 6.000 millones de cifras. Los hermanos Chudnovsky calculan ms de 8.000 millones de cifras. Kanada y Takahashi calculan 51.500 millones de cifras con una Hitachi SR2201 en poco ms de 29 horas.

Naturaleza del nmero

Los nmeros naturales son utilizados por los hombres para contar objetos agrupados de diversos modos. Fueron creados por la mente humana? Segn Leopold Kronecker (1823-1891) fueron creados por Dios; el resto es obra de los hombres. Con el afn de satisfacer necesidades tericas (resolucin de ecuaciones) y prcticas (medir longitudes, reas, pesos y tiempo) se debi extender suficientemente el concepto inicial de nmero. As, luego de una larga evolucin histrica fueron gradualmente aceptados el cero y los enteros negativos. Si se quiere operar sin obstculos con las medidas de cantidades, que son susceptibles de subdivisiones arbitrariamente pequeas, es necesario extender el campo de la aritmtica ms all de los nmeros enteros. Se elige una unidad de medida y subdividiendo la unidad se construyen as los nmeros racionales obteniendo al mismo tiempo una representacin geomtrica en la recta numrica. Como sabemos adems de la razn prctica que indujo la aparicin de los nmeros racionales existen razones de carcter aritmtico que crearon la necesidad de introducirlos: resolver la ecuacin a x = b Cmo aparecen los nmeros irracionales? Qu necesidad vinieron a cubrir? Segmentos inconmensurables Cuando se comparan las longitudes de dos segmentos rectilneos a y b, puede ocurrir que a est contenido un nmero r exacto de veces en b. En este caso podemos expresar la medida del segmento b tomando como unidad a y diciendo que la longitud de b es r veces la de a. Pero puede ocurrir que, mientras que ningn mltiplo entero de a sea igual a b, se pueda dividir a en un cierto nmero de partes iguales, por ejemplo, n, cada una de longitud a/n y tales que un mltiplo entero m del segmento a/n sea igual a b:
b= m a n

En este caso decimos que los segmentos a y b son conmensurables. Si tomamos a a como el segmento unidad entonces todos los nmeros racionales corresponden a los segmentos conmensurables con el segmento unidad. Hasta aqu podra pensarse que todos los segmentos son conmensurables con la unidad pero no es tan simple la cuestin. Uno de los descubrimientos ms sorprendentes de los primeros matemticos griegos fue que existen segmentos inconmensurables y por lo visto anteriormente existen entonces tambin los nmeros irracionales. La teora de los inconmensurables de Eudoxio, presentada en forma geomtrica en el libro X de los Elementos es una obra maestra de la matemtica griega.

Actividad 11: Probar que la diagonal de un cuadrado es inconmensurable con su lado.

10

Se puede decir, en principio que un nmero irracional representa la longitud de un segmento inconmensurable con la unidad. Precisemos un poco ms esta definicin.

Actividad 12: a) Pruebe que

b) Pruebe que

2 y 3 no son racionales. 2 + 3 no es racional.

Utilizando la representacin decimal de los nmeros podemos decir que un nmero irracional es un nmero decimal no peridico. Pero esta definicin depende de la base numrica tomada (base 10). Hasta mediados del siglo XIX esta definicin era aceptada satisfactoriamente para definir el sistema de los nmeros racionales e irracionales designado con el nombre continuo numrico. Pero durante el perodo crtico de los principios y de la consolidacin de los resultados se fue abriendo paso la idea de que el concepto de nmero irracional requera un anlisis ms preciso. J. Dedekind (1831-1916), G. Cantor (1829-1920) y K.Weierstrass (1815-1897) fueron algunos de los matemticos que se abocaron a la construccin de una teora rigurosa de los nmeros irracionales. Quizs la ms sencilla de las definiciones de nmero sea la siguiente. Consideremos una sucesin cualquiera de intervalos I 1 , I 2 ,K de la recta numrica cada uno de los cuales est contenido en el precedente y tal que la longitud del intervalo ensimo tienda a 0 al crecer n. A una tal sucesin la llamaremos sucesin de intervalos encajados o encaje de intervalos. En correspondencia con cada sucesin de intervalos encajados existe precisamente un punto de la recta numrica que est contenido en todos lo intervalos. El punto es por definicin un nmero real; si no es un nmero racional se dice que es un nmero irracional.

Es un nmero real?
Efectivamente. Si consideramos un crculo de radio 1 y llamamos con p n y qn a los

permetros de los polgonos regulares inscripto y circunscripto, respectivamente, la desigualdad p n < 2 < q n nos da una respuesta completa pues determina un encaje de intervalos que definen el nmero 2 .

Actividad 13: a) Si ln es el lado del polgono regular inscripto en el crculo de radio 1 demuestre
que l2 n = 2 4 ln
2

b) Calcule el permetro de los polgonos regulares de 4, 8 y 16 lados y la razn permetro-dimetro en cada caso.

11

Es un nmero racional o irracional?

La respuesta a esta pregunta es un buen ejemplo de una cuestin que no puede ser resuelta utilizando una computadora. El hecho de que se hayan calculado tantas cifras decimales exactas para puede hacernos sospechar su irracionalidad pero de ninguna manera este conocimiento nos proporciona una prueba de la irracionalidad del nmero. Estamos aqu frente a un ejemplo de problema terico que requiere un profundo anlisis matemtico para su resolucin y que no puede ser resuelto utilizando solamente clculos. Al revs de lo que ocurre con el nmero e la demostracin de la irracionalidad de que Johann H. Lambert (1728-1777) dio en el ao 1761 es bastante difcil. El mtodo que utiliz se reduce al siguiente razonamiento: demostr primero que, si x es un nmero racional, tan(x) debe ser irracional. Sigue entonces que si tan(x) es racional, x debe ser irracional. Luego debe ser irracional.

Actividad 14: Busque alguna demostracin de la irracionalidad del nmero e. Actividad 15: Analice la siguiente demostracin de la irracionalidad de .
Supongamos que = a b donde a y b son nmeros naturales. y F ( x) = f ( x) + K + (1) j f ( 2 j ) ( x) + (1) n f ( 2 n ) ( x) ,

x n (a bx) n Pana n natural, sean f ( x) = n!

donde f ( 2 j ) denota la 2j-sima derivada de f. Entonces f y F tienen las siguientes propiedades: 1. f es un polinomio con coeficientes enteros excepto por el factor 1/n! 2. f ( x) = f ( x) 3. 0 f ( x) 4. 5. 6. 7. 8. para 0 x n! Para 0 j n , la j-sima derivada de f es cero en 0 y en . Para n j , la j-sima derivada de f es entera en 0 y en (de 1.). F (0) y F ( ) son nmeros enteros (de 4. y 5.). F + F '' = f (F(x) sin x F ( x) cos x )= f ( x) sin x (de 7.)

nan

Luego el valor de la integral de 0 a de f ( x) sin x es entero. Pero, para un n suficientemente grande la desigualdad (3) nos dice que el valor de la integral debe estar entre 0 y 1. Absurdo.

12

El smbolo

La letra del alfabeto griego ms conocida y usada es la letra . En minscula aparece en la calculadora y en numerosos textos cientficos. Es usada desde los alumnos de EGB hasta los docentes universitarios. Muchsimas personas reconocen el smbolo aunque no logren recordar exactamente su significado. Aunque pueda resultar sorprendente el smbolo ha sido usado con el significado moderno slo en los ltimos 250 aos. Uno de los primeros en usarlo en Matemtica fue William Oughtred en 1652. l defini la razn de la longitud de la circunferencia al dimetro como

donde era usada para el permetro y para

el dimetro. Algunos aos despus, J. Wallis us el smbolo o la letra hebrea mem para indicar lo que hoy designamos 4

. En 1685, Wallis us para representar la periferia descripta desde el

centro de gravedad de un cuerpo de revolucin. La primera vez que alguien us un solo smbolo para notar la razn de la circunferencia al dimetro no utiliz el smbolo . En 1689 J. Christoph Sturm, profesor de la universidad de Altdorf, en Baviera, us la letra e. Esta notacin no fue usada y por muchos aos los matemticos siguieron usando una expresin con dos smbolos como donde y r representaban el radio del crculo. En la obra Synopsis palmariorum matheseos, editada en 1706, William Jones us por primera vez el smbolo con su significado moderno. La obra de W. Jones no tuvo mucha influencia en el ambiente matemtico. Probablemente, su libro hubiera sido olvidado de no haber hecho uso del smbolo . Otros treina aos deberan transcurrir antes de que un importante matemtico, L. Euler, comenzase a usar este smbolo en su obra. En 1734 Euler estaba utilizando la letra p en lugar de y
g para notar

c o r

. Dos aos despus en sus artculos y en su correspondencia comenz a notar la

razn de la longitud de la circunferencia a su dimetro con la letra . Nadie sabe si Euler estaba al corriente del uso de por parte de Jones, cosa que no es muy importante. Lo cierto es que el uso del smbolo por parte de Euler fue contagioso y adquiri gran difusin. En fin, al tiempo en que A Legendre public el tratado lements de gomtrie (1794), casi todos los matemticos de Europa estaban usando el smbolo en el mismo modo en el que lo usamos hoy.

Actividad 16: En Matemtica, qu otro uso tiene el smbolo ?

13

La cuadratura del crculo

Uno de los problemas ms famosos de toda la historia de la Matemtica que involucra a es la cuadratura del crculo. Segn cuenta Plutarco (46?-120?), Anaxgoras (500-428 a.C.), oriundo de Jonia, se ocup de este problema mientras estaba encarcelado en Atenas por afirmar que el sol no era una deidad
sino una gigantesca piedra al rojo vivo y que la luna no era ms que una tierra deshabitada que reciba y reflejaba la luz del sol. No se tienen detalles relativos al origen del problema ni a las

reglas que lo regan pero algo ms tarde se sobreentenda ya que el cuadrado buscado, de rea exactamente igual a la de un crculo, haba de ser construido utilizando nicamente regla no graduada y comps (ambos instrumentos deban usarse un nmero finito de veces). A lo largo de la historia numerosos matemticos se vieron atrados por este famoso problema geomtrico que junto a la triseccin del ngulo y la duplicacin del cubo forman lo que llamamos los tres problemas clsicos de la antigedad. Una consecuencia histrica importante del planteo de estos desafos es que, en el intento de resolverlos, se produjo un notable impulso al desarrollo de la Matemtica. Tenemos aqu un buen ejemplo de cmo una simple situacin problemtica puede promover la investigacin matemtica. Recordemos que los griegos realizaban las operaciones algebraicas ms sencillas utilizando construcciones geomtricas elementales. As, por ejemplo para multiplicar los nmeros a y b construan segmentos con estas longitudes y procedan de la siguiente manera. Sea por ejemplo
AB

el

segmento

unidad.

Supongamos que las medidas de BD y BC son a y b, respectivamente. Para hallar a.b tenemos que unir los puntos A y C , trazar DE paralela a CA y utilizar el Teorema de Thales.
BE BD = , AB = 1 BE = BC . BD BC AB

Para obtener la raz cuadrada de GH, agregamos consecutivamente FG igual a la unidad; entonces dividiendo
FH en dos partes iguales, mediante el punto K y con centro

en K trazamos el crculo FIH y luego elevando desde G la perpendicular obtenemos GI que es la raz cuadrada buscada.

14

Algunos matemticos se apartaron de las restricciones impuestas para tratar de encontrar soluciones a los problemas. Arqumedes fue uno de ellos y su espiral le permiti trisecar el ngulo y cuadrar el crculo.

Actividad 17: Recordando que la espiral queda definida en coordenadas polares por la ecuacin
r = a , a > 0 , calcule la longitud de la subtangente polar de la espiral de Arqumedes para = 2

y muestre cmo puede utilizarse para cuadrar el crculo. Otro personaje famoso que se ocup brevemente de la cuadratura del crculo fue Leonardo da Vinci (1452-1519). l invent un modo curioso de encontrar el rea de un crculo: si se tiene una
rueda cuyo espesor es la mitad de su radio y se la hace realizar una rotacin completa, el rea de la huella que sta deja es igual al rea del crculo.

Volvamos al problema de cuadrar el crculo utilizando slo regla y comps. Observemos que si el crculo es de radio r, el lado del cuadrado buscado debe verificar que l 2 = r 2 . Es decir
l = r . Como r es una cantidad conocida el problema de la cuadratura queda reducido a la

construccin de ya que, como vimos antes, el producto de dos nmeros y la raz cuadrada de un nmero pueden construirse con regla y comps. Entonces nuestro problema se reduce a construir con regla y comps un segmento de longitud . Pero, como veremos, esto es imposible. Qu significa imposible en Matemtica? Comencemos caracterizando a los nmeros que son construbles con regla y comps. Observando las construcciones geomtricas anteriores, concluimos rpidamente que, dado un segmento unidad, los nmeros racionales son construbles. Tambin, por ejemplo, lo son los nmeros irracionales de la forma a + b 2 con a, b Q . Notemos que los nmeros as definidos forman un cuerpo que contiene al cuerpo de los racionales. Llamemos con F0 al cuerpo de los racionales y F1 al nuevo cuerpo. Se puede ahora extender el alcance de las construcciones tomando un nmero de F1 , por ejemplo, k = 1 + 2 , y extrayendo su raz cuadrada. El nmero

k = 1 + 2 es construble y con l los elementos del cuerpo formado por todos los nmeros p + q k con p y q nmeros arbitrarios de F1 . Siguiendo un procedimiento similar se puede ir extendiendo sucesivamente el cuerpo de los nmeros construbles. Resumiendo: dadas ciertas cantidades iniciales se pueden construir slo con la regla todas las cantidades del cuerpo F engendrado mediante procesos racionales a partir de las cantidades dadas. Utilizando el comps, es posible extender el cuerpo F de las cantidades construbles a un cuerpo
15

ms amplio, eligiendo un nmero k de F, extrayendo su raz cuadrada y construyendo el cuerpo F formado por todos los nmeros de la forma a + b k donde a y b son elementos de F. La totalidad de los nmeros construbles puede ser descrita ahora con precisin. Nmeros construbles son aquellos y slo aquellos que pertenecen a un cuerpo Fn del tipo descrito. Pertenecer a alguno de estos cuerpos? Recordemos las siguientes definiciones. Un nmero real o complejo es algebraico si es solucin de una ecuacin algebraica con coeficientes enteros. G. Cantor (1845-1918), matemtico alemn, demostr que el conjunto de nmeros algebraicos es numerable lo que asegur la existencia de nmeros no algebraicos; tales nmeros se llaman trascendentes, pues, como dijo L. Euler, trascienden el poder de los mtodos algebraicos. Puede demostrarse que todos los nmeros construbles son algebraicos. Pero que no todos los nmeros algebraicos son construbles. El nmero 3 2 es algebraico pero no es construble (Ver [2]).

Actividad 18: Demostrar que los nmeros de F1 son nmeros algebraicos observando que estos
nmeros son races de ecuaciones cuadrticas. Finalmente, la imposibilidad de la construccin con regla y comps de (y con ello la de cuadrar el crculo) fue obtenida demostrando que el nmero

es trascendente. La tcnica

necesaria para establecer que es trascendente fue creada por Charles Hermite (1822-1905), quien demostr que el nmero e es trascendente. Mediante un ligero perfeccionamiento del mtodo de Hermite, F. Lindemann (1852-1939) consigui, en 1882, probar la trascendencia de , poniendo fin para siempre a la vieja cuestin de la cuadratura del crculo.

Bibliografa
[1] Historia de las Matemticas. E. T. Bell. Ed.:Fondo de Cultura Econmica, Mxico (1949) [2] Qu es la Matemtica? R. Courant, H.Robbins. Ed.: Aguilar, Madrid (1962) [3] Matemticas e Imaginacin. E. Kasner, J.Newman.Ed. Hispanoamrica Argentina (1985) [4] Historia de la Matemtica. Carl B. Boyer. Ed.: Alianza Univ. Textos (1986) [5] Le gioie del . David Blatner. Ed. Garzanti (1999) [6] Historia de las Matemticas en la enseanza secundaria. J.L. Montesinos Sirera. Ed. Sntesis (2000) [7] Nuevas respuestas para antiguos dilemas. I. Zapico, G.Villa del Prat, M.Micelli, J. Muszkats, Primera Jornada regional de Historia de la Matemtica, Salta, 2003.

16

17