Univérsité Hassan II Année Univesitaire 2019-2020

Faculté des Sciences Aïn Chock SMA-SMI S4

Département de Mathématiques Analyse numérique I

Corrigé de la série 2 : Calcul de primitives

Exercice 1 :

Soit a < b deux réels et f, g : R → R deux fonctions de classe C 1 tels que f 0 > 0 sur [a, b].
1. Montrer qu’il existe au moins un élément c ∈ [a; b] pour lequel on ait
Z b
f (t)g 0 (t)dt = f (a)(g(c) − g(a)) + f (b)(g(b) − g(c)).
a
(Ind. :utiliser la formule de la moyenne puis procéder par intégration par parties)
Z b Z b
Par intégration par parties, on a : f (t)g 0 (t)dt = [f (t)g(t)]ba − f 0 (t)g(t)dt.
a a
Or f 0 > 0 et g continue, d’après la formule de la moyenne : ∃c ∈ [a, b] tel que
Z b Z b
f 0 (t)g(t)dt = g(c) f 0 (t)dt = g(c)(f (b) − f (a)). D’où
Za b a

f (t)g 0 (t)dt = f (b)g(b) − f (a)g(a) − g(c)(f (b) − f (a)) = f (a)(g(c) − g(a)) + f (b)(g(b) −
a
g(c)).
2. Soit h : R → R une fonction continue. Montrer qu’il existe au moins un élément c de [a; b]
pour lequel on ait
Z b Z c Z b
f (t)h(t)dt = f (a) h(t)dt + f (b) bh(t)dt
a a c

(2ème formule de la moyenne)

Z x
Notons H une primitive de h, par exemple H : x 7→ h(t)dt. On a H 0 = h et d’après 1)
a
Z b Z b
f (t)h(t)dt = f (t)H 0 (t)dt = f (a)(H(c) − H(a)) + f (b)(H(b) − H(c))
a a Z c Z b
= f (a) h(t)dt + f (b) h(t)dt
a c
Exercice 2 :
Calculer les primitives ou intégrales suivantes :
Z
1. sin(ln x)dx
On effectue le changement de varibable t = ln x ⇔ x = et donc dx = et dt, d’où
u = sin t , u0 = cos t
Z Z 
t
sin(ln x)dx = sin(t)e dt et par intégration par parties
v 0 = et , v = et
Z Z
sin(t)et dt = sin(t)et − cos(t)et dt et en appliquant une nouvelle fois une intégration
u = cos t , u0 = − sin t
Z 
t
par parties à cos(t)e dt avec , on obtient
v 0 = et , v = et
Z Z Z
cos(t)et dt = cos(t)et + sin(t)et dt et donc sin(t)et dt = sin(t)et − cos(t)et −
Z
sin(t)et dt
Z Z
t t x
D’où 2 sin(t)e dt = (sin(t) − cos(t))e et sin(ln x)dx = (sin(ln x)t − cos(ln x))
2

1
Univérsité Hassan II Année Univesitaire 2019-2020
Faculté des Sciences Aïn Chock SMA-SMI S4
Département de Mathématiques Analyse numérique I

Z π
2. sin8 x cos3 xdx
π
2
la puissance impaire est celle du cosinus, donc on effectue le changement de variable
t = sin x, dt = cos x dx
Z π Z π Z 0  9 0
8 3 8 2 8 2 t t11 2
sin x cos xdx = sin x(1−sin x) cos x dx = t (1−t ) dt = − =−
π π
1 9 11 1 99
Z2 2
dt
3.
cos t − sin t + 1
2
On effectue le changement de variable x = tan( 2t ), on a dt = 1+x 2dx
2, cos t = 1−x
1+x2
, sin t =
Z Z 2dx Z Z
2x dt 1+x2 2dx dx
1+x2
et = 2 = 2 2
= =
cos t − sin t + 1 1−x 2x
− 1+x2 + 1 1 − x − 2x + 1 + x 1−x
1+x2
t
− ln |1 − x| = − ln |1 − tan( )|
Z 2
ch(2x)
4. dx
sh(3x)
ch(2x)
pour ω(x) = dx, on a ω(x) = ω(−x) donc on effectue le changement de variable
sh(3x)
t = ch(x) ,dt = shxdx et rappelons que sh2 (x) = ch2 (x) − 1,
sh(a + b) = sh(a)ch(b) + ch(a)sh(b), ch(a + b) = ch(a)ch(b) + sh(a)sh(b)
Donc ch(2x) = ch2 (x) + sh2 (x) = 2ch2 (x) − 1 et
sh(3x) = sh(2x)ch(x) + ch(2x)sh(x) = 2sh(x)ch2 (x) + (2ch2 (x) − 1)sh(x) =
(4ch2 x − 1)sh(x)
2ch2 (x) − 1 2ch2 (x) − 1 2t2 − 1
Z Z Z Z
ch(2x)
D’où dx = dx = sh(x)dx = dt
sh(3x) (4ch2 − 1)sh(x) (4ch2 − 1)sh(x)2 (4t2 − 1)(t2 − 1)
2t2 − 1
la fraction g(t) = de degé −2 et
(4t2 − 1)(t2 − 1)
(4t2 − 1)(t2 − 1) = (2t − 1)(2t + 1)(t − 1)(t + 1), donc
a b c d
g de décompose en élments simples g(t) = + + +
2t − 1 2t + 1 t − 1 t + 1
−a −b −c −d
On a g est paire et g(t) = g(−t) = + + + donc b = −a et d = −c.
2t + 1 2t − 1 t + 1 t − 1
2t2 − 1
(2t − 1)g(t) = et pour t = 12 , on obtient a = 13
(2t + 1)(t2 − 1)
2t2 − 1
(t − 1)g(t) = et pour t = 1, on obtient c = 16
(4t2 − 1)(t + 1)
 
1 2 2 1 1
D’où la décomposition : g(t) = − + − et
6 2t − 1 2t + 1 t − 1 t + 1
2t2 − 1 (2t − 1)(t − 1)
Z
1 1
2 2
dt = (ln |2t−1|−ln |2t+1|+ln |t−1|−ln |t+1|) = ln
(4t − 1)(t − 1) 6 6 (2t + 1)(t + 1)
(2ch(x) − 1)(ch(x) − 1)
Z
ch(2x) 1
Finalement dx = ln
sh(3x) 6 (2ch(x) + 1)(ch(x) + 1)
Z π
4
5. sin4 x cos2 xdx
0
Les exposants de cosinus et sinus sont impairs, donc on linéarise
1 − cos(2x) 2 cos(2x) + 1 1 − cos(2x) 2 cos(2x) + 1
   
4 2 2 2 2
sin x cos x = (sin x) cos (x) = = =
2 2 ! 2 2
1 − 2 cos(2x) + cos2 (2x) cos(2x) + 1 1 − 2 cos(2x) + cos(4x)+1
 
2 cos(2x) + 1
= =
4 2 4 2

2
Univérsité Hassan II Année Univesitaire 2019-2020
Faculté des Sciences Aïn Chock SMA-SMI S4
Département de Mathématiques Analyse numérique I

1 1
(cos(4x) − 4 cos(2x) + 3)(cos(2x) + 1) = (cos(4x) cos(2x) − 4 cos2 (2x) + 3 cos(2x) +
16 16
cos(4x) − 4 cos(2x) + 3) =
1 1
( (cos(6x) + cos(2x)) − 2(cos(4x) + 1) + 3 cos(2x) + cos(4x) − 4 cos(2x) + 3) =
16 2
1
(cos(6x) − 2 cos(4x) − cos(2x) + 2).
32 Z π Z π
4 4 1
4 2
D’où sin x cos xdx = (cos(6x) − 2 cos(4x) − cos(2x) + 2)dx =
0 0 32
 π
1 sin(6x) sin(4x) sin(2x)
4
( 6 − 2 4 − 2 + 2x)
32 0
Remarque : On peut linéariser en utilisant les formules d’Euler
eix + e−ix eix − e−ix
cos(x) = sin(x) = et les formules de binôme.
2 2i
Z r
1 x−1
6. dx
x x+1 q
C’est le cas d’une fonction rationnelle en x et x−1
x+1 , donc on effectue le changement de
q
variable t = x−1 2 x−1 2 2
x+1 . On a t = x+1 ⇔ t (x + 1) = x − 1 ⇔ x(t − 1) ⇔= −t − 1,
2

2
t +1 4t
Donc x = 1−t 2 et dx = (1−t2 )2 dt. D’où
Z r
1 x−1 1 − t2 4t2
Z Z
4t
dx = .t. dt = dt
x x+1 t2 + 1 (1 − t2 )2 (t2 + 1)(1 − t2 )
4t2
la fraction g(t) = de degé −2 et (1 − t2 )(t2 + 1) = (1 − t)(t + 1)(t2 + 1),
(1 − t2 )(t2 + 1)
donc
a b ct + d
g de décompose en élments simples g(t) = + + 2
1−t t+1 t +1
a b −ct + d
On a g est paire et g(t) = g(−t) = + + 2 donc b = a et c = 0.
t + 1 −t + 1 t +1
4t2
(1 − t)g(t) = et pour t = 1, on obtient a = 1
(t + 1)(t2 + 1)
Pour t = 0, on obtient a + b + d = 0 donc d = a + b = 2.
1 1 2
D’où la décomposition : g(t) = + − 2
1 − t t + 1 t +1
Z r
1 x−1 1+t
dx = − ln |1 − t| + ln |1 + t| − 2 Arctan(t) = ln − 2 Arctan(t) =
x xq+ 1 1−t
1 + x−1
r
x+1 x−1
ln q − 2 Arctan( )
1 − x+1 x−1 x+1
Z
x
7. √ dx
2
x +x+1
√ √ √
x2 + x + 1 = (x + 12 )2 + 34 = 43 (( 2x+1
√ )2 + 1) et x 2 + x + 1 = 3 t2 + 1
3 2
√ √
√ , x = 3t−1 et dx = 3 dt
avec t = 2x+1
3 2 2
√ √
3t−1 Z √
3t − 1
Z Z
x 3
√ dx = √ √2 dt = √ dt
2
x +x+1 3 2
t +1 2 2 t2 + 1
2 √
et par le changement de variable t = sh(u), t2 + 1 = ch(u) et dt = ch(u)du, donc
Z √ Z √ √
3sh(u) − 1 3sh(u) − 1 3ch(u) − u
Z
x
√ dx = ch(u)du = du = =
2
√ x + x + 1√ 2ch(u) √ 2 2
3p 2 3 p 3 2x + 1
t +1− Argsh(t) = x2 + x + 1 − Argsh( √ )
2 2 2 3

3
Univérsité Hassan II Année Univesitaire 2019-2020
Faculté des Sciences Aïn Chock SMA-SMI S4
Département de Mathématiques Analyse numérique I

√
Rappelons que Argsh(t) = ln(t + t2 + 1).
Z π
6 1 + tan x
8. dx
− π 1 + sin(2x)
6
1 + tan x
Considérons l’élément différentiel ω(x) = dx, on a ω(x+π) = ω(x) donc d’après
1 + sin(2x)
les règles de Bioche on pose t = tan x, on a sin(2x) = t22t+1 et dt = (1 + t2 )dx.
Z π Z √1 Z √1 Z √1
6 1 + tan x 3 1+t dt 3 1+t 3 1
D’où dx = 2t 2
= 2
dt = dt =
− π6 1 + sin(2x) − √1 1 + t2 +1 t + 1 − √1 1 + t + 2t − √1 1 + t
√ 3 3 3
√1 3+1
3
[ln(t + 1)]− √1 = ln( √ ).
3 3−1
Z r
x+3
9. (x + 1)Arctg dx
x+1
q
On effectue le changement t = x+3 2 x+3 2
x+1 , on a t = x+1 ⇔ x(t − 1) ⇔= 3 − t ,
2

2
donc x = 3−t
1+t2
et dx = − (1+t 8t
2 )2 dt. D’où
r
3 − t2
Z Z Z
x+3 8t 2t
(x+1)Arctg dx = − ( 2
+1)Arctg(t) 2 2
dt = −16 Arctg(t) dt
x+1 1+t (1 + t ) (1 + t2 )3
(
u = Arctg(t) , u0 = 1+t 1
2
Par intégration par parties 0 2t −1
v = (1+t2 )3 , v = 2(1+t 2 )2
Z Z
2t Arctg(t) 1 dt
Donc Arctg(t) 2 3
dt = 2 2
+
(1 + t ) 2(1 + t ) 2 (1 + t2 )3
Z
dt
Rappelons que Pour Jn (t) = , on a J1 = Acrtg(t) et
(1 + t2 )n
2nJn+1 (t) = (2n − 1)Jn (t) + (1+tt 2 )n
 
J2 = 12 Arctg(t) + 2(1+t
t 3 t
2 ) et J3 (t) = 4 J2 (t) + 4(1+t2 )2 = 4
3 1
2 Arctg(t) + t
2
2(1+t )
t
+ 4(1+t2 )2

J3 (t) = 38 Arctg(t) + 8(1+t

3t t
2 ) + 4(1+t2 )2
r
−8.Arctg(t)
Z
x+3 q
x+3
Et (x + 1)Arctg dx = − 8J3 (t) avec t = x+1
x+1 (1 + t2 )2
Exercice 3 :

Décomposer en éléments simples les fractions rationnelles puis calculer leurs primitives

2x − 1 x3 x2 1
, , , .
x(x + 1)2 (x + 1)2 (x2 + 1) (1 + x2 )3 (x2 + x + 1)2
Toutes ces fractions sont de degrés < 0, donc la partie entière est nulle.
2x−1 2x−1 a b c
1. f (x) = x(x+1)2
se décompose en E.S. : f (x) = x(x+1)2
= x + x+1 + (x+1)2
2x−1 bx cx
xf (x) = (x+1)2 =a+ x+1 + (x+1)2
donc a = xf (x)|x=0 = −1
De même c = (x + 1)2 f (x)|x=−1 = 3.
lim xf (x) = a + b = 0 donc b = −a = 1
x→+∞
2x−1 −1 1 3
Conculsion : f (x) = x(x+1)2 = x + x+1 + (x+1)2 et

2x − 1
Z
3 x+1 3
= − ln |x| + ln |x + 1| − = ln | |−
x(x + 1)2 x+1 x x+1
x3 a b cx+d
2. g(x) = (x+1)2 (x2 +1)
se décompose en E.S. : g(x) = x+1 + (x+1)2
+ x2 +1
3
(x + 1)2 g(x) = x2x+1 et b = (x + 1)2 g(x)|x=−1 = −12

4
Univérsité Hassan II Année Univesitaire 2019-2020
Faculté des Sciences Aïn Chock SMA-SMI S4
Département de Mathématiques Analyse numérique I

2 +1) b(x2 +1)

x3
(x2 + 1)g(x) = (x+1)2
= a(xx+1 + (x+1)2
+ cx + d et pour x = i, on a x2 + 1 = 0 et
i3
ci + d = (i+1)2
= −i −1
2i = 2 donc c = 0 et d = − 12 .
lim xg(x) = a + c = 1 et c = 0 donc a = 1
x→+∞
x3
Z
1 1 1 1 1
g(x) = x+1 − 2(x+1)2 − 2(x2 +1) et 2 2
= ln |x + 1| + − Arctg(x).
(x + 1) (x + 1) 2(x + 1) 2
x 2 x +1−12 1 1
3. h(x) = (1+x 2 )3 = (1+x2 )3 = (1+x2 )2 − (1+x2 )3 et

x2
Z Z Z
dx dx
2 3
dx = 2 2
− = J2 (x) − J3 (x) avec
(1 + x ) (1 + x ) (1 + x2 )3
J2 (x) = 12 Arctg(x) + 2(1+x x 3 3x x
2 ) et J3 (x) = 8 Arctg(x) + 8(1+x2 ) + 4(1+x2 )2

1
4. (x2 +x+1)2
est un élément simple de 2ème espèce.
√
3t−1
x2 + x + 1 = (x + 21 )2 + 3
4 = 3 2x+1
4 ((
√ )2
3
+ 1) = 3 2
4 (t + 1) avec t = 2x+1
√ ,
3
x = 2 et
√
3
dx = 2 dt. √ √
3
2 dt
Z Z
dx 8 3
= 9 2 = J2 (t).
(x + x + 1)2
2
16 (t + 1)
2 9
Exercice 4 :
Z π
2
Pour tout Pour n ∈ N, on considère les intégrales de Wallis : In = sinn x dx.
0
Z π
2
1. A l’aide d’un changement de variable adéquat, montrer que In = cosn x dx.
0
π
On effectue le changement de variable x = 2 − t, donc dx = −dt, sin(x) = cos(t) et
Z 0 Z π
2
n
In = cos t (−dt) = cosn t dt.
π
2
0
2. Montrer que, pour tout n > 2, on a : nIn = (n − 1)In−2 . En déduire la valeur de I2p et
I2p+1 pour p ∈ N.
u = sinn−1 x , u0 = (n − 1) sinn−2 x cos x

Par intégration par parties
v 0 = sin x , v = − cos x
Z π
π 2
In = [− sinn−1 x cos x]02 + (n − 1) sinn−2 x cos2 x dx
0
Z π Z π
2 2
n−2 2
In = 0 + (n − 1) sin x(1 − sin x) dx = (n − 1) (sinn−2 x − sinn x) dx
0 0
Donc In = (n − 1)(In−2 − In ) et nIn = (n − 1)In−2 .
n−1
On a La relation de deux pas : ∀n > 2, In = In−2 .
n
2p − 1 (2p − 1)(2p − 3) (2p − 1)(2p − 3) · · · 3.1
Donc I2p = I2p−2 = I2p−2 = I0
2p 2p(2p − 2) 2p(2p − 2) · · · 4.2
π 1.3 · · · (2p − 3)(2p − 1) π
Or I0 = donc I2p = .
2 2.4 · · · (2p − 2)2p 2
2p 2p(2p − 2) 2p(2p − 2) · · · 4.2
Pour n = 2p+1, on a I2p+1 = I2p−1 = I2p−3 = I1
2p + 1 (2p + 1)(2p − 1) (2p + 1)(2p − 1) · · · 3.1
Z π
2 π 2.4 · · · (2p − 2)2p
Or I1 = sin x dx = [− cos x]02 = 1, donc I2p+1 =
0 1.3 · · · (2p − 3)(2p − 1)(2p + 1)
I2p−1
3. Montrer que la suite définie par up = I2p converge vers 1 et en déduire que :
 2
1 2.4.6 · · · (2n − 2).2n
π = lim (formule de Wallis)
n→+∞ n 1.3.5 · · · (2n − 3)(2n − 1)

5
Univérsité Hassan II Année Univesitaire 2019-2020
Faculté des Sciences Aïn Chock SMA-SMI S4
Département de Mathématiques Analyse numérique I

On a ∀x ∈ [0, π2 ], 0 6 sin x 6 1, donc 0 6 sinn+1 x 6 sinn x et par intégration, on obtient

In+1 6 In . D’où (In )n une suite décroissante.

I2p−1 I2p−2 2p
Pour tout p > 2, I2p 6 I2p−1 6 I2p−2 et donc 1 6 up = 6 = .
I2p I2p 2p − 1
2p
Or lim = 1, d’où lim up = 1
n→+∞ 2p − 1 p→+∞
1.3.5 · · · (2p − 3)(2p − 1) π 2.4.6 · · · (2p − 4)(2p − 2)
d’autre part I2p = . et I2p−1 =
2.4.6 · · · (2p − 2)2p 2 1.3.5 · · · (2p − 3)(2p − 1)
I2p−1 2.4.6 · · · (2p − 4)(2p − 2) 2.4.6 · · · (2p − 2)2p 2
Donc up = = . .
I2p 1.3.5 · · · (2p − 3)(2p − 1) 1.3.5 · · · (2p − 3)(2p − 1) π
 2
1 1 2.4.6 · · · (2p − 2).2p
up = . .
π p 1.3.5 · · · (2p − 3)(2p − 1)
 2
1 2.4.6 · · · (2p − 2).2p
Or lim up = 1, doù la formule de Wallis lim . =π
p→+∞ p→+∞ p 1.3.5 · · · (2p − 3)(2p − 1)
Exercice 5 :

Soit f la fonction définie de I =]1, +∞[ dans R par :

Z x2
ln t
f (x) = dt
x (t − 1)2

1. (a) Déterminer le signe de f (x).

ln t
Pour tout x > 1, on a x2 > x > 1 et ∀t ∈ [x, x2 ], > 0, donc f (x) > 0
(t − 1)2
(b) Justifier la dérivabilité de f sur I et calculer f 0 (x) pour tout x ∈ I.
ln t
La fonction g : t 7→ est continue sur I, donc d’après le téorème fondamen-
(t − 1)2
Z x2
1
tal elle admet une primitive G de classe C . Or f (x) = g(t) dt = G(x2 ) − G(x)
x
ln x2 ln x
donc f est dérivable sur I et ∀x ∈ I, f 0 (x) = 2xg(x2 )−g(x) = 2x − .
(x2 − 1)2 (x − 1)2
ln x ln x ln x(4x − (x + 1)2 ) ln x
Donc f 0 (x) = 4x 2 2
− 2
= 2 2
=− .
(x − 1) (x + 1) (x − 1) (x − 1) (x + 1) (x + 1)2
2. Expliciter f (x).
(
ln x u = ln x , u0 = x1
f est une primitive de − , par intégration par parties 0 1 1
(x + 1)2 v = − (x+1)2 , v = x+1
Z Z Z  
ln x ln x 1 ln x 1 1
Donc − dx = − dx = − − dx
(x + 1)2 x+1 x(x + 1) x+1 x x+1
Z
ln x ln x ln x x+1
− 2
dx = − ln x + ln(x + 1) = + ln( )
(x + 1) x+1 x+1 x
ln x
Donc f (x) = + ln( x+1x ) + c avec c une constante.
x+1
D’autre part Pour x > 1, ona ∀t ∈ [x, x2 ], ln t 6 ln x2 = 2 ln x donc
 2
1 x
Z x2 Z x2 
ln t 2 ln x h
1 1
i
dt 6 dt = 2 ln x − , d’où 0 6 f (x) 6 2 ln x x−1 − x2 −1
x (t − 1)2 x (t − 1)2 t−1 x
ln x
On déduit que lim f (x) = 0, donc c = 0 et f (x) = + ln( x+1
x ).
x→+∞ x+1

6
Univérsité Hassan II Année Univesitaire 2019-2020
Faculté des Sciences Aïn Chock SMA-SMI S4
Département de Mathématiques Analyse numérique I

Exercice 6 :

Soit g la fonction définie sur ]0, π2 [ par :

Z 2x
1
dt
x sin t

1. Montrer que g est bien définie sur ]0, π2 [, puis qu’elle est de classe C 1 sur cet intervalle.

• ∀t ∈]0, π[, sin t > 0 et pour x ∈]0, π2 [, on a 0 < x < 2x < π donc ∀t ∈ [x, 2x], sin t > 0.
D’où t 7→ sin1 t définie contiue sur [x, 2x], et donc g(x) est bien définie pour tout x ∈]0, π2 [.
• Pour F une primitive de f : t 7→ sin1 t sur ]0, π[, on a g(x) = F (2x) − F (x).
F est de classe C 1 sur ]0, π[, donc g est de classe C 1 sur ]0, π2 [.
2. Calculer g 0 (x), en déduire les variations de g(x) sur ]0, π2 [.
∀x ∈]0, π2 [, g(x) = F (2x) − F (x), donc
g 0 (x) = 2f (2x) − f (x) = sin(2x)
2
− sin1 x = sin(x)1cos(x) − sin1 x = 1−cos x
sin(x) cos(x) > 0 sur ]0, π[
Donc g est strictement croissante sur ]0, π[.
Remarque : En posant t = tan( x2 ), on a dx = 1+t2dt 2t
2 et sin x = 1+t2 , donc
Z Z
1 dt x
dx = = ln |t| = ln | tan( )|.
sin x t 2
x 2 tan(x/2)
D’où g(x) = ln(tan(x)) − ln(tan( 2 )). Or tan(x) = 1−tan 2 (x/2) , donc

g(x) = ln 2 − ln(1 − tan2 (x/2)).

Exercice 7 :

Soit f une fonction continue strictement monotone sur [0, a] telle que f (0) = 0.
Soit F la fonction définie sur [0, a] par :
Z x Z f (x)
F (x) = f (t)dt + f −1 (t)dt − xf (x)
0 0

1. Montrer que F est dérivable et calculer sa dérivée.

f une fonction continue strictement monotone sur [0, a], donc f −1 est aussi continue stric-
tement sur f ([0, a]) de même monotonie, avec f ([0, a]) = [0, f (a)] (resp.[f (a), 0]) si stricte-
ment croissante (resp. décroissante).
Supposons par exemple que f et f −1 sont
Z strictement croissantes.
x
Rappelons que la primitives G : x ∈7→ f (t)dt de classe C 1 sur [0, a] et G0 = f .
0
Et pour tout x ∈ [0, a] et h > 0 tel que x + h ∈ [0, a], on a
Z f (x+h)
F (x + h) − F (x) = G(x + h) − G(x) + f −1 (t)dt − (x + h)f (x + h) + xf (x)
f (x)
On a f (x) < f (x + h) et f −1
strictement croissante donc
∀t ∈ [f (x), f (x + h)], f (f (x)) = x 6 f −1 (t) 6 f −1 (f (x + h)) = x + h et
−1
Z f (x+h)
(f (x + h) − f (x))x 6 f −1 (t)dt 6 (f (x + h) − f (x))(x + h) et
f (x)
en ajoutant −(x + h)f (x + h) + xf (x), on obtient
Z f (x+h)
−hf (x + h) 6 f −1 (t)dt − (x + h)f (x + h) + xf (x) 6 −hf (x) et
f (x)
par le théorème des gendarmes

7
Univérsité Hassan II Année Univesitaire 2019-2020
Faculté des Sciences Aïn Chock SMA-SMI S4
Département de Mathématiques Analyse numérique I

"Z #
f (x+h)
1
lim f −1 (t)dt − (x + h)f (x + h) + xf (x) = −f (x)
h→0 h
+
f (x)
G(x + h) − G(x)
Or lim = G0 (x) = f (x) donc Fd0 (x) = 0.
h→0+ h
De même pour h < 0, on montre que Fg0 (x) = 0. D’où F est dérivable de dérivée nulle.
2. En déduire F .
F est dérivable sur [0, a] telle que F 0 = 0 donc F est constante et
Z f (0)=0
∀x ∈ [a, b], F (x) = F (0) = 0 + f −1 (t)dt − 0 = 0.
0