L’analyse différentielle des familles paramétrées repose intrinsèquement sur la notion complexe des enveloppes de droites. En effet, ce concept analytique permet de construire rigoureusement une courbe plane par ses tangentes successives.

Définitions Formelles des Enveloppes de droites

Soit $\mathcal{E}$ un plan affine euclidien rapporté à un repère orthonormé usuel. Considérons un intervalle réel ouvert $I$.

Une famille de droites affines est une application associant à chaque paramètre $t \in I$ une droite unique $\mathcal{D}_t$.

Équation Cartésienne Paramétrée

Analytiquement, cette famille est définie par une équation cartésienne globale dépendant du paramètre $t$. Supposons les fonctions composantes de classe $\mathcal{C}^1$.

$$ \mathcal{D}_t : u(t)x + v(t)y + w(t) = 0 $$

Le vecteur normal $\vec{n}(t) = (u(t), v(t))$ ne doit jamais s’annuler sur $I$. L’enveloppe $\mathcal{C}$ de cette famille est une courbe paramétrée géométriquement spécifique.

Elle doit être strictement tangente à chaque droite $\mathcal{D}_t$ en un point de contact singulier $M(t)$.

Théorèmes et Équations Caractéristiques

La recherche analytique de cette enveloppe nécessite la résolution d’un système différentiel local. Ce théorème fondamental donne la condition nécessaire de tangency.

Théorème de l’Intersection Caractéristique

Soit $\mathcal{C}$ l’enveloppe de la famille $\mathcal{D}_t$. Les coordonnées de son point de contact $M(t) = (x(t), y(t))$ vérifient obligatoirement le système caractéristique suivant :

$$ \begin{cases} u(t)x(t) + v(t)y(t) + w(t) = 0 \\ u'(t)x(t) + v'(t)y(t) + w'(t) = 0 \end{cases} $$

Preuve : Par définition stricte de l’enveloppe, le point de contact $M(t)$ appartient à la droite $\mathcal{D}_t$. L’équation cartésienne initiale est donc trivialement satisfaite.

$$ u(t)x(t) + v(t)y(t) + w(t) = 0 $$

Dérivons intégralement cette identité algébrique par rapport au paramètre réel $t$. Nous utilisons la règle différentielle de la chaîne.

$$ u'(t)x(t) + u(t)x'(t) + v'(t)y(t) + v(t)y'(t) + w'(t) = 0 $$

Regroupons stratégiquement les termes pour faire apparaître le produit scalaire euclidien.

$$ [u'(t)x(t) + v'(t)y(t) + w'(t)] + [u(t)x'(t) + v(t)y'(t)] = 0 $$

La courbe $\mathcal{C}$ est rigoureusement tangente à $\mathcal{D}_t$ au point $M(t)$. Par conséquent, le vecteur dérivé tangent $\vec{T} = (x'(t), y'(t))$ est parfaitement orthogonal au vecteur normal $\vec{n}(t) = (u(t), v(t))$.

$$ \langle \vec{n}(t), \vec{T}(t) \rangle = u(t)x'(t) + v(t)y'(t) = 0 $$

En annulant ce terme scalaire dans l’équation dérivée globale, il reste exactement la seconde équation du système caractéristique recherché. La condition est donc pleinement démontrée. $\blacksquare$

Exemples et Contre-exemples Géométriques

L’application du système caractéristique permet d’isoler des courbes célèbres ou de prouver l’inexistence topologique d’une enveloppe locale.

Exemple Paramétré : L’Astroïde

Considérons un segment de longueur unitaire glissant perpétuellement sur les axes orthogonaux du repère. Paramétrons cette famille géométrique par l’angle $t \in ]0, \pi/2[$.

La droite $\mathcal{D}_t$ passe par les points affines $(\cos t, 0)$ et $(0, \sin t)$. Son équation normalisée devient :

$$ \frac{x}{\cos t} + \frac{y}{\sin t} = 1 \implies x \sin t + y \cos t – \sin t \cos t = 0 $$

Dérivons cette expression scalaire par rapport à $t$ pour former le système. Utilisons l’identité différentielle classique du produit.

$$ x \cos t – y \sin t – (\cos^2 t – \sin^2 t) = 0 $$

La résolution linéaire stricte de ce système de Cramer fournit les coordonnées paramétriques de l’enveloppe locale.

$$ x(t) = \cos^3 t \quad \text{et} \quad y(t) = \sin^3 t $$

Cette paramétrisation cubique correspond algébriquement à l’astroïde. L’enveloppe des segments glissants est donc une hypocycloïde à quatre rebroussements.

Contre-exemple : Faisceau de Droites Parallèles

Toute famille paramétrée de droites n’admet pas systématiquement une courbe enveloppe. Étudions un faisceau de droites strictement parallèles.

Définissons la famille dynamique par l’équation cartésienne affine translationnelle :

$$ x – t = 0 $$

Cette expression modélise l’ensemble continu des droites verticales du plan. Appliquons rigoureusement le système dérivé caractéristique.

$$ \frac{\partial}{\partial t}(x – t) = 0 \implies -1 = 0 $$

Cette contradiction algébrique absolue ($ -1 = 0 $) prouve que le système n’admet aucune solution ponctuelle. L’enveloppe différentielle de ce faisceau parallèle est topologiquement vide.