Historia de La Geometría
Historia de La Geometría
Historia de La Geometría
Papiro de Ahmes.
Las primeras civilizaciones mediterrneas adquieren poco a poco ciertos conocimientos geomtricos de carcter eminentemente prctico. La geometra en el
antiguo Egipto estaba muy desarrollada, como admitieron Herdoto, Estrabn y Diodoro, que aceptaban que
los egipcios haban inventado la geometra y la haban
enseado a los griegos; aunque lo nico que ha perdurado son algunas frmulas o, mejor dicho, algoritmos
expresados en forma de receta" para calcular volmenes, reas y longitudes, cuya nalidad era prctica. Con
ellas se pretenda, por ejemplo, calcular la dimensin de
las parcelas de tierra, para reconstruirlas despus de las
inundaciones anuales. De all el nombre , geometra: medicin de la tierra (de (g) 'tierra' ms
(metra), 'medicin')
Los denominados Papiro de Ahmes y Papiro de Mosc
muestran conjuntos de mtodos prcticos para obtener
diversas reas y volmenes, destinados al aprendizaje de
escribas. Es discutible si estos documentos implican profundos conocimientos o representan en cambio todo el
conocimiento que los antiguos egipcios tenan sobre la
geometra.
2
Los historiadores antiguos nos relataron que el conocimiento de esta civilizacin sobre geometra as como los
de las culturas mesopotmicas pas ntegramente a la
cultura griega a travs de Tales de Mileto, los pitagricos
y, esencialmente, de Euclides.
0.2
La Geometra griega
0.2.1
b
c
c
a
a
c
c
b
a
La primera demostracin del teorema de Pitgoras Probablemente us un diagrama como el que se muestra.
0.2
La Geometra griega
trece volmenes, perdurar como nica verdad geomtrica hasta entrado el siglo XIX.
Entre los postulados en los que Euclides se apoya hay uno
(el quinto postulado) que trae problemas desde el principio. No se pona en duda su veracidad, pero tal y como
aparece expresado en la obra, muchos consideran que seguramente poda deducirse del resto de postulados. Durante los siguientes siglos, uno de los principales problemas de la Geometra ser determinar si el V postulado es
o no independiente de los otros cuatro, es decir, si es necesario considerarlo como un postulado o es un teorema,
es decir, puede deducirse de los otros, y por lo tanto colocarse entre el resto de resultados de la obra.
Apolonio trabaj en varias construcciones de tangencias
entre crculos, as como en secciones cnicas y otras curvas.
0.2.3
Despus de Euclides
Euclides casi cierra denitivamente la geometra griega La geometra griega era incapaz de resolver tres famosos
y por extensin la del mundo antiguo, a excepcin de problemas geomtricos (que heredarn los matemticos
las guras de Arqumedes y Apolonio de Perge.
posteriores), puesto que deban ser resueltos utilizando
Arqumedes analiz exhaustivamente las secciones cni- nicamente la regla y comps ideales, nicos instrucas, e introdujo en geometra otras curvas como la espiral mentos vlidos en la geometra griega. Estos tres probleque lleva su nombre, aparte de su famoso clculo del vo- mas son los siguientes:
lumen de la esfera, basado en los del cilindro y el cono.
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 (
(2l)3 = 23 l3 = 8l3 ). 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).
Esquema de las tres secciones cnicas: elipse, parbola e
hiprbola (ms la circunferencia).
4
da 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 lsofo ingls David Hume lleg a
escribir un libro con supuestos mtodos para resolver el
problema. Hume no tena sucientes conocimientos matemticos, y nunca acept que sus mtodos eran fallidos.
0.3
0.4
La Geometra Proyectiva
0.5
Ren Descartes.
La Geometra Cartesiana
0.6
y
3
(2,3)
1.1
Gauss devuelve el carcter geomtrico que impregna parte del anlisis matemtico, fundamentalmente con dos
contribuciones: el nacimiento del anlisis complejo y de
la geometra diferencial.
Pero no son las nicas contribuciones de ste genio al
campo de la geometra. En su adolescencia se vio dividido entre dedicarse a la lologa o a la matemtica. A los
17 descubri la manera de construir el polgono regular
de 17 lados, y la condicin necesaria y suciente para que
un polgono regular pueda construirse. Esto determin su
vocacin.
En su primera demostracin del teorema fundamental del
lgebra (de las cinco que realiz a lo largo de su carrera)
sent las bases del anlisis de variable compleja, usando
la interpretacin geomtrica de los nmeros complejos
como vectores jos del plano (no en este lenguaje, que
ser introducido mucho ms tarde). Por cierto, se atribuye a Gauss la paternidad de esta idea. Primero Wessel y
luego Argand se le anticiparon, pero nadie conoca los es-
1.2
1.2
1.2.1
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 dibuJnos Bolyai.
jar) una situacin as, sin reinterpretar los conceptos de
recta, plano, etc. Pero desde el punto de vista lgico es
Como ya se ha adelantado, Gauss es el primero en cons- perfectamente vlido.
truir una geometra (un modelo del espacio) en el que no
se cumple el V postulado de Euclides, pero no publica su Como es de imaginar, esto supuso una fuerte crisis en
descubrimiento. Son Bolyai y Lobatchevsky quienes, de la Matemtica del siglo XIX, que vino a sumarse a otras
manera independiente y simultneamente publican cada controversias.
uno una geometra distinta en la que no se verica tam- Es importante sealar que las geometras de Bolyai y de
poco el V postulado.
Lobatchevsky, no depende de si se construyen usando
Qu quiere decir esto? Tanto Bolyai como Lobatchevsky mtodos analticos o sintticos. Existen formas de consparten de un objeto geomtrico y establecen sobre l unos truirlas tanto de manera sinttica como analtica. El mopostulados que son idnticos a los de Euclides en Los Ele- delo es el mismo se llegue como se llegue, lo que abunda
mentos, excepto el quinto. Pretenden originalmente razo- en su veracidad.
nar por reduccin al absurdo: si el V postulado depende
de los otros cuatro, cuando lo sustituya por aqul que di- 1.2.2 La triseccin del ngulo y la duplicacin del
ce exactamente lo contrario, he de llegar a alguna concubo
tradiccin lgica. Lo sorprendente es que no se llega a
contradiccin ninguna, lo cual quiere decir dos cosas:
Un hecho aparentemente lejano en lgebra dar como re1 El V postulado es independiente de los otros cuatro, sultado la resolucin de estos dos problemas. Galois muees decir, no puede deducirse de los otros cuatro, no es un re a los 21 aos de edad dejando un testamento lleno de
teorema, y Euclides hizo bien en considerarlo como un ideas apresuradamente escritas. Entre ellas se encuentran
2 GEOMETRA INTRNSECA
En 1862, Lindemann demuestra que el nmero es trascendente, es decir, no puede ser raz de ningn polinomio con coecientes 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.
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 geomPero la Teora de Galois (una rama del lgebra que trata tricas y topolgicas.
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 demues- 2.1 Nuevos espacios con extraas propietra que todo lo construible con regla y comps tiene una
dades
traduccin a polinomios muy concreta. Se demuestra que
trisecar un ngulo o duplicar un cubo necesita de polino- La geometra no euclidiana nace de la imposibilidad de
mios que no tienen esa forma, y por lo tanto, es imposible demostrar el quinto postulado de Euclides. El primer incon la sola ayuda de la regla y el comps trisecar un n- tento de demostrarlo por reduccin al absurdo fue ensagulo cualquiera o duplicar un cubo.
yado por Saccheri en 1733.[6] Gauss fue el primero en
comprender la posibilidad de que existiesen geometras
alternativas a la eucldea.[7] Estas geometras seran desa1.2.3 La cuadratura del crculo
rrolladas por Lobatchevsky y Bolyai.
2.2 Riemann
Geometra intrnseca
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 du-
2.2
Riemann
10
2.2.2
2 GEOMETRA INTRNSECA
El modelo del Universo
En la segunda parte de la conferencia, Riemann se pregunta por el modelo que debe de seguir el espacio fsico,
el espacio en el que nos movemos, cul es su dimensin,
cul es su geometra.
Las ideas de Riemann, decididamente muy avanzadas para su poca, cuajaron denitivamente cuando Einstein y
Poincar, al mismo tiempo pero de manera independiente, las aplicaron al espacio fsico para crear la Teora de
la Relatividad.
El nuevo modo de Riemann de estudiar la Geometra considera que cualquier modelo de espacio (ya sea el plano, el
espacio tridimensional, o cualquiera otro) puede ser estudiado como una variedad diferenciable, y que al introducir en ella una mtrica se est determinando la geometra
que gobierna ese objeto. Por ejemplo, el plano no es, por
s solo, euclidiano ni no euclidiano, sino que introduciendo la mtrica eucldea es cuando en el plano verica el
V postulado de Euclides. Si en lugar de considerar esa
mtrica se introduce en el plano otra mtrica, como la de
Lobatchevsky, deja de vericarse el mismo postulado. La
propiedad de las geodsicas de minimizar la longitud entre dos de sus puntos sin salirse de la variedad recuerda
mucho a la denicin de las rectas como aquellas lneas
que determinan la menor distancia entre dos puntos. Se
considera que las geodsicas son a las variedades riemannianas lo que las rectas al espacio euclidiano, es decir, las
geodsicas son como las rectas de las variedades.
Felix Klein.
Ante la aparicin de las nuevas geometras no euclidianas, parece lgico preguntarse qu es la Geometra, mxime cuando la propia idea de la geometra euclidiana se
haba visto modicada desde la irrupcin de los mtodos algebraicos y analticos. Empieza a no estar tan claro
11
que la Geometra sea el estudio de puntos, lneas (rectas o curvas) y supercies, puesto que el propio Anlisis
Matemtico (sobre todo en el estudio de Ecuaciones Diferenciales) parece que tambin estudia tales objetos. Por
otra parte, los mtodos analticos y algebraicos tambin
son aplicables a las geometras no euclidianas. Hay, digamos, dos niveles de distinciones: por un lado, la de las
geometras no euclidianas y la geometra euclidiana, por
otro lado, la distincin entre el mtodo sinttico, el algebraico y el analtico.
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 dene 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 deniciones sern los invariantes
por ese grupo principal, y los teoremas sern las relacioQu es entonces la Geometra? Klein da respuesta nes entre los conceptos.
a esta pregunta introduciendo en la Geometra un nuevo
concepto de carcter algebraico: el concepto de grupo. As Klein descubre que, por ejemplo, la geometra eucliUn grupo es un conjunto G en el que hay denida una diana es el estudio de los invariantes mediante el grupo
operacin, es decir, una aplicacin G G G que a de los movimientos rgidos (como las simetras, giros y
cada par de elementos del conjunto le asigna otro elemen- traslaciones), que la geometra afn es el estudio de los
to del conjunto (que ser el resultado de operar dichos invariantes mediante el grupo de las translaciones, que
dos elementos). Mientras que la mayora de la gente est la geometra proyectiva es el estudio de los invariantes
familiarizada con las operaciones numricas, les resulta mediante el grupo de las proyectividades, e incluso que
difcil imaginar que puedan operarse puntos, rectas, etc. la Topologa es el estudio de los invariantes mediante el
Puede hacerse, y no hay ms que pensar en, por ejemplo, grupo de las funciones continuas y de inversa continua,
la operacin tomar el punto medio, que a cada par de entre otras.
puntos le asigna el punto medio del segmento que une los De hecho, Klein arma que la comprensin de tener una
dos primeros puntos.
geometra, entonces hay un grupo principal" es ms bien
Para que un conjunto en el que haya una operacin sea un al revs. Uno a priori dice qu tipo de transformaciones
admitir (es decir, da el grupo) y todo lo dems se puede
grupo deben de cumplirse ciertas condiciones, que son:
reconstruir a partir de l. Se demuestra incluso, que si uno
da un subgrupo de las biyecciones de un conjunto en s
La operacin debe ser asociativa: esto quiere decir mismo isomorfo a algn grupo clsico (simetras, translaque si tomamos cualesquiera tres elementos a, b, c ciones, proyectividades) entonces todos los teoremas de
del conjunto, el resultado de operar los dos primeros esa geometra son vlidos en este.
( a y b ) y operar el resultado de ello con el tercero (
c ) debe de ser lo mismo que si primero operamos el El descubrimiento de Klein es fundamental, ya que por
segundo y el tercero ( b y c ) y el resultado lo opera- un lado nos permite clasicar las geometras, comprenmos con el primero ( a ). Es decir, si la operacin la diendo cul es una subgeometra de cual, por otro lado
denotamos por ha de ocurrir que a (b c) debe nos permite comprender qu es el estudio general de la
Geometra (como disciplina matemtica) y por ltimo,
de ser lo mismo que (a b) c .
pero no menos importante, es la conrmacin de que los
mtodos sinttico y algebraico no dan geometras distin Debe existir un elemento neutro: esto quiere decir tas, sino que realmente estudian la misma geometra en
que ha de haber un elemento e del conjunto de ma- cada caso. Se pone n as a la distincin entre el mtodo
nera que si tomo cualquier otro elemento a del con- sinttico y el algebraico-analtico. En su poca supuso la
junto y lo opero con l, entonces el resultado vuelve consagracin de la Geometra proyectiva como la Reina
a ser el elemento a , es decir, es como si al elemento de las Geometras.
a no lo hubiera operado. As, con nuestra notacin,
ea=ayae=a.
Por ltimo, cada elemento debe tener un elemento simtrico: esto quiere decir que si yo tomo un
elemento cualquiera a del conjunto, entonces puedo
encontrar otro elemento a
del conjunto de tal manera que al operar ambos, el resultado que obtengo es
el elemento neutro: a a
=a
a=e.
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
3 Referencias
[1] Indro Montanelli, Historia de los griegos.
[2] Herodoto, Los nueve libros de la Historia, Libro I, LXXIV.
[3] Otros atribuyen la paternidad del descubrimiento a
Descartes. Cfr. M. De Jonquires, Note sur un Mmoire
de Descartes longtemps indit, et sur les titres de son auteur
la priorit d'une dcouverte dans la thorie des polydre,
Acadmie des sciences (France). Comptes rendus hebdomadaires des sances de l'Acadmie des sciences. 1835.
12
Enlaces externos
Vase tambin
Historia de la gnomnica
VASE TAMBIN
13
6.1
Text
Historia de la geometra Fuente: http://es.wikipedia.org/wiki/Historia%20de%20la%20geometr%C3%ADa?oldid=81475157 Colaboradores: Pino, Vivero, Rsg, Schummy, Loco085, Caos, Digigalos, Petronas, Airunp, Magister Mathematicae, Platonides, Alhen, Akhram,
Yrbot, Varano, Vitamine, .Sergio, Wewe, No s qu nick poner, Heliocrono, Baneld, McPolu, Monta990, BludgerPan, Er Komandante,
Ging Freecs, Tamorlan, BOTpolicia, CEM-bot, Laura Fiorucci, JMCC1, Mister, Iqmann, Gafotas, Dorieo, R2D2Art2005, Tortillovsky,
IrwinSantos, Tonis, Jurgens~eswiki, Osiris fancy, CommonsDelinker, Alephcero~eswiki, Humberto, Netito777, Xsm34, Nioger, Plux,
Rovnet, Macalla, Carlagrandon, Jtico, Technopat, Libertad y Saber, Matdrodes, BlackBeast, AlleborgoBot, Muro Bot, Bucho, Mushii,
Greek, El bot de la dieta, Tirithel, Jarisleif, HUB, Nicop, DragonBot, Addicted04, Eduardosalg, Leonpolanco, Charly genio, Alecs.bot, Petruss, YourEyesOnly, Juan Mayordomo, Rge, Raulshc, UA31, AVBOT, David0811, J.delanoy, NicolasAlejandro, Diegusjaimes, Arjuno3,
Saloca, Andreasmperu, Luckas-bot, Xtquique, Roinpa, Vic Fede, Barteik, Almavirt, Nixn, DSisyphBot, Gsobrevilla, Ortisa, Manuelt15,
Jkbw, Igna, Torrente, Botarel, AstaBOTh15, BOTirithel, Linux65, Jerowiki, Foundling, Miss Manzana, Axvolution, Allforrous, Sergio Andres Segovia, Grillitus, ChuispastonBot, Waka Waka, Metrnomo, Lcsrns, Antonorsi, KLBot2, Acratta, Johnbot, Mega-buses, Asqueladd,
Helmy oved, Engoca, Mmcarnicer, Alan, WBritten, Jean70000, ConnieGB, Maliutt, Jarould, Matiia, Egis57, ELTACOMASTERIZADOR
y Annimos: 274
6.2
Images
6.3
Content license