TP de Maple : Courbes orthoptiques

c Dikanaina Harrivel, protégé par la GNU Free Documentation License

source disponible sur http://www.velvia.org

Soit C une courbe plane de classe C 1 . On appelle ensemble orthoptique de C l’ensemble O 4. Créez alors une suite de graphique sur lesquels seront tracés l’ellipse f (x, y) = 0, le cercle
des points M de R2 où l’on voit C sous un angle droit, c’est à dire, par lesquels passe deux précédent ainsi que les rectangles pour t = 0, 2π 2.19π
20 , . . . 20 . Vous pouvez alors visualiser
droites orthogonales et tangentes à C . Nous allons nous interesser au cas particulier où la la petite animation correspondant à votre liste en utilisant l’option insequence=true
courbe C est une conique, car il est alors des particularités interessantes. de display.

La réciproque peut être prouvée par technique analogue à celle que l’on va utiliser dans le
1 L’ensemble orthoptique d’une ellipse cas de l’hyperbole.
x2 y2
On note E une ellipse d’équation cartésienne f (x, y) = a2 + b2 = 1 avec a > 0 et b > 0.
2 Hyperbole
1.1 Condition pour qu’une droite donnée soit tangente à E
On se donne D(u, v, w) une droite d’équation cartésienne ux + vy = w avec (u, v) 6= (0, 0). x2 y2
On note H une hyperbole d’équation cartésienne f (x, y) = a2 − b2 = 1 avec a > 0 et
1. Soit [x0 , y0 ] un point du plan, donnez le système d’équation que doit vérifier u, v, w, x0 b > 0.
et y0 pour que la droite D(u, v, w) et l’ellipse E soient tangentes en [x0 , y0 ].
2. Exprimer x0 et y0 en fonction de u, v et w, puis donnez w en fonction de u et v. Y a
t-il unicité de la solution ? qu’est-ce que cela signifie ?
2.1 Condition pour qu’une droite donnée soit tangente à H
3. Tracer sur un même graphique l’ellipse1 de parametre a = 2 et b = 5 et les tangentes Reprenez ls questions du 1 de façon à trouver w, x0 et y0 en fonction des paramètres u et
parallèles aux droites y = x et y = −x. v.
Il n’existe pas de solution pour tout choix de (u, v), ceci est-il prévisible ?
1.2 Rectangles circonscrits à E
E étant symétrique par rapport à l’origine on peut remarquer que si deux droites ortho-
2.2 Condition pour que deux tangentes orthogonales se coupent en
gonales sont tangentes à E alors leurs symétriques par rapport à l’origine sont elles aussi
tangentes à E, formant alors un rectangle circonscrit à E. un point donné
Les points de l’ensemble orthoptique à E sont donc les sommets des rectangles circonscrits
Soit M un point du plan de coordonnées [X, Y ].
à E.
1. Ecrire alors une fonction rectangle(a,b,t) renvoyant la liste [A, B, C, D, A] des som- 1. Soient u et v fixés. A quelle condition les droites D et D0 parallèles respectivement à
mets du rectangle ABCD circonscrit à E tel que la droite (AB) forme un angle t avec D(u, v, 0) et D(−v, u, 0) passant par M = [X, Y ] sont elles tangentes à H ? Montrer
l’axe des abscisses. que ces conditions se réduisent à X 2 + Y 2 = a2 − b2 . On a donc prouvé que H a un
orthoptique non vide si et seulement si√a > b et que dans ce cas l’ensemble orthoptique
2. Ecrire alors une procédure affiche(a,b,t) affichant l’ellipse E et le rectangle ABCD sur
est un cercle de centre O et de rayon a2 − b2 .
le même graphique.
3. Vérifier (par un calcul avec a, b et t formels) qu’un rectangle circonscrit à E est inscrit 2. Ecrire une fonction affichhyp(a,b) affichant sur un même dessin l’hyperbole H son
√
dans le cercle de centre O et de rayon a2 + b2 . ensemble orthoptique (s’il existe).
1 il faut utiliser implicitplot du package plots.
3 Parabole
Reprendre une des méthodes suivies dans le 1 et le 2 pour déterminer l’ensemble orthop-
tique d’une parabole P d’équation y 2 = 2px avec p > 0.
4 Resultat :
On a donc ”prouvé” certaines des propositions suivantes :
– l’ensemble orthoptique
√ d’une ellipse de demi-axes a et ab est le cercle concentrique à
l’ellipse de rayon a2 + b2 .
– l’ensemble orthoptique d’une√hyperbole est non vide si et seulement si son exentricité
est strictement inférieure à 2 et alors c’est un cercle concentrique à l’hyperbole.
– l’ensemble orthoptique d’une parabole est sa directrice.