L’étude différentielle géométrique des courbes régulières s’appuie inévitablement sur le Repère de Frénet. Cet outil vectoriel mobile permet d’analyser localement et intrinsèquement la trajectoire d’une particule dans l’espace euclidien.
Définitions Formelles du Repère de Frénet
Soit $E$ un espace affine euclidien orienté de dimension 3. Considérons une courbe paramétrée $\gamma : I \to E$ de classe différentiable $\mathcal{C}^3$.
Supposons cette courbe strictement birégulière. Paramétrons-la par son abscisse curviligne, notée $s$. La vitesse scalaire est ainsi toujours unitaire.
Le Vecteur Tangent
Le premier vecteur de cette base mobile caractérise la direction immédiate du mouvement. Il est défini par la dérivée première de la position :
$$ \vec{T}(s) = \gamma'(s) $$Le Vecteur Normal Principal
Puisque la norme euclidienne $||\vec{T}(s)||^2 = 1$, le vecteur dérivé $\vec{T}'(s)$ lui est formellement orthogonal. Sa norme euclidienne définit la courbure scalaire $\kappa(s)$.
$$ \kappa(s) = ||\vec{T}'(s)|| $$La birégularité globale impose une courbure strictement positive ($\kappa(s) > 0$). Le vecteur normal principal unitaire s’écrit alors rigoureusement :
$$ \vec{N}(s) = \frac{\vec{T}'(s)}{\kappa(s)} $$Le Vecteur Binormal
Le troisième vecteur garantit la construction d’une base orthonormée directe. Il résulte simplement du produit vectoriel canonique :
$$ \vec{B}(s) = \vec{T}(s) \wedge \vec{N}(s) $$L’ensemble géométrique ordonné $(\gamma(s), \vec{T}(s), \vec{N}(s), \vec{B}(s))$ constitue le repère mobile recherché.
Théorèmes et Propriétés du Repère Mobile
Les variations infinitésimales de ce trièdre orthonormé révèlent la géométrie profonde de la courbe. Elles font émerger l’invariant de torsion, noté $\tau(s)$.
Matrice Antisymétrique d’Évolution
Les dérivées des vecteurs de base s’expriment obligatoirement comme des combinaisons linéaires de la base elle-même. La matrice de passage différentielle est formellement antisymétrique.
$$ \frac{d}{ds} \begin{pmatrix} \vec{T}(s) \\ \vec{N}(s) \\ \vec{B}(s) \end{pmatrix} = \begin{pmatrix} 0 & \kappa(s) & 0 \\ -\kappa(s) & 0 & \tau(s) \\ 0 & -\tau(s) & 0 \end{pmatrix} \begin{pmatrix} \vec{T}(s) \\ \vec{N}(s) \\ \vec{B}(s) \end{pmatrix} $$Les Plans Fondamentaux de l’Espace
En chaque point analytique régulier, les vecteurs du repère engendrent trois plans fondamentaux caractérisant l’espace euclidien environnant :
- Le plan osculateur est dirigé par les vecteurs $(\vec{T}, \vec{N})$. Il approxime la courbe à l’ordre deux.
- Le plan normal est strictement orthogonal à la trajectoire. Il est engendré par $(\vec{N}, \vec{B})$.
- Le plan rectifiant correspond au sous-espace affine dirigé par les vecteurs $(\vec{T}, \vec{B})$.
Démonstrations Rigoureuses des Formules
Prouvons algébriquement l’antisymétrie structurelle du système différentiel régissant cette base. Concentrons-nous sur le vecteur binormal.
Preuve de la Dérivée Binormale
Preuve : Démontrons formellement que $\vec{B}'(s)$ est strictement colinéaire à $\vec{N}(s)$. Par définition première, la base est orthonormée en tout point $s$. Ainsi, la norme est unitaire : $\langle \vec{B}(s), \vec{B}(s) \rangle = 1$.
En dérivant cette relation scalaire par rapport à $s$, nous obtenons une orthogonalité fondamentale :
$$ 2 \langle \vec{B}'(s), \vec{B}(s) \rangle = 0 \implies \vec{B}'(s) \perp \vec{B}(s) $$Par ailleurs, $\vec{B}(s)$ est structurellement orthogonal à $\vec{T}(s)$. Évaluons la dérivée de ce produit scalaire nul, $\langle \vec{B}(s), \vec{T}(s) \rangle = 0$.
$$ \langle \vec{B}'(s), \vec{T}(s) \rangle + \langle \vec{B}(s), \vec{T}'(s) \rangle = 0 $$Remplaçons le vecteur $\vec{T}'(s)$ par sa valeur équivalente $\kappa(s)\vec{N}(s)$. Or, le produit scalaire $\langle \vec{B}(s), \vec{N}(s) \rangle$ est analytiquement nul.
$$ \langle \vec{B}'(s), \vec{T}(s) \rangle + \kappa(s) \langle \vec{B}(s), \vec{N}(s) \rangle = 0 $$ $$ \langle \vec{B}'(s), \vec{T}(s) \rangle + 0 = 0 $$Par conséquent, $\vec{B}'(s)$ est simultanément orthogonal à $\vec{B}(s)$ et à $\vec{T}(s)$. Il appartient logiquement à la droite vectorielle engendrée par $\vec{N}(s)$.
$$ \exists \tau(s) \in \mathbb{R}, \quad \vec{B}'(s) = -\tau(s) \vec{N}(s) $$Le scalaire $\tau(s)$ correspond précisément à la torsion locale de la courbe paramétrée. $\blacksquare$
Exemples et Contre-exemples Géométriques
L’application concrète de ce formalisme matriciel permet d’élucider des trajectoires spécifiques et d’identifier leurs singularités mathématiques.
Exemple Algébrique : Le Cercle Paramétré
Considérons un cercle planaire de rayon constant $R > 0$. Paramétrons-le par son abscisse curviligne canonique $s \in [0, 2\pi R]$.
$$ \gamma(s) = \begin{pmatrix} R \cos(s/R) \\ R \sin(s/R) \\ 0 \end{pmatrix} $$Le calcul du premier vecteur du repère livre la tangente unitaire de la trajectoire.
$$ \vec{T}(s) = \gamma'(s) = \begin{pmatrix} -\sin(s/R) \\ \cos(s/R) \\ 0 \end{pmatrix} $$La dérivation consécutive de $\vec{T}(s)$ fournit le vecteur normal, invariablement dirigé vers l’origine géométrique du cercle.
$$ \vec{T}'(s) = \begin{pmatrix} -\frac{1}{R}\cos(s/R) \\ -\frac{1}{R}\sin(s/R) \\ 0 \end{pmatrix} = \frac{1}{R} \vec{N}(s) $$La courbure est donc parfaitement constante ($\kappa = 1/R$). Le vecteur binormal $\vec{B} = \vec{T} \wedge \vec{N}$ donne le vecteur fixe $(0, 0, 1)$. La torsion spatiale est nulle.
Contre-exemple : Point d’Inflexion Planaire
Le trièdre mobile n’est pas défini globalement pour toute courbe infiniment différentiable. Considérons la courbe cubique planaire classique :
$$ \gamma(t) = \begin{pmatrix} t \\ t^3 \\ 0 \end{pmatrix} $$Au point d’inflexion exact $t=0$, la dérivée seconde s’annule vectoriellement. L’accélération devient purement tangentielle au mouvement.
$$ \gamma »(0) = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix} \implies \kappa(0) = 0 $$En cette singularité précise, la division par la courbure $\kappa(0)$ est algébriquement impossible. Le vecteur normal $\vec{N}$ n’existe absolument pas. La structure géométrique du repère s’effondre totalement.