1.1.3 Polynômes en sinus et cosinus
On veut calculer les primitives Zsinmxcosnxdx, où m,n∈N. Si met nsont pairs, on opère par
linéarisation ; sinon, il est préférable d’effectuer un changement de variable (la règle de Bioche sera pré-
sentée plus bas).
Exemple : On cherche une primitive de cos4xsin2x.
On a : Zcos4xsin2xdx=Zcos4xdx−Zcos6xdx.
Or cos4x=eix+e−ix
24
=1
8e4ix+e−4ix
2+4e2ix+e−2ix
2+3=1
8cos(4x) + 1
2cos(2x) + 3
8.
De même cos6x=1
32 cos(6x) + 3
16 cos(4x) + 15
32 cos(2x) + 5
16.
Et donc : Zcos4xsin2xdx=1
192 sin(6x) + 5
64 sin(4x) + 31
64 sin(2x) + 11
16 x+k.
1.2 Intégration par parties
Proposition 1 (Formule d’intégration par parties)
Soient uet vdeux fonctions de classe C1sur le segment [a,b].
On a l’égalité suivante :
Zb
au0(x)v(x)dx=u(b)v(b)−u(a)v(a)−Zb
au(x)v0(x)dx
Cette formule est un corollaire de la formule de dérivation du produit :
(uv)0(x) = u0(x)v(x) + u(x)v0(x)
Application : Formule de récurrence des intégrales de Wallis
Soit n>2, Wn:=Zπ
2
0sinn(x)dx=h−sinn−1(x)cos(x)iπ
2
0+ (n−1)Zπ
2
0cos2(x)sinn−2(x)dx= (n−1)(Wn−2−Wn).
Ce qui nous fournit : Wn=n−1
nWn−2.
Application : Évaluation de la fonction Gamma d’Euler aux points entiers naturels
Pour n∈N,Γ(n+1):=Z∞
0tne−tdt=−tne−t∞
0+nZ∞
0tn−1e−tdt=nΓ(n).
Ce qui nous fournit : ∀n∈N,Γ(n+1) = n!
1.3 Changement de variable [BP12, Gou08]
Proposition 2 (Formule de changement de variable unidimensionnel)
Soit ϕun C1-difféomorphisme défini sur le segment [a,b], à valeurs réelles.
Soit fune fonction continue sur le segment ϕ([a,b]).
On a l’égalité suivante :
Zb
af(ϕ(t))ϕ0(t)dt=Zϕ(b)
ϕ(a)f(u)du
Cette formule est un corollaire de la formule de dérivation de la composée :
(f◦ϕ)0(x) = ϕ0(x)f0(ϕ(x))
Exemple : Règle de Bioche pour les fractions rationnelles en cos(x)et sin(x)
Il s’agit d’étudier les invariances de R(cos x, sin x)dx:
– Si on a l’invariance x→ −x, on pose t=cos x;
4