Ovale de Descartes — Wikipédia
En géométrie plane, un(e)[1] ovale de Descartes est l'ensemble des points M vérifiant une équation de la forme bF1M + aF2M = cF1F2, où a, b et c sont trois réels non nuls et F1, F2 deux points donnés appelés foyers.
Pour chaque ovale non dégénéré, de foyers F1 et F2, il existe un troisième foyer F3 et de nouveaux paramètres qui font de la courbe un ovale de foyers F1, F3. C'est la raison pour laquelle on parle des trois foyers d'un ovale.
L'ensemble des points M tels que |bF1M ± aF2M| = |cF1F2| est appelé ovale complet et regroupe deux courbes du type précédent. Un ovale complet est un cas particulier de courbe quartique.
Le nom «ovale de Descartes» fait référence au mathématicien René Descartes qui fut le premier à les étudier dans des problèmes de réfraction.
Origine
[modifier | modifier le code]René Descartes fait allusion à ces courbes dans sa Dioptrique mais les étudie plus profondément dans sa Géométrie. Il ne les présente pas directement par leur équation bifocale mais à l'aide d'une construction. Sa motivation est d'ordre pratique : il s'agit de rechercher des courbes de stigmatisme parfait. C'est-à-dire des courbes séparant deux milieux d'indices différents telles que tous les rayons issus d'un point particulier du premier milieu, convergent par réfraction sur un point particulier du second milieu.
Les ovales intérieurs ont cette particularité: si l'ovale d'équation bF1M+ aF2M = cF1F2 où 0 < a < c < b sépare un milieu intérieur d'indice b d'un milieu extérieur d'indice a alors les rayons issus de F2 et rencontrant l'ovale vont se réfracter en F1.
Descartes mobilise, dans cette étude, sa nouvelle connaissance de la loi de réfraction ainsi que ses techniques de tracé de tangentes à des courbes[2]. Il conclut par la présentation de lunettes permettant à l'aide de la combinaison de deux ovales d'assurer un stigmatisme absolu[3].
Il propose également un moyen mécanique de construction de telles ovales pour des coefficients b et a entiers naturels lorsque c=(a+b)/2, avec une méthode s'apparentant à la méthode du jardinier[4].
La courbe est également étudiée par Isaac Newton, Adolphe Quételet qui étudie les deux branches de la courbe et en donne l'équation polaire[5], par Michel Chasles. Arthur Cayley, Hieronymus Georg Zeuthen et Hammond[6] en développent des méthodes mécaniques de construction[7].
Cas particuliers
[modifier | modifier le code]On considère la courbe d'équation bipolaire bF1M + aF2M = cF1F2. On peut, sans perte de généralité, supposer a + b > 0. Si c < min(a,b), la courbe est vide[8].
Lorsque 0 < a = b < c, l'ensemble des points M est une ellipse, le troisième foyer est envoyé à l'infini. On considère en général[8] qu'il s'agit d'un ovale dégénéré.
Lorsque a + b = 0, l'ensemble des points M est une demi-hyperbole. Le troisième foyer est envoyé à l'infini. Il s'agit aussi d'un cas dégénéré.
Lorsque a = ±c, le troisième foyer est confondu avec F1 et l'ovale complet est un limaçon de Pascal.
Équations de l'ovale complet
[modifier | modifier le code]L'équation |bMF1 ± aMF2| = |cF1F2| peut encore s'écrire sous la forme quartique suivante :
Équations cartésiennes
[modifier | modifier le code]Dans le cas d'un ovale non dégénéré, en prenant pour origine O le barycentre de F1 et F2 affectés des coefficient b² et –a² et pour le vecteur tel que F1 a pour abscisse α = a² . Alors F2 a pour abscisse β = b² . En posant γ = c², l'équation de l'ovale devient[9] : où σ1, σ2 et σ3 sont les fonctions symétriques des réels α, β et γ :
Le caractère symétrique des rôles joués par les réels α, β et γ permet de dire que la même équation cartésienne sera obtenue pour l'ovale de foyers F1 et F3(γ, 0) et d'équation |cMF1 ± aMF3| = |bF1F3| ainsi que pour l'ovale de foyers F2 et F3 et d'équation |cMF2 ± bMF3| = |aF1F3|.
On peut aussi décider de prendre pour origine, le milieu du segment [F1F2][10] ou un des foyers[11] pour obtenir des équations alternatives.
Équation polaire
[modifier | modifier le code]Dans le repère de centre F1 et dont l'axe principal est orienté vers F2, si l'on note d=F1F2, l'ovale complet d'équation |bMF1 ± aMF2| = |cF1F2| a pour équation polaire[12] :
Puisque le produit des deux racines de cette équation est indépendant de θ, l'ovale complet est invariant par inversion[13] de centre F1 et de rapport .
Propriétés géométriques
[modifier | modifier le code]On considère l'ovale d'équation |bF1M ± aF2M| = |cF1F2|.
Troisième foyer
[modifier | modifier le code]Si l'ovale n'est pas dégénéré, le troisième foyer F3 est le barycentre des points F1 et F2 affectés des coefficient b² - c² et c² - a², et les deux autres équations de l'ovale sont |cF2M ± bF3M| = |aF2F3| et |aF3M ± cF1M| = |bF3F2|, voir à théorème de Stewart.
Sommets
[modifier | modifier le code]Les 4 sommets de l'ovale complet sont les barycentres des points F1 et F2 affectés des coefficients (b - c, a + c), (b - c, - a + c), (b + c, a - c), (b + c, -a -c).
Tangente et normale
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d4/OvaleRefraction.svg/220px-OvaleRefraction.svg.png)
La normale à l'ovale d'équation bF1M + aF2M = cF1F2 au point M a pour vecteur directeur[8] :
Ainsi, si on appelle θ1 l'angle que fait F1M avec la normale et θ2 l'angle que fait F2M avec la normale, on a l'égalité : .
Pour 0< b < a, on retrouve là, la loi de Snell-Descartes. Si l'ovale sépare deux milieux, l'un d'indice b contenant F1 et l'autre d'indice a contenant F2 et si M est le premier point de rencontre de la demi-droite [F1M) avec l'ovale, alors le rayon F1M) se réfracte en MF2
Construction à l'aide de deux cercles
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/29/OvaleChasles.svg/330px-OvaleChasles.svg.png)
Michel Chasles[14] propose une construction d'ovale complet à l'aide de deux cercles de centres F1 et F2 et d'un point C situé sur la droite (F1F2). On fait pivoter une droite autour de C de telle sorte qu'elle rencontre le premier cercle en deux points M1 et N1 et le second cercle en M2 et N2. Les points de rencontre des droites (F1M1) et (F1N1) avec les droites (F2M2) et (F2N2) dessinent alors un ovale complet quand la droite pivote autour de C.
Projection d'une courbe gauche
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/15/OvaleCones2.svg/220px-OvaleCones2.svg.png)
Un ovale de Descartes est le projeté vertical dans un plan horizontal de l'intersection de deux cônes de révolution d'axes verticaux différents. Les foyers sont alors les projetés des sommets des deux cônes. Cette interprétation permet de retrouver de façon relativement simple certaines propriétés géométriques des ovales[15]
Caustique secondaire par réfraction
[modifier | modifier le code]![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/55/OvaleCaustique.svg/220px-OvaleCaustique.svg.png)
Si l'ovale complet a pour équation |bMF1 ± aMF2| = |cF1F2| et si les point O et P sont définis comme les barycentres de F1 et F2 affectés des coefficient b² et –a² pour O, et a et b pour P, l'ovale est alors la caustique secondaire par réfraction[16] de rapport n = |a/c| du cercle (Γ) de centre O, passant par P, par rapport au foyer F1. C'est donc l'enveloppe des cercles (ΓM) de centres M situés sur (Γ) et de rayons F1M/n.
Chaque cercle (ΓM) est tangent à l'ovale en deux points TM et T'M toujours alignés avec le troisième foyer de l'ovale[17].
Références
[modifier | modifier le code]- Descartes (Descartes 1637, p. 447) et Barbin(Barbin et Guitart 1998, p. 1) utilisent le féminin.
- Descartes 1637, «Explication de quatre nouveaux genres d’ovales qui servent à l’optique» et «Les propriétés de ces ovales touchant les réflexions et les réfractions», «Démonstration de ces propriétés de ces ovales touchant les réflexions et les réfractions».
- Warusfel 2010, p. 414.
- Pour la construction de l'ovale voir Descartes 1637, p. 356, pour une analyse voir Warusfel 2010, p. 361-362.
- Adolphe Quetelet, Démonstration et développement des principes fondamentaux de la théorie des caustiques secondaires. Nouveaux mémoires de l'Académie Royale des Sciences et Belles-Lettres de Bruxelles (1829), lire en ligne
- J. Hammond, On the Mechanical Description of the Cartesian, American Journal of Mathematics, 1878
- (de) H. Mohrmann et W. Fr. Meyer, Geometrie, Springer-Verlag, , p.558.
- MathcurveOvale.
- MathcurveOvale, avec des notations différentes.
- Weisstein, Eric W. Cartesian Ovals. sur MathWorld--A Wolfram Web Resource
- Warusfel 2010, p. 120, équation de l'ovale |MF1 ± hMF2| = |kF1F2| dans le repère de centre F1 dans lequel F2 a pour abscisse c
- Barbin et Guitart 1998, p. 375 ou MathcurveOvale, avec d'autres notations.
- Barbin et Guitart 1998, p. 375.
- Chasles 1837, p. 351.
- M. Dufour, « Sur les ovales de Descartes », L'Enseignement mathématique, vol. 28, no 1, (lire en ligne, consulté le )
- Robert Ferréol, Jacques Mandonnet, Anticaustique, Encyclopédie des formes mathématiques remarquables, 2000
- Barbin et Guitart 2001, p. 172
Bibliographie et sources
[modifier | modifier le code]- André Warusfel, L’œuvre mathématique de Descartes dans La Géométrie : de la résolution des équations algébriques à la naissance de la géométrie analytique, (lire en ligne)
- Robert Ferreol et Jacques Mandonnet, « Ovale de Descartes », sur Encyclopédie des formes mathématiques remarquables, (consulté le )
- Évelyne Barbin et René Guitart, « Algèbre des fonctions elliptiques et géométrie des ovales de Descartes », Revue d'histoire des mathématiques, no 7, , p. 161-205 (lire en ligne)
- Évelyne Barbin et René Guitart, « La pulsation entre les conceptions optiques, algébriques, articulées et projectives, des ovales cartésiennes », dans Actes de la septième université d’été interdisciplinaire sur l’histoire des mathématiques (Nantes, juillet 1997), (lire en ligne)
- Paul Baudoin, Les ovales de Descartes et le limaçon de Pascal, Vuibert,
- M. Dufour, « Sur les ovales de Descartes », l'enseignement mathématique, Commission internationale de l'enseignement mathématique, vol. 28, no 1, (lire en ligne)
- Michel Chasles, Aperçu historique sur l'origine et le développement des méthodes en géométrie, M; Hayez, (lire en ligne)
- René Descartes, La Géométrie, Leyde, Jean Maire,