C'est ce qu'il est facile de vérifier par le calcul
Soient
( Y-y-hq'[Z~z') = 0
les équations de deux normales. Si le point (^,7", z) coïncide avec l'origine, et que le point [x\y', z') soit infiniment voisin, les équations (i) se réduisent à
et les deux autres donnent, au point commun,
— dx -\- dp [z — dz) m — d.T -f Zrd,r r=i o,
— df -f- drj [z — dz) =z — t/j -f- Ztdj -- o ,
OU bien
dx [Zr — I ) =: O, dy{Zt~Y]z=zÇi.
On ne peut pas supposer dx et dy nulles à la fois, mais on peut satisfaire à ces deux équations, soit en posant
(3) dx — o, Z = -, ou bien
Dans le premier cas, puisque dx = o, la tangente coïncide avec l'axe des j^, et Z = - est le rayon de courbure principal. Même conclusion à tirer du second système.
723. Il faut bien se garder de croire que les points de rencontre des normales soient les centres des cercles osculateurs des lignes de courbure, car ces normales se
CIIVQUAISTE-SIXIÈME LEÇOJV. 245
coupent conséculivement et sont tangentes à une même courbe, propriété qui n'appartient jamais aux normales menées par les centres de courbure d'une courbe gauche. Et même, les lignes de courbure peuvent être planes sans que leurs cercles osculateurs se confondent avec ceux des sections princi])ales. Il faut pour cela que leurs plans osculateurs soient normaux et que, par conséquent, les lignes de courbure soient les lignes de plus courte distance sur la surface (6i^ Leçon). Par exemples, dans les surfaces de révolution, les lignes de courbure sont les méridiens et les parallèles. Les méridiens sont des sections principales, parce que leurs plans osculateurs sont normaux à la suiface. Les parallèles sont des lignes de courbure planes sans être des sections principales.
CALCUL DES RAYONS DE COURBURE PRIISCIPAUX EN UN POINT QUELCONQUE d'uNE SURFACE.
724. Le théorème démontré (722) permet de calculer les courbures principales en un point d'une surface, l'origine étant quelconque.
La normale menée au point M de la surface a pour
équations
Si M' est un point infiniment voisin, pris sur la ligne de courbure, la normale correspondante rencontrera la première normale en un point dont le Z sera donné par
chacune des deux équations
dr I + p-" -h pq
-h pq
dx
dr
pn
dy dx
dx
En éliminant -— entre ces deux équations, on aura
I [n — s'') (Z — zY (4) j — [(i +/^') ^ -}- (H- 7') /• — ipqs\ (Z — z)
Cette dernière équation donne deux valeurs de Z — z, et, par suite, de Z, qui correspondent aux centres de courbure des deux sections principales. Appelons p l'un des rayons de courbure, on aura
P =r v/(x"- xy-v ( Y - j)^-h (Z - 2)%
valeur qui se réduit, en vertu des équations (i), à
d'où
Z — Zr=:
\J\ -^- lP-\- q'
Si l'on substitue cette valeur de Z — z dans l'équation (4), on aura, en réduisant et ordonnant,
d'où l'on déduira les valeurs des deux rayons de courbure principaux.
725. Les normales d'une surface, menées par les différents points d'une ligne de courbure, forment une surface développable, puisque deux normales consécutives se rencontrent. Pour avoir l'équation de cette surface, il faut éliminer x^j^ z entre l'équation de la surface proposée, les équations (i) d'une normale et l'équation (8) du n^ 719 qui exprime que le point [x^j^ z) est sur la ligne de courbure.
On obtiendra le lieu des centres de courbure de toute? les sections principales d'une surface représentée par
rrNOAA;Tr,--5--::-.^TT7 leçon. ^47
rëqualion
en éliminant x, y, z entre cetie équation, celles de la normale, et Féquation (4) où Z se rapporte au point de ■îoncours de deux normales infiniment voisines. Cette surface se composera de deux nappes, puisque chaque normale contient deux centres de courbure.
