en faisant C = 0 , {\displaystyle \mathrm {C} \!=\!0,} et prenant les logarithmes, nous avons
d’où, en différentiant,
ou,
Mais comme on a
ou en déduit
Il vient donc, en substituant ces valeurs dans d v sin v , {\displaystyle {\frac {dv}{\sin v}},} et aussi l’expression trouvée pour d w 2 cos 4 1 2 w {\displaystyle {\frac {dw}{2\cos ^{4}\!{\frac {1}{2}}w}}}