Académique Documents
Professionnel Documents
Culture Documents
Cal Cul Integral
Cal Cul Integral
1ir
(X x
i
)
1js
(X
2
+v
j
X +w
j
)
j
o` u les x
j
sont les racines reelles, et les polyn omes X
2
+ v
j
X + w
j
regroupent les complexes, deux `a deux
conjuguees.
Un p ole de la fraction est une racine de son denominateur.
La theorie de la decomposition en elements simples sur C dune fraction rationnelle enonce le resultat suivant :
si la fraction
A
B
est reduite, alors on peut ecrire
A
B
= Q+
1ir
1k
i
i,k
(X z
i
)
k
, o` u :
Q est la partie enti`ere de F, cest-`a-dire le quotient dans la division euclidienne de A par B;
les z
i
sont les p oles de F ;
les
i
sont les ordres de multiplicte des p oles.
Lexpression
1k
i
i,k
(X z
i
)
k
est la partie polaire relative au p ole z
i
.
Denition: soit z
i
un p ole de F. Le residu relatif `a z
i
est le coecient qui apparat au numerateur dans la
fraction
i,1
X z
i
.
En pratique, nous naurons aaire qu`a des fractions rationnelles dans lesquelles A et B sont `a coecients reels.
Nous nous pla cons donc dans cette situation. La theorie nous dit que la fraction peut secrire :
A
B
= R +
1ip
1k
i
i,k
(X x
i
)
k
+
1k
j
j,k
X +
j,k
(X
2
+v
j
X +w
j
)
k
dans laquelle :
Q est la partie enti`ere de F (cf. plus haut) ;
les x
i
sont les p oles reels de F ;
les p oles complexes (sil y en) sont deux `a deux conjugues.
Denition: La partie polaire associee au p ole x
i
, de degre
i
, est la quantite
1k
i
i,k
(X x
i
)
k
.
Denition: La partie polaire associee au couple de p oles complexes conjugues z
j
et z
j
, de meme degre
j
, est
la quantite
1k
j
j,k
X +
j,k
(X
2
+v
j
X +w
j
)
k
.
2
2.2 Calcul de lintegrale
Soit `a calculer
_
b
a
A(t)
B(t)
dt, o` u A et B sont deux polyn omes `a coecients reels, la fraction
A
B
etant supposee
reduite. La demarche `a suivre est :
eectuons la division euclidienne de A par B; nous obtenons un quotient Q et un reste R; le degre de
ce dernier est strictement inferieur au degre de B;
nous avons alors
_
b
a
A(t)
B(t)
dt =
_
b
a
Q(t) dt +
_
b
a
R(t)
B(t)
dt
Le calcul de la premi`ere integrale est immediat ; le polyn ome Q est la partie enti`ere de la fraction rationnelle.
2.3 Fraction sans element simple de deuxi`eme esp`ece
Nous calculons
_
1
0
6t
2
t 1
(t + 1)(t + 2)(t + 4)
dt. La fraction rationnelle associee est
6X
2
X 1
(X + 1)(X + 2)(X + 4)
. La
theorie nous dit que la decomposition en elements simples de notre fraction secrit
a
X + 1
+
b
X + 2
+
b
X + 4
.
La methode des coecients indetermines consiste `a multiplier les deux membres par (X + 1)(X + 2)(X + 3),
puis `a identier les deux polyn omes ainsi obtenus.
Une autre methode consiste `a calculer le residu relatif `a chaque p ole simple ; par exemple, le residu relatif au
p ole 1 est obtenu en multipliant les deux membres par X + 1 et en evaluant en 1 ; il vient a = 2. Nous
obtenons de meme b = 25/2 et c = 33/2.
2.4 Fraction avec un pole dordre eleve
Nous calculons
_
1
0
2X + 1
(X + 1)
3
(X + 2)
. Nous pourrions proceer par identication, comme ci-dessus ; mais nous
allons plut ot utiliser la methode du developpement limite. Multiplions la fraction par (X + 1)
3
, et notons h =
X + 1 : nous obtenons G(h) =
2h 1
h
3
(h + 1)
. Calculons le developpement limite de h
3
G(h), `a lordre 2 et au
voisinage de zero :
h
3
G(h) =
1 + 2h
1 +h
= (1 + 2h)
_
1 h +h
2
+o(h
2
)
_
= 1 + 3h 3h
2
+o(h
2
)
La partie polaire relative au p ole 1 est donc
1
(X + 1)
3
+
3
(X + 1)
2
3
X + 1
. La partie polaire relative au
p ole 2 sobtient par identication : multiplier les deux membres par X + 2, puis remplacer X par 2. Au
nal, lintegrale vaut
9
8
6 ln(2) + 3 ln(3).
2.5 Fraction avec un element simple de deuxi`eme esp`ece
Nous calculons
_
1
0
3t 1
(t + 1)(t
2
+ 1)
dt. La theorie nous dit que la decomposition en elements simples de la fraction
3X 1
(X + 1)(X
2
+ 1)
secrit
a
X + 1
+
bX +c
X
2
+ 1
. Multiplions les deux membres par X +1, et evaluons en 1 : il vient
a = 2 ; multiplions les deux membres par x
2
+ 1 et evaluons en i : il vient b = 2 et c = 1.
2.6 Quelques astuces pratiques
Si la fraction est paire (resp. impaire), le calcul sen trouve simplie.
Lorsque lon utilise la methode des coecients indetermines, il peut etre interessant dobserver la limite de F(x)
lorsque x tend vers linni.
3
3 Integrales se ramenant `a une I.P.P.
3.1 Rappel
Soient u et v deux fonctions de classe C
1
sur lintervalle [a, b]. Alors
_
b
a
u
(t)v(t) dt =
_
u(t)v(t)
_
b
a
_
b
a
u(t)v
(t) dt.
Oubliez denitivement les formules fumeuses qui tranent dans certains manuels de terminale.
3.2 Exemples
Exemple 1 : calculons J =
_
1
0
arctan(t) dt. Nous commen cons par ecrire cette integrale J =
_
1
0
1
..
arctan(t)
. .
dt.
Notons u(t) = t et v(t) = arctan(t) ; ces deux fonctions sont de classe C
1
, ce qui justie le calcul suivant :
J =
_
t arctan(t)
1
0
_
1
0
t
1 +t
2
dt = arctan(1)
_
ln(1 +t
2
)
2
_
1
0
=
4
ln(2)
2
Exemple 2 : nous calculons J =
_
1
0
t
..
e
2t
..
_
1
0
e
2t
2
dt =
e
2
2
_
e
2t
4
_
1
0
=
e
2
2
e
2
4
+
1
4
=
e
2
4
+
1
4
3.3 Integrale du produit dun polynome et dune exponentielle
Ce sujet a ete aborde lors de letude des suites recurrentes lineaires du deuxi`eme ordre ; il rel`eve egalement de
lalg`ebre lineaire.
Soient P un polyn ome de degre n et R
2
arctan
_
u
2
_
=
1
2
arctan
_
e
x
2
_
4
Exemple 2 : explicitons une primitive de x
x + 2
x
2
5x + 6
. Observons que cette fonction est denie sur
], 2[ ]3, +[. La quantite sous le radical est x
2
5x+6 = (x5/2)
2
1/4, ce qui incite `a poser t = 2x5.
Alors
_
x + 2
x
2
5x + 6
=
_
(t + 9)/2
t
2
1
dt =
_
x
2
5x + 6 +
9
2
ln
2x 5 + 2
_
x
2
5x + 6
e
x
1. Nous eectuons le changement de variable t =
e
x
1 e
x
= t
2
+ 1, avec t 0 et 2t dt = e
x
dx
2t dt
1 +t
2
= dx. Il vient :
_
e
x
1 dx =
_
t
2t
1 +t
2
dt =
_
2(t
2
+ 1)) 2
1 +t
2
dt
= 2t 2 arctan(t) +K = 2
e
x
1 2 arctan
_
e
x
1
_
+K
5 Maple
Pour decomposer une fraction rationnelle en elements simples, Maple propose loption parfrac de la fonction
convert ; exemple :
F := (6*X^2-X-1)/(X+1)/(X+2)/(X+4);
convert(F,parfrac,X);
Le resultat ache est :
2
X + 1
25
2
1
X + 2
+
33
2
1
X+
Le troisi`eme argument X est indispensable : pensez au cas o` u la fraction comporte une indeterminee (disons X)
et un param`etre (disons a).
FIN
[CalculIntegral] Version du 3 juin 2009
5