Ver el código de «Cuadratura del círculo»

{{imagen múltiple
   | width     = 250
   | image1    = Squaring the circle.svg
   | caption1  = Cuadrar el círculo: las áreas de este cuadrado y este círculo son iguales a &pi;. En 1882, se comprobó que esta figura no se puede construir en un número finito de pasos con un compás y una regla idealizados.
   | image2    = Hipocrat arcs.svg
   | caption2  = Algunas soluciones parciales aparentes dieron falsas esperanzas durante mucho tiempo. En esta imagen, la figura sombreada es una [[cuadratura de la lúnula|lúnula]]. Su área es igual al área del triángulo {{math|ABC}} (resultado debido a [[Hipócrates de Quíos]]).
  }}
[[Archivo:Cuadratura-circulo-02.png|270px|thumb|No existe un método geométrico que permita la cuadratura del círculo, es decir, relacionar un círculo y un cuadrado de igual área utilizando solo una regla y un compás.]]

La '''cuadratura del círculo''' (también, '''cuadrar el círculo''') es uno de los tres [[problemas clásicos de la matemática antigua]]. La tarea [[geométrica]] consiste en construir un [[cuadrado]] con la misma [[área]] que un [[círculo]] dado mediante un número finito de pasos. Es un problema [[relación de equivalencia|equivalente]] a la [[rectificación de la circunferencia]], es decir, a la construcción de un [[segmento]] recto con la misma longitud que una [[circunferencia]] dada. Ambas cuestiones a su vez están vinculadas a la construcción del [[número π]] (la mitad de la longitud de una circunferencia con un radio igual a la unidad) a partir de un segmento cuya longitud es igual a&nbsp;<math>1</math> [[unidad de longitud]]. Si se restringen los medios de construcción a [[regla y compás]], la tarea no se puede resolver debido a la [[número trascendente|trascendencia]] del número <math>\pi</math>. Sólo hasta 1882 el matemático alemán [[Carl Louis Ferdinand von Lindemann]] pudo demostrarlo.

Es uno de los problemas más populares de las matemáticas. Durante siglos, tanto matemáticos profesionales como aficionados buscaron en vano una solución. El término ''cuadrar el círculo'' se ha convertido en una [[metáfora]] en muchos idiomas para describir una tarea sin solución.<ref>{{DRAE|cuadratura}} '''la ~ del círculo'''. ''1. f. coloq. U. para indicar la imposibilidad de algo''.</ref>

== Historia ==

=== Prehistoria ===
[[Archivo:Circle in square with grid.svg|mini|upright|Método de aproximación de Ahmes (del [[Papiro de Ahmes]]): <br /> Un círculo con diámetro &nbsp;9 inscrito en un cuadrado con longitud de lado&nbsp;9, que se divide en nueve cuadrados más pequeños con longitud de lado&nbsp;3. <br /> El área del círculo corresponde aproximadamente a la de un octágono (irregular) (de 7x9) y algo más precisamente, a la de un cuadrado con una longitud de lado 8 (64)]]

Ya existían procedimientos para calcular aproximadamente áreas circulares en las antiguas culturas de oriente. Por ejemplo, en el [[Papiro de Ahmes]] (alrededor de 1650{{esd}}a.{{esd}}C.) se puede ver el diámetro de un círculo dividido en 9 partes. Su área exacta en estas unidades es <math>\tfrac{\pi}{4} \cdot 9^2 = 63{,}62\ldots</math>. Este valor se aproxima a un cuadrado de longitud lado 8, es decir, <math>8^2=64</math>. En un segundo método, el círculo se aproxima mediante un [[octógono]] irregular. Para ello, se cortan triángulos iguales con un total de 18 unidades de área del cuadrado de 9×9 en el que está inscrito, de modo que quedan 63. Dichas soluciones se obtuvieron empíricamente y estaban destinadas a la práctica, sin más consideraciones teóricas. En particular, no se hizo distinción entre la solución exacta y la aproximación.<ref>{{cita web |autor=Detlef Gronau |url=https://texte-dritter.antike-griechische.de/Gm.pdf#page=11&zoom=auto,-14,792 |título=Der Papyrus Rhind |obra=Vorlesung zur frühen Geschichte der Mathematik |editorial=Karl-Franzens-Universität Graz |página=11 |fecha=2009 |format=PDF |fechaacceso=2020-03-02}}</ref>

Los primeros procedimientos [[Razonamiento deductivo|deductivos]] basados en las [[matemáticas]], en los que las [[Demostración en matemática|demostraciones]] estaban respaldadas por [[teorema]]s se  desarrollaron a partir del {{siglo|VI|a|s}} en Grecia. Hasta cierto punto, ya se pueden vislumbrar en [[Tales de Mileto]], y más claramente en la escuela de los [[pitagóricos]] fundada por [[Pitágoras]].<ref>Árpád Szabó: ''Wie ist die Mathematik zu einer deduktiven Wissenschaft geworden?'' In: Jean Christianidis (Hrsg.): ''Classics in the History of Greek Mathematics''. Boston Studies in the Philosophy of Science, Band 240, Springer Science & Business Media, 2013, S. 68 ff. ({{Google books |BuchID= L8HcBwAAQBAJ&pg| Seite= 68}})</ref> Con el descubrimiento de los [[Conmensurabilidad|inconmensurables]], comúnmente atribuido al pitagórico [[Hípaso de Metaponto]] a finales del {{siglo|VI||s}} o principios del {{siglo|V|a|s}}, se constató que hay objetos construibles con [[regla y compás]] (como por ejemplo, la diagonal de un cuadrado) que no se pueden representar como un cociente de números enteros. Este hecho se convirtió en un descubrimiento notable, ya que hasta entonces los únicos tipos de números conocidos eran los enteros y las proporciones enteras (en el lenguaje actual, los "números racionales"), y en consecuencia se había pensado que todas las líneas geométricas tenían que ser conmensurables, es decir, tenían que tener una relación de longitud entera entre sí. En consecuencia, se comprobó que era posible construir geométricamente longitudes que no podían representarse de forma aritmética como un "número" en el sentido anterior (en el uso lingüístico actual, son los "números irracionales"). De repente, la geometría podía representar más de lo que podía representar la [[aritmética]].<ref>Wolfgang Tzschoppe: ''2.3 Die Zahlengerade füllt sich''. In: ''Struktur der Mathematik - Mathematik der Strukturen''. [[Books on Demand]], 2012, S. 40 ff. ({{Google books|BuchID=EkAY3AEQhiEC&pg|Seite=40}})</ref><ref>Andreas Büchter, Hans-Wolfgang Henn: '' 4.1.1 Ein kurzer historischer Überblick''. In: ''Elementare Analysis: Von der Anschauung zur Theorie''. Springer-Verlag, 2010, S. 107 ff. ({{Google books |BuchID=-EclBAAAQBAJ&pg | Seite= 107}})</ref> Como resultado de este descubrimiento, la aritmética pasó a un segundo plano a favor de la geometría. A partir de entonces, las ecuaciones tendrían que resolverse geométricamente, por ejemplo, colocando figuras una al lado de la otra y convirtiéndolas en rectángulos o cuadrados. Los tres problemas clásicos de construcción de las matemáticas antiguas datan de finales del {{siglo|V||s}}: además de cuadrar el círculo, la tarea de la [[trisección del ángulo]] y el [[Duplicación del cubo|problema de Delos]] (consistente en duplicar un cubo).<ref>{{cita web |autor=Detlef Gronau |url=https://texte-dritter.antike-griechische.de/Gm.pdf#page=31&zoom=80,-120,18 |título=Die Klassischen Probleme der Antike |obra=Vorlesung zur frühen Geschichte der Mathematik |editorial=Karl-Franzens-Universität Graz |página=32 |fecha=2009 |format=PDF |fechaacceso=2020-02-22}}</ref>

En general, no se exigía una restricción de los medios de construcción a la regla y el compás. Desde el principio, se encontraron soluciones a los tres problemas clásicos basados en ayudas adicionales. Sin embargo, con el paso del tiempo surgió la tendencia de imponer restricciones más rígidas, y ya en la época de [[Papo de Alejandría]] se había impuesto este criterio.<ref>Arthur Donald Steele: ''Über die Rolle von Zirkel und Lineal in der griechischen Mathematik''. In: Oskar Becker (Hrsg.): ''Zur Geschichte der griechischen Mathematik''; Wissenschaftliche Buchgesellschaft, Darmstadt 1965, S. 146–202</ref><ref>{{cita web |autor=Detlef Gronau |url=https://texte-dritter.antike-griechische.de/Gm.pdf#page=31&zoom=80,-105,800 |título=Athenische Periode (∼450−∼300 v.&nbsp;u.&nbsp;Z.) |obra=Vorlesung zur frühen Geschichte der Mathematik |editorial=Karl-Franzens-Universität Graz |página=31 ff. |fecha=2009 |format=PDF |fechaacceso=2020-02-22}}</ref>

=== Primeros trabajos ===
Según el escritor griego [[Plutarco]], el filósofo [[Anaxágoras]] fue uno de los primeros en haber ''"escrito sobre la cuadratura del círculo mientras estuvo en prisión"'' (''"escrito"'' o posiblemente ''"dibujado"'', del griego "ἔγραφε"),<ref>Helmuth Gericke: ''4. Die Quadratur des Kreises''; Mathematik in Antike und Orient, Springer-Verlag, 2013, S. 94 ({{Google books |BuchID=q9ynBgAAQBAJ&printsec | Seite=94 }})</ref> aunque no proporciona más detalles sobre la construcción de Anaxágoras. El encarcelamiento de Anaxágoras se produjo alrededor del 430 a.{{esd}}C., cuando el filósofo fue acusado de [[asebeia]] (irreverencia hacia dioses y antepasados) en [[Atenas]].<ref>Paul Deussen: ''Anaxagoras. Allgemeine Geschichte der Philosophie''. Band 2. F.A. Brockhaus, Leipzig 1911, S. 124 ff. ({{Google books |BuchID= S1ALAwAAQBAJ&pg| Seite= 124}})</ref>

Las fuentes más detalladas sobre los inicios de la investigación son principalmente comentarios de la [[antigüedad tardía]] sobre trabajos de [[Aristóteles]], es decir, textos que se escribieron con una diferencia de aproximadamente 900 años. En consecuencia, el orden cronológico y los procesos de pensamiento exactos de los primeros enfoques son inciertos. Las obras más importantes del {{siglo|V|a|s}} Provienen de [[Hipócrates de Quíos]], [[Antifonte de Atenas|Antifonte]], [[Brisón de Heraclea]] e [[Hipias de Élide]].<ref>Albin Lesky: ''Die Aufklärung und ihre Gegner: Die Fachwissenschaften. Geschichte der griechischen Literatur''. Walter de Gruyter, 2015, S. 545 ({{Google books |BuchID=EOV8DwAAQBAJ&pg | Seite= 545}})</ref>

[[Archivo:Hippokratovy měsíčky.png|mini|"Lúnulas de Hipócrates": el área de las "lúnulas" verdes equivale a la del triángulo rectángulo]]

La conversión de triángulos en rectángulos, de rectángulos en cuadrados ([[cuadratura del rectángulo]]) o la suma de dos cuadrados ([[teorema de Pitágoras]]) eran prácticas elementales con los teoremas geométricos conocidos. Alrededor del 440{{esd}}a.{{esd}}C., Hipócrates de Quíos dio un ejemplo de un área curvilíneamente limitada que podía convertirse exactamente en un cuadrado. Basado en el teorema, que todavía usaba como axioma, de que las áreas de segmentos similares de un círculo se comportan como los cuadrados sobre sus cuerdas, Hipócrates logró cuadrar áreas delimitadas por arcos circulares, las llamadas "[[Cuadratura de la lúnula|lúnulas de Hipócrates]]".<ref>[[Oskar Becker (Philosoph)|Oskar Becker]]: ''3. Lunulae Hippocratis''; Das mathematische Denken der Antike, Göttingen Vandenhoeck & Ruprecht, 1966, S. 58 ({{Google books|BuchID=Iemc6s5q0_kC|Seite=58}})</ref> Sin embargo, la cuadratura del círculo no se puede lograr de esta manera, ya que solo se pueden cuadrar ciertas lúnulas (como las construidas sobre los lados de un cuadrado), pero no es posible hacerlo a partir de los lados de un hexágono regular. En el {{siglo|XX||s}} [[Nikolái Chebotariov|Chebotariov]] y Dorodnov probaron que, en general, las [[lúnula (geometría)|lúnulas]] no pueden cuadrarse excepto los tres tipos de [[lúnula (geometría)|lúnulas]] propuestos por Hipócrates y dos tipos más aportados por [[Leonhard Euler]] en el {{siglo|XVIII||s}}. De esta forma quedó de manifiesto que la [[cuadratura de la lúnula]] no era otra cosa que una solución excepcional de un problema irresoluble, cosa que confundió a los matemáticos durante siglos, creyendo que las [[lúnula (geometría)|lúnulas]] podrían acercarlos a la cuadratura del círculo.

El hecho de que los triángulos (y por lo tanto los polígonos) pudieran convertirse en un cuadrado fue un segundo enfoque para construir un polígono con la misma área que el círculo. Antifonte tuvo la idea de aproximar el círculo con polígonos inscritos. Brisón de Heraclea refinó este procedimiento aproximando adicionalmente el círculo con polígonos circunscritos y formando un valor intermedio.<ref>Christoph J. Scriba, Peter Schreiber: ''Möndchenquadratur des Hippokrates. 5000 Jahre Geometrie: Geschichte Kulturen Menschen''. Springer-Verlag, 2013, S. 48 ({{Google books |BuchID= 9xrzBQAAQBAJ&pg| Seite= 48}})</ref>

Hipias de Élide ideó alrededor del 425{{esd}}a.{{esd}}C. un procedimiento para resolver la trisección angular mediante una curva que se generó mecánicamente superponiendo un [[movimiento circular]] con uno lineal. Cien años después, [[Dinóstrato]] descubrió que con la ayuda de esta curva, conocida como [[cuadratriz de Hipias]], se puede construir el segmento de longitud <math>2/\pi;</math> y por lo tanto, también un cuadrado de área <math>\pi</math> con la ayuda de más construcciones elementales. Sin embargo, dado que la circunferencia en sí es una ''curva trascendente'', no es posible obtener su desarrollo con regla y compás exclusivamente, por lo que no se logró hallar la solución buscada en sentido estricto.<ref>[[James Gow (Philologe)|James Gow]]: ''A Short History of Greek Mathematics, Franco von Lüttich''. 1884, Reprint: Cambridge University Press, 2010, S. 162–164 ({{Google books|BuchID=KSe_ZEmHaXEC|Seite=162}})</ref><ref>Jean-Paul Delahaye: ''Geschichte der Zahl <math>\pi</math> zur Zeit der Geometrie''; <math>\pi</math> — Die Story: Aus dem Französischen von Manfred Stern. Springer-Verlag, 2013, S. 71 ff. ({{Google books |BuchID= F3GcBgAAQBAJ&pg| Seite= 71}})</ref>

=== Arquímedes ===
[[Archivo:Quadratur Spirale.svg|mini|Cuadratura del círculo con ayuda de la espiral: ''A'' denota el punto de la espiral alrededor del origen&nbsp;''O'', al que llega después de la primera vuelta. La tangente a la espiral en este punto corta a la perpendicular a ''OA'' en ''B''. Según Arquímedes, el segmento ''BO'' es igual a la circunferencia del círculo con radio OA, por lo que el área del círculo rojo es igual al área del triángulo azul]]

Un tratado detallado con el título ''"Medición circular"'' nos ha llegado de [[Arquímedes]],<ref>In englischer Übersetzung von [[Thomas Heath|Thomas Little Heath]]: ''Measurement of a Circle. The works of Archimedes''. ed. in modern notation, with introductory chapters. University press, Cambridge 1897, S. 91 ff.; [https://quod.lib.umich.edu/cache/a/b/w/abw0362.0001.001/00000281.tif.20.pdf#page=3&zoom=80,-131,802 Digitalisat] (PDF)</ref> quien demostró tres teoremas básicos en este trabajo:

# El área de un círculo es igual al área de un [[triángulo rectángulo]] con el radio del círculo como uno de sus catetos y la circunferencia como el otro. El área del círculo se puede calcular como: (½·radio·circunferencia).
# El área de un círculo está relacionada con el cuadrado de su diámetro casi como: <sup>11</sup>/<sub>14</sub> (≃&pi;/4).
# La circunferencia de un círculo es mayor que (3+<sup>10</sup>/<sub>71</sub>) y menor que (3+<sup>10</sup>/<sub>70</sub>) del diámetro.

Con la primera proposición, el problema de cuadrar el círculo se redujo a la cuestión de la constructibilidad de la circunferencia de un círculo a partir de un radio dado y, por lo tanto, la constructibilidad de <math>\pi</math>. En la tercera proposición, Arquímedes dio una aproximación simple y precisa de este número, a saber, <sup>22</sup>/<sub>7</sub>, un valor (≈ 3,143) que todavía se utiliza hoy en día con fines prácticos. La segunda proposición es un [[corolario]] simple de las otras dos: que el área de un círculo es proporcional al cuadrado de su diámetro, lo que ya sabía [[Euclides]].<ref>{{cita web |autor=Rudolf Haller (Übersetzer) |url=http://opera-platonis.de/euklid/Buch12.pdf#page=1&zoom=80,-194,24 |título=XII.2. Kreise stehen im Verhältnis der Quadrate über ihren Durchmessern. |obra= [[Elementos de Euclides|Euklid: Elemente]] Stoicheia |editorial=Markgröningen: Edition Opera-Platonis |página=2 ff. |fecha=2017 |format=PDF |fechaacceso=2020-02-25}}</ref> Arquímedes dio aquí el valor de la constante de proporcionalidad.

Como prueba de sus afirmaciones, Arquímedes se basó en la idea de [[Brisón de Heraclea]], con la que se puede lograr cualquier aproximación del círculo mediante [[Polígono regular|polígonos regulares]] inscritos y circunscritos. A partir del hexágono inscrito y del triángulo circunscrito, Arquímedes llegó a los 96 lados duplicando sucesivamente el número de caras. Una estimación inteligente de las raíces cuadradas que aparecen en los sucesivos pasos del cálculo le permitió obtener como resultado los límites mencionados en la tercera proposición.<ref>F. Rudio: ''III. Der Umfang eines jeden Kreises ist dreimal so groß wie der Durchmesser und noch um etwas größer, … Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung''. 1892, S. 75 ff. ({{Internet Archive|archimedeshuyge00legegoog|Blatt=n89}})</ref><ref>Eugen Beutel: ''Archimedes'' Die Quadratur des Kreises. 1920, 2. Auflage. Teubner, Leipzig 1920. S. 14 ff.; [https://quod.lib.umich.edu/cache/a/b/n/abn2615.0001.001/00000001.tif.20.pdf#page=15&zoom=80,-131,792 umich.edu] (PDF)</ref>

En otro trabajo, ''"Sobre las espirales"'',<ref>En traducción al inglés de Thomas Heath: ''On Spirals'', The works of Archimedes, ed. in modern notation, with introductory chapters. University press, Cambridge 1897. S. 151 ff., [https://quod.lib.umich.edu/cache/a/b/w/abw0362.0001.001/00000341.tif.20.pdf#page=3&zoom=80,-131,792 (Digitalisat)] (PDF)</ref> Arquímedes describió la construcción de la [[Espiral de Arquímedes|espiral arquimediana]] (posteriormente nombrada así en su honor), que como la [[cuadratriz de Hipias]], se obtiene superponiendo un movimiento circular con otro lineal. Demostró que al aplicar la tangente a esta espiral, es posible determinar un segmento rectilíneo de la misma longitud que la circunferencia de un círculo dado. Autores posteriores citan este trabajo como una referencia para cuadrar el círculo, aunque el propio Arquímedes no dejó ninguna mención al respecto. Sin embargo, al igual que sucede con la cuadratriz, ni la espiral ni su tangente se pueden construir con regla y compás.<ref>{{cita web |autor=Hans-Dieter Rinkens |url=https://www.rinkens-hd.de/en/skripte/pi-i-e-2017/skript-piie-2017.pdf#page=19&zoom=80,-139,12 |título=<math>\pi</math>.3.2 Rektifizierung des Kreises mit Hilfe der archimedischen Spirale |obra=<math>\pi</math> i e Skript Wintersemester 2017/18 |página=19 |fecha=2017 |format=PDF |fechaacceso=2020-03-02}}</ref>

[[Archivo:Quadratur Franco.svg|mini|La cuadratura del círculo de Franco de Lieja mediante la división del círculo en 44 sectores, que junta para formar un rectángulo]]

Como resultado de un mayor interés por las matemáticas antiguas en la Europa cristiana desde alrededor del {{siglo|XI||s}} en adelante, surgieron varios tratados sobre la cuadratura del círculo, pero sin ninguna contribución significativa a la solución real. Debe verse como un paso atrás que en la Edad Media el valor aproximado de Arquímedes de <sup>22</sup>/<sub>7</sub> para el número &pi; se consideró un valor exacto durante mucho tiempo.<ref name="HelmuthG">Helmuth Gericke: ''Wissenschaft im christlichen Abendland (6.–10. Jh.), Franco von Lüttich. Mathematik im Abendland: Von den römischen Feldmessern bis zu Descartes''. Springer-Verlag, 2013, S. 75 ff. ({{Google books |BuchID= 1AiuBgAAQBAJ&pg| Seite= 75}})</ref>

Uno de los primeros autores medievales en revisar el problema de la cuadratura del círculo fue [[Franco de Lieja]]. Hacia 1050 publicó su obra ''"De quadratura circuli"'',<ref>Helmuth Gericke: ''Wissenschaft im christlichen Abendland (6.–10. Jh.), Franco von Lüttich. Mathematik im Abendland: Von den römischen Feldmessern bis zu Descartes''. Springer-Verlag, 2013, S. 74 ff. ({{Google books |BuchID= 1AiuBgAAQBAJ&pg| Seite= 74}})</ref> en la que presenta por primera vez tres sistemas de cuadratura, que rechaza. Los dos primeros indican un cuadrado de lado <sup>7</sup>/<sub>8</sub> o de diagonal <sup>10</sup>/<sub>8</sub> del diámetro del círculo, que corresponde a aproximaciones relativamente pobres de 3<sup>1</sup>/<sub>16</sub> y de 3<sup>1</sup>/<sub>8</sub> para <math>\pi</math>. La tercera sugerencia, a su vez, equipara el perímetro del cuadrado a la circunferencia del círculo, lo que requiere que se rectifique esta última.

La propia solución de Franco se basa en un círculo con un diámetro de 14 unidades. Establece su área exactamente como 7²&nbsp;×<sup>22</sup>/<sub>7</sub>&nbsp;=&nbsp;154. Según la argumentación de Franco, ningún cuadrado de igual área puede encontrarse matemáticamente, ya que la raíz cuadrada de <sup>22</sup>/<sub>7</sub> es irracional, pero como una línea inconmensurable geométricamente construible (véanse los antecedentes), la raíz cuadrada de <sup>22</sup>/<sub>7</sub> proporciona la cuadratura. Para llegar a este resultado, divide el círculo en 44 [[Sector circular|sectores]] idénticos, que combina para formar un rectángulo de lados 11 y 14. Sin embargo, Franco no explica el paso mediante el que sustituye los sectores circulares por triángulos rectángulos con catetos de longitud 1 y 7.<ref name="HelmuthGericke">Helmuth Gericke: ''Wissenschaft im christlichen Abendland (6.–10. Jh.), Franco von Lüttich. Mathematik im Abendland: Von den römischen Feldmessern bis zu Descartes''. Springer-Verlag, 2013, S. 76 ff. ({{Google books |BuchID= 1AiuBgAAQBAJ&pg| Seite= 76}})</ref> Su intento fallido de convertir el rectángulo en un cuadrado mediante una descomposición adecuada también es problemático. Evidentemente, Franco no estaba familiarizado con el procedimiento griego tradicional.<ref name="HelmuthGericke" />

Los tratados posteriores de la tradición [[escolástica]] se limitan a sopesar los argumentos de los matemáticos clásicos conocidos por entonces. La difusión de las traducciones latinas de los escritos de Arquímedes en la [[Edad Media]] permitió que el valor <sup>22</sup>/<sub>7</sub> se reconociera nuevamente como una aproximación y se buscaron nuevas soluciones al problema. Por ejemplo, [[Nicolás de Cusa]] tomó la idea de aproximar el círculo mediante una serie de polígonos regulares con un número creciente de lados, pero a diferencia de Arquímedes, no buscó determinar la circunferencia, sino que optó por determinar el radio del círculo circunscrito para un perímetro constante dado de los polígonos. En una carta al médico y naturalista [[Paolo dal Pozzo Toscanelli|Paolo Toscanelli]], el filósofo y teólogo von Kues dio esta solución, pensando que era correcta. El valor determinado a partir de este procedimiento para &pi; está al menos entre los límites dados por Arquímedes. El trabajo real de Kues sobre el tema proporciona aproximaciones significativamente más pobres y así se convirtió en el blanco de una polémica suscitada por el astrónomo [[Johann Müller Regiomontano]], que demostró la inexactitud de los cálculos y calificó la demostración de "filosófica, pero no matemática".<ref>F. Rudio: ''§ 8. Die Zeit der Renaissance. Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung''. 1892, S. 27–28 ({{Internet Archive|archimedeshuyge00legegoog|Blatt=n41}})</ref>

=== Avances al inicio del período moderno ===
Desde el {{siglo|XVI||s}} en adelante, el mayor desarrollo del método de aproximación de Arquímedes y la aparición de los métodos [[Análisis matemático|analíticos]] modernos produjeron avances en el cálculo de figuras circulares.

En el método de Arquímedes original, la circunferencia de un círculo se estima por el perímetro de un polígono inscrito en el interior de un círculo y el de un polígono circunscrito alrededor del círculo. La obtención de límites más precisos se logra aumentando el número de lados de los polígonos. El matemático holandés [[Willebrord Snel van Royen]] (Snellius) descubrió que, sin aumentar el número de lados, se pueden especificar límites más finos para la longitud de un arco usando solo las cuerdas de los polígonos. Sin embargo, no pudo probar este resultado [[Rigor matemático|rigurosamente]].<ref>{{Internetquelle |autor=F. R. Scherer |url=https://www.ngzh.ch/archiv/1929_74/74_3-4/74_30.pdf#page=1&zoom=110,-124,626 |título=Vergleichung dreier Verfahren zur angenäherten Rektifikation von Kreisbogen |editorial=Naturforschende Gesellschaft in Zürich |página=1 |fecha=1929 |format=PDF |fechaacceso=2020-02-22}}</ref> El perfeccionamiento del enfoque ''snelliano'' fue abordado por [[Christiaan Huygens]] en su obra ''"De circuli magnitudine inventa"'',<ref>F. Rudio: ''III Christian Huygens (1629–1695). Über die gefundene Größe des Kreises (De circuli magnitudine inventa). Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung''. 1892, S. 83–131 ({{Internet Archive|archimedeshuyge00legegoog|Blatt=n96}})</ref> en la que también proporcionó la demostración de los teoremas planteados por Snellius.<ref name="Scherer" /> Usando un método geométrico relativamente elemental, Huygens logró delimitar el área entre el polígono y el círculo tan bien que, para el número correspondiente de lados de los polígonos, la precisión resultante era al menos cuatro veces superior a la obtenida con el método de Arquímedes.<ref>F. Rudio: ''III Christian Huygens (1629–1695). Über die gefundene Größe des Kreises (De circuli magnitudine inventa). Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung''. 1892, S. 130 ({{Internet Archive|archimedeshuyge00legegoog|Blatt=n144}})</ref>

El enfoque puramente geométrico para determinar la constante circular se agotó esencialmente con el trabajo de Huygens. Se obtuvieron mejores aproximaciones usando series infinitas, específicamente la expansión en [[Serie matemática|series matemáticas]] de [[Función trigonométrica|funciones trigonométricas]].<ref name="Scherer">{{Internetquelle |autor=F. R. Scherer |url=https://www.ngzh.ch/archiv/1929_74/74_3-4/74_30.pdf#page=2&zoom=110,-124,626 |título=Vergleichung dreier Verfahren zur angenäherten Rektifikation von Kreisbogen |editorial=Naturforschende Gesellschaft in Zürich |página=2 |fecha=1929 |format=PDF |fechaacceso=2020-02-22}}</ref> Aunque [[François Viète]] ya había encontrado la primera representación exacta de <math>\pi</math> por medio de un producto infinito a fines del {{siglo|XVI||s}} al considerar ciertas relaciones entre polígonos sucesivos, esta fórmula demostró ser difícil de manejar. Una serie más simple que también solo necesita multiplicaciones y divisiones proviene de [[John Wallis]],<ref>Jean-Paul Delahaye: ''Die Geschichte von <math>\pi</math> zur Zeit der Analysis; <math>\pi</math> — Die Story''. Aus dem Französischen von Manfred Stern. Springer-Verlag, 2013, S. 84 ({{Google books |BuchID=F3GcBgAAQBAJ&lpg | Seite= 84}})</ref> y se debe a [[William Brouncker]] otra fórmula para calcular &pi; mediante una fracción continua.<ref>{{cita web |autor=Katrin Plank |url=https://imsc.uni-graz.at/baur/lehre/WS2014-LAK-Seminar/5_Plank.pdf#page=16&zoom=80,-103,827 |título=Darstellung als Kettenbruch |obra=Die Faszination der Zahl <math>\pi</math> |editorial=Karl-Franzens-Universität Graz |página=16 |fecha=2015 |format=PDF |fechaacceso=2020-02-22}}</ref>

Más importante en la práctica sería la serie encontrada por [[James Gregory]] e independientemente por [[Gottfried Leibniz]] para calcular el [[arco tangente]].<ref>Karl Helmut Schmidt: ''Zu Unendlich; Pi Geschichte und Algorithmen Einer Zahl''. [[Books on Demand]], 2001, S. 37 ({{Google books|BuchID=KayBVX5OuLYC&lpg|Seite=37}})</ref> Aunque esta serie [[Límite de una sucesión|converge]] lentamente, permite deducir otras series que a su vez son muy adecuadas para calcular el número &pi;. A principios del {{siglo|XVIII||s}} se calcularon más de 100 dígitos de &pi; con la ayuda de tales series,<ref>Rudolf Wolf: ''Die Reform der Goniometrie durch und seit Euler'', Handbuch der Astronomie, ihrer Geschichte und Litteratur, F. Schulthess, Zürich 1890, Bd. 1, S. 177 ([https://www.e-rara.ch/zut/content/pageview/3614677 Digitalisat])</ref> pero no se pudo obtener nuevos conocimientos sobre el problema de la cuadratura del círculo.

=== Problema algebraico e irracionalidad de π ===
[[Archivo:Descartes La-Geometrie 1637.png|mini|Al comienzo de su "Géométrie", Descartes describe el nuevo enfoque de la geometría analítica]]
[[Archivo:Finé, Oronce – Quadratura circuli, 1544 – BEIC 99133.jpg|mini|[[Oronce Finé]], ''Quadratura circuli'', 1544]]
[[Archivo:Faurè - Dissertation, découverte, et demonstrations de la quadrature mathematique du cercle, 1747 - 1515965.jpg|mini|[[J. P. de Fauré]], ''Dissertation, découverte, et demonstrations de la quadrature mathematique du cercle'', 1747]]

Para resolver el problema, era necesario, por un lado, darle al término geométrico ''"construible"'' un significado [[Álgebra|algebraico]] y, por otro lado, observar más de cerca las propiedades del número &pi;.

Una construcción geométrica con regla y compás se basa en un número finito de puntos dados y en determinar mediante un número finito de pasos nuevos puntos al cruzar dos líneas rectas, dos circunferencias o una línea recta con una circunferencia. La traducción de este procedimiento al lenguaje del álgebra se logró mediante la introducción del [[coordenadas cartesianas|sistema de coordenadas]] gracias a [[Pierre de Fermat]], procedimiento desarrollado principalmente por [[René Descartes]] a través de la [[geometría analítica]] en el {{siglo|XVII||s}}.<ref>Franka Miriam Brückler: ''Entstehung der analytischen Geometrie. Geschichte der Mathematik kompakt''. Springer-Verlag, 2017, S. 83 ff. ({{Google books |BuchID= 7_RADwAAQBAJ&lpg| Seite= 83}})</ref> Las rectas y las circunferencias podrían describirse con los nuevos medios mediante ecuaciones, y las intersecciones podían determinarse resolviendo sistemas de ecuaciones. Resultó que las longitudes de línea que se pueden construir con un compás y una regla basados en una línea de longitud 1, se corresponden exactamente a los números que resultan de un número finito de operaciones [[Número racional|racionales]] básicas (suma, resta, multiplicación y división) y a un número finito de raíces cuadradas resultantes de la operación inversa de elevar al cuadrado.<ref>Franka Miriam Brückler: ''Entstehung der analytischen Geometrie. Geschichte der Mathematik kompakt''. Springer-Verlag, 2017, S. 85 ff. ({{Google books |BuchID= 7_RADwAAQBAJ&lpg| Seite= 85}})</ref>

En particular, estas longitudes pertenecen a los [[Número algebraico|números algebraicos]], y forman un subconjunto de los números que son una solución de una [[ecuación algebraica]] de cualquier grado con [[Coeficiente (matemática)|coeficientes]] racionales. Los números que no son algebraicos se llaman [[Número trascendente|transcendentes]]. En consecuencia, a partir de la longitud 1, no se pueden construir longitudes trascendentes en un número finito de pasos con un compás y una regla.<ref>Desarrollo detallado por [[Felix Klein]] en: ''Vorträge über ausgewählte Fragen der Elementargeometrie''. Teubner, Leipzig 1895 [http://name.umdl.umich.edu/ACV2370.0001.001 (Digitalisat)]</ref><ref>{{cita web |autor=Adalbert Kerber |url=http://www.mathe2.uni-bayreuth.de/lina02/l8.3.pdf#page=3&zoom=100,-416,846 |título=Konstruktionen mit Zirkel und Lineal |obra=Lineare Algebra, WS 2002/2003 |editorial=Universität Bayreuth |página=327 |fecha=2004-09-04 |format=PDF |fechaacceso=2020-02-22}}</ref>

El punto de partida para futuras investigaciones sobre el número &pi; fueron algunos hallazgos fundamentales de [[Leonhard Euler]],
que había publicado en 1748 en su obra ''"Introductio in analysin infinitorum"''.<ref>Leonhard Euler: ''Introductio in analysin infinitorum''. Lausanne 1748. Deutsch von H. Maser: ''Einleitung in die Analysis des Unendlichen''. Springer, Berlin 1885. [https://gdz.sub.uni-goettingen.de/id/PPN379242303 (Reprint des ersten Bandes)]</ref> Entre otras cosas, presentó la [[fórmula de Euler]]:
: <math> e^{i\,z} = \cos z + i \sen z </math>
que por primera vez permitía establecer una conexión entre las funciones trigonométricas y la [[función exponencial]], y que también proporcionó algunas [[fracción continua|fracciones continuas]] y representaciones en serie de <math>\pi</math> y del [[Número e|número ''e'']] (cuya denominación es una referencia a la inicial del apellido del gran matemático).<ref>{{cita web |autor=Edmund Weitz |url=https://link.springer.com/chapter/10.1007/978-3-658-21565-1_53 |título=Die Exponentialfunktion im Komplexen |obra=Konkrete Mathematik (nicht nur) für Informatiker |editorial=Springer Link |página=644 |fecha=2018-08-09 |fechaacceso=2020-02-23}}</ref>

[[Johann Heinrich Lambert]] hizo uso de este trabajo previo, y con la ayuda de una de las expansiones en fracciones continuas de Euler, pudo demostrar por primera vez en 1766 que ''e'' y &pi; son [[Número irracional|irracionales]], es decir, números que no pueden ser representados mediante una fracción entera.<ref>F. Rudio: ''§ 12. Der Beweis der Irrationalität der Zahl <math>\pi</math> durch Lambert und Legendre. Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung''. 1892, S. 54 ff. ({{Internet Archive|archimedeshuyge00legegoog|Blatt=n69}})</ref> [[Adrien-Marie Legendre]] cerró en 1806 una pequeña laguna en el argumento de Lambert, y al mismo tiempo proporcionó la prueba de la irracionalidad de &pi;<sup>2</sup>.<ref>F. Rudio: ''Legendre, Beweis, dass das Verhältnis des Kreisumfanges zum Durchmesser und das Quadrat desselben irrationale Zahlen sind. Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung''. 1892, S. 165–166 ({{Internet Archive|archimedeshuyge00legegoog|Blatt=n179}})</ref>

La presunción de que <math>\pi</math> podría no ser algebraico fue expresada al menos por Euler, Lambert y Legendre. Sin embargo, hasta mediados del {{siglo|XIX||s}} todavía no estuvo claro si existían números trascendentes. Esta prueba la obtuvo entre 1844 y 1851 el matemático francés [[Joseph Liouville]] mediante la construcción explícita de [[Número de Liouville|números de liouville]] trascendentes.<ref>F. Rudio: ''§ 13. Die Entdeckungen Liouville’s. Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung''. 1892, S. 58–60 ({{Internet Archive|archimedeshuyge00legegoog|Blatt=n73}})</ref>

=== Prueba de la imposibilidad de la cuadratura ===
[[Carl Louis Ferdinand von Lindemann]] pudo demostrar finalmente en 1882 que &pi; no es un número algebraico, sino [[Número trascendente|transcendente]]. Por lo tanto, no es posible rectificar la circunferencia ni cuadrar el círculo.<ref>Knut Smoczyk: ''Konstruktionen mit Zirkel und Lineal; Geometrie für das Lehramt''. [[ Books on Demand]], 2019, S. 238 ({{Google books|BuchID=7keMDwAAQBAJ&dq|Seite=238}})</ref>

Lindemann utilizó en su trabajo un resultado del matemático francés [[Charles Hermite]], quien había demostrado en 1873 que el [[número e|número ''e'']] es trascendente.<ref name="Green">{{cita web |autor=David J. Green |url=https://www.minet.uni-jena.de/algebra/uebungen/ss-2006/Alg2/Lindemann.pdf#page=1&zoom=80,-113,810 |título=Transzendenz von e und <math>\pi</math> |editorial=Universität Jena |página=1 ff. |fecha=2006 |format=PDF |fechaacceso=2020-02-24}}</ref> Basándose en este resultado, Lindemann pudo probar el llamado [[teorema de Lindemann–Weierstrass]], que dice que para cualquier número algebraico <math>z_1 , \dots , z_r</math> y para cualquier número algebraico <math>n_1 , \dots , n_r</math> la ecuación
: <math>\sum_{i=1}^{r} n_i e^{z_i} = 0</math>
solo se puede aplicar si todos los <math>n_i</math> tienen valor cero.<ref>F. Rudio: ''Quadratur des Zirkels''. Viertes Kapitel. § 15. ''Die endgültige Erledigung des Problems etc. Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung''. 1892, S. 66–67 ({{Internet Archive|archimedeshuyge00legegoog|Blatt=n80}})</ref> En particular, la expresión <math>e^z</math> no puede producir un número racional para ningún número algebraico ''z'' distinto de cero. A partir de esta premisa, Lindemann pudo contradecir la suposición de que &pi; es algebraico con la ayuda de la [[fórmula de Euler]] <math>e^{i\pi} = -1</math>; y en consecuencia &pi; tenía que ser trascendente.<ref name="Green" />

La prueba de Lindemann de la trascendencia de &pi; se simplificó considerablemente en los años y décadas siguientes, con aportaciones destacadas de [[David Hilbert]] en 1893.<ref>{{cita web |autor=David Hilbert |url=http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN002254565 |título=Ueber die Transcendenz von e und <math>\pi</math> |editorial=DigiZeitschriften |página=216–219 |fecha=1893 |fechaacceso=2020-02-24}}</ref>

== Popularidad del problema ==
Como pocas otras cuestiones, la cuadratura del círculo también alcanzó una gran popularidad fuera de las matemáticas, de manera que muchos matemáticos aficionados intentaron resolver el problema aparentemente simple; y algunos creyeron haberlo solucionado.

En algunas obras de [[Jean-Étienne Montucla]],<ref>Jean-Étienne Montucla: ''Histoire des recherches sur la quadrature du cercle''. Paris 1754 [http://gallica.bnf.fr/ark:/12148/bpt6k107625j (Digitalisat der korrigierten Neuauflage 1831)]</ref> Johann Heinrich Lambert<ref>{{cita web |autor=J. H. Lambert |url=https://gdz.sub.uni-goettingen.de/id/PPN59041416X?tify={%22pages%22:[164,165]} |título=V. Vorläufige Kenntnisse für die, so die Quadratur und Rectification des Circuls suchen. |obra=Bayträge zum Gebrauche der Mathematik und deren Anwendung |editorial=SUB, Göttinger Digitalisierungszentrum |página=140 ff. |fecha=1770 |fechaacceso=2020-03-09}}</ref> y de [[Augustus De Morgan]] se pueden encontrar informes sobre un volumen creciente de trabajos de aficionados de los siglos {{siglo|XVIII}} y {{siglo|XIX}}, ilustrados con ejemplos sobre el tema.<ref>{{cita web |autor=Augustus de Morgan |url=https://www.gutenberg.org/files/23100/23100-h/23100-h.htm#NtA_2 |título=A Budget of Paradoxes |editorial=The Project Gutenberg EBook |página=div. |fecha=2007 |fechaacceso=2020-03-13}}</ref> 

Normalmente se trataba de procedimientos mediante los que el problema se resolvía "exactamente" de forma mecánica, numérica o mediante una construcción de aproximaciones geométricas. Tales trabajos se presentaron ante un número tan grande de matemáticos y de instituciones científicas que, por ejemplo, la [[Academia de Ciencias de Francia]] en 1775 se vio obligada a rechazar oficialmente las solicitudes de dictaminar acerca de las supuestas soluciones de la cuadratura del círculo y de otros problemas clásicos:<ref>''Histoire de L’Académie royale des sciences, année 1775''. Paris 1778, S. 61 ff. ([https://gallica.bnf.fr/ark:/12148/bpt6k3574z/f68.item. Digitalisat])</ref>

{{Cita
 |La Academia resolvió este año no considerar más ninguna solución a los problemas de duplicación de cubos, trisección de ángulos o cuadratura del círculo, o cualquier máquina anunciada como [[móvil perpetuo]].}}

Incluso después de la prueba de imposibilidad presentada por Lindemann en 1882, en el {{siglo|XX||s}} se publicaron supuestas cuadraturas del círculo, que en tiempos más recientes se han convertido en un tema más de la [[matemática recreativa]] sobre los intentos fallidos de diversos aficionados a las matemáticas.

Una de las principales razones de su gran atractivo, especialmente para los matemáticos aficionados, es que se trata de un problema elemental que puede entenderse o al menos parece ser comprensible incluso sin un conocimiento matemático profundo. Junto con los numerosos intentos fallidos de soluciones por parte de científicos más o menos reconocidos, el problema de la cuadratura del círculo logró un verdadero [[Prestigio|halo de prestigio]].<ref>F. Rudio: ''§ 1. Über die verschiedenen Ursachen der großen Popularität des Problems. Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung''. 1892, S. 4 ({{Internet Archive|archimedeshuyge00legegoog|Blatt=n19}})</ref>

Otra razón de los numerosos esfuerzos para cuadrar el círculo que no debe subestimarse, fue la creencia generalizada de que la solución al problema podría suponer una importante recompensa económica, una idea infundada que pudo estar basada en la suposición errónea de que la cuadratura del círculo estaba directamente relacionada con el problema largamente sin resolver de la determinación exacta de la [[historia de la longitud|longitud]] en el mar, por cuya resolución se habían llegado a ofrecer cuantiosos premios. Esta creencia llegó a ser tan persistente, que incluso en 1891 todavía podía leerse en el "[[Meyers Konversations-Lexikon]]" que ''"[[Carlos I de España]] había ofrecido 100.000 [[tálero]]s [por resolver el problema] y que los estados generales holandeses habían ofrecido una suma aún mayor"''.<ref>[https://www.retrobibliothek.de/retrobib/seite.html?id=118999#Quadratur  Quadratur des Zirkels] en: Meyers Konversations-Lexikon. 4. Auflage. Band 18, Verlag des Bibliographischen Instituts, Leipzig/Wien 1885–1892, S. 756.</ref>

=== ''Cuadraturas del círculo'' famosas ===
Un ejemplo destacado de un matemático aficionado que creía haber hallado la cuadratura del círculo fue el filósofo inglés [[Thomas Hobbes]]. La solución, publicada en su obra ''De corpore'' de 1665 (en realidad, una construcción aproximada), fue refutada por John Wallis ese mismo año. En el período siguiente se desarrolló una fuerte disputa entre ambos, que no terminó hasta la muerte de Hobbes en 1679.<ref>{{cita web |autor=Douglas M. Jesseph, reviewed by David Graves |url=https://www.maa.org/press/maa-reviews/squaring-the-circle-the-war-between-hobbes-and-wallis |título=Squaring the Circle: The War Between Hobbes and Wallis Rezension |obra=MAA Review |editorial=Mathematical Association of America |fecha=1999-07-27 |fechaacceso=2020-02-23}}</ref>

Lambert cita tres cuadraturas aproximadas del círculo obtenidas mediante ciertos valores racionales. Los trabajos consiguientes, publicados a mediados del {{siglo|XVIII||s}}, están basados en la fracción <sup>35</sup>/<sub>31</sub> para la relación entre el diámetro del círculo y el lado del cuadrado de la misma área. Esto da la siguiente aproximación del número &pi;
: <math>\pi \approx \frac{3844}{1225} = 3{,}1{\color{red}37\;9\;\ldots}\;.</math><ref>{{cita web |autor=J. H. Lambert |url=https://gdz.sub.uni-goettingen.de/id/PPN59041416X?tify={%22pages%22:[166,167]} |título=V. Vorläufige Kenntnisse für die, so die Quadratur und Rectification des Circuls suchen. |obra=Bayträge zum Gebrauche der Mathematik und deren Anwendung |editorial=SUB, Göttinger Digitalisierungszentrum |página=143 ff. |fecha=1770 |fechaacceso=2020-03-09}}</ref>

El crítico de arte y escritor alemán [[Gotthold Ephraim Lessing]] dedicó el poema "Auf den Herr M** el inventor de la cuadratura del círculo" a uno de los tres autores, el predicador Merkel de [[Ravensburg]].<ref>Gotthold Ephraim Lessing: ''Auf den Herrn M** den Erfinder der Quadratur des Zirkels''. In: ''Lessings Schriften''. Erster Theil. L. F. Voß, 1753, S. 217 ({{Google books |BuchID= fptjAAAAcAAJ&pg| Seite= 217}})</ref>

La cuadratura del médico estadounidense Edward J. Goodwin incluso apareció en el primer volumen del ''[[American Mathematical Monthly]]'' en 1894, aunque solo como un anuncio del autor. El trabajo en sí mismo se contradice y, dependiendo de como se interprete su lectura, genera distintos valores de &pi;. Fue la base de un proyecto de ley presentado al parlamento de [[Indiana]] en 1897, el llamado ''"[[Proyecto de ley de Indiana sobre pi]]"'', a través del cual los hallazgos de Goodwin se convertirían en ley.<ref>{{cita web |autor=Ryan Schwier |url=http://www.indianalegalarchive.com/journal/2015/3/14/legislating-pi |título=Legislating Pi |editorial=Indiana Legal Archiv |fecha=2015-03-14 |fechaacceso=2020-02-23}}</ref>

=== Arte y cultura ===
Como evidencia más temprana de la aparición de una "cuadratura circular" o "cuadrador", ocasionalmente se cita un pasaje de la comedia ''[[Las aves]]'' de [[Aristófanes]] que data del {{siglo|V|a|s}}, en el que [[Metón]] aparece como un topógrafo que trabaja sobre el plano de una nueva ciudad, y que con ayudas geométricas pretende conseguir que "el círculo se convierta en un cuadrado". Sin embargo, esta frase no es una mención a la cuadratura de un círculo, sino a la creación de dos calles que se cruzan entre sí formando ángulos rectos, aunque la expresión pueda parecer una alusión a la cuadratura del círculo.<ref>Thomas Heath: ''VII. Special Problems – The squaring of the circle''. In: ''A History of Greek Mathematics''. Volume 1. 1921, S. 220 ff. (englisch; {{Internet Archive|cu31924008704219|Blatt=n241}})</ref>

En 1321, [[Dante Alighieri]], en su obra la [[Divina comedia]], presentó la cuadratura del círculo como una tarea que va más allá del entendimiento humano y que compara con su propia incapacidad para comprender el Paraíso:

{{Cita
 |<poem>Cual el geómetra todo entregado
al cuadrado del círculo, y no encuentra,
pensando, ese principio que precisa,
estaba yo con esta visión nueva:
quería ver el modo en que se unía
al círculo la imagen y en qué sitio;
pero mis alas no eran para ello:
si en mi mente no hubiera golpeado
un fulgor que sus ansias satisfizo.</poem>

 |[[Dante Alighieri]], ''La Divina Comedia''; Canto 33, líneas 133 a 141<ref>Dante Alighieri, </ref>}}

En la innovadora novela de [[James Joyce]] publicada en 1922, [[Ulises (novela)|Ulises]], se cuenta que el protagonista, [[Leopold Bloom]], trabajó en el verano de 1882 arduamente en una solución al problema de "cuadrar el círculo" con el fin de obtener una fortuna supuestamente grande. Hacia el final de la novela, en un largo diálogo con su padre Virag, admite triste y decepcionado su fracaso.<ref name="Joyce" /><ref>Éléonore Quinaux: ''Leopold Bloom (Odysseus)''; Ulysses von James Joyce (Lektürehilfe): Detaillierte Zusammenfassung, Personenanalyse und Interpretation. derQuerleser.de, 2018, S. 16 ({{Google books |BuchID= lw9gDwAAQBAJ&pg| Seite=PT16#v}})</ref>

{{Cita
 |VIRAG […] Pensabas dedicar un año entero al estudio del problema religioso y los meses de verano de 1822 a cuadrar el círculo y a ganar ese millón ¡Naranjas! De lo sublime a lo ridículo no hay más que un paso. ¿En pijama, digamos?[…]<br />
BLOOM: Quería entonces haber concluido ahora. […]
|James Joyce. [[Ulises (novela)|Ulises]]<ref name="Joyce">[http://web.seducoahuila.gob.mx/biblioweb/upload/James%20Joyce%20-%20Ulises.pdf James Joyce: ''Ulises'']</ref>}}

== Construcciones aproximadas ==
[[Archivo:Dürer quadratur.jpg|mini|Procedimiento babilónico según Durero (1525)]]

Aunque no es posible una solución exacta con un compás y una regla, existen construcciones aproximadas para la cuadratura del círculo que son lo suficientemente exactas para muchos propósitos. Los métodos simples, ya conocidos en la antigüedad, indican una relación entera del diámetro o radio del círculo al lado o diagonales del cuadrado. Además de la ecuación del círculo de diámetro 9 con el cuadrado de lado 8, mencionado en el papiro de Rhind, también se conocía el del círculo de diámetro 8 con el cuadrado de la diagonal 10. Esta construcción se puede encontrar por un lado en los babilonios y por otro lado indicada en las publicaciones del agrimensor romano [[Vitruvio]].<ref name="HelmuthG" /> Devuelve el valor 3<sup>1</sup>/<sub>8</sub> para <math>\pi</math>. Para proporcionar un método de dibujo conveniente, [[Alberto Durero]] retomó esta construcción en 1525 en su obra ''Vnderweysung der messung mit dem zirckel und richtscheyt''. Durero es consciente de que es una solución puramente aproximada, escribe explícitamente que aún no se ha encontrado una solución exacta:

{{cita
|Sería necesario conocer la ''Quadratura circuli'', que es la igualdad de un círculo y un cuadrado, es decir, que uno tiene tanto contenido como el otro. Pero esto aún no ha sido demostrado por los estudiosos. En la práctica, esto es incidental, para que no falte en la obra o falte solo un poquito, esta igualdad se puede hacer. Trazar un segmento y dividirlo en diez partes y luego trazar una circunferencia, cuyo diámetro debe ser de ocho partes, cuya área casi coincide con la mitad de la del cuadrado de diez de lado; cómo averigüé esto a continuación.
 |Alberto Durero (Vnderweysung der messung mit dem zirckel und richtscheyt)<ref>Helmuth Gericke: ''Albrecht Dürer: Vnderweysung der messung''; Mathematik im Abendland: Von den römischen Feldmessern bis zu Descartes, Springer-Verlag, 2013, S. 191. ({{Google books |BuchID= 1AiuBgAAQBAJ&pg| Seite= 191}}), abgerufen am 25. Februar 2020</ref>}}

=== Construcción de Kochański ===
{{AP|Construcción aproximada de Kochański}}
[[Archivo:Quadratur des kreises.svg|mini|upright=1.7|Construcción aproximada de Kochański (1685)]]

El matemático polaco [[Adam Adamandy Kochański]] descubrió una solución aproximada clásica para la mitad de la circunferencia de un círculo en 1685. Toda el procedimiento se realiza con la misma apertura del compás. La construcción mostrada permite obtener una rectificación de la semicircunferencia. A partir del radio <math>r</math> dado, Kochański construyó una línea aproximadamente recta de longitud <math>r\cdot \pi,</math> d.&nbsp;h. aproximadamente la mitad de la circunferencia del círculo <math>\tfrac{U}{2}.</math> El rectángulo dibujado en rojo en la imagen adyacente tiene, en consecuencia, casi la misma área que el círculo con <math>\overline{AZ}\cdot r = r\; \cdot \approx \pi \cdot r</math>. La cuadratura aproximada se sigue del primer resultado con la ayuda de las leyes matemáticas de los [[Triángulo rectángulo|triángulos rectángulos]], que permiten obtener la [[cuadratura del rectángulo]]. Esta construcción permite aproximar el número &pi; a cuatro cifras decimales:<ref>Dieter Grillmayer: '' 2. Die Näherungskonstruktion von Kochański''. In: ''Im Reich der Geometrie''. Teil I: ''Ebene Geometrie''. [[ Books on Demand]], 2009, S. 49 ({{Google books|BuchID=zP7y89tm_L4C&pg|Seite=49}})</ref>

: <math>\pi = 3{,}141\;592\ldots \approx \overline{AZ} = r \cdot \sqrt {(3-\tan 30^\circ)^2+4\,} \ \approx \ 3{,}141\;5{\color{red}33} \cdot r</math>

Ejemplos para ilustrar los errores:
: Para un círculo con radio r = 100&nbsp;m, el error de la longitud del lado del cuadrado obtenido sería ≈ −1,7&nbsp;mm.
: Para un círculo con radio r = 1&nbsp;m, el error del área sería A ≈ −59&nbsp;mm².

=== Construcción de Jacob de Gelder ===
[[Archivo:01 Squaring the circle-Gelder-1849.svg|mini|upright=1.7|Construcción de [[Jacob de Gelder]], con cuadratura adicional (líneas discontinuas)]]

En 1849 se publicó en el "Archivo de Grünert" una construcción simple y elegante ideada por el matemático neerlandés [[Jacob de Gelder]] (1765-1848), 64 años antes de que apareciera ''Construction by S. A. Ramanujan''.<ref name="Hobson">[[E. W. Hobson]]: ''The First Period''. Fig. 17. In: ''Squaring the Circle: A History of the Problem''. Cambridge University Press, 1913, S. 34 (englisch; {{Internet Archive|squaringcirclehi00hobsuoft|Blatt=34}})</ref>

Se basa en la aproximación
: <math>\pi\approx\frac{355}{113} = 3{,}141\;592{\color{red}\;9\;\ldots}</math>

Dividiendo el valor en dos [[Adición (matemática)|sumandos]]
: <math>3 + 0{,}141\;592{\color{red}\;9\;\ldots}.</math><ref name="Hobson" />

El valor de esta fracción ya tiene seis decimales en común con el número &pi;. Proviene del matemático chino [[Zu Chongzhi]] del {{siglo|V||s}}, y por lo tanto, también es conocida como la ''fracción de Zu Chongzhi''.<ref>Ian Stewart: ''2. Meister des Weges Liu Hui. Größen der Mathematik: 25 Denker, die Geschichte schrieben''. Rowohlt Verlag, 2018, ({{Google books |BuchID= e95XDwAAQBAJ&pg| Seite= PT41&lpg}})</ref>

Jacob de Gelder no construyó el lado del cuadrado; le bastó con encontrar el siguiente valor:
: <math>\overline{AH}= \frac{4^2}{7^2+8^2} = 0{,}141\;592{\color{red}\;9\;\ldots}</math>.
La ilustración adyacente, que se describe a continuación, muestra la construcción de Jacob de Gelder, continuada hasta obtener el lado del cuadrado.

El procedimiento es el siguiente: dibujar dos diámetros perpendiculares de un círculo con radio {{Overline|CD}} = 1 y determinar los puntos de intersección A y B. Trazar la línea {{Overline|CE}} = <math>\tfrac{7}{8}</math> y unir E con A. Determinar en {{Overline|AE}} y desde A la línea recta {{Overline|AF}} = <math>\tfrac{1}{2}</math>. Dibujar el segmento {{Overline|FG}} paralelo a {{Overline|CD}} y conectar E con G. Dibujar el segmento {{Overline|FH}} paralelo a {{Overline|EG}}, de forma que {{Overline|AH}} = <math>\tfrac{4^2}{7^2 + 8^2}.</math> Determinar {{Overline|BJ}} = {{Overline|CB}} y luego {{Overline|JK}} = {{Overline|AH}}. Dividir por la mitad {{Overline|AK}} en L y dibujar el círculo de Thales por L a partir de A, lo que da como resultado el punto de intersección M. La línea {{Overline|BM}} es la raíz de {{Overline|AK}} y, por lo tanto, la longitud del lado a del cuadrado aproximado buscado.

Ejemplos para ilustrar los errores:
: Para un círculo con radio r = 100&nbsp;km, el error de la longitud del lado del cuadrado obtenido sería ≈ 7,5&nbsp;mm
: Para un círculo con el radio r = 1&nbsp;m, el error del área A sería ≈ 0,3&nbsp;mm²
{{clear}}

=== Construcción de Hobson ===
[[Archivo:01 Squaring the circle-Hobson-2.svg|mini|upright=1.3|Construcción aproximada según E. W. Hobson, con continuación de la construcción]]

El matemático británico [[E. W. Hobson]] descubrió una construcción particularmente simple y fácilmente comprensible en 1913. Solo requiere tres [[arco (geometría)|arcos]] y dos [[segmento]]s en ángulo recto entre sí para determinar el lado del cuadrado.<ref name="William">[[E. W. Hobson]]: ''The First Period''. Fig. 19. In: ''Squaring the Circle: A History of the Problem''. Cambridge University Press, 1913, S. 35 (englisch; {{Internet Archive|squaringcirclehi00hobsuoft|Blatt=35}})</ref>

La imagen adyacente muestra la construcción con el círculo dado y el cuadrado resultante.

Procedimiento:
* Circunferencia con el diámetro <math>AOB</math>
* <math>\overline{OD} = \frac{3}{5}\cdot r,\; \overline{OF} = \frac{3}{2}\cdot r,\; \overline{OE} = \frac{1}{2}\cdot r.</math>

Dibujar las semicircunferencias <math>DGE, AHF</math> con <math>\overline{DE}</math> y <math>\overline{AF}</math> como diámetro. Finalmente, trazar la perpendicular de <math>\overline{AB}</math> a <math>O.</math>. Los puntos de intersección <math>G</math> y <math>H</math> creados de esta manera proporcionan el lado del cuadrado relacionado con &pi;.
: <math>\overline{GH} = r\cdot 1{,}772\;4{\color{red}67\ldots}\;[LE].</math>

Para un círculo con el radio <math>r = 1\;[LE]</math>, cuatro lugares decimales de la longitud del lado del cuadrado son los mismos que los de <math>\sqrt{\pi} = 1{,}772\;453</math><ref name="William" />

Ejemplo para ilustrar los errores:
: Para un círculo con el radio r = 100&nbsp;m, el error de la longitud del lado del cuadrado obtenido sería ≈ 1,4&nbsp;mm
: Para un círculo con el radio r = 1&nbsp;m, el error del área A sería ≈ 46&nbsp;mm².

=== Construcciones de Ramanujan ===
[[Archivo:Squaring the circle-Ramanujan-1913.svg|mini|upright=1.7|Construcción aproximada según S. A. Ramanujan (1913) con cuadrado dibujado]]

También en 1913 apareció una construcción del matemático indio [[Srinivasa Ramanujan]],<ref name="Srinivasa">{{cita web |autor=S. A. Ramanujan |url=http://www.imsc.res.in/~rao/ramanujan/CamUnivCpapers/Cpaper5/page1.htm |título=Squaring the circle. |obra=Journal of the Indian Mathematical Society 5 |editorial=The Institute of Mathematical Sciences |página=132 |fecha=1913 |fechaacceso=2019-07-29}}</ref> mediante la aproximación siguiente:

: <math>\pi\approx\frac{355}{113} = 3{,}141\;592{\color{red}\;9\;\ldots}</math>

Ramanujan señaló con respecto a la precisión de su método que con un área circular de 140.000 [[Sistema anglosajón de unidades|millas cuadradas]], el lado del cuadrado construido según su procedimiento solo se desvía en aproximadamente una {{convertir|1|in|mm|0}} del valor real.

Descripción:<ref name="Srinivasa" />
:: ''Sea PQR un círculo con el centro O, del cual PR es el diámetro. Dividir a la mitad PO en H, y sea T el punto de la división en tres partes de OR más próximo a R. Dibujar TQ perpendicular a PR y trazar la cuerda RS=TQ''.
:: ''Conectar P con S y dibujar OM y TN paralelas a RS. Trazar la cuerda PK=PM y dibujar la tangente PL=MN. Conectar R con L, R con K y K con L. Trazar el arco RC = RH, con centro en R. Dibujar CD paralela a KL. ''[CD]'' se encuentra con RL en D.''
:: ''Entonces el área del cuadrado sobre RD es aproximadamente igual a la del círculo PQR''.
::: ''Porque'' <math>RS^2 = \frac{5}{36}d^2,</math>
::: ''donde'' <math>d</math> ''es el diámetro del círculo.''
::: ''Así'' <math>PS^2 = \frac{31}{36}d^2.</math>
::: ''Pero'' <math>PL</math> ''y'' <math>PK</math> ''son respectivamente equivalentes a'' <math>MN</math> ''y'' <math>PM.</math>
::: ''Por lo tanto'' <math>PK^2 = \frac{31}{144}d^2,</math> ''y'' <math>PL^2 = \frac{31}{324}d^2.</math>
::: ''Por lo tanto'' <math>RK^2 = PR^2 - PK^2 = \frac{113}{144}d^2,</math>
::: ''y'' <math>RL^2 = PR^2 + PL^2 = \frac{355}{324}d^2.</math>
::: ''Pero'' <math>\frac{RK}{RL} = \frac{RC}{RD} = \frac{3}{2}\sqrt{\frac{113}{355}},</math>
::: ''y'' <math>RC = \frac{3}{4}d.</math>
::: ''Por lo tanto'' <math>RD = \frac{d}{2}\sqrt{\frac{355}{113}} = r \sqrt{\pi},</math> ''cuyas áreas miden casi lo mismo''.
::: ''Nota: Si el área del círculo es de 140{{esd}}000 millas cuadradas, entonces RD es aproximadamente una [[pulgada]] cuadrada mayor que su medida real.''

[[Archivo:Squaring the circle-Ramanujan-1914.svg|upright=1.7|mini|Construcción aproximada según Ramanujan (1914), con continuación de la construcción (líneas discontinuas) (véase la [[:File:01-Squaring the circle-Ramanujan-1914.gif|animación]])]]

En una obra del año siguiente (1914), Ramanujan aportó, además de varios métodos de aproximación, otra construcción aproximada del cuadrado con regla y compás, mediante la que se halla el valor
: <math>\pi\approx\sqrt[4]{9^2 + \frac{19^2}{22}} = 3{,}141\;592\;65{\color{red}2\;\ldots}</math>
basado en una aproximación de <math>\pi</math> que se acerca a los ocho dígitos exactos. En esta cuadratura,<ref>{{cita web |autor=S. A. Ramanujan |url=https://www.imsc.res.in/~rao/ramanujan/CamUnivCpapers/Cpaper6/page13.htm |título=Modular Equations and Approximations to <math>\pi</math> |obra=12. Another curious approximation to <math>\pi</math> is |obra=Quarterly Journal of Mathematics |editorial=The Institute of Mathematical Sciences |página=350–372 |fecha=1914 |fechaacceso=2019-07-29}}</ref> Ramanujan no construyó la longitud del lado del cuadrado; le bastó con representar el segmento OS. En la continuación de la construcción que figura a la derecha, el segmento OS se usa junto con el segmento OB para representar la ''media proporcional'' (segmento rojo&nbsp;&nbsp;OE).

Descripción:<ref>{{cita web |autor=S. A. Ramanujan |url=https://www.imsc.res.in/~rao/ramanujan/CamUnivCpapers/Cpaper6/page14.htm |título=Modular Equations and Approximations to <math>\pi</math> |obra=Quarterly Journal of Mathematics |editorial=The Institute of Mathematical Sciences |página=350–372 |fecha=1914 |fechaacceso=2019-07-29}}</ref>
:: ''Sea AB (Fig.2) el diámetro de una circunferencia cuyo centro es O. Dividir por la mitad el arco circular ACB en C y en tres partes el segmento AO en T. Conectar B con C y marcar CM y MN de la misma longitud que AT. Conectar A con M y A con N y marcar AP en este último con la misma longitud que AM. Dibujar el segmento PQ paralelo a MN, donde Q se encuentra con AM. Conectar O con Q y dibujar TR paralelo a OQ, donde R se encuentra con AQ. Dibujar AS perpendicular a AO y la misma longitud que AR, luego conectar O con S. Entonces, la [[Media geométrica|media proporcional]] entre OS y OB estará muy cerca de una sexta parte de la longitud de la circunferencia, por lo que el error será menor que una doceava parte de una [[pulgada]] si el el diámetro midiese 8000 [[milla]]s''.

Continuación de la construcción hasta la longitud deseada del lado <math>a</math> del cuadrado:<br />
:Extender {{Overline|AB}} más allá de A y trazar el arco b<sub>1</sub> alrededor de O con radio {{Overline|OS}}, para obtener S'. Dividir por la mitad {{Overline|BS'}} en D y dibujar el círculo de Thales b<sub>2</sub> sobre D. Trazar una línea recta desde O a través de C hasta el círculo de Thales b<sub>2</sub>, que se cruza con b<sub>2</sub> en E. La línea {{Overline|OE}} también se denomina la ''media proporcional entre OS y OB'', o ''media geométrica'',<ref>{{cita web |autor=Eckard Specht |url=http://hydra.nat.uni-magdeburg.de/math4u/var/sa14.html |título=A.14 Das arithmetische Mittel |editorial=Universität Magdeburg |fechaacceso=2020-04-25}}</ref> resultado del [[teorema de la media geométrica]] de Euclides. Extender la línea {{Overline|EO}} más allá de O y luego trasladar {{Overline|EO}} dos veces más, para obtener F y A<sub>1</sub> y, por lo tanto, la longitud de la línea {{Overline|EA<sub>1</sub>}} con el valor aproximado de <math>\pi</math> descrito anteriormente, la mitad de la circunferencia del círculo. Dividir la línea {{Overline|EA<sub>1</sub>}} por la mitad en G y dibujar el círculo de Thales b<sub>3</sub> sobre G. Transferir la línea {{Overline|OB}} de A<sub>1</sub> a la línea {{Overline|EA<sub>1</sub>}}, para obtener H. En {{Overline|EA<sub>1</sub>}}, levantar una línea vertical de H al círculo de Thales b<sub>3</sub>, para obtener B<sub>1</sub>. Conectar A<sub>1</sub> con B<sub>1</sub>, de modo que la longitud lateral <math>a</math> que se está buscando permite construir el cuadrado A<sub>1</sub>B<sub>1</sub>C<sub>1</sub>D<sub>1</sub> cuya área se aproxima a la del círculo.

Ejemplos para ilustrar los errores:
: Para un círculo con el radio r = 10{{esd}}000{{esd}}km, el error de la longitud del lado del cuadrado obtenido sería ≈{{esd}}−2,8{{esd}}mm
: Para un círculo con radio r = 10&nbsp;m, el error del área sería A≈−0,2&nbsp;mm²

=== Construcción de Louis Loynes ===
[[Archivo:Quadratur des kreises2.jpg|mini|upright=1.7|Construcción de Loynes (1961)]]

Louis Loynes publicó un método más simple en 1961.<ref>{{cita web |autor=Louis Loynes |url=https://www.cambridge.org/core/journals/mathematical-gazette/article/2978-approximate-quadrature-of-the-circle/8BF0C8CF3C9A3CDA25AECB16FF0AA93E |título=2978. Approximate quadrature of the circle |obra=The Mathematical Gazette, Volume 45 |editorial=Cambridge University Press |página=330 |fecha=1961 |idioma=en |fechaacceso=2020-03-09}}</ref> Se basa en el hallazgo de que el área de la [[circunferencia circunscrita]] de un triángulo rectángulo es igual al cuadrado sobre el cateto más largo de un triángulo rectángulo si su [[pendiente]] con respecto al cateto más pequeño (es decir, el resultado de dividir la longitud del cateto mayor entre la del cateto menor):
: <math> \sqrt{\frac{4}{\pi}-1} = 0{,}5227232\dots</math>
es un valor muy cercano al de la fracción
: <math> \frac{23}{44} = 0{,}5227272\dots </math>
Esto da como resultado una aproximación simple a la cuadratura usando el triángulo rectángulo (construible) con la relación de cateto 23:44. El valor aproximado del número &pi;
: <math>\pi\approx\frac{7744}{2465} = 3{,}141\;5{\color{red}82\;\ldots}</math>
es ligeramente mejor que la construcción de Kochański.

Ejemplos para ilustrar los errores:
: Para un círculo con radio r = 1&nbsp;km, el error de la longitud del lado del cuadrado obtenido sería ≈{{esd}}−3&nbsp;mm.
: Para un círculo con radio r = 1&nbsp;m, el error del área sería A ≈ −11&nbsp;mm².

=== Solución aproximada usando una fracción ===
Si se encuentra una fracción cuyo valor corresponde aproximadamente al número <math>\pi</math>, utilizando el tercer [[teorema de Tales]] es posible construir con [[regla y compás]] cualquier número deseado de lugares decimales exactos de <math>\pi</math>. Para determinar la longitud del lado de un cuadrado de área equivalente a un círculo dado, por ejemplo se puede usar

: <math>\frac{245850922}{78256779} = 3{,}141\;592\;653\;589\;793{\color{red}\;160\;\ldots}</math>

Esta fracción, como una aproximación del número <math>\pi</math>, proporciona la impresionante cantidad de quince lugares decimales exactos. El [[inverso multiplicativo|inverso]] de esta fracción fue hallado por [[Johann Heinrich Lambert]], resultado que publicó en 1770 en su obra ''"Beyträge zum Gebrauche der Mathematik und deren Anwendung" (Contribuciones al uso de las matemáticas y su aplicación)''.<ref>Johann Heinrich Lambert: [https://books.google.de/books?id=fKhEAAAAcAAJ&pg=PA157&dq=78256779%3A245850922&f=false#v=onepage&q=78256779%3A245850922&f=false ''Beyträge zum Gebrauche der Mathematik und deren Anwendung''. Quadratur des Circuls, S. 157] Berlin, im Verlag der Buchhandlung der Realschule, 1770, abgerufen am 11. Juli 2016</ref>

== Método no clásico que utiliza cuadraturas ==
[[Archivo:01-Quadratur des Kreises-Quadratrix.svg|mini|upright=1.7|Cuadrar el círculo con la cuadratriz de Hipias como ayuda adicional]]

Si se elimina la restricción de utilizar regla y compás y se permiten otros medios de construcción, entonces se dispone de diversas posibilidades para cuadrar el círculo o construir exactamente la longitud del lado del cuadrado <math>\sqrt{\pi}</math>.

Con la ayuda de curvas especiales trascendentes (las llamadas [[Cuadratriz|cuadratrices]]) como única herramienta adicional, es posible cuadrar exactamente un círculo.<ref>{{cita web |autor=Horst Hischer |url=http://horst.hischer.de/publikationen/zeitschr-beitraege/1994-MathSchule-MU_Gesch/1994-Math-Gesch-Teil2.pdf#page=1&zoom=110,-108,595 |título=1 Zusammenhang zwischen Quadratrix und Trisectrix |obra=Geschichte der Mathematik als didaktischer Aspekt(2). Lösung klassischer Probleme |editorial=horst.hischer |página=279 |fecha=1994 |format=PDF |fechaacceso=2020-02-20}}</ref> La existencia o disponibilidad de tal cuadratura se asume simplemente en el [[modelo matemático]]. Para el dibujo práctico en papel, está disponible, por ejemplo, en forma de plantillas de dibujo o [[plóter|trazadores]], y también hay algunos dispositivos especiales de dibujo mecánico que se pueden utilizar para generar tales curvas. Una de las cuadraturas más antiguas conocidas desde la antigüedad que se utilizan en la cuadratura del círculo incluyen, por ejemplo, la [[cuadratriz de Hipias]] y la [[espiral de Arquímedes]].

La imagen de la derecha muestra un ejemplo de la cuadratura del círculo usando la cuadratriz de Hipias, cuya [[Gráfica de una función|gráfica]] pasa por <math>E,\; \tfrac{2}{\pi}</math> y <math>D</math>.<ref>{{cita web |autor=Horst Hischer |url=http://horst.hischer.de/publikationen/zeitschr-beitraege/1994-MathSchule-MU_Gesch/1994-Math-Gesch-Teil2.pdf#page=4&zoom=110,-109,595 |título=2 Ein Vorschlag zur Behandlung von Trisectrix und Quadratrix in der Oberstufe |obra=Geschichte der Mathematik als didaktischer Aspekt (2). Lösung klassischer Probleme |editorial=horst.hischer |página=282–287 |fecha=1994 |format=PDF |fechaacceso=2020-02-20}}</ref>

Después de construir el número de &pi; con la cuadratriz, basta alargar la línea <math>\overline{BH}</math>, y de acuerdo con el [[teorema de Tales]] se obtiene la [[Radicación|raíz cuadrada]] de <math>\overline{A\pi} = \overline{AI} = \sqrt{\pi}.</math> El cuadrado dibujado con la longitud del lado <math>\sqrt{\pi}</math> tiene exactamente la misma área que el círculo alrededor de <math>A.</math>

== Variantes ==
=== El problema de la cuadratura del círculo de Tarski ===
{{AP|Problema de la cuadratura del círculo de Tarski}}

En 1925, [[Alfred Tarski]] planteó la tarea de dividir un círculo en lquier número de partes y luego reajustarlas a través de congruencias puras (es decir, sin estirar) para crear un cuadrado.<ref name="Gerwig">Mario Gerwig: ''Der Weg zum Lehrstück, (8) Rück- und Ausblick. Mathematik im Abendland: Beweisen verstehen im Mathematikunterricht: Axiomatik, Pythagoras und Primzahlen als Exempel der Lehrkunstdidaktik''. Springer-Verlag, 2015, S. 209 ({{Google books |BuchID=tSTMCQAAQBAJ&lpg | Seite= 209}})</ref>

[[Miklós Laczkovich]] tuvo éxito en 1989 al hallar la solución: demostró que es posible dividir un círculo en un número finito de partes y solo a base de moverlas (usando únicamente congruencias) crear un cuadrado.<ref>{{cita web |autor=M. Laczkovich |url=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0404?%5D}%5D}&tify={%22pages%22:&#91;81&#93;} |título=Equidecomposability and discrepancy; a solution to Tarski’s circle-squaring problem |obra=Journal für die reine und angewandte Mathematik |editorial=SUB, Göttinger Digitalisierungszentrum |página=77–117 |fecha=1990 |fechaacceso=2020-03-10}}</ref> Cortó el círculo en 10<sup>50</sup> partes. Sin embargo, para la demostración, se necesita utilizar el [[axioma de elección]], que es aceptado por la mayoría de los científicos hoy en día, pero que no es una cuestión habitual. La prueba es muy similar a la de la [[paradoja de Banach-Tarski]].

Laczkovich ha demostrado que (asumiendo el axioma de elección) tal descomposición existe, pero esta descomposición no puede establecerse explícitamente.<ref name="Gerwig" />

=== Lemniscata ===
[[Archivo:Lemniskate bernoulli.svg|mini|upright=1.7|Cuadratura de la lemniscata de Bernoulli]]

A diferencia del círculo, para una [[lemniscata de Bernouilli]] (∞) es posible construir dos cuadrados que abarcan la misma área que la curva. Las longitudes de sus lados corresponden al radio mayor de la lemniscata&nbsp;''a''.<ref>{{cita web |autor=Marwin Wirtz |url=https://download.uni-mainz.de/mathematik/Algebraische%20Geometrie/Lehre/Sem-Ausgewaehlte-hoehere-Kurven-WS2016-17/Marwin%20Wirtz_Cassinische%20Kurven_101116.pdf#page=10&zoom=90,-92,835 |título=2.3 Fläche der Lemniskate. Die Cassinischen Kurven und insbesondere die Lemniskate von Bernoulli |editorial=Universität Mainz |página=9 |fecha=2017 |format=PDF |fechaacceso=2020-02-20}}</ref>

== Véase también ==
* [[Número π]]
* [[Cuadratura del rectángulo]]
* [[Cuadratura del cuadrado]]
* [[Cuadratura de los polígonos]]
* Otras [[construcciones imposibles con regla y compás]]:
** La [[duplicación del cubo]]
** La [[trisección del ángulo]]

== Referencias ==
{{listaref|2}}

== Bibliografía ==

=== General ===
* Eugen Beutel: ''"Die Quadratur des Kreises" (Cuadrar el círculo)''. 2.ª Edición. Teubner, [[Leipzig]] 1920. [http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABN2615.0001.001 (versión digitalizada)]
* [[Moritz Cantor]]: ''"Vorlesungen über Geschichte der Mathematik" (Conferencias sobre la historia de las matemáticas)''. Teubner, Leipzig 1880-1908, 4 volúmenes. [https://www.e-rara.ch/zut/content/structure/5634055 (versión digitalizada)]
* [[Helmuth Gericke]]: ''"Mathematik in Antike und Orient" (Matemáticas en la Antigüedad y Oriente)''. Springer, Berlín 1984, ISBN 3-540-11647-8.
* Helmuth Gericke: ''"Mathematik im Abendland" (Matemáticas en Occidente)''. Springer, Berlín 1990, ISBN 3-540-51206-3.
* Thomas Little Heath: ''"A History of Greek Mathematics" (Una historia de las matemáticas griegas)''. Volumen 1. Clarendon Press, Oxford 1921. (Reimpreso en Dover, Nueva York 1981, ISBN 0-486-24073-8.)
* Klaus Mainzer: ''"Geschichte der Geometrie" (Historia de la geometría)''. Bibliographisches Institut, Mannheim et al. 1980, ISBN 3-411-01575-6.
* [[Ferdinand Rudio]]: ''"Archimedes, Huygens, Lambert, Legendre. Vier Abhandlungen über die Kreismessung" (Archimedes, Huygens, Lambert, Legendre. Cuatro tratados sobre medición circular)'' Teubner, Leipzig 1892. [http://resolver.sub.uni-goettingen.de/purl?PPN548262160 (digitalizado)]
* DUNHAM, William ''Viaje a través de los genios. Biografías y teoremas de los grandes matemáticos''. Madrid, 2002. Ediciones Pirámide.

=== Sobre la trascendencia de π ===
* Ferdinand Lindemann: ''"Ueber die Zahl π" (Acerca del número π)'' En: ''Mathematische Annalen'', 20, 1882, págs. 213-225 ([http://www.digizeitschriften.de/dms/img/?PID= GDZPPN002246910 digitalizado]).
* David Hilbert: ''"Ueber die Transcendenz der Zahlen e und π" (Sobre la trascendencia de los números e y π)'' En: "Mathematische Annalen", 43, 1893, pp. 216-219 ([http://www.digizeitschriften.de/dms/img /? PID = GDZPPN002254565 digitalizado]).
* Lorenz Milla: ''"Die Transzendenz von π und die Quadratur des Kreises" (La trascendencia de π y la cuadratura del círculo)''. 2020, {{arXiv|2003.14035}}
* Paul Albert Gordan: ''"Transcendenz von e und π" (Trascendencia de e y π)''. En: "Mathematische Annalen", 43, 1893, págs. 222-224 ([http://www.digizeitschriften.de/dms/img/? PID = GDZPPN002254581 digitalizado ]).
* Theodor Vahlen: ''"Beweis des Lindemann’schen Satzes über die Exponentialfunction" (Prueba del teorema de Lindemann sobre la función exponencial)''. En: "Mathematische Annalen", 53, 1900, pp. 457-460 ([http://www.digizeitschriften.de/dms/ img /? PID = GDZPPN00225798X digitalizado]).

=== Matemáticas recreativas ===
* [[Underwood Dudley]]: ''"Mathematik zwischen Wahn und Witz. Trugschlüsse, falsche Beweise und die Bedeutung der Zahl 57 für die amerikanische Geschichte" (Matemáticas entre gallina locura e ingenio. Falacias, pruebas falsas y la importancia del número 57 para la historia estadounidense)''. Birkhäuser, Basilea 1995, ISBN 3-7643-5145-4 (título original en inglés: ''Mathematical cranks'').

== Enlaces externos ==
{{Commonscat|Squaring the circle|Quadratur des Kreises|audio=0|video=0}}
{{Wikibooks|Mathematikunterricht: Sek: Elementare Operationen|''Elementare Operationen'' in Wikibooks}}
{{Wikibooks|Planimetrie/ Die drei antiken Probleme/ Näherung 2#Quadratur des Kreises|Die Quadratur des Kreises}}
* [http://www-history.mcs.st-andrews.ac.uk/HistTopics/Squaring_the_circle.html ''"Squaring the circle" (Cuadrando el círculo)''-] [[MacTutor History of Mathematics archive]] (inglés)
* [https://web.archive.org/web/20060805091919/http://webs.adam.es/rllorens/picuad/picarta01.htm La cuadratura del círculo: un problema insoluble pero divertido]
* [https://exapenta.neocities.org/CUADRATA.html La cuadratura del círculo según Leonardo da Vinci]

{{Sectrices}}
{{Control de autoridades}}
[[Categoría:Π]]
[[Categoría:Problemas matemáticos]]
[[Categoría:Geometría euclidiana plana]]
[[Categoría:Teoría de cuerpos]]