
Certaines courbes ne se cantonnent pas dans un plan. Le premier à avoir osé entreprendre l’étude de ces audacieux objets géométrique est un jeune homme de 19 ans à peine, Alexis Claude Clairaut (1713 –1765), dans un mémoire de cent trente-sept pages intitulé Recherches sur les courbes à double courbure, paru en 1731. Le jeune homme maîtrisait parfaitement les sections coniques et l’analyse des infiniment petits dès l’âge de 13 ans, présentant un mémoire sur les courbes algébriques du quatrième degré à l’Académie royale des sciences ! Comme il le confie dans sa préface, la méthode qu’il développe fut inspirée par Descartes : « Ce qu’il [Descartes] en dit nous apprend simplement que pour les examiner, il faut abaisser de tous leurs points des perpendiculaires sur deux plans qui soient perpendiculaires l’un à l’autre et rapporter tous les points de ces courbes aux points de celles que l’on forme par ce moyen sur ces deux plans. » Étudiant deux courbes planes, Clairaut en tire deux « courbures ». La terminologie actuelle distingue plutôt la courbure et la torsion d’une courbe dite gauche, c’est-à-dire non contenue dans un plan.
De Clairaut à Darboux
L’étude des courbes gauches sera poursuivie par Gaspard Monge (1746 –1818) dans son Mémoire sur les développées, les rayons de courbure, et les différens genres d’inflexions des courbes à double courbure présenté à l’Académie en 1771 et publié quatorze ans plus tard. D’autres communications importantes suivront, dans lesquelles Monge introduit les notions de rayon de courbure, de polaire, de normale principale, de surface réglée développable engendrée par les tangentes à une courbe gauche, et d’arête de rebroussement.
Monge écrit dans un style élégant, se plaçant tour à tour dans un cadre géométrique, analytique ou différentiel. Il a l’intuition de la notion de torsion, vue comme « écart par rapport à la planéité », tout comme la courbure est une mesure de l’« écart par rapport à la droite ».
En 1826, deux ans avant Gauss, Cauchy rend ces notions analytiques, utilisant la terminologie introduite par le polytechnicien Louis-Léger Vallée (1784 –1864) dans son Traité de géométrie descriptive. Enfin, les mathématiciens français Jean-Frédéric Frénet (1816 –1900) et Joseph-Alfred Serret (1819 –1885), puis Gaston Darboux (1842 –1917), fixent définitivement un cadre d’étude efficace pour les courbes gauches.
Les manières de formaliser les courbes dans l’espace à trois dimensions les plus courantes sont la représentation paramétrique et la représentation cartésienne. Le passage de l’une à l’autre est généralement non trivial. Pour donner un sens aux notions qui vont être introduites, supposons toutes les fonctions utilisées au moins deux fois différentiables.
Le repère de Frénet – Serret
La représentation paramétrique peut être visualisée comme la trajectoire d’un point dans l’espace dont on donne à tout moment t la position dans un repère orthonormé au moyen de trois fonctions. Formellement, une courbe gauche est une application φ d’un intervalle I de la droite réelle dans l’espace ℝ3 : pour
Une représentation cartésienne est fournie par la donnée de deux équations bien choisies, F (x, y, z) = 0 et G(x, y, z) = 0, concrétisées par deux surfaces dans l’espace. La courbe définie est leur intersection. Une droite de l’espace est définie comme l’intersection de deux plans distincts la contenant et est donc représentée par deux équations du premier degré. De même, la cubique gauche (t, t 2, t 3 ) est l’intersection des cylindres y = x 2 et z = x 3.
Branche d’une hélice d’ADN.
Avec les hypothèses faites, en chaque point de la courbe gauche on peut définir une tangente. Son équation se formalise vectoriellement sous la forme
Notons
[encadre]
Produit vectoriel et vecteur tangent
Soient
Le produit vectoriel
Par ailleurs, le vecteur dérivé
[/encadre]
Si
La norme
Mettons en œuvre la méthodologie sur l’exemple d’une hélice, qui peut être représentée par le triplet de fonctions
Il s’agit de la trace d’un point se déplaçant sur le cylindre d’équation x 2 + y 2 = 1/2, en tournant et en le remontant à vitesse constante. Cette courbe gauche est visualisée par la rampe d’un escalier hélicoïdal ou encore par l’une des branches d’une hélice d’ADN.
La courbure et la torsion de cette courbe se calculent.
On a
puis
On en déduit
et enfin
(la torsion de l’hélice, indépendante de t). De fait, les hélices circulaires sont les seules courbes de courbure et de torsion constantes.