M,MP=-^'=A

La comparaison avec l'équation (3) montre que l'angle M,MP est la moitié de l'angle de contingence s, ce qui est précisément le théorème déjà démontré (546) et dont nous avons ainsi une seconde démonstration.

L'équation (5) exprime aussi un théorème important; on peut l'écrire

elle donne, pour la courhure géodésique sur la sphère, une expression identique à celle qui a été trouvée (499) pour la courbure d'une ligne plane. Cette courbure, on le voit, est proportionnelle à la distance j correspondant à une valeur donnée de ^, et fait connaître, comme nous l'avons annoncé (542j, la rapidité avec laquelle la courbe s'écarte du grand cercle qui lui est langent.

551 . Différence entre un arc sphérique infiniment petit et sa corde. — En nommant, comme nous l'avons fait (550), corde d'un arc de courbe sphérique, l'arc de grand cercle qui réunit ses extrémités, la différence entre un arc infiniment petit et sa corde est infiniment petite du troisième ordre, et l'expression de sa partie principale ne diffère de celle qui convient aux courbes planes, que par la substitution de la courbure géodésique à la courbure.

Soient, en effet, s la longueur d'un arc de courbe sphérique, compté à partir d'un pointM, etc la corde decetarc : si l'on considère l'une des extrémitésde^commefixe,

la différence 5 — c est une fonction de s dont la dérivée, par rapport à s, est i — ^ :

ds ' or, en nommant V l'angle sous lequel la corde c coupe l'arc s, on a rigoureusement

,. de

COS V = -y- ,

as et par conséquent

I — ^ = I — COS \ =2 sm' ~ V

Si l'on suppose s infiniment petit, l'angle V est (546) la moitié de l'angle de contin-