Problemas matemticos en la antigedad

De Epistemowikia

Tabla de contenidos
1 El quinto postulado de Euclides 1.1 Los elementos 1.2 El problema 1.3 Posiciones 1.4 Conclusiones 2 Tres problemas clsicos 2.1 La duplicacin del cubo 2.1.1 el origen 2.1.2 El primer paso 2.1.3 La contribucin de Arquitas 2.1.4 La maquina de Erasattanes 2.1.5 Otras Soluciones 2.1.6 Conclusin 2.2 la triseccin del ngulo 2.2.1 El origen 2.2.2 La aportacin Hipcrates 2.2.3 Aportacin de Arquimedes 2.2.4 Aportacin de Nicmedes 2.2.5 Soluciones de Pappo 2.2.6 Conclusin 2.3 la cuadratura del crculo 2.3.1 Origen 2.3.2 primeros pasos 2.3.3 La aprotacin Hipcrates 2.3.4 Tschebatorew y Dorodnow 2.3.5 Ferdinand Lindemann 2.3.6 Conclusin 2.3.6.1 soluciones sin regla y comps 2.3.6.1.1 Dinostrato 2.3.6.1.2 Nicomedes 3 Libros interesantes 4 Referencias bibliogrficas 5 licencia

El quinto postulado de Euclides

Los elementos
Euclides, en su obra ms famosa, Los elementos, se vale de un modelo de sistema axiomtico-deductivo basndose en unas proposiciones que pueden considerarse verdaderas sin necesidad de demostracin , pues estas son intuitivamente claras. Sobre tan slo cinco postulados y las definiciones que precisa construye toda la Geometra y la Aritmtica conocidas hasta el momento. Su obra, en trece volmenes, perdurar como nica verdad geomtrica hasta entrado el siglo XIX. Los cinco postulados de Euclides son los siguientes: 1. 2. 3. 4. 5. Por dos puntos diferentes slo se puede trazar una lnea recta. Todo segmento rectilneo se puede prolongar indefinidamente. Con un centro y un radio dado slo se puede trazar una circunferencia. Todos los ngulos rectos son iguales. Si una recta corta a otras dos formando a un lado ngulos internos, y la suma de estos es menor que dos rectos, las dos rectas prolongadas indefinidamente se encontrarn de ese lado.

El problema
Entre los postulados en los que Euclides se apoya hay uno, el quinto postulado, que ofrece controversia desde el principio . No porque se dude de su veracidad sino porque muchos consideran que tal y como est escrito en la obra, puede deducirse del resto de postulados. Para la mentalidad contempornea resulta difcil entender que se considerara polmico el V postulado. Esto es as porque el enunciado que se ha popularizado hasta sustituir al enunciado original es el de Ptolomeo (Por un punto exterior a una recta slo cabe trazar una paralela (Claudio Ptolomeo siglo II)). Pero, aunque es equivalente, el enunciado original es: Y que si una recta al incidir sobre dos rectas hace los ngulos internos del mismo lado menores que dos rectos, las dos rectas prolongadas indefinidamente se encontrarn en el lado en el que estn los [ngulos] menores que dos rectos. Al leerlo tal y como lo escribi Euclides y dentro de su contexto, es fcil comprender que muchos consideraran que el V postulado, mucho ms complicado en su formulacin que los otros cuatro, parece no encajar entre estos. 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 4, es decir, si es necesario considerarlo como un postulado o es un teorema.

Posiciones
Haba distintas posiciones frente al mismo. Por un lado estaban los que lo aceptaban sin ms como un postulado. En otro sector estaban los que prefieren incluirlo entre las nociones comunes (tipo Las cosas iguales a una misma cosa son tambin iguales entre s). Pero eran muchos los que consideraban que seguramente era posible probarlo a partir de los otros cuatro postulados (y de las definiciones y nociones comunes). Probablemente influyera decisivamente en esta posicin el hecho de que el postulado sea una proposicin condicional. En el fondo de este tipo de discusiones estaba el horror al infinito que se encuentra presente en la cultura clsica. La posibilidad de que las cosas sucedan en el infinito les produce a los griegos verdadera repulsa.

Conclusiones
Unos 22 siglos despus de que se escribieran los Elementos por fin se llega a una conclusin: el V postulado es independiente de los otros cuatro. El camino hasta est conclusin es muy importante para el desarrollo de la geometra, se empieza a estudiar la posibilidad de que existan geometras en los que no se cumple este postulado. Desde el punto de vista lgico no hay contradiccin ninguna en suponer que por un punto exterior a una recta puedan pasar ms de una paralela a la recta, o incluso ninguna. Para comprenderlo debemos hacer un esfuerzo de abstraccin por intentar olvidar nuestro significado intuitivo de qu es una recta y acudir nicamente a las definiciones de Euclides. Por ejemplo, si consideramos una superficie esfrica y le damos la denominacin de plano, encaja perfectamente en las definiciones de plano. En este caso, una recta debera de ser el trozo de circunferencia mxima que pasa por dos puntos dados. En tal situacin, por un punto exterior a una recta no pasara ninguna recta paralela a la dada. En el siglo XIX se da conclusin al problema de la independencia del V postulado. Lo hacen de manera independiente Bolyai y Lobatchevsky. La idea que dio solucin al problema es la siguiente: si el V postulado depende de los otros cuatro, es que no nos hace falta incluirlo entre nuestras hiptesis (postulados). As que en el desarrollo de la teora, tarde o temprano, aparecer en forma de teorema. Ahora bien, si eliminamos dicho postulado y le aadimos su negacin, de ser cierto que el postulado V depende de los otros, llegaremos a demostrarlo, y con ello tendremos que tanto una proposicin (el V postulado) como su contraria (la negacin del V postulado que ahora lo

sustituye) son ciertas. Habremos pues llegado a una contradiccin, algo que no es admisible. Alguna de las hiptesis tiene que ser falsa, y esta ha de ser la nueva que se ha introducido, pues es la nica que choca contra nuestra intuicin (las dems sabemos que son ciertas porque ya lo eran en la geometra de Euclides).Se lleg a demostrar que las geometras as obtenidas por Bolyai y por Lobatchevsky eran consistentes (lo que quiere decir que no contenan contradiccin lgica ninguna).

En la actualidad la cuestin sobre el V postulado ha quedado relegado a un problema histrico que ha contribuido enormemente al desarrollo de la Geometra, pero que actualmente parece que ya no puede seguir contribuyendo en ese sentido, y es tomado como una cuestin secundaria en el estudio de la geometra de un espacio.

Tres problemas clsicos

A parte de la polmica del V postulado, las matemticas griegas tenan tres problemas clsicos que fueron extremadamente importantes para el desarrollo de la geometra. Los tres problemas deban ser resueltos entonces utilizando regla y comps, nicos instrumentos aceptados en la Geometra de Euclides. Son los siguientes:

La duplicacin del cubo

el origen
La duplicacin del cubo consiste en construir el lado de un cubo que tenga el doble de volumen que otro cubo cuyo lado se da como dato del problema. El problema de duplicar el cubo ciertamente fue el ms famoso en los tiempos de los antiguos griegos. Segn la leyenda, 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 Delos, 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 8 veces mayor, puesto que el volumen del cubo es el cubo de su lado ((2L) = 2L = 8L). Nadie supo cmo construir un cubo cuyo volumen fuese exactamente el doble del volumen de otro cubo dado.

El primer paso
El primer paso importante en la duplicacin del cubo fue dado por Hipcrates: 1. Encontrar un cubo tal que su razn a un cubo dado sea igual a la razn entre dos lneas dadas. 2. Hipcrates redujo el problema a: Dadas dos lneas, encontrar dos medias proporcionales entre ellas. Es decir, dadas las lneas a, b encontrar x, y tales que ax = xy = yb. Con nuestra comprensin moderna de la proporcin es fcil ver que (1) y (2) son equivalentes ya que a x = (a x) = (a x)(x y)(y b) = a b As que si nos dan un cubo de lado a y queremos construir un cubo ba veces el volumen, entonces necesitamos construir un cubo de lado x.

La contribucin de Arquitas
Segun Heath: La solucin de Arquitas es la ms notable de todas, especialmente cuando se considera su fecha (primera mitad del siglo IV a.C.), ya que no es una construccin plana sino una atrevida construccin en tres dimensiones la cual determina un cierto punto como la interseccin de tres superficies de revolucin. La interpretacin moderna de la construccin usada por Arquitas segn la explica Eutocio sera la siguiente: Considrese un crculo con dimetro OA en el plano xy, donde O es el origen y A es el punto (a, 0). Sea B un punto sobre el crculo tal que OB = b. El objetivo es encontrar dos medias proporcionales entre a y b. Extindase OB hasta la tangente al crculo en A y sea C el punto de interseccin. Supngase que esta figura est en el espacio tridimensional en el que el eje Z pasa por O saliendo perpendicular al plano del diagrama. Imagnese ahora las tres superficies de revolucin a las que hace referencia Heath en la cita anterior. Una superficie es un medio-cilindro con el crculo OAB como base y que sale del plano del

diagrama. La segunda es la superficie de un cono producido por OC cuando el tringulo OCA se gira alrededor de la lnea OA. La tercera superficie se produce al considerar un semicrculo en el plano XZ con OA como dimetro por encima del plano XY y rotando este semicrculo sobre OA donde OA gira en el plano XY por encima de O. Esta superficie es la mitad de un toro tal que el hueco en su centro es solamente el punto O.

Supngase que las tres superficies de revolucin se cortan solamente en el punto P. Entonces P, al estar sobre el mediocilindro queda por encima de un punto N sobre el crculo OBA. Entonces las dos medias proporcionales construidas por Arquitas son OP y ON.

Para ver, usando matemticas modernas, por qu esto funciona notamos que la superficie cilndrica tiene la ecuacin (1) x + y = ax la superficie toroidal tiene ecuacin (2) x + y + z= a(x + y) y la superficie cnica tiene la ecuacin (3) x + y + z= ax b. Si (p, q, r) es el punto en el que estas tres superficies se intersecan, entonces OP = (p + q + r) mientras que ON = (p + q). Ahora bien, de (1) y (3) tenemos p + q + r = (p + q)b. Por lo tanto a( p + q + r) = ( p + q + r)(p + q) = ( p + q) como se requiere.

La maquina de Erasattanes
La mquina que invent Eratstenes para resolver el problema consta de dos lneas paralelas con tringulos entre ellas como se muestra en el diagrama superior. Aqu AE y DH son las dos longitudes para las cuales se requiere encontrar dos medias proporcionales. Ahora nos quedamos con el primer tringulo AMF fijo pero permitimos que los tringulos MNG y NQH se deslicen dentro del marco acotado por AX y EY. Rotar AX hasta que pase a travs de D pero mientras se hace esto, asegurarse de que los puntos B y C en los que esta lnea que se mueve corta a MF y a NG siga tambin dentro de los lados MG y NH de los dos tringulos que se mueven a la izquierda para permitir que esta configuracin siga siendo posible. Los tringulos se deslizan hacia la izquierda hasta que se alcance la parte baja de los dos diagramas. En este diagrama final BF y CG son las dos medias proporcionales entre AE y DH.

Otras Soluciones
A travs de los escritos de Eutocio sabemos que Eudoxo tambin dio una solucin al problema de duplicar el cubo. Sin embargo, su solucin se ha perdido ya que la versin que Eutocio tena era trivialmente errnea y por ello l no la reprodujo. Tambin dieron soluciones al problema Filn y Heron quienes utilizaron mtodos parecidos. Su solucin se produce de hecho por la interseccin de un crculo y una hiprbola rectangular. Nicomedes, que era muy crtico con la solucin mecnica de Eratstenes, dio una construccin que usaba la curva concoide, la cual tambin us para resolver el

problema de trisecar un ngulo.

Conclusin
Aunque todos estos mtodos distintos fueron inventados para duplicar el cubo e importantes descubrimientos matemticos fueron realizados en los intentos, los antiguos griegos nunca habran de encontrar la solucin que realmente buscaban, es decir, una solucin que pudiera hacerse mediante una construccin con regla y comps. Nunca encontraran tal construccin ya que sta no puede lograrse. Sin embargo, no haba forma de que los antiguos griegos pudieran demostrar este resultado porque requiere matemtica que estaban muy lejos de las que ellos desarrollaron. La demostracin de la imposibilidad tuvo que esperar a las matemticas del siglo XIX. En 1837 Wantzel public en el Journal de Liouville pruebas sobre: [] la manera de averiguar si un problema geomtrico puede resolverse con una regla y un comps. La duplicacin del cubo con regla y comps es imposible porque la raz cbica de 2, pese a ser un nmero algebraico, no puede obtenerse de los nmeros enteros por suma, resta, multiplicacin, divisin y extraccin de races cuadradas, que son las nicas operaciones que pueden hacerse con regla y comps. Esto es as porque el polinomio mnimo de la raz cbica de 2 sobre los racionales tiene grado 3. Basta con que se permita utilizar una regla con dos marcas y un comps para que sea posible duplicar el cubo.

la triseccin del ngulo

El origen
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. Quizs la manera en que surgiera el problema de la triseccin del ngulo fuera examinando la construccin de la biseccin de un ngulo con la regla y el comps. Esto es muy sencillo. Dado un ngulo CAB marcamos dos medidas iguales AB y AC. Completamos el paralelogramo CABD y dibujamos la diagonal AD que se puede ver fcilmente que bisecciona el ngulo CAB.

Seguramente los antiguos griegos se vieron en la necesidad de dividir ngulos en cualquier proporcin para tener as la posibilidad de construir polgonos de cualquier nmero de caras.

La aportacin Hipcrates
Hipcrates, quien hizo la primera aportacin importante a los problemas de cuadrar un crculo y duplicar un ngulo, tambin estudi el problema de trisecar un ngulo. Su mtodo es el siguiente: Dado un ngulo CAB dibujamos CD perpendicular a AB que corta este segmento en D. Completamos el rectngulo CDAF. Prolongamos FC hasta E y dibujamos la lnea AE que corta CD en H. Determinaremos el punto E de manera que se cumpla que HE = 2AC. De esta forma el ngulo EAB es 1 3 del ngulo CAB. Veamos que G es el punto medio de HEde manera que HG = GE = AC. Ya que ECH es un ngulo recto, CG = HG = GE. As, el ngulo EAB = ngulo CEA = ngulo ECG. Tambin como AC = CG tenemos el ngulo CAG = ngulo CGA. Pero el ngulo CGA = ngulo GEC + ngulo ECG = 2 CEG = 2EAB como se solicitaba.

Aportacin de Arquimedes
Dado un ngulo CAB dibujamos un crculo con el centro en A de manera que AC y AB son radios del crculo. Desde C dibujamos una lnea que corta la extensin de AB en E. Vemos que esta lnea corta el crculo en F y tiene la propiedad que EF es igual al radio del crculo. De nuevo esto puede hacerse de forma mecnica marcando una longitud igual al radio del crculo en la regla y movindola teniendo una marca en la extensin de BA y la segunda marca en el crculo. Movemos la regla manteniendo una marca en

la lnea y otra en el crculo hasta que la lnea pase por C. Entonces la lnea EC ya est construida. Finalmente dibujamos desde A el radio AX del crculo con AX paralelo a EC. As AX triseca el ngulo CAB. Es bastante sencillo de ver. El ngulo XAC = ngulo ACF = ngulo CF = ngulo FEA + ngulo FAE = 2 ngulo FEA = 2 ngulo XAB.

Aportacin de Nicmedes
Nicomedes produjo su famosa curva concoide para formalizar el proceso que hemos descrito de rotar una regla manteniendo un punto en una lnea.

Veamos como se puede obtener la triseccin de un ngulo agudo, usando la concoide de Nicomedes. NOTACIN: Entenderemos por ngulo(AOB) al ngulo mas pequeo que se puede definir con los vrtices A, O y B siendo O el vrtice. Primero vamos a entender como se ha hecho el dibujo y en que orden: 1. 2. 3. 4. 5. 6. 7. Trazamos un ngulo agudo, en nuestro caso el ngulo(AOB). Trazamos una recta perpendicular al lado AO. Esta recta cortar a lado AO en A y al lado OB en B. Construimos la Concoide de Nicomedes con los siguientes elementos: Como Polo el punto O. Como constante la distancia de O a B, es decir k=dist(O,B). Usaremos como directriz, la recta que trazamos perpendicular al lado AO Trazamos una recta perpendicular a la directriz que pase por B, y que cortar a la concoide de Nicomedes en el punto Q. 8. el ngulo(AOQ) es la tercera parte del ngulo(AOB).(imgenes en http://descartes.cnice.mec.es /materiales_didacticos/trisectrices_pge/nicomedes.html )

Soluciones de Pappo
Pappo da dos soluciones que involucran dibujar una hiprbola. La primera muestra que si AB es una lnea fija, entonces tenemos un punto geomtrico P de manera que 2ngulo PAB = ngulo PBA es una hiprbola. La hiprbola tiene excentricidad 2, foco en B y su directriz es la perpendicular de la bisectriz AB. La hiprbola se muestra en la izquierda de los dos diagramas. El diagrama de la derecha muestra cmo la hiprbola puede usarse para trisecar el ngulo AOB. Fijmonos en que, debido a la propiedad de la hiprbola vista anteriormente, 2 ngulo PAB = ngulo PBA. Pero 2 ngulo PAB = ngulo POB (el ngulo en el centro del crculo es dos veces el ngulo en la circunferencia que hay en el mismo arco) As, 2ngulo POB = ngulo POA como se solicitaba.

Conclusin
Estas construcciones descritas por Pappo muestran como los griegos 'mejoraron' sus soluciones al problema de trisecar un ngulo. Partiendo de una solucin mecnica progresaron hacia una solucin relacionada con las secciones cnicas. Nunca progresaron hacia las soluciones planas porque sabemos que son imposibles. Resulta imposible hacerlo slo con regla y comps, pues se demuestra que ello requiere obtener la raz cbica de un nmero complejo cualquiera, con valor absoluto. Se puede esbozar una demostracin ms completa para el caso de que el ngulo sea de 60. Si fuera trisecable, entonces el polinomio mnimo de cos 20tendra que ser de un grado potencia de dos (2,4,8,...). Esto es as porque, como se ha visto antes, construir un ngulo equivale a construir un punto en la circunferencia que subtienda ese ngulo, por lo que tangente, seno y coseno del ngulo deberan ser nmeros construibles, y ya se ha visto que slo los que resultan de polinomios de grado potencia de 2 son construibles. Usando la identidad trigonomtrica cos(3) = 4cos() 3cos(), se obtiene, haciendo cos 20 = y, 8y 6y 1 = 0, de modo que, con el cambio de variable, x = 2y, x 3x 1 = 0. Si ese polinomio pudiera reducirse a grado 2, tendra una raz racional, que por el teorema de la raz racional, debera ser 1 o 1, que evidentemente no son races. Por lo tanto, el polinomio mnimo para cos 20 es de grado 3, de modo que cos 20 no es construible y por tanto el ngulo de 60 no puede ser trisecado.

A pesar de no ser posible con un objeto recto sin marcar y un comps, es fcil de realizar en la prctica. Una solucin de tipo mecnico es muy sencilla de encontrar: Marcamos una longitud de 2AC en el extremo derecho de la regla y la deslizamos con una marca en CD y la otra en FC prolongndola hasta que la regla define una recta que pase por A. Adems si es posible trisecar ciertos ngulos. Por ejemplo, hay un mtodo muy directo para trisecar un ngulo recto. Dado el ngulo recto CAB dibujamos un crculo que corta AB en E. Dibujamos un segundo crculo (con el mismo radio) con el centro en E hasta que corta el primer crculo en D. Entonces DAE es un tringulo equiltero y el ngulo DAE es de 60 y DAC es de 30. Ya tenemos el ngulo CAB trisecado. La demostracin de la imposibilidad de realizar la triseccin del ngulo con regla y comps es publicada por Pierre Wantzel En 1837.

la cuadratura del crculo

(http://www.slideshare.net/letileo/cuadratura-del-crculo-1-presentation)

Origen
La cuadratura del crculo consiste en tratar de obtener, dado un crculo, un cuadrado cuya rea mide exactamente lo mismo que el rea del crculo con solo regla y comps. Los matemticos de la Grecia clsica pronto se interesaron por cuadrar superficies ms o menos irregulares limitadas por rectas . Desde un punto de vista prctico, cuadrar superficies irregulares permita simplificar el clculo de sus reas ya que, mientras poda ser fatigoso calcular el rea de una superficie no regular, el clculo del rea de su cuadrado equivalente sera trivial.

primeros pasos
Anaxgoras fue el primero en intentar resolverlo, dibujando en las paredes de su celda cuando fue hecho prisionero por explicar diversos fenmenos que los griegos atribuan a los dioses.Tambin lo intentaron Antifn y Brisn.

La aprotacin Hipcrates
Hipcrates de Quos demostr que ciertas figuras curvilneas construidas a propsito por l, llamadas lnulas, podan

cuadrarse. La resolucin de la cuadratura de las lnulas de Hipcrates cre una falsa expectativa entre los matemticos de la antigedad, llevndoles a pensar que podra cuadrarse el crculo. En geometra plana una lnula es un rea cncava limitada por dos arcos.

La cuadratura de la lnula de Hipocrates, es un caso especial de lnula, formada por dos crculos, el dimetro de uno de los cuales es uno de los lados del cuadrado inscrito en el primero de ellos. Tal y como demostr, el rea de la lnula es la cuarta parte del cuadrado inscrito, que corresponde a un tringulo. La cuadratura del tringulo ya era conocida, con lo que cuadrar la lnula (es decir mediante regla y comps) era posible.

Tschebatorew y Dorodnow
En el siglo XX Tschebatorew y A.W. Dorodnow probaron que, en general, las lnulas no pueden cuadrarse excepto los tres tipos de lnulas propuestos por Hipcrates y dos tipos ms aportados por Leonhard Euler en el siglo XVIII. De esta forma qued de manifiesto que la cuadratura de la lnula no era otra cosa que una solucin excepcional de un problema irresoluble, cosa que confundi a los matemticos durante siglos creyendo que las lnulas podran acercarlos a la cuadratura del crculo.

Ferdinand Lindemann
En 1882, el matemtico alemn Ferdinand Lindemann prob que es un nmero trascendente. Anteriormente a la publicacin de la demostracin de Lindemann, se saba que si era trascendente, entonces el clsico problema griego de cuadrar el crculo usando regla y comps no tenia solucin.

Conclusin
Se ha demostrado que cuadrar el crculo usando regla y comps es imposible, dado que implica encontrar un nmero trascendente y usando regla y compas slo es posible generar nmeros algebraicos. Siendo r el rea del crculo y b el rea del cuadrado, donde r y b son el radio del crculo y el lado del cuadrado respectivamente, se observa que, para el cuadrado de rea igual a la del crculo,b=r . En otras palabras, el radio del crculo y el lado del cuadrado son proporcionales, siendo el factor de proporcin. Esto implica que, si es posible cuadrar el crculo, se puede obtener con regla y comps, es decir, se podra obtener por medio de operaciones algebraicas. Sin embargo, los nmeros trascendentes son un subconjunto de los nmeros reales que se caracterizan, entre otras cosas, precisamente por no ser obtenibles a partir de tales operaciones. Si es un nmero trascendente, como demostr Lindemann, tambin lo es. De aqu la imposibilidad de cuadrar el crculo a la manera griega. soluciones sin regla y comps si no se exige resolver el problema con slo regla y comps, resulta sencillo hacerlo con una amplia variedad de mtodos geomtricos y algebraicos. El problema fue resuelto de esta forma muchas veces, ya en la antigedad.
Dinostrato

Dinstrato fue un matemtico y gemetra griego, hermano de Menecmo. Es conocido por emplear la cuadratriz para resolver el problema de la cuadratura del crculo. Para resolver este problema, Dinstrato emple la trisectriz de Hippias, que ms tarde fue conocida como cuadratriz tras la solucin de Dinstrato. Aunque Dinstrato resolvi el problema de la cuadratura del crculo, no emple para ello exclusivamente regla y comps, por lo que para los griegos su solucin violaba los principios fundacionales de sus matemticas.

La Cuadratriz de Hipas es despus de la recta y la circunferencia, la primera recta que se dibujo (siglo V a.C.), apareci incluso antes que las cnicas. Esta curva se define como el lugar geomtrico de los puntos del plano que son interseccin de dos recta que cumplen las siguientes condiciones: 1. Una recta es horizontal y se mueve a velocidad constante en direccin vertical. 2. Otra gira con velocidad constante. 3. En el instante inicial ambas rectas son perpendiculares y en el instante final coinciden. Su frmulas es la siguiente: x=ycot(y 2 a) (imagen en http://descartes.cnice.mec.es/materiales_didacticos/trisectrices_pge/hipias.html)
Nicomedes

Nicomedes tambin emple la cuadratriz de Hippias aplicndola al clculo de la cuadratura del crculo, segn Pappus de Alejandra: Para la cuadratura del crculo, Dinostrato, Nicomedes y ciertas otras personas posteriores emplearon cierta curva que toma su nombre de su propiedad, por lo que se denomina generadora de cuadrados. Eutocio menciona que Nicomedes se enorgulleca exageradamente por el descubrimiento de esta curva, contratndola con el mecanismo de Eratstenes para encontrar cualquier nmero de partes proporcionales, mtodo al que objetaba formalmente como impracticable y completamente ajeno al espritu de la geometra.

Libros interesantes
Algunos libros interesantes referentes a este tema son: F. Klein, Famous Problems of Elementary Geometry, Dover, New York, 1956. Este libro es una discusin de la duplicacin del cubo, la triseccin del angulo y la cuadratura del crculo, con demostraciones de su imposibilidad. D. E. Smith, The History and Transcendence of , en [Yo]. Una historia de con una demostracin de la imposibilidad de cuadrar el crculo.

Referencias bibliogrficas
http://es.wikipedia.org/wiki/Quinto_postulado_de_Euclides http://es.wikipedia.org/wiki/Historia_de_la_geometr%C3%ADa http://ciencia.astroseti.org/matematicas/articulo_4152_historia_duplicacion_del_cubo.htm http://es.wikipedia.org/wiki/Postulados_de_Euclides http://www.euclides.org/menu/articles/historiadelageometria.htm http://es.wikipedia.org/wiki/Regla_y_comp%C3%A1s#Duplicaci.C3.B3n_del_cubo http://descartes.cnice.mec.es/materiales_didacticos/trisectrices_pge/nicomedes.html http://es.wikipedia.org/wiki/Cuadratura_del_c%C3%ADrculo http://ciencia.astroseti.org/matematicas/articulo.php?num=4163 http://es.wikipedia.org/wiki/L%C3%BAnula_(geometr%C3%ADa) http://es.wikipedia.org/wiki/Cuadratura_de_la_l%C3%BAnula http://es.wikipedia.org/wiki/Nicomedes_(Matem%C3%A1tico) http://descartes.cnice.mec.es/materiales_didacticos/trisectrices_pge/hipias.html http://es.wikipedia.org/wiki/Dinostrato

licencia
Los contenidos de esta pgina estn publicados bajo los trminos de la licencia [arte libre (http://artlibre.org/) ]

Los contenidos de esta pgina estn publicados con la licencia Licencia Arte Libre (LAL) 1.2 (http://artlibre.org/licence/lal/es)
Eres libre de copiar, distribuir, comunicar, ejecutar pblicamente la obra y hacer obras derivadas Debes reconocer y citar la obra de la forma especificada por el autor o el licenciante. Al reutilizar o distribuir la obra, tienes que dejar bien claro los trminos de la licencia de esta obra. Una explicacin sencilla y en espaol de la licencia para usuarios no iniciados en derecho est disponible aqu (http://artlibre.org/licence/lal/es/) .

Obtenido de "http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Problemas_matem %C3%A1ticos_en_la_antig%C3%BCedad" Categoras: Revista Epistemowikia | Licencia Arte Libre 1.2 | TFAs de Clculo | Matemticas

Epistemowikia es parte de CALA (Campus Libre y Abierto). CALA es una iniciativa universitaria activista, de inteligencia colectiva, contra los guerreros del copyright (en el sentido que Lawrence Lessig proyecta en Por una Cultura Libre), centrada en los conceptos de comunidad abierta, colaboracin social y servicio universal. Como Proyecto de Investigacin nace en el marco de Investigacin y Desarrollo e Innovacin Tecnolgica del Grupo de Investigacin de Ingeniera Telemtica Aplicada y Comunicaciones Avanzadas

de la Universidad de Extremadura (UEx). La Asociacin Conocimiento Comunal

CONOMUN nacida en el seno de la Universidad de Extremadura, es la Directora General Ejecutiva (CEO, Chief Executive Officer ) de CALA. Contacto: conomun{EN}gmail{punto}com La colaboracin actual de la Universidad de Extremadura se limita al alojamiento de CALA virtual en los servidores de su Campus Virtual. La UEx no se hace en ningn caso responsable de los contenidos publicados en CALA.