ai

dx sio-'x 9'( cosx ).

Cette formule déduite du développement en série est vraie d’ailleurs dans tous les cas et applicable au cas même où la fonction n'est pas développable.

On a trouvé en effet (I, 143). en supposant cosar = s.

Mais une intégration par parties i — i fois répétée donne, quelle que soit la fonction 9 (s).

Si l’on pose z = posa-, cette formule devient

Hp

j ç'(cosx) sin!'xiir — 3.5.

(il — G f çlcosx) cosix dx.