TT TT

f étant un angle compris entre et4- -; Rcos4> et

Rsin<I^ seront des fonctions continues de f, respectivement égales à la partie réelle du second membre de la

formule ( 2 ) et à la partie que multiplie sj — i . Pour avoir les différentielles de ces fonctions, on pourra différentier

sous le signe 1 les intégrales qui expriment leurs var

leurs, et il est évident qu'on obtiendra le même résultat, d'une manière plus simple, en exécutant la différentiation sur la formule (2). On a ainsi

maïs l'intégration par parties donne

a — t^ — I a — t^ —ij et, comme la partie intégrée s'annule aux limites o et 00 ,