THÉORÈME DE STURM

rème de Sturm dont nous voulons parler, consiste dans renoncé suivant * :

Les normales à la surfaceSen ses points infiniment voisins du point 0 rencontrent les axes des cercles osculateurs des sections principales relatives à ce point 0, c eslà-dire les droites CD, CD', élevées par les points C et f/, perpendiculairement aux plans ZOX, ZOY.

Pour démontrer ce théorème par des considérations de statique, imaginons qu'un système solide invariable repose sur la surface S par les trois points 0, z " A, B, et qu'il soit sollicité par une force

Fig. 130. F, passant dans Tintérieur du triangle

OAB. Pour qu'il y ait équilibre, il faut et il suffit que la force F soit normale à la surface S; car on peut la supposer appliquée en un point infiniment voisin de celte surface, et l'équilibre sera assuré si le déplacement virtuel de ce point, parallèlement à la surface S, est perpendiculaire à la direction de la force F. La force F est alors tenue en équilibre par les réactions des trois points 0, A, B, lesquelles sont dirigées suivant les normales OC, AC, BC. Toute droite qui rencontre ces trois normales rencontre donc aussi la direction de la fofce F, et par suite la normale F, menée à la surface en un point infiniment voisin du point 0, rencontre les deux droites CD, CD', qui s'appuient à la fois sur les trois normales OC, AC, BC.

Le théorème est ainsi démonlré* Mais on voit du mêmccoup qu*on pourrait en dire autant .d'une droite quelconque menée parle point C dans le plan YOZ, et d'une droite quelconque menée par le pointe dans le plan ZOX, de sorte que le théorème est susceptible d'un énoncé plus général : Les normales à la surface S en ses points infiniment voisins du point 0 rencontrent toutes les droites menées par le centre de courbure d'une section principale dans le plan de Vautre section principale.

* Comptes rendus de l'Académie des sciences j t. XX, 1845.

ET DE HEUSNIËR. 223

Il semble cependant coniradictoire d'admettre que la direction de la normale F puisse rencontrer deux droites distinctes menées par le point C dans le plan YOZ, sans être tout entière contenue dans ce plan. ' Mais cette contradiction s'explique aisément, en observant que la proposition n'est vraie que pour des dimensions infiniment petites de la figure OAB. La substitution de la droite CD" à la droite CD dans le plan principal YOZ a pour unique effet d'altérer infiniment peu la direction de la force F, et cette altération s'annule à la limite, quand le point d'application se rapproche indéfiniment du point 0.

La surface donnée, aux environs du point donné 0, peut être considérée, d'après le théorème de Sturm, comme engendrée, soit par le cercle osculateur COA, tournant autour de Taxe CD', soit par le cercle osculateur C'OB tournant autour de l'axe CD. Cette double génération avait été indiquée primitivement par Meusnier*. On voit qu'aux axes indiqués CD, CD' rien n'empêche d'en substituer d'autres, pourvu qu'ils passent par les points C et C, et qu'ils soient contenus dans les plans principaux BOC, AOC. En effet, faisons tourner l'arc infiniment petit OA autour d'un axe oblique CD", mené dans le plan AOC. L'élément de surface de révolution engendré par cette rotation aura pour rayon de courbure au point 0 le rayon de courbure CO de la méridienne, et la portion OC de la normale comprise entre la méridienne et l'axe, c'est-à-dire les rayons principaux de la surface donnée au point 0. Ces deux surfaces sont donc osculatrices tout autour de ce point.