L’étude géométrique des courbes régulières dans l’espace euclidien tridimensionnel nécessite fondamentalement l’analyse conjointe de la courbure et torsion. En effet, ces deux invariants différentiels caractérisent intrinsèquement et totalement la trajectoire spatiale d’une particule.
Définitions Formelles de la Courbure et Torsion
Soit $E$ un espace affine euclidien orienté de dimension 3. Considérons une courbe paramétrée régulière de classe $\mathcal{C}^3$, notée $\gamma : I \to E$.
Supposons que $\gamma$ soit rigoureusement paramétrée par son abscisse curviligne $s$. Le vecteur tangent unitaire est immédiatement défini par la dérivée première :
$$ \vec{T}(s) = \gamma'(s) $$Vecteur Normal et Courbure
Puisque la norme euclidienne $||\vec{T}(s)||^2 = 1$ est strictement constante, la dérivation scalaire implique l’orthogonalité de $\vec{T}'(s)$ et $\vec{T}(s)$.
La courbure $\kappa(s)$ quantifie analytiquement la déviation locale de la courbe par rapport à une ligne droite pure. Elle est définie comme la norme du vecteur dérivé :
$$ \kappa(s) = ||\vec{T}'(s)|| $$Si la courbure est strictement positive ($\kappa(s) > 0$), nous définissons le vecteur normal principal unitaire $\vec{N}(s)$ :
$$ \vec{N}(s) = \frac{\vec{T}'(s)}{\kappa(s)} $$Vecteur Binormal et Torsion
Le vecteur binormal complète le repère mobile. Il est construit canoniquement par le produit vectoriel :
$$ \vec{B}(s) = \vec{T}(s) \wedge \vec{N}(s) $$La torsion $\tau(s)$ mesure précisément la déviation de la courbe par rapport à son plan osculateur local. Elle est définie par l’équation différentielle suivante :
$$ \vec{B}'(s) = -\tau(s) \vec{N}(s) $$Théorèmes et Démonstrations Fondamentales
L’évolution dynamique du repère mobile orthonormé direct $(\vec{T}, \vec{N}, \vec{B})$ est régie par un système différentiel matriciel crucial.
Les Formules de Frénet-Serret
Ce théorème fondamental établit les relations différentielles strictes entre les vecteurs du repère, la courbure et la torsion.
Pour tout paramètre $s \in I$, le système d’équations couplées s’écrit sous forme matricielle antisymétrique :
$$ \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} $$Preuve : L’équation pour $\vec{T}'(s)$ découle instantanément de la définition de $\vec{N}(s)$. L’équation pour $\vec{B}'(s)$ est la définition formelle de $\tau(s)$. Concentrons-nous sur $\vec{N}'(s)$. Puisque $(\vec{T}, \vec{N}, \vec{B})$ forme une base orthonormée, $\vec{N}'(s)$ se décompose ainsi :
$$ \vec{N}'(s) = \langle \vec{N}’, \vec{T} \rangle \vec{T} + \langle \vec{N}’, \vec{N} \rangle \vec{N} + \langle \vec{N}’, \vec{B} \rangle \vec{B} $$En dérivant les identités scalaires $\langle \vec{N}, \vec{T} \rangle = 0$, $\langle \vec{N}, \vec{N} \rangle = 1$ et $\langle \vec{N}, \vec{B} \rangle = 0$, nous obtenons :
$$ \langle \vec{N}’, \vec{T} \rangle = -\langle \vec{N}, \vec{T}’ \rangle = -\kappa(s) $$ $$ \langle \vec{N}’, \vec{N} \rangle = 0 $$ $$ \langle \vec{N}’, \vec{B} \rangle = -\langle \vec{N}, \vec{B}’ \rangle = \tau(s) $$La substitution directe de ces coefficients scalaires dans la décomposition vectorielle initiale conclut rigoureusement la démonstration du système. $\blacksquare$
Théorème d’Existence et d’Unicité
Ce résultat sublime affirme que la géométrie intrinsèque détermine entièrement la courbe à un déplacement rigide près.
Soient deux fonctions continues $\kappa(s) > 0$ et $\tau(s)$ définies sur un intervalle $I$. Il existe une unique courbe régulière paramétrée par l’abscisse curviligne, à une isométrie euclidienne près, possédant cette courbure et torsion.
Exemples et Contre-exemples Géométriques
L’application analytique de ces concepts différentiels permet de classifier rigoureusement les objets géométriques classiques.
Exemple Paramétré : L’Hélice Circulaire
Considérons l’hélice circulaire paramétrée en temps $t \in \mathbb{R}$ par l’équation tridimensionnelle suivante :
$$ \gamma(t) = \begin{pmatrix} a \cos(t) \\ a \sin(t) \\ b t \end{pmatrix} $$Supposons $a > 0$ et $b \neq 0$. La norme du vecteur tangent $\gamma'(t)$ est la constante $\sqrt{a^2 + b^2}$. Après reparamétrage strict par l’abscisse curviligne $s$, les calculs analytiques de Frénet livrent des invariants absolument constants :
$$ \kappa = \frac{a}{a^2 + b^2} \quad \text{et} \quad \tau = \frac{b}{a^2 + b^2} $$La constance simultanée de la courbure et torsion est la signature géométrique unique de l’hélice circulaire.
Contre-exemple : Condition de Planéité
Une courbe spatiale possède une trajectoire strictement contenue dans un plan si et seulement si sa torsion est identiquement nulle en tout point.
$$ \gamma(I) \subset \mathcal{P} \iff \forall s \in I, \tau(s) = 0 $$En effet, si $\tau(s) = 0$, la formule de Frénet indique $\vec{B}'(s) = \vec{0}$. Le vecteur binormal $\vec{B}$ est donc un vecteur constant. La courbe est alors perpétuellement orthogonale à cette direction fixe, contraignant son évolution dans un plan affine unique.