Historia de la geometra La geometra es una de las ms antiguas ciencias.

Inicialmente, constitua un cuerpo de conocimientos prcticos en relacin con las longitudes, reas y volmenes. En el Antiguo Egipto estaba muy desarrollada, segn los textos de Herdoto, Estrabn y Diodoro Sculo. Euclides, en el siglo III a. C. configur la geometra en forma axiomtica, tratamiento que estableci una norma a seguir durante muchos siglos: la geometra euclidiana descrita en Los Elementos. El estudio de la astronoma y la cartografa, tratando de determinar las posiciones de estrellas y planetas en la esfera celeste, sirvi como importante fuente de resolucin de problemas geomtricos durante ms de un milenio. Ren Descartes desarroll simultneamente el lgebra y la geometra, marcando una nueva etapa, donde las figuras geomtricas, tales como las curvas planas, podran ser representadas analticamente, es decir, con funciones y ecuaciones. La geometra se enriquece con el estudio de la estructura intrnseca de los entes geomtricos que analizan Euler y Gauss, que condujo a la creacin de la topologa y la geometra diferencial. Los tres problemas geomtricos de la Antigedad La geometra griega era incapaz de resolver tres famosos problemas geomtricos (que heredarn los matemticos posteriores), puesto que deban ser resueltos utilizando nicamente la regla y comps ideales, nicos instrumentos vlidos en la geometra griega. Estos tres problemas son los siguientes: La duplicacin del cubo Cuenta la leyenda que una terrible peste asolaba la ciudad de Atenas, hasta el punto de llevar a la muerte a Pericles. Una embajada de la ciudad fue al orculo de Delfos, consagrado a Apolo, para consultar qu se deba hacer para erradicar la mortal enfermedad. Tras consultar al Orculo, la respuesta fue que se deba duplicar el altar consagrado a Apolo en la isla de Delos. El altar tena una peculiaridad: su forma cbica. Prontamente, los atenienses construyeron un altar cbico cuyos lados eran el doble de las del altar de Delos, pero la peste no ces, se volvi ms mortfera. Consultado de nuevo, el orculo advirti a los atenienses que el altar no era el doble de grande, sino cuatro veces mayor, puesto que el volumen del cubo es el cubo de su lado ( ). Nadie supo cmo construir un cubo cuyo volumen fuese exactamente el doble del volumen de otro cubo dado, y el problema matemtico persisti durante siglos (no as la enfermedad).

Este problema consiste en dividir un ngulo cualquiera en tres ngulos iguales, empleando nicamente la regla y el comps, de manera que la suma de las medidas de los nuevos tres ngulos sea exactamente la medida del primero. Artculo principal: Cuadratura del crculo. La cuadratura del crculo consiste en tratar de obtener un cuadrado cuya rea mida exactamente lo mismo que el rea de un crculo dado. Anaxgoras fue el primero en intentar resolverlo, dibujando en las paredes de su celda. Fue apresado por explicar diversos fenmenos que los griegos atribuan a los dioses. Tampoco pudo ser resuelto por los gemetras de la antigedad, y lleg a ser el paradigma de lo imposible. Como curiosidad, el filsofo ingls David Hume lleg a escribir un libro con supuestos mtodos para resolver el problema. Hume no tena suficientes conocimientos matemticos, y nunca acept que sus mtodos eran fallidos. Los nuevos mtodos Agotamiento del mtodo sinttico La aparicin de la Geometra Analtica trae consigo una nueva forma de entender la Geometra. El nuevo mtodo, algebraico, sustituye al antiguo, el sinttico, consistente en establecer unos axiomas y unas definiciones y deducir de ellos los teoremas. El mtodo sinttico est a estas alturas casi agotado (aunque aun dar algunos resultados interesantes, como la caracterstica de Euler, la naturaleza de estos resultados no es ya tanto geomtrica como topolgica, y los resultados realmente importantes que se hagan en adelante en el campo de la Geometra ya vendrn de la mano de mtodos algebraicos o diferenciales), da paso al mtodo algebraico: estudio de los objetos geomtricos como representaciones en el espacio de ciertas ecuaciones polinmicas, o dicho de otro modo, del conjunto de races de polinomios. El mtodo sinttico slo volver a abordarse cuando aparezcan las geometras no eucldeas, y definitivamente deja de ser un instrumento de investigacin geomtrica a principios del siglo XX, quedando relegado a un conjunto de instrumentos y herramientas para la resolucin de problemas, pero ya como una disciplina cerrada. Los lmites del mtodo algebraico El mtodo algebraico se ve posibilitado por un avance en lgebra hecho durante el siglo XVI, la resolucin de las ecuaciones de grado 3 y 4. Esto permite generalizar la Geometra, al estudiar curvas que no son dadas por polinomios de segundo grado, y que no pueden construirse con regla y comps -adems de las cnicas, excluyendo a la circunferencia, claro-. Pero este mtodo, que terminar constituyendo una disciplina propia, la Geometra Algebraica, tardar aun mucho -siglo XX- en salir de unas pocas nociones iniciales, prcticamente inalteradas desde Descartes, Fermat y Newton. La razn ser la imposibilidad de resolver por radicales la ecuacin de quinto grado, hecho no

descubierto hasta el siglo XIX, y el desarrollo de la Teora de Anillos y del lgebra Conmutativa. El Clculo Infinitesimal El mtodo algebraico tiene otra generalizacin natural, que es la de considerar una curva no solo como una ecuacin polinmica, sino como una ecuacin en la que el polinomio es ahora sustituido por una funcin cualquiera . La generalizacin de todo esto desde el plano (2 coordenadas) al estereoespacio (3 coordenadas) se hace de forma natural aadiendo un tercer eje perpendicular (eje z) a los dos ya considerados, y las funciones tomarn la forma .

Ya Isaac Barrow descubre gracias a la Geometra Analtica la relacin entre la tangente a una curva y el rea que encierra entre dos puntos y los ejes coordenados en su famosa Regla de Barrow, antes incluso de que Newton y Leibnitz dieran cada uno su exposicin del Clculo Infinitesimal. La relacin entre el Anlisis Matemtico y la Geometra es as estrechsima desde incluso los orgenes de aqul. Las ideas geomtricas no slo fueron la base de los instrumentos iniciales del Clculo Infinitesimal, sino que fueron en gran medida su inspiracin. Por eso resulta natural que en un primer momento, Descartes, Newton o los Bernoulli no distinguieran entre los conceptos de curva y de funcin de una variable (o si se quiere, de curva y los ceros de una funcin de dos variables). Fue Euler el primero en empezar a intuir la diferencia, y el primero tambin en ampliar este tipo de estudios a las superficies (como funcin de dos variables o como el conjunto de los ceros de una funcin de tres variables). El trabajo de Monge contina por esta lnea. En adelante, y hasta la aparicin de Gauss, la Geometra queda supeditada a sus aplicaciones en Mecnica y otras ramas de la Fsica por medio de la resolucin de Ecuaciones Diferenciales. Se estudia en especial la interpretacin geomtrica de las ecuaciones diferenciales (tanto de la solucin en s como problemas asociados a ellas, como puede ser el de las curvas ortogonales). En esta poca aparece el que ser el caballo de batalla de la Geometra Diferencial: el Teorema de la Funcin Implcita. Fue Huygens el primero en estudiar la curvatura de una curva plana, aunque parece que fue Clairaut el que usa con maestra y fija el concepto. Geometra intrnseca Resulta complicado establecer una fecha precisa en la que los gemetras comenzaron a interesarse por cuestiones de geometra intrnseca. La matemtica griega plante los problemas geomtricos haciendo referencia a las propiedades mtricas de un conjunto de puntos definidos y localizados en el plano y en el espacio. La perspectiva era, por tanto, extrnseca.

Tradicionalmente, se le atribuye a Euler el descubrimiento en 1752 de una propiedad de los poliedros convexos.3 Llamando S, A y F al nmero de vrtices, aristas y caras, Euler demostr la relacin de igualdad S-A+F=2, conocida hoy como caracterstica de Euler. El resultado era sorprendente porque no haca intervenir ni la longitud ni el rea. En 1813 Simon Antoine Jean L'Huillier se dio cuenta de que la frmula de Euler se modificaba para un poliedro no convexo, con la forma, por ejemplo, de un slido con agujeros (como el toro: S-A+F=2-2g, siendo g el nmero de agujeros).4 ste es el primer clculo de un invariante topolgico que permit clasificar las superficies del espacio. No obstante, la perspectiva continuaba siendo extrnseca, pues los agujeros se ven desde el exterior. Cmo, por ejemplo, una hormiga que anduviese por una habitacin sin techo podra representarse el agujero? Carl Friedrich Gauss, interesado por la geometra de las superficies, estableci un resultado sin precedentes: el teorema egregium: "la curvatura de Gauss de una superficie del espacio no depende del modo en el que sta se inserta en el espacio ambiente.5 " La frmula de Gauss-Bonnet, presentida por Gauss y demostrada por Pierre-Ossian Bonnet en 1848, expresar la caracterstica de Euler en trminos de curvatura, evidenciando la imbricacin entre las consideraciones geomtricas y topolgicas.

La controversia sobre el V postulado

Jnos Bolyai.

Nikolai Ivanovich Lobatchevsky. Como ya se ha adelantado, Gauss es el primero en construir una geometra (un modelo del espacio) en el que no se cumple el V postulado de Euclides, pero no publica su descubrimiento. Son Bolyai y Lobatchevsky quienes, de manera independiente y simultneamente publican cada uno una geometra distinta en la que no se verifica tampoco el V postulado. Qu quiere decir esto? Tanto Bolyai como Lobatchevsky parten de un objeto geomtrico y establecen sobre l unos postulados que son idnticos a los de Euclides en Los Elementos, excepto el quinto. Pretenden originalmente razonar por reduccin al absurdo: si el V postulado depende de los otros cuatro, cuando lo sustituya por aqul que dice exactamente lo contrario, he de llegar a alguna contradiccin lgica. Lo sorprendente es que no se llega a contradiccin ninguna, lo cual quiere decir dos cosas: 1 El V postulado es independiente de los otros cuatro, es decir, no puede deducirse de los otros cuatro, no es un teorema, y Euclides hizo bien en considerarlo como un postulado. 2 Existen modelos del espacio en los que, en contra de toda intuicin, por un punto que no est en una cierta recta no pasa una nica recta paralela a la dada. Esto es tremendamente antiintuitivo, pues no podemos concebir tal cosa, no podemos imaginar (ni mucho menos dibujar) una situacin as, sin reinterpretar los conceptos de recta, plano, etc. Pero desde el punto de vista lgico es perfectamente vlido. Como es de imaginar, esto supuso una fuerte crisis en la Matemtica del siglo XIX, que vino a sumarse a otras controversias. Es importante sealar que las geometras de Bolyai y de Lobatchevsky, no depende de si se construyen usando mtodos analticos o sintticos. Existen formas de construirlas tanto de manera sinttica como analtica. El modelo es el mismo se llegue como se llegue, lo que abunda en su veracidad. La triseccin del ngulo y la duplicacin del cubo Un hecho aparentemente lejano en lgebra dar como resultado la resolucin de estos dos problemas. Galois muere a los 21 aos de edad dejando un "testamento" lleno de ideas apresuradamente escritas. Entre ellas se encuentran las bases de la Teora de Grupos y de la Teora de Galois. Galois resolvi el problema de encontrar una frmula para solucionar las ecuaciones de 5 grado, pero este resultado no lleg a ser publicado en (su corta) vida. Concluy que una ecuacin de grado 5 o mayor no puede ser resoluble por radicales (es decir, mediante una frmula con un nmero finito de operaciones

algebraicas). Su manera de abordar el problema abre una nueva va dentro de la Matemtica. Pero la Teora de Galois (una rama del lgebra que trata sobre cundo es posible resolver una ecuacin polinmica estudiando el conjunto de nmeros en los que se expresa esa ecuacin) no da slo esos frutos. Tambin demuestra que todo lo construible con regla y comps tiene una traduccin a polinomios muy concreta. Se demuestra que trisecar un ngulo o duplicar un cubo necesita de polinomios que no tienen esa forma, y por lo tanto, es imposible con la sola ayuda de la regla y el comps trisecar un ngulo cualquiera o duplicar un cubo. La cuadratura del crculo En 1862, Lindemann demuestra que el nmero es trascendente, es decir, no puede ser raz de ningn polinomio con coeficientes enteros. Esto implica que no es un nmero que pueda construirse con regla y comps, y demuestra que no es posible construir con slo estos instrumentos un cuadrado de rea igual a la de un crculo dado.

Riemann

Bernhard Riemann. El 10 de junio de 1854, Bernhard Riemann da una conferencia en la Universidad de Gotinga para completar su habilitacin (grado que le permitira optar a una plaza de catedrtico). El tema de la conferencia fue la Geometra, a eleccin de Gauss, su protector y antiguo profesor durante la licenciatura y el doctorado. La conferencia, cuyo ttulo fue

ber die Hypothesen, Welche der Geometrie zu Grunde liegen (Sobre las hiptesis que estn en los fundamentos de la geometra), pasa por ser una de las ms celebradas de la historia de la Matemtica, y uno de los mayores logros cientficos de la humanidad. De entre los presentes se dice que slo Gauss fue capaz de comprender su contenido, y hay que decir que le entusiasm.

Klein

Felix Klein. Felix Klein es la otra gran pieza clave de la Geometra en el siglo XIX. En 1871 descubri que la geometra euclidiana y las no euclidianas pueden considerarse como casos particulares de la geometra de una superficie proyectiva con una seccin cnica adjunta. Esto implicaba dos cosas: la primera es que la geometra euclidiana y las no euclidianas podan considerarse como casos particulares de la geometra proyectiva (o mejor dicho, de la geometra de una superficie en un espacio proyectivo). La segunda, que la geometra euclidiana es consistente (es decir, no puede llevar a contradicciones) si y slo si lo son las geometras no euclidianas. Con esto se da fin a la controversia de si las geometras no euclidianas tienen sentido o no, aunque el asunto colear aun unos aos ante el escepticismo de quienes considerarn errneo el argumento de Klein.

Pero la aportacin ms importante de Klein a la Geometra es su famoso Programa de Erlangen, donde da una nueva definicin de Geometra

Qu es entonces la Geometra? Klein da respuesta a esta pregunta introduciendo en la Geometra un nuevo concepto de carcter algebraico: el concepto de grupo. Un grupo es un conjunto en el que hay definida una operacin, es decir, una aplicacin que a cada par de elementos del conjunto le asigna otro elemento del conjunto (que ser el resultado de operar dichos dos elementos). Mientras que la mayora de la gente est familiarizada con las operaciones numricas, les resulta difcil imaginar que puedan operarse puntos, rectas, etc. Puede hacerse, y no hay ms que pensar en, por ejemplo, la operacin "tomar el punto medio", que a cada par de puntos le asigna el punto medio del segmento que une los dos primeros puntos. Para que un conjunto en el que haya una operacin sea un grupo deben de cumplirse ciertas condiciones, que son:

La operacin debe ser asociativa: esto quiere decir que si tomamos cualesquiera tres elementos del conjunto, el resultado de operar los dos primeros ( y ) y operar el resultado de ello con el tercero ( ) debe de ser lo mismo que si primero operamos el segundo y el tercero ( y ) y el resultado lo operamos con el primero ( ). Es decir, si la operacin la denotamos por ha de ocurrir que de ser lo mismo que . debe

Debe existir un elemento neutro: esto quiere decir que ha de haber un elemento del conjunto de manera que si tomo cualquier otro elemento del conjunto y lo opero con l, entonces el resultado vuelve a ser el elemento , es decir, es como si al elemento no lo hubiera operado. As, con nuestra notacin, y . Por ltimo, cada elemento debe tener un elemento simtrico: esto quiere decir que si yo tomo un elemento cualquiera del conjunto, entonces puedo encontrar otro elemento del conjunto de tal manera que al operar ambos, el resultado que obtengo es el elemento neutro: .

El concepto de grupo no es invencin de Klein, pero es l quien descubre un hecho fundamental que lo relaciona con las distintas geometras: cada geometra es el estudio de ciertas propiedades que no cambian cuando se le aplican un tipo de transformaciones. Esas propiedades, por no cambiar, las denomina invariantes, y las transformaciones que a un invariante no le hacen cambiar han de tener estructura de grupo bajo la operacin de

composicin (componer dos transformaciones es hacer una de ellas y aplicarle la otra transformacin al resultado de la primera). Resumiendo, Klein define soterradamente una geometra como dar el subgrupo de las biyecciones de un conjunto en s mismo que uno admitir como grupo principal. Los conceptos o definiciones sern los invariantes por ese grupo principal, y los teoremas sern las relaciones entre los conceptos. As Klein descubre que, por ejemplo, la geometra euclidiana es el estudio de los invariantes mediante el grupo de los movimientos rgidos (como las simetras, giros y traslaciones), que la geometra afn es el estudio de los invariantes mediante el grupo de las translaciones, que la geometra proyectiva es el estudio de los invariantes mediante el grupo de las proyectividades, e incluso que la Topologa es el estudio de los invariantes mediante el grupo de las funciones continuas y de inversa continua, entre otras. De hecho, Klein afirma que la comprensin de "tener una geometra, entonces hay un grupo principal" es ms bien al revs. Uno a priori dice qu tipo de transformaciones admitir (es decir, da el grupo) y todo lo dems se puede reconstruir a partir de l. Se demuestra incluso, que si uno da un subgrupo de las biyecciones de un conjunto en s mismo isomorfo a algn grupo clsico (simetras, translaciones, proyectividades) entonces todos los teoremas de esa geometra son vlidos en este. El descubrimiento de Klein es fundamental, ya que por un lado nos permite clasificar las geometras, comprendiendo cul es una "subgeometra" de cual, por otro lado nos permite comprender qu es el estudio general de la Geometra (como disciplina matemtica) y por ltimo, pero no menos importante, es la confirmacin de que los mtodos sinttico y algebraico no dan geometras distintas, sino que realmente estudian la misma geometra en cada caso. Se pone fin as a la distincin entre el mtodo sinttico y el algebraico-analtico. En su poca supuso la consagracin de la Geometra Proyectiva como la Reina de las Geometras.

Historia de la trigonometra

La historia de la trigonometra y de las funciones trigonomtricas podra extenderse por ms de 4000 aos. Los babilonios determinaron aproximaciones de medidas de ngulos o de longitudes de los lados de los tringulos rectngulos. Varias tablas grabadas sobre arcilla seca lo testimonian. As, por ejemplo, una tablilla babilonica escrita en cuneiforme, denominada Plimpton 322 (en torno al 1900 a. C.) muestra quince ternas pitagricas y una columna de nmeros que puede ser interpretada como una tabla de funciones trigonomtricas;1 sin embargo, existen varios debates sobre si, en realidad, se trata de una tabla trigonomtrica.10220122

La historia de la trigonometra comienza con los Babilonios y los Egipcios. Estos ltimos establecieron la medida de los ngulos en grados, minutos y segundos. Sin embargo, en los tiempos de la Grecia clsica, en el siglo II a.C. el astrnomo Hiparco de Nicea construy una tabla de cuerdas para resolver tringulos. Comenz con un ngulo de 71 y yendo hasta 180 con incrementos de 71, la tabla daba la longitud de la cuerda delimitada por los lados del ngulo central dado que corta a una circunferencia de radio r. No se sabe el valor que Hiparco utiliz para r. 300 aos despus, el astrnomo Tolomeo utiliz r = 60, pues los griegos adoptaron el sistema numrico (base 60) de los babilonios. Durante muchos siglos, la trigonometra de Tolomeo fue la introduccin bsica para los astrnomos. El libro de astronoma el Almagesto, escrito por l, tambin tena una tabla de cuerdas junto con la explicacin de su mtodo para compilarla, y a lo largo del libro dio ejemplos de cmo utilizar la tabla para calcular los elementos desconocidos de un tringulo a partir de los conocidos. El teorema de Menelao utilizado para resolver tringulos esfricos fue autora de Tolomeo. Al mismo tiempo, los astrnomos de la India haban desarrollado tambin un sistema trigonomtrico basado en la funcin seno en vez de cuerdas como los griegos. Esta funcin seno, era la longitud del lado opuesto a un ngulo en un tringulo rectngulo de hipotenusa dada. Los matemticos hindes utilizaron diversos valores para sta en sus tablas. A finales del siglo VIII los astrnomos rabes trabajaron con la funcin seno y a finales del siglo X ya haban completado la funcin seno y las otras cinco funciones. Tambin descubrieron y demostraron teoremas fundamentales de la trigonometra tanto para tringulos planos como esfricos. Los matemticos sugirieron el uso del valor r = 1 en vez de r = 60, y esto dio lugar a los valores modernos de las funciones trigonomtricas.El occidente latino se familiariz con la trigonometra rabe a travs de traducciones de libros de astronoma arbigos, que comenzaron a aparecer en el siglo XII. El primer trabajo importante en esta materia en Europa fue escrito por el matemtico y astrnomo alemn Johann Mller, llamado Regiomontano. aprincipios del siglo XVII, el matemtico John Napier invent los logaritmos y gracias a esto los clculos trigonomtricos recibieron un gran empuje.A mediados del siglo XVII Isaac Newton invent el clculo diferencial e integral. Uno de los fundamentos del trabajo de Newton fue la representacin de muchas funciones matemticas utilizando series infinitas de potencias de la variable x. Newton encontr la serie para el sen x y series similares para el cos x y la tg x. Con la invencin del clculo las funciones trigonomtricas fueron incorporadas al anlisis, donde todava hoy desempean un importante papel tanto en las matemticas puras como en las aplicadas.

Por ltimo, en el siglo XVIII, el matemtico Leonhard Euler demostr que las propiedades de la trigonometra eran producto de la aritmtica de los nmeros complejos y adems defini las funciones trigonomtricas utilizando expresiones con exponenciales de nmeros complejos.