[Arguments du xviie siècle en faveur de l'impossibilité des quadratures du cercle indéfinie et définie]
The classical problem of the quadrature (or equivalently the rectification) of the circle enjoyed a renaissance in the second half of the 17th century. The new analytic methods provided the means for the discovery of infinite expressions of and for the first attempts to prove impossibility statements related to the quadrature of the circle. In this paper the impossibility arguments put forward by Wallis, Gregory, Leibniz and Newton are analyzed and the controversies they gave rise to are discussed. They all deal with the impossibility of finding an algebraic expression of the area of a sector of a circle in terms of its radius and cord, or of the area of the entire circle. It is argued that the controversies were partly due to a lack of precision in the formulation of the results. The impossibility results were all part of a constructive problem solving mathematical enterprise. They were intended to show that certain solutions of the quadrature problem were the best possible because simpler (analytic) solutions were impossible.
Le problème classique de la quadrature (ou de la rectification) du cercle a connu un regain d'intérêt pendant la deuxième moitié du xviie siècle. Les nouvelles méthodes analytiques ont permis la découverte d'expressions infinies du nombre et ont ouvert la voie vers les premières tentatives de démonstration d'assertions d'impossibilité concernant la quadrature du cercle. Dans cet article les arguments d'impossibilité de Wallis, Gregory, Leibniz et Newton sont analysés et les controverses qu'ils ont causées sont discutées. Tous les arguments concernent l'impossibilité de trouver une expression algébrique de l'aire d'un secteur d'un cercle en termes de son rayon et de sa corde ou de l'aire du cercle entier. Les controverses sont en partie dues à l'imprécision de la formulation des résultats. Les résultats d'impossibilité sont tous issus d'une entreprise mathématique constructive. Leur but était de démontrer qu'une certaine solution de la quadrature du cercle est la meilleure possible parce que des solutions plus simples (analytiques) sont impossibles.
DOI : 10.24033/rhm.182
Keywords: 17th century, history of mathematics, quadrature of the circle, pi, impossibility, transcendental functions, Wallis, Gregory, Leibniz, Newton.
Mots-clés : xvii e siècle, histoire des mathématiques, quadrature du cercle, pi, impossibilité, fonctions transcendentales, Wallis, Gregory, Leibniz, Newton.
@article{RHM_2014__20_2_211_0,
author = {L\"utzen, Jesper},
title = {17th century arguments for the impossibility of the indefinite and the definite circle quadrature},
journal = {Revue d'histoire des math\'ematiques},
pages = {211--251},
year = {2014},
publisher = {Soci\'et\'e math\'ematique de France},
volume = {20},
number = {2},
doi = {10.24033/rhm.182},
mrnumber = {3285068},
zbl = {1320.01010},
language = {en},
url = {https://www.numdam.org/articles/10.24033/rhm.182/}
}
TY - JOUR AU - Lützen, Jesper TI - 17th century arguments for the impossibility of the indefinite and the definite circle quadrature JO - Revue d'histoire des mathématiques PY - 2014 SP - 211 EP - 251 VL - 20 IS - 2 PB - Société mathématique de France UR - https://www.numdam.org/articles/10.24033/rhm.182/ DO - 10.24033/rhm.182 LA - en ID - RHM_2014__20_2_211_0 ER -
%0 Journal Article %A Lützen, Jesper %T 17th century arguments for the impossibility of the indefinite and the definite circle quadrature %J Revue d'histoire des mathématiques %D 2014 %P 211-251 %V 20 %N 2 %I Société mathématique de France %U https://www.numdam.org/articles/10.24033/rhm.182/ %R 10.24033/rhm.182 %G en %F RHM_2014__20_2_211_0
Lützen, Jesper. 17th century arguments for the impossibility of the indefinite and the definite circle quadrature. Revue d'histoire des mathématiques, Tome 20 (2014) no. 2, pp. 211-251. doi: 10.24033/rhm.182
Les œuvres complètes d'Archimède, 1, Blanchard, 1960 (ed. and translated by P. Ver Eecke) | MR
Huygens and Barrow, Newton and Hooke, Birkhäuser, Basel, 1990 | Zbl
Newton's Principia read 300 years later, Notices of the American Mathematical Society, Volume 36 (1989), pp. 1148-1154 | MR | Zbl
Pi: A Source Book, Springer, New York, 2004 | MR | Zbl
Redefining Geometrical Exactness. Descartes' transformation of the Early Modern Concept of Construction, Springer, New York, 2001 | MR | Zbl
Archimedes in the Middle Ages. Vol 1. The Arabo-Latin Tradition, The University of Wisconsin Press, Madison, 1964 | MR | Zbl
Motivating declaration from the Académie des Sciences with no title. Histoire de l'Académie Royale des Sciences for the year 1775 (publ. 1778), 1775/78
A History of Geometrical Methods, Clarendon Press, Oxford, 1940 | MR | JFM | Zbl
Lagny, Thomas Fantet De, 2008 ( http://www.encyclopedia.com/doc/1G2-2830902425.html )
Quadrature du cercle, L'Encyclopédie ou Dictionnaire raisonné des sciences, des arts et des métiers, Volume 13, Samuel Faulche, Neuchastel (1765)
Sur un autre paradoxe, Opuscules Mathématiques ou Mémoires sur differens sujets de Géométrie, de Méchanique, d'Optique, d'Astronomie &c., Volume 4, Briason, Paris (1768)
On James Gregory's Vera Quadratura, 1939 (in [Gregory 1939, 468–485] ) | MR | Zbl
La Géométrie, Discours de la méthode (1637), pp. 297-413 (; facsimilie in The geometry of René Descartes, ed. and translated by D. E. Smith and M. L. Latham. Dover, New York 1954)
Un théorème de Fermat et ses lecteurs, Presses Universitaires de Vincennes, Saint-Denis, 1995 | Zbl
Vera circuli et hyperbolae quadraturae, Padovae, 1667
Exercitationes geometricae, typis Guilielmi Godbid, & impensis Mosis Pitt bibliopolae, 1668 (; excerpts are reprinted in [Huygens 1895, 313–321] )
Mr. Gregories Answer, Philosophical Transactions, Volume 37 (1668) (; page references to reprint in [Huygens 1895, 240–243] )
An Extract of a Letter of James Gregory to the Publisher, Philosophical Transactions, Volume 44 (1668) (; page references to reprint in [Huygens 1895, 306–311] )
Tercentenary Memorial Volume (Turnbull, Herbert Westren, ed.), Herbert W. Bell & Sons, London, 1939 | MR
Isaac Newton on Mathematical Certainty and Method, MIT Press, Cambridge Massachusetts, 2009 | MR | DOI
James Gregorys “Vera circuli et hyperbolae quadratura”, Bibliotheca Mathematica, Volume 2 (1901), pp. 77-85 | JFM
Squaring the circle: A history of the problem, Squaring the circle and other monographs (Hudson, H. P. et al., eds.), Chelsea, New York (1913) | JFM
De Circuli Magnitudine Inventa, Elzevier, 1654 (; in [Huygens 1967, 113–181] )
Examen de Vera Circuli & Hyperboles Quadratura in propriâ sua proportionis specie inventa & demonstrata à Jacobo Gregorio Scoto, in 4o. Patavii, Journal des Sçavans (1668) (; page references to reprint in [Huygens 1895, 228–230] )
Letter to J. Gallois, Journal des Sçavans (1668) (; page references to reprint in [Huygens 1895, 272–276] )
Opera Varia, Lugdunis Batavorum Bibliopolas, Lyon, 1724
Correspondance 1666–1669, Œuvres complètes, Volume 6, Nijhoff, La Haye (1895) | JFM
Musique et mathématique de 1666 à 1695, Œuvres complètes, Volume 20, Nijhoff, La Haye (1940)
Travaux de mathématiques pures 1652–1656, Œuvres complètes, Volume 12, Swets & Zeitlinger, Amsterdam (1967) | JFM
Interdire la quadrature du cercle à l'Académie : Une décision autoritaire des lumières?, RHM, Volume 11 (2005), pp. 89-139 | MR | Zbl | Numdam
La quadrature du cercle, un problème à la mesure des Lumières, Fayard, Paris, 2006 | Zbl
Squaring the circle: The war between Hobbes and Wallis, University of Chicago Press, Chicago, 1999 | MR | Zbl
Descartes, Pascal, and the Epistemology of Mathematics: The case of the Cycloid, Perspectives on Science, Volume 4 (2007), pp. 410-433 | MR | Zbl | DOI
The Ancient Tradition of Geometric Problems, Birkhäuser, Boston, 1986 | MR | Zbl
On a Medieval Circle Quadrature: De circulo quadrando, Historia Mathematica, Volume 18 (1991), pp. 107-128 | MR | Zbl | DOI
Troisième Memoire sur la goniometrie purement analytique, Histoire de l'Academie Royale des Sciences. Année 1727. Avec les Mémoires de Mathématique et de Phisique pour la même Année (Mémoires) (1729), pp. 120-130
Mémoire sur quelques propriétés remarquables des quantités transcendantes circulaires et logarithmiques, Mémoires de l'Académie royale des sciences de Berlin 1761 (1768), pp. 265-322 in Lennart Berggren, Jonathan M. Borwein & Peter B. Borwein, Pi, a Source Book, New York: Springer, (2004) pp. 129–140
De quadratura arithmethic circuli ellipseos et hyperbolae cujus corollarium est trigonometria sine tabulis (Knobloch, Eberhard, ed.), 1675/76 (German translation Hamborg, O., Abhandlungen der Akademie der Wissenschaften in Göttingen, 2007) | MR
De dimensionibus figurarum inveniendis, Acta Eruditorum (1684) (page references to reprint in [Leibniz 1858, 123–127] )
Leibnizens mathematische Schriften (Gerhardt, C. I., ed.), I, H. W. Smidt, Halle, 1858
Mémoire sur la classification des transcendantes et sur la impossibilité d'exprimer les racines de certaines équations en fonction explicite des coefficients, Journal de Mathématiques pures et appliquées, Volume 2 (1837/38), pp. 56-105 (and 3, 523–547) | Numdam
Panckoucke and the circle squarers, Eighteenth-century Studies, Volume 37 (2004), pp. 215-236 | DOI
Joseph Liouville 1809-1882. Master of Pure and Applied Mathematics, Springer, New York, 1990 | MR | Zbl | DOI
Why was Wantzel overlooked for a century? The changing importance of an impossibility result, Historia Mathematica, Volume 36 (2009), pp. 374-394 | MR | Zbl | DOI
The algebra of geometric impossibility: Descartes and Montucla on the impossibility of the duplication of the cube and the trisection of the angle, Centaurus, Volume 52 (2010), pp. 4-37 | MR | Zbl | DOI
The refutation of Longomontanus' quadrature by John Pell, Annals of Science, Volume 43 (1986), pp. 315-352 | MR | Zbl | DOI
Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century, Oxford Univ. Press, New York, 1996 | MR | Zbl | DOI
Histoire des recherches sur la quadrature du cercle, Jombert, Paris, 1754
Histoire des mathématiques. Nouvelle édition considérablement augmentée, 1, Agasse, Paris, 1802 | MR
Philosophia Naturalis Principia Mathematica, Reg. Soc. London, 1687 (page references to the English translation The Principia by Cohen, I. Bernard and Whitman, Anne, University of California Press, Berkeley, 1999) | MR | DOI
The Mathematical Papers of Isaac Newton, 6, Cambridge Univ. Press, Cambridge, 1974
Newton et les origines de l'analyse: 1664–1666, Blanchard, Paris, 2005 | MR | Zbl
Collectio, Pappus d'Alexandrie: La Collection mathématique, I, II, Desclée de Brouwer, Paris (1933) (translated into French by Paul ver Eecke)
The Validity of Newton's Lemma 28, Historia Mathematica, Volume 28 (2001), pp. 215-219 | MR | Zbl | DOI
The Integrability of Ovals: Newton's Lemma 28 and its Counterexamples, Archive for the History of Exact Sciences, Volume 55 (2001), pp. 479-499 | MR | Zbl | DOI
Démonstration de l'impossibilité de la quadrature indefinie du cercle. Avec une manière simple de trouver une suite de droites qui s'approchent de plus et plus d'un arc de cercle proposé, tant en dessus qu'en dessous, Histoire de l'Academie Royale des Sciences, année 1720. Avec les Memoires de Mathematique et de Phisique, pour la même Année (Mémoires), Paris (1722), pp. 15-19
Gregory's converging double sequence, Historia Mathematica, Volume 10 (1983), pp. 274-285 | MR | Zbl | DOI
In Aristotelis Physica, Commentaria in Aristotelem Graeca (Diels, H., ed.), Volume IX-X, Berlin (1882, 1895)
Arithmetica Infinitorum, Robinson, Oxford, 1656 (; translations and page numbers are from the English translation by Stedall, Jacqueline A.: The Arithmetic of Infinitesimals, Springer, New York, 2004)
Letter to Lord Brouncker dated Oxford November 4, 1668, 1668 (in [Huygens 1895, 282–289] )
Cité par Sources :
