Sphère osculatrice à une surface, — L'équation

la plus générale d'une sphère ne renfermant que quatre constantes arbitraires, on ne peut, en général, établir un contact du second ordre entre une sphère et une surface donnée , puisqu'il en résulterait six équations de condition. On ne pourra donc établir, entre ces surfaces,' qu'un contact du premier ordre. Il restera une constaifte indéterminée dans l'équation de la sphère , et Ton pourra en profiter de manière à déterminer un contact du second ordre avec l'une des courbes que l'on peut tracer sur la surface ; mais ces recherches nous écarteraient de notre objet.

199. Contact des courbes et des surfaces. — Si, à partir d'un point commun à une courbe et à une surface, on mène des parallèles à Taxe des z , on dira quMl y a un contact de l'ordre n , lorsque la différence des valeurs correspondantes de z pour la courbe et la surface sera infiniment petite de l'ordre 7i H- i . On arrivera à des conditions du même genre que dans les cas précédents, et dans le détail desqiielles nous n'entrerons pas.

2Q0. Déi^eloppées , — Si l'on considère une quelconque des normales en un point d'une courbe à double courbure, elle sera tangente à la surface polaire. Le plan normal mené par un point de la courbe, infiniment voisin du premier, coupera cette normale en un point qui sera commun à deux normales infiniment voisines. En faisant pour la seconde normale ce qui a été fait pour la première , et continuant ainsi, on aura une suite indéfinie de normales à la courbe donnée , dont chacune rencontrera la suivante, et dont les pofnts de contact avec la surface polaire seront infiniment rapprochés les uns des autres. Le point de concours des deux normales consécutives , se trouvant sur. l'intersection des deux plans normaux, se rapproche indéfiniment de la surface polaire, qui est le lieu des limites des intersections des plans normaux consécutifs..

PRUlliRE PARTIE. IQQ

Cette suite de normales détermine donc un {lolygone dont les cètéa sont infiniment petits, et dont la limite est une courbe tangente à toutes ces normales, et située sur la. surface polaire : on l'appelle développée de la courbe donnée.

Comme on peut choisir une quelconque des normales à la courbe au point de départ , ou obtiendra une infinité de développées aussi rapprochées que Ton voudra , et toutes seront sur la surface polaire, qui peut être considérée comme en étant le lieu géométrique. Relativement à ces courbes que nous avons nommées développées, la première prend le nom de dé\feloppante y à cause d'une propriété analogue à celle que nous avons reconnue dans les courbes planes, et dont nous allons donner la démonstration .

Soient MN, M'N' {fig. 16) deux droites normales en M et M' à la courbe en question, N et N' leurs points de cOQlact avec la développée^ nous allons prouver que la différence des longueurs M'N' et MN est égale à l'arc NN', à un infiniment petit près, du second ordre au moins. En effet, si aux points M et N on conçoit deux plans perpendiculaires à MN, la longueur M^P sera du second ordre puisque la courbe M' M est tangente au plan ; de plus , QP surpasse MN d'une quantité infiniment petite du second ordre. On peut donc prendre N'Q comme égale à la différence M'N' — MN , à une quantité près du second ordre. Mais la limite du rapport.de ]N^Q à la corde NN' est l'unité, puisque les angles Q el N du triangle rectiligne QNN' tendent vers des angles droits. Donc N'Q diûere de l'arc N'N, tout au plus d'un infini-ment petit du second ordre \ donc , enfin , la différence de deux ]^)rmalcs consécutives MN , M'N' est égale à l'arc NN', compris entre leurs points de contact avec la développée, plus ou moins une quantité infiniment petite par rapport

200 Gouns d'analyse.

à cet arc , et qui , par conséquent , peut être négligée sans qu'il en résulte aucune erreur dans les limites des rapports ou des sommes.

Il résulte de là que si en deux points quelconques dé la développée on mène des tangentes terminées à la développante, la différence de leurs longueurs est rigoureusement égale à l'arc compris entre les points de contact.

Et t'on voit par là que la dijBTérence entre M'N' — MN et l'arc NN', qui devait être au moins du second ordre, était réellement égale à zéro.

Maintenant supposons un fil qui coïncide avec la développée à partir d'un point quelconque, où il s'en sépare tangentiellement et se prolonge jusqu'à la développante. Si on le déroule en le laissant toujours tangent à la développée , il prendra successivement la position des diverses normales qui sont tangentes à cette courbe ; et ces normales croissant précisément de la même longueur que le fil qui se déroule, ce sera toujours 1« même point de ce fil qui se trouvera sur la développante. Cette courbe sera dope décrite par l'extrémité du fil pris dans la première position. C'est cette propriété qui a fait donner aux deux courbes, l'une par rapport à l'autre., les noms de déi^eloppée et déi^eloppante .

201 . Le lieu des centres des cercles osculateurs d'une courbe à double courbure n'est pas une développée de cette courbe. En effet, deux plans osculateurs consécutifs se coupent suivant une droite qui a pour limite la tangente, et ils forment entre eux un angle infiniment petit du premier ordre. La distance du centre de courbure contenu dans le premier, au second plan , est donc un infiniment petit du premier ordre ^ or sa distance à la normale contenue dans ce second plan e§t plus grande que sa dis- . tance au plan : donc cette normale n'est pas tangente à la

PRRMIÈBE PA&TIE. • 201

courbe qui passe par.ces deux centres , puisqu'il faudrait pour cela que cette (listance fut un infiniment petit d'un, ordre supérieur au premier. Le lieu des centres de courbure n'est donc pas une des développées, lorsque la courbe que l'on considère n'est pas plane.

202. Les développées d'une courbe à double courbure jouissent de la propriété remarquable de se réduire à des lignes droites quand on développe la surface polaire sur un plan.

Pour le démontrer, nous considérerons un polygone infinitésimal inscrit dans la courbe donnée,- et ayant ses côtés égaux 5 ce qui revient à prendre Tare pour variable indépendante. Sur les milieux de ces côtés nous concevrons des plans perpendiculaires, dont les intersections formeront les arêtes de la surface développable qui , à la limite, devient la surface polaire.

Or, si du point milieu d'un côté quelconque on trace une droite dans le plan normal, elle coupera l'arête commune à ce plan et au suivant, en un point qui, joint au milieu du côté suivant , donnera une -normale à ce côté 5 et il est facile de voir que ces deux normales font des angles égaux avec l'arête que nous avons consideree.

Cette seconde normale prolongée coupera l'arête commune au second plan normal et au troisième , en un point qui, joint au milieu du troisième côté, formera une normale à ce côté , faisant avec la seconde arête le même angle que la normale précédente ; et ainsi de suite indéfiniment.

Maintenant, si Ton développe sur un plan la surface qui renferme toutes ces arêtes , deux normales consécutives se rabattront l'une sur l'autre, puisqu'elles font le même angle avec l'arête sur laquelle elles se coupent 5 et le polygone infinitésimal, formé par les intersections de ces

202 • GOUES d'aNALYSB.

nprmales successives, aura tous ses .côtés sur une même droite. Ce résultat ayant lieu quelle que soit la petitesse des côtés de ce polygone , aura lieu pour la courbe limite , qui est une quelconque des développées de la courbe proposée.

Donc, dans le rabattement de la surface polaire sur un plan, toutes les développées de la courbe deviennent des lignes droites.

203. Dans le développement de la surface polaire^ les côtés infiniment petits qui composent la développée ne changeant pas de longueur, un arc quelconque de cette courbe a la même longueur avant ou après le développement; et il en serait de même de toute autre ligne tracée sur cette surface. Donc le plus court chemin d'un point a un autre sur la surface polaire est. Tare de la développée qui passe par ces deux points , puisque , devenant une ligne 4roite, il est plus court que tout autre après une transformation qui n'a pas changé les longueurs*

On peut encore remarquer que si Ton suppose un fiLappliqué sur le polygone formé par les normales successives que nous venons de considér*er, et prolongé suivant un quelconque des côtés jusqu'au milieu du côté correspondant du premier polygone , inscrit dans la courbe donnée , et qu'ensuite on développe ce fil de manière à CCI qu'il soit successivement dans le prolongement de chacun des côtés du polygone sur lequel, il est appliqué, son extrémité passera par tous les milieux de côtés de l'autre polygone* Donc , si l'on passe aux limites des polygones , on j^etrouvera la propriété démontrée précédemment par des considérations différentes,

204. Équations des déi^eloppées. — Si l'on désigne par x'^ y\ z^ les coordonnées d'un point quelconque de la couAe proposée, l'équation de la surface polaire s'obtient en éliminant j:', /', z^ entre les deux équations de la

PftBNlKEK PARTIE. 2o3

courba et les deux suivantes :

(x — x'} rf V 4- (r — J ') d'y 4- (« — z') <f'z' = ds'\

Si maintenant on considère un quelconque des points dont les coordonnées x^ y^ z satisfont à ces équations, on passera de ce point au point voisin de la développée si la droite qui joint ces deux points est dans le prolongement de celle qui joint les points (jt', y^ z') , {x^y^ z) ] ce qui aura lieu si les différentielles dx>, djr^ dz sont proportionnelles aux différences x — x'^ y — y\ z — z' . On tirerait de là les deux équations

dx X — ' x' dy y — y' dz "^ z — z' dz "^ z — z*

Mais une seule sera nécessaire, parce que les précédentes expriment que les points (jr, y^ r) ne cessent pas d'être sur la surface polaire. Une quelconque de ces deux équations étant jointe aux deux précédentes, et à celles de la courbe donnée , on aura cinq équations entre lesquelles on éliminera x* ^ y'^ z\ et l'on obtiendra deux équations différentîeilee qui conviendront à Tune quelconque des développées.

Application des théories précédentes à l'hélice,

205. 3î l'on désigne par a le rayon de la base du cylindre, et par m la tangente de rinclinaison de Thélice sur le plan de cette base, les équations des trois projections de cette courbe seront

X c=z a CCS — 9 r =? a sm — •> ar' -J- r = « • ma ^ ma

L'axe des x passe par le point où Thélice perce le plan de

2o4 COURS d'analyse.

la base ^ oi cette courbe , en s'élevant , tourne de Taxe des X positifs vers l'axe des y positifs.

Ces équations différentiées donnent

(lx-=. sin — •««, «r = — ces — dz. ds:=. dz^

m ma m ma - m

d^x-=z ces — dz^y d'^Y=^ sin — dz^. d^s-=o.

m^a ma m^a ma

1/équation du plan osculateur devient alors , en prenant z pour variable indépendante,

z — z ' = — mx sin h fnr ces — •

ma ma

Ce plan fait avec le plan de la base un angle dont le cosinus est -- et la tangente m. 11 est le même que celui

de rhélice avec le même plan.

L'équation du plan normal sera

m (z — z ) c=z X sm r cos — •

ma ma

L'angle de contingence, dont l'expression générale est

u = -^ s/d^x^ -+- d^y^ -+- d^z^ — d's^, ds

devient , dans le cas actuel ,

am V I -h 'w ' L'angle de deux plans osculateurs consécutifs est

ou /TtU.

a^ I -Hw' Le rayon du cercle osculatetir, dont la valeur générale

PBEMIERE PARTIE. ao5

est R = — 5 sera égal à a (i -f- m*) ^ sa grandeur est donc

constante et surpasse de am^ le rayon de la base. Pour connaître sa direction, il faut chercher Tîntersection du plan normal et du plan osculateur. Les équations combinées donnent

z' z = z^ r = ^ tang — < • ma

Donc le rayon de courbure est constamment parallèle au plan de la base, et rencontre Taxe du cylindre. Le centre de courbure se meut donc sur un cylindre ayant même axe que le premier, et pour base un cercle dont le rayon est am^. Il décrit donc sur ce cylindre une hélice dont le pas est le même que celui de l'hélice proposée.

On trouvera le même résultat en calculant les coordonnées du centre de courbure. Leurs valeurs sont

z = z\ r = — am^sin — ? xz=z — am ^cos — 9

ma ma

et Ton en déduit immédiatement les conséquences précédentes.

Déterminons maintenant les équations d'une arête quelconque de la surface polaire, c'est-à-dire de Tintersection de deux plans normaux infiniment voisins. Ces équations sont les suivantes :

miz — z'\ -=. xûn f- y ces — 9

ma ma

X ces 1- r sin — = — am"^,

ma *^ ma

Cette droite est nécessairement perpendiculaire au plan osculateur, et ou le vérifiera facilement au moyen de ses équâtit>ns. Comme d'ailleurs elle passe par le centre de

206 COURS D*ANALTSR.

courbure et qu'elle est perpendiculaire au rayon de courbure , elle est tangente au cylindre sur lequel se meut l'extrëniité de ce rayon, et dont la base a pour rayon am*. De plus , il est facile de reconnaître qu*elle est tangente à Thëîîce décrite par cette extrémité. En effet, puisqu'elle est perpendiculaire au plan osculateur, elle fait avec le

plan de la base un angle dont la tangente est — : or l'hélice qui est le lieu des centres de courbure , et dont nous venons de donner les équations , est tracée sur le cylindre dont le rayon est aw', et fait avec sa base un angle dont

la tangente est — Donc l'arête de la surface polaire est

tangente à cette hélice, et la surface polaire est rhéliçoïde développable dont cette hélice est l'arête de rebroussement.

Mais on sait que la sous-tangente d'une hélice sur le plan de sa base est égale à l'arc de cette base, depuis l'origine de l'hélice jusqu'à la projection du point de contact. Donc la trace de la surface polaire sur le plan (xy) est la développante de la base du cylindre dont le rayon est am^.

Si l'on veut avoir l'équation de la surface polaive, il faut éliminer z' entre les deux équations

m(z — z') == X sin r cos -— 9

ma ma

X cos h V sin — = — am ^

ma " ma

Ajoutant les carrés. des membres de ces deux équations, on obtient

substituant dans la seconde , on trouve l'équation cher-