Enveloppe d'une famille de courbes planes

ENVELOPPE D'UNE FAMILLE DE COURBES PLANES
Envelope of a family of plane curves, Hüllkurve einer Familie ebener Kurven

Notion étudiée par Leibniz en 1694 et Taylor en 1715.

Si (G_t) est définie par l'équation cartésienne (1) : f(x, y, t) = 0, l'équation de l'enveloppe s'obtient en éliminant t entre (1) et l'équation (2) : (équivalent au contour apparent suivant Oz de la surface f(x,y,z) = 0).
Si (G_t) est définie paramétriquement par (M(u,t))_u, la valeur en fonction de t du paramètre u du point caractéristique s'obtient en résolvant .

L'enveloppe d'une famille de courbes à un paramètre (G_t) est la famille (G) des points caractéristiques des courbes G_t, points limites quand t' tend vers t des points d'intersection de (G_t) avec (G_t') ; la courbe (G) est tangente en chacun de ses points à une courbe (G_t) et "en général", toute courbe G_t est tangente en au moins un point à (G) ; les cas restrictifs sont les suivants :
- sur un intervalle, les courbes (G_t) passent par un ou plusieurs points fixes, auquel cas, ce point appartient à l’enveloppe.
- les courbes n'ont pas d'intersection entre elles (par exemple des cercles concentriques, ou des courbes dont les points d'intersection sont imaginaires).

Avec les notations ci-dessus dans le cas paramétrique, la condition étant symétrique en u et t, l'enveloppe des courbes (G'_u) lieux des points (M(u,t))_t est la même que celle des courbes (G_t) ; l'enveloppe est en fait le lieu des points où une courbe de la première famille est tangente à une courbe de la deuxième.

Exemple : l'enveloppe d'un cercle (G_t) de rayon constant dont le centre décrit une parabole est une courbe parallèle à la parabole.
On a pris M(t, u) = (t + cos u, t² + sin u)

L'enveloppe des cercles (G_t) ...
... est aussi celle des paraboles (G'_u)

L'enveloppe peut aussi être vue comme la solution singulière de l'équation différentielle dont les courbes (G_t) sont solutions.

Cas particulier : l'enveloppe d'une famille de droites est une courbe dont cette famille est la famille des tangentes.

On réalise physiquement les enveloppes de droites à l'aide de tableaux de fils.

Exemples :
- Toute courbe est l'enveloppe de ses tangentes.
- La développée d'une courbe est l'enveloppe des normales à la courbe.
- Les caustiques sont les enveloppes des rayons réfléchis par un système optique.
- Les courbes parallèles à une courbe sont les enveloppes de cercles de rayon constant centrés sur cette courbe.
- La podaire d'une courbe (G) par rapport à un point O est l'enveloppe des cercles de diamètre [OM] où M décrit (G), et la courbe orthotomique est l'enveloppe des cercles de centre M passant par O.
- La polaire d'une courbe (G) par rapport à un cercle (C) est l'enveloppe des (droites) polaires par rapport à (C) des points de (G).
- Une courbe anallagmatique est l'enveloppe des cercles orthogonaux au cercle d'inversion et centrés sur la déférente.
- L'anticaustique d'une courbe est l'enveloppe d'un cercle centré sur la courbe et dont le rayon est dans un rapport constant avec la distance entre le centre du cercle et un point fixe.
- L'enveloppe d'un segment [AB] dont les extrémités se déplacent sur les axes Ox et Oy est une astroïde : quand la longueur AB est constante égale à a (voir plus généralement la génération de Cremona des épi- et hypocycloïdes) et la réunion de quatre arcs de parabole quand OA + OB est constant égal à a (voir à courbe de Lamé).

- Dans un mouvement plan sur plan, il est souvent intéressant de considérer l'enveloppe dans le plan fixe d'une droite du plan mobile .

- La parabole de tir est l'enveloppe de toutes les trajectoires des tirs issus d'un point donné avec une vitesse de départ constante.

Voir aussi les enveloppes de surfaces et les enveloppes de courbes 3d.

courbe suivante courbe précédente courbes 2D courbes 3D surfaces fractals polyèdres