Dtermination de la primitive dune

fonction trigonomtrique laide de la V200

1. Formules lmentaires
Dans les formules suivantes, u = u ( x ) est une fonction de x.

sin x dx = cos x + k
u ' sin u dx = cos u + k
cos x dx = sin x + k
u ' cos u dx = sin u + k
sin x

tan x dx = cos x dx = ln cos x

+ k , sur un intervalle ne contenant

aucune racine de cos, c.--d. aucun rel de la forme

u ' tan u dx = ln cos u

+ k , k Z .

+ k , sur un intervalle ne contenant aucune

racine de cos u.

cos x
dx = ln sin x + k , sur un intervalle ne contenant
sin x
aucune racine de sin, c.--d. aucun rel de la forme k , k Z .

cot x dx =

u ' cot u dx = ln sin u

+ k , sur un intervalle ne contenant aucune racine

de sin u.
2. Formules de linarisation : primitives de polynmes trigonomtriques
Les formules de linarisation permettent de transformer un produit de
fonctions trigonomtriques (sin ou cos) en une somme de termes simples.
Elles sont difficiles mmoriser, mais peuvent tre retrouves laide de la
V200 via la commande tcollect :
Donc :

1
sin a sin b = ( cos (a b ) cos (a + b ) )
2
1
cos a cos b = ( cos (a b ) + cos (a + b ) )
2
1
sin a cos b = ( sin ( a b ) + sin ( a + b ) )
2
Le

programme

actuel

prvoit

que

toute

linarisation

trigonomtriques peut tre effectu laide de la V200 !

de

fonctions

Exemples :
1

sin 3x cos 4x dx V=200 2 ( sin 7x sin x ) dx

(1)

cos ( x

(2)

V 200

1
2

) (

1
1
cos 7x + cos x + k
14
2

cos 5x + dx
3
4
5

sin 6x +
sin 4x +
12
12

( (

) ) dx

1
1
5
+ cos 4x +
+k
cos 6x +
12
12
8
12

cos4 x dx V=200 8 ( cos 4x + 4 cos 2x + 3 ) dx

(3)

3. Cas particulier :

1
1
3
sin 4x + sin 2x + x + k
32
4
8

sinm x cosn x dx , o m, n N

Lorsque m et n sont tous les 2 pairs, on doit encore linariser lexpression

laide de la commande tcollect (voir exemple 3 ci-dessus : m = 0 , n = 4 ).
Lorsque lun au moins des deux exposants est impair, on peut aussi calculer
la primitive par substitution. Plus prcisment :

Si m est impair, on fait le changement de variables : y = cos x .

Si n est impair, on fait le changement de variables : y = sin x .

Exemples :

(1)

sin3 x cos2 x dx = sin x sin2 x cos2 x dx

= sin x ( 1 cos2 x ) cos2 x dx
= ( 1 y 2 ) y 2 dy
= ( y 2 y 4 ) dy

Changement de variables :
y = cos x
dy = sin x dx

1
1
= y3 + y5 + k
3
5
1
1
= cos3 x + cos5 x + k
3
5
Bien sr, on peut aussi linariser dabord :
1

sin3 x cos2 x dx V=200 16 ( sin 5x sin 3x 2 sin x ) dx

=

1
1
1
cos 5x cos 3x cos x + k
80
48
8

Pour comparer les rsultats obtenus par les deux mthodes, on linarise le
premier avec la V200 :

Remarque : Avec lintroduction de la V200, la mthode de substitution

expose ci-dessus perd en fait son intrt

(2)

cos5 x dx = cos4 x cos x dx

2
= ( 1 sin2 x ) cos x dx
2
= ( 1 y 2 ) dy
= ( 1 2y 2 + y 4 ) dy

Changement de variables :
y = sin x

dy = cos x dx

2
1
= y y3 + y5 + k
3
5
2 3
1
= sin x sin x + sin5 x + k
3
5
4. Primitives de fractions rationnelles en sin x et cos x

Soit R ( sin x , cos x ) une fraction rationnelle en sin x et cos x . On obtient une
primitive de cette fonction via le changement de variables :
x
x = 2 Arctan t
2
2
dx =
dt
1 + t2

t = tan

et les deux formules :

cos x =

1 t2
1 + t2

sin x =

2t
1 + t2

En effet :

2
2
1 t2

2x
x
=

=
cos
2
cos
1
1
1

x
2
1 + t2
1 + t2
1 + tan2

x
x
x
sin x = 2 sin cos = 2 tan cos2 x = 2t

2
2
2
2
1 + t2
Ainsi on se ramne au calcul dune primitive dune fraction rationnelle :

R ( sin x , cos x ) dx =

2t 1 t 2
2

R
,
dt
1 + t 2 1 + t 2 1 + t 2

1 + sin x
.
1 cos x
Le domaine de continuit de f tant R \ {k 2 / k R} , on peut rechercher
Exemples : Soit f ( x ) =

une primitive de f sur tout intervalle de la forme ]k 2, ( k + 1 ) 2 [, k Z :

F (x ) =

1 + sin x

1 cos x dx

2t
1 + t 2 2 dt
1 t2 1 + t2
1
1 + t2
( 1 + t )2
dt
t 2 (1 + t 2 )
1+

2t

dt
+ 2
V 200 t
1 + t2
t
=

1
= 2 ln t ln ( 1 + t 2 ) + k
t
2
t
1
= ln
+k
2
1 + t t
x
x
= ln sin2
cot
+k
2
2

( )

Notons que la C.E. pour cette expression est sin x2 0 et donc que la
primitive

est

bien

dfinie

sur

un

intervalle

de

la

forme

]k 2, ( k + 1 ) 2 [, k Z . Il faut toujours comparer les domaines de

lintgrand et de la primitive comme le montre lexemple suivant :
1
.
2 + cos x
Cette fonction tant continue sur R , il existe une primitive G sur R . La
x
substitution t = tan donne :
2
1
1
2
3
d
x
=
dt
2 + cos x
3 1 + ( t )2
3
1
2
d
t
=
t
2
1 t2 1 + t2
=
+k
Arctan
2+
3
3
1 + t2
x
2
1
2
=
+k
Arctan
tan
d
t
=
2
3
3
2
3+t
Soit g ( x ) =

( )
( ))
(

En choisissant k = 0 , on obtient :
2
G0 ( x ) =
Arctan
3

( 13 tan ( x2 ))

Or,

cette

fonction

est

seulement

dfinie

et

continue

sur

R \ { + n 2 / n Z} . Ceci nest pas surprenant, tant donn que la

substitution t = tan x2 nest continue et strictement monotone que si lon

prend x dans un intervalle de dpart de la forme I n =] + n 2, + n 2[ ,

n Z.
Voici le graphe de G0 :

G0 prsente des sauts damplitude

2
3

en chaque rel de la forme + n 2 .

En effet, elle est priodique de priode 2 et :

2

lim G0 ( x ) =
=
=
et lim + G0 ( x ) =
.
x
x
3 2
3
3 2
3
Pour obtenir une primitive de g, continue et drivable sur R , il faut :
a) dterminer des constantes dintgration qui diffrent dun intervalle I n
lautre et qui sont telles que les diffrents morceaux du graphe
senchanent continment: Gn ( x ) = G 0 ( x ) + kn sur I n . Le choix le
plus naturel est bien sr :

2n
,n Z ;
3
b) recoller les diffrents morceaux :
...
...

G2 ( x ) = G0 ( x ) 4
si x ] 5, 3[

G1 ( x ) = G0 ( x )
si x ] 3, [

G (x ) =
si x ] , [

G0 ( x )

G1 ( x ) = G0 ( x ) +
si x ], 3[

(x ) = G (x ) +
G
si x ]3, 5[

2
0

...
...

c) prolonger G par continuit en tout rel de la forme + n 2 .

kn =

La V200 procde de cette faon lorsquon lui demande de calculer une

primitive de g. Elle donne le rsultat suivant :
2
G ( x ) =
Arctan
3

( 13 tan ( x2 ) ) + x x 3 mod 2
(

Pour le comprendre, il faut commencer par tendre la division euclidienne

des dividendes et diviseurs rels :
( a R )( b R + ) ( ! q Z )( ! r R ) / a = bq + r et 0 r < b .

En effet, il suffit de choisir q = Ent ( ab ) et r = a bq . Dans cette division

euclidienne, on note encore r = a mod b . Donc :
a mod b = a bEnt ( ab ) .
La fonction mod est utilise par la V200 pour exprimer la constante
dintgration variable :
x ( x ) + 2Ent ( x2
x ( x ) mod 2
)
=
3
3
x

+ 2Ent ( 2 )
=
3

Il est maintenant facile de voir que la constante dintgration variable

choisie par la V200 diffre de la ntre de

. En dautres termes, si x I n ,

alors :

x ( x ) mod 2

= kn
.
3
3
Voici finalement le graphe de G , obtenue avec la V200 :

Lorsque R ( u, v ) = R ( u, v ) , c.--d. R est impaire en u, on peut aussi faire

la substitution t = cos x . De mme, lorsque R ( u, v ) = R ( u, v ) , c.--d. R
est impaire en v, on peut faire la substitution t = sin x .
Exemple :
sin x
dt
cos2 x (1 + cos x ) dx = t 2 (1 + t )
1
1 1
=
+ 2 dt
V 200 t + 1
t t
1
= ln ( 1 + t ) + ln t + + k
t
t
1
= ln
+ +k
1+t t
cos x
1
= ln
+
+k
1 + cos x cos x

u
;
v (1 + v )
R ( u, v ) = R ( u, v )
R ( u, v ) =

t = cos x

dt = sin x dx

Cette expression est valable sur un intervalle ne contenant aucune racine de

cos x , ni de 1 + cos x (mmes C.E. pour lintgrand et la primitive trouve).

Lorsque R ( u, v ) = R ( u, v ) , c.--d. R est paire en u et en v, on peut aussi

utiliser la substitution :
t = tan x x = Arctan t

dx = 1 dt

1 + t2

et les deux formules : cos2 x =

1
t2
2
;
sin
x
=
.
1 + t2
1 + t2

Exemple : Soit a et b deux rels > 0 .

dx

On rencontre ici le mme problme que

a2 cos2 x + b2 sin2 x
=
=

1
dt
2
2
2 2
2
a / (1 + t ) + b t / (1 + t ) 1 + t 2

dt
2
a + b 2t 2

la

substitution

t = tan x2 :

lintgrand et la primitive ont des

domaines diffrents. Pour dterminer
lexpression dune primitive continue

b
dt
a
bt 2
1+
a
bt
1
=
+k
Arctan
ab
a
b
1
=
Arctan tan x + k
ab
a
a 1
= 2
b a

pour

sur R , il faut donc nouveau choisir

une constante dintgration variant

( )
( )
( )

dun intervalle

] 2 + n , 2 + n [

lautre. Les dtails sont laisss au

lecteur ou la V200 !