Algèbre des fonctions elliptiques et géométrie des ovales cartésiennes
Revue d'histoire des mathématiques, Tome 7 (2001) no. 2, pp. 161-205.

Les recherches sur les ovales au xixe témoignent du renouveau des méthodes géométriques et illustrent la mise en concurrence de ces méthodes avec les calculs analytiques. En particulier, elles interviennent dans les relations entre l'algèbre des fonctions elliptiques et la géométrie des courbes, que les mathématiciens pensent en termes d'application ou d'interprétation d'un domaine dans l'autre. La rectification des ovales en arcs d'ellipses est obtenue dans les années 1850 par Roberts et Genocchi, de manière calculatoire, puis de nouveau démontrée une dizaine d'années plus tard par Mannheim et Darboux, de manière géométrique. Les relations profondes entre fonctions elliptiques et ovales cartésiennes sont établies en 1867, avec les démonstrations géométriques du théorème d'addition des fonctions elliptiques de Darboux et de Laguerre. En prouvant l'orthogonalité des systèmes d'ovales homofocales, Darboux montre aussi que les ovales fournissent une interprétation géométrique du théorème d'addition et qu'elles constituent la forme algébrique de l'intégrale solution. Laguerre démontre le théorème d'addition à l'aide des courbes anallagmatiques, via le théorème de Poncelet sur les polygones inscrits et circonscrits à deux coniques. Les travaux sur la représentation des fonctions elliptiques procurent un autre point de vue. Dans les années 1880, Greenhill démontre que les fonctions elliptiques de Jacobi et de Weierstrass sont représentées par des quartiques bicirculaires, dont font partie les ovales, et il applique le formulaire elliptique pour démontrer, en particulier, l'orthogonalité des systèmes d'ovales homofocales. Dans son article de 1913, Clara Bacon a le souci, à la fois, d'établir les propriétés géométriques des ovales à partir de la fonction de Weierstrass et d'interpréter géométriquement l'algèbre des fonctions elliptiques à l'aide des ovales.

Researches on cartesian ovals over the course of the 19th century attest to the revival of geometrical methods and illustrate a competition between these methods and analytic calculations. In particular, they played a part in the relations between the algebra of elliptic functions and the geometry of curves, which mathematicians saw in terms of application or of interpretation of one field in terms of another. In 1850, Roberts and Genocchi obtained rectifications of ovals with arcs of ellipses through formal computations; some ten years later, Mannheim and Darboux proved them again using geometrical reasoning. Deep relations between elliptic functions and cartesian ovals were also established in 1867, with the geometrical proofs of the addition theorem of elliptic functions given by Darboux and Laguerre. When Darboux proved the orthogonality of systems of homofocal ovals, he also showed that ovals provide a geometrical interpretation of the addition theorem, and that they constitute the algebraic form of the integral solution. Laguerre, on the other hand, proved the addition theorem with the help of analagmatic curves using Poncelet's theorem on inscribed and circumscribed polygons in two conics. Works on the representation of elliptic functions provide yet another point of view. In the 1880s, Greenhill proved that the elliptic functions of Jacobi and Weierstrass could be represented by bicircular quartics, a special case of which are ovals. In particular, he used the elliptic formula to prove the orthogonality of systems of homofocal ovals. In her paper of 1913, Clara Bacon both established geometrical properties of ovals from Weierstrass's function and interpreted geometrically the algebra of elliptic functions with the help of ovals.

Mots clés : fonctions elliptiques, algèbre des fonctions elliptiques, théorème d'addition, courbes anallagmatiques, ovales cartésiennes, ovales homofocales, théorème de Poncelet
@article{RHM_2001__7_2_161_0,
     author = {Barbin, \'Evelyne and Guitart, Ren\'e},
     title = {Alg\`ebre des fonctions elliptiques et g\'eom\'etrie des ovales cart\'esiennes},
     journal = {Revue d'histoire des math\'ematiques},
     pages = {161--205},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {7},
     number = {2},
     year = {2001},
     zbl = {1030.01022},
     language = {fr},
     url = {http://www.numdam.org/item/RHM_2001__7_2_161_0/}
}
Barbin, Évelyne; Guitart, René. Algèbre des fonctions elliptiques et géométrie des ovales cartésiennes. Revue d'histoire des mathématiques, Tome 7 (2001) no. 2, pp. 161-205. http://www.numdam.org/item/RHM_2001__7_2_161_0/

[1] Abel (Niels Henrik) [1827] Recherches sur les fonctions elliptiques, Journal für die reine und angewandte Mathematik, 2 (1827) p.101-181, 3 (1828), p.160-190. | EuDML 183055 | Zbl 002.0052cj

[2] Allégret (Alexandre) [1873] Mémoire sur la représentation des transcendantes, Annales scientifiques de l'École normale supérieure, 2e s., II (1873), p.149-200. | EuDML 80762 | JFM 05.0352.01 | Numdam

[3] Bacon (Clara) [1913] The Cartesian Oval and the Elliptic Functions and Ò, American Journal of Mathematics, XXXV (1913), p.261-280. | JFM 44.0527.02

[4] Barbin (Évelyne) [1998] La méthode analytique de Descartes et l'évidence comme détermination de la vérité, dans Analyse et démarche analytique, Reims : IREM, 1998, p.79-101.

[5] Barbin (Évelyne) & Guitart (René) [1998] La pulsation entre les conceptions optiques, algébriques, articulées et projectives, des ovales cartésiennes, dans Tournès (Dominique) éd., L'océan indien au carrefour des mathématiques arabes, chinoises, européennes et indiennes, Saint-Denis : IUFM de La Réunion, 1998, p.359-394. | Zbl 0997.01004

[6] Bos (Henk J.M), Kers (C.), Oort (F.) & Raven (D.W.) [1987] Poncelet's Closure Theorem, Expositiones mathematicae, 5 (1987), p.289-364. | MR 917349 | Zbl 0633.51014

[7] Casey (John) [1869] On the Bicircular Quartics, Transactions of the Royal Irish Academy, XXIV (1869) p.457. | JFM 02.0512.01

[8] Cayley (Arthur) [1853] Note on the Geometrical Representation of the Integral, Philosophical Magazine, V (1853), p.281-284.

[9] Cayley (Arthur) [1876] An Elementary Treatise on Elliptic Functions, Cambridge : Deighton, Bell and Co., 1876. | JFM 09.0327.01

[10] Chasles (Michel) [1837] Aperçu historique sur l'origine et le développement des méthodes en géométrie, 1e éd., 1837, Paris : Gauthier-Villars ; 3e éd., 1889. | JFM 21.0033.01

[11] Chasles (Michel) [1843] Propriétés générales des arcs d'une section conique, dont la différence est rectifiable, Comptes rendus des séances de l'Académie des sciences de Paris, XVII (1843), p.838-844.

[12] Chasles (Michel) [1844] Construction géométrique des amplitudes dans les fonctions elliptiques - Propriétés nouvelles des sections coniques, C.R. Acad. sci. Paris, XIX (1844), p.1239-1261.

[13] Chasles (Michel) [1870] Rapport sur les progrès de la géométrie, Paris : Imprimerie nationale, 1870. | JFM 03.0012.03

[14] Crofton (Morgan William) [1866] On Certain Properties of the Cartesian Ovals, treated by the Method of Vectorial Co-ordinates, Proceedings of the London Mathematical Society, I (1865-1866), p.5-18.

[15] Darboux (Gaston) [1864a] Remarques sur la théorie des surfaces orthogonales, C.R. Acad. sci. Paris, LIX (1864), p.240-242.

[16] Darboux (Gaston) [1864b] Théorèmes sur l'intersection d'une sphère et d'une surface du second degré, Nouvelles annales de mathématiques, 2e s., 3 (1864), p.199-202. | EuDML 97840

[17] Darboux (Gaston) [1865] Recherches sur les surfaces orthogonales, Ann. sci. École norm. sup., II (1865), p.54-69. | EuDML 80684

[18] Darboux (Gaston) [1866] Sur les surfaces orthogonales, Ann. sci. École norm. sup., III (1866), p.97-141. | EuDML 80701 | MR 1508522

[19] Darboux (Gaston) [1867] Note sur une classe de courbes du quatrième ordre et sur l'addition des fonctions elliptiques, Ann. sci. École norm. sup., IV (1867), p.81-91. | EuDML 80709 | MR 1508537

[20] Darboux (Gaston) [1873] Sur une classe remarquable de courbes et de surfaces algébriques et sur la théorie des imaginaires, Paris : Gauthier-Villars, 1873. | JFM 05.0399.01

[21] Darboux (Gaston) [1878a] Sur la rectification des ovales de Descartes, C.R. Acad. sci. Paris, LXXXVII (1878), p.595-597. | JFM 10.0483.03

[22] Darboux (Gaston) [1878b] Addition à la note sur la rectification des ovales de Descartes, C.R. Acad. sci. Paris, LXXXVII (1878), p.741. | JFM 10.0484.01

[23] Darboux (Gaston) [1880] Sur les polygones inscrits à une conique et circonscrits à une autre conique, C.R. Acad. sci. Paris, LXXXX (1880), p.85-87. | JFM 12.0370.01

[24] Darboux (Gaston) [1905] Étude sur le développement des méthodes géométriques, Paris : Gauthier-Villars, 1905. | JFM 35.0061.01

[25] Descartes (René) [1637] Discours de la méthode (1637), rééd. Paris : Fayard, 1987.

[26] Euler (Leonhard) [1761] De integratione aequationis differentialis, Novi commentarii academiae scientiarum Petropolitanae, 6 (1761), p.37-57. | MR 2145865

[27] Fagnano (Giulio Carlo) [1718] Metodo per misurare la lemniscata, Giornali de' letterati d'Italia, 29 (1718) ; Opere mathematiche, Milan : Albrighi, Segati et Co., 1911, t.II, p.293-313.

[28] Franklin (Fabian) [1889] Note on the Double Periodicity of the Elliptic Functions, Amer. J. Math., XI (1889), p.283-292. | JFM 21.0468.01 | MR 1505511

[29] Franklin (Fabian) [1890a] On Some Applications of Circular Coordinates, Amer. J. Math., XII (1890), p.161-190. | JFM 22.0693.02 | MR 1505530

[30] Franklin (Fabian) [1890b] On Confocal Bicircular Quartics, Amer. J. Math., XII (1890), p.323-336. | JFM 22.0741.01 | MR 1505538

[31] Gauss (Carl-Friedrich) [Werke]Werke, reprint Hildesheim-New York : Georg Olms Verlag, 1981. | Zbl 0301.01005

[32] Genocchi (Angelo) [1864] Intorno alla rettificacione et alla proprietà delle caustiche secondarie97-123.

[33] Genocchi (Angelo) [1875] Sur la rectification des ovales de Descartes, C.R. Acad. sci. Paris, LXXX (1875), p.112-115. | JFM 07.0148.02

[34] Greenhill (Alfred George) [1881] On Conjugate Functions of Cartesians and other Quartics, Proc. London Math. Soc., I (1880-1883), p.77-92. | JFM 13.0551.02

[35] Greenhill (Alfred George) [1886] Some Applications of Weierstrass's Elliptic Functions, Proc. London Math. Soc., XVII (1885-86), p.355-379. | JFM 19.0476.01

[36] Greenhill (Alfred George) [1895] Les fonctions elliptiques et leurs applications, Paris : Carré, 1895 ; reprod. Paris : Gabay, 1993. | MR 1356222

[37] Griffiths (Philip) & Harris (Joseph), [1978] On Cayley's Explicit Solution to Poncelet's Theorem, L'enseignement mathématique, 2e s., XXIV (1978), p.31-40. | Zbl 0384.14009

[38] Hermite (Charles) [1870] Résumé du cours d'analyse de l'École polytechnique, 1870-1871 ; reprod. Paris : Ellipses, 1996.

[39] Hermite (Charles) [1873] Cours d'analyse de l'École polytechnique, Paris : Gauthier-Villars, 1873.

[40] Jacobi (Carl Gustav Jacob) [1828] Ueber die Anwendung der elliptischen Transcendenten auf ein bekanntes Problem der Elementargeometrie, J. reine ang. Math., III (1828), p.376-389 ; Werke, I, p.279-293. | EuDML 183120 | Zbl 003.0129cj

[41] Jacobi (Carl Gustav Jacob) [1845] Sur l'application des transcendantes elliptiques à ce problème connu de la géométrie élémentaire : trouver la relation entre la distance des centres de deux cercles dont l'un est circonscrit à un polygone irrégulier et dont l'autre est inscrit à ce même polygone, Journal de mathématiques pures et appliquées, X (1845), p.435-44. | EuDML 235233

[42] Jacobi (Carl Gustav Jacob) [Werke] Gesammelte Werke, Berlin : Reimer, 1881-1891. | JFM 16.0028.01

[43] Kline (Morris) [1972] Mathematical Thought from Ancient to Modern Times, New York : Oxford University Press, 1972. | MR 472307 | Zbl 0277.01001

[44] Kummer (Ernst Eduard) [1847] Ueber Systeme von Curven, welche einander überall rechtwinklig durchschneiden, J. reine ang. Math., XXXV (1870), p.5-12. | EuDML 147378 | Zbl 035.0978cj

[45] Kummer (Ernst Eduard) [1852] Sur les systèmes de courbes algébriques planes qui se coupent orthogonalement et sur leur confocalité, Nouv. ann. math., XI (1852), p.426-434. | EuDML 96391

[46] Laguerre (Edmond) [1867] Sur quelques applications de la géométrie au calcul intégral, Bulletin de la Société philomathique, 1867 ; [Œuvres], II, p.35-40.

[47] Laguerre (Edmond) [1870a] Sur l'emploi des imaginaires en géométrie, Nouv. ann. math., 2e série, IX (1870), p.163-175 ; [Œuvres], II, p.88-108. | EuDML 98412 | JFM 02.0339.01 | Numdam

[48] Laguerre (Edmond) [1870b] Sur un article de M. Cayley, Nouv. ann. math., 2e série, IX (1870), p.291-293 ; [Œuvres], II, p.136-137. | EuDML 98439 | JFM 02.0854.05 | Numdam

[49] Laguerre (Edmond) [1872] Sur les propriétés des sections coniques qui se rattachent à l'intégration de l'équation d'Euler, Nouv. ann. math., 2e série, XI (1872), p.156-161 ; [Œuvres], II, p.269-274. | EuDML 98630 | JFM 04.0219.02 | Numdam

[50] Laguerre (Edmond) [Œuvres] Œuvres, Paris : Académie des sciences, I (1898), II (1905) ; reprint New York : Chelsea Publishing Company Bronx, 1972.

[51] Lamé (Gabriel) [1837] Mémoire sur les surfaces isothermes dans les corps solides homogènes en équilibre de température, J. math. pures appl., II (1837), p.147-183. | EuDML 235680

[52] Lamé (Gabriel) [1840] Mémoire sur les coordonnées curvilignes, J. math. pures appl., V (1840), p.313-347. | EuDML 234469

[53] Legendre (Adrien-Marie) [1793] Mémoire sur les transcendantes elliptiques, Paris : du Pont et Didot, 1793.

[54] Legendre (Adrien-Marie) [1825] Traité des fonctions elliptiques, Paris, vol. II, 1825.

[55] Mackay (John Surgeon) [1887] Historical Notes on a Geometrical Theorem and its Developments, Proceedings of the Edinburgh Mathematical Society, V (1886-1887), p.62-78. | JFM 19.0032.02

[56] Mannheim (Amédée) [1858] Construction du centre de courbure de la courbe, lieu des points dont la distance à deux courbes données sont dans un rapport constant, Annali di Matematica, I (1858), p.364-369.

[57] Mannheim (Amédée) [1862] Sur les arcs des courbes planes ou sphériques considérées comme enveloppes de cercle, J. math. pures appl., 2e s., VII (1862), p.121-135. | EuDML 235176

[58] Moutard (Théodore Florentin) [1862] Rapprochements entre les méthodes de la géométrie pure et celles de l'analyse algébrique, dans Poncelet (Jean-Victor), Applications d'analyse et de géométrie, Paris : Mallet-Bachelet, [1862], p.509-535.

[59] Moutard (Théodore Florentin) [1864a] Note sur la transformation par rayons vecteurs réciproques, Nouv. ann. math., 2e s. III (1864), p.306-309. | EuDML 97860

[60] Moutard (Théodore Florentin) [1864b] Sur les surfaces anallagmatiques du 4e ordre, Nouv. ann. math., 2e s., III (1864), p.536-541.

[61] Poncelet (Jean-Victor) [1862] Applications d'analyse et de géométrie, Paris : Mallet-Bachelet, 1862.

[62] Poncelet (Jean-Victor) [1865] Traité des propriétés projectives des figures, 2e éd., Paris : Gauthier-Villars, 1865.

[63] Quételet (Adolphe) [1825] Résumé d'une nouvelle théorie des caustiques, Mémoires de l'Académie royale de Bruxelles, III (1825), p.3-35.

[64] Quételet (Adolphe) [1829] Démonstration et développement des principes fondamentaux de la théorie des caustiques secondaires, Mémoires de l'Académie royale de Bruxelles, V (1829), p.2-52. | EuDML 180499

[65] Roberts (William) [1843] Sur une représentation géométrique des fonctions elliptiques de première espèce, J. math. pures appl., VIII (1843), p.263-264. | EuDML 234625

[66] Roberts (William) [1845] Mémoire sur quelques propriétés géométriques relatives aux fonctions elliptiques, J. math. pures appl., X (1845), p.297-315. | EuDML 234115

[67] Roberts (William) [1850] Théorème sur les arcs des lignes aplanétiques, J. math. pures appl., XV (1850), p.194-196. | EuDML 235314

[68] Salmon (Georges) [1879] A Treatise on the Higher Plane Curves, New York : Chelsea Publishing Company, 3e éd., 1879.

[69] Serret (Joseph Alfred) [1843a] Note sur les fonctions elliptiques de première espèce, J. math. pures appl., VIII (1843), p.145-154. | EuDML 235026

[70] Serret (Joseph Alfred) [1843b] Propriétés géométriques relatives à la théorie des fonctions elliptiques, J. math. pures appl., VIII (1843), p.495-501. | EuDML 234646

[71] Serret (Joseph Alfred) [1845] Mémoire sur la représentation géométrique des fonctions elliptiques et ultra-elliptiques, J. math. pures appl., X (1845), p.257-293. | EuDML 234346

[72] Serret (Joseph Alfred) [1846] Théorie géométrique de la lemniscate et des courbes elliptiques de la première classe, J. math. pures appl., XI (1846), p.89-95. | EuDML 235125

[73] Siebeck (H.) [1860] Ueber eine Gattung von Curven vierten Grades, welche mit den elliptischen Functionen zusammenhängen, J. reine ang. Math., LVII (1860), p.359-370. | EuDML 147795 | Zbl 057.1524cj

[74] Siebeck (H.) [1861] Ueber eine Gattung von Curven vierten Grades, welche mit den elliptischen Functionen zusammenhängen, J. reine ang. Math., LIX (1861), p.173-184. | EuDML 147833 | Zbl 059.1562cj

[75] Weierstrass (Karl) [1856] Zur Theorie der Abelschen Functionen, J. reine ang. Math., LII (1856), p.285-339. | EuDML 147653 | Zbl 052.1381cj

[76] Weierstrass (Karl) [1893] Formeln und Lehrsätze zum Gebrauche der elliptischen Functionen, Berlin : Schwarz, 1893.

[77] Whittaker (Edmund Taylor) & Watson (George Neville) [1902] A Course of Modern Analysis, Cambridge, 1902.

[78] Whittaker (Edmund Taylor) & Watson (George Neville)