Algèbre des fonctions elliptiques et géométrie des ovales cartésiennes  [ Algebra of Elliptic Functions and Geometry of cartesian Ovals ]
Revue d'histoire des mathématiques, Volume 7 (2001) no. 2, p. 161-205

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.

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.

@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},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {7},
     number = {2},
     year = {2001},
     pages = {161-205},
     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, Volume 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. | 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. | 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.

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

[18] Darboux (Gaston) [1866] Sur les surfaces orthogonales, Ann. sci. École norm. sup., III (1866), p.97-141. | 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. | 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. | 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.

[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. | 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.

[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. | 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. | 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. | 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.

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

[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.

[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.

[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.

[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.

[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.

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

[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.

[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.

[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.

[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.

[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. | 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. | Zbl 059.1562cj

[75] Weierstrass (Karl) [1856] Zur Theorie der Abelschen Functionen, J. reine ang. Math., LII (1856), p.285-339. | 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)