Calcul Des Primitives 1 Er Année
Calcul Des Primitives 1 Er Année
Calcul Des Primitives 1 Er Année
2 Entraînement 22
2.1 Vrai ou faux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 QCM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4 Devoir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.5 Corrigé du devoir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3 Compléments 37
3.1 La quadrature du cercle . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2 Fonctions spéciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.3 Intégrales elliptiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Maths en L1̇gne Calcul des primitives UJF Grenoble
1 Cours
1.1 Propriétés des intégrales
Toutes les fonctions considérées sont supposées continues, ou continues par mor-
ceaux, sur leur intervalle d’intégration, et sont donc intégrables. Nous commençons par
résumer les principales propriétés des intégrales.
Théorème 1.
1. Relation de Chasles :
Z b Z c Z c
f (x) dx + f (x) dx = f (x) dx .
a b a
2. Linéarité :
Z b Z b Z b
(λf (x) + µg(x)) dx = λ f (x) dx + µ g(x) dx .
a a a
3. Monotonie :
Z b Z b
Si ∀x ∈ [a, b] , f (x) ≤ g(x) alors f (x) dx ≤ g(x) dx .
a a
f(x)
1/2
0 1 2 x
2
Maths en L1̇gne Calcul des primitives UJF Grenoble
A propos de cet exemple, il est conseillé de ne pas perdre de vue l’interprétation géomé-
trique d’une intégrale : l’intégrale d’une fonction constante est la surface d’un rectangle,
l’intégrale d’une fonction affine (du type x 7→ αx + β) est la surface d’un triangle si la
fonction s’annule sur l’une des deux bornes, la surface d’un trapèze dans le cas général.
La relation de Chasles reste vraie même si les bornes des intervalles d’intégration
ne sont pas dans le bon ordre, ce qui peut arriver après un changement de variable.
On convient de changer le signe de l’intégrale quand on échange les bornes. Cette
convention est cohérente avec le fait que l’intégrale sur un intervalle de longueur nulle
vaut nécessairement 0.
Z b Z a Z a
f (x) dx + f (x) dx = f (x) dx = 0 .
a b a
La propriété 2 du théorème (linéarité), dit que l’intégrale est une application linéaire,
de l’espace vectoriel des fonctions intégrables, dans R. On l’utilisera souvent, soit pour
mettre en facteur une constante devant l’intégrale, soit pour séparer le calcul en deux
intégrales plus simples. Par exemple :
Z π Z π Z π Z π
4 4 1 + cos(2x) 1 4 1 4 π 1
2
cos (x) dx = dx = dx + cos(2x) dx = + .
0 0 2 2 0 2 0 8 4
On peut utiliser la monotonie pour vérifier certains calculs. Par exemple si une fonction
est positive sur l’intervalle d’intégration, son intégrale doit être positive. L’intégrale
d’une fonction positive et non identiquement nulle est même strictement positive : on
utilise souvent ce résultat sous la forme suivante.
Proposition 1. Soit f une fonction continue sur [a, b]. Si l’intégrale de |f | sur [a, b]
est nulle, alors f est identiquement nulle.
Z b
|f (x)| dx = 0 =⇒ f (x) = 0 , ∀x ∈ [a, b] .
a
1
Rb
Il faut comprendre b−a a
f (x) dx comme la valeur moyenne de la fonction sur l’in-
tervalle. Le théorème de la moyenne dit que cette valeur moyenne est atteinte sur
l’intervalle.
3
Maths en L1̇gne Calcul des primitives UJF Grenoble
Théorème 2. Si f est continue sur [a, b], il existe c ∈ [a, b] tel que :
Z b
1
f (x) dx = f (c) .
b−a a
f(x)
a b x
Définition 1. On appelle primitive d’une fonction f , définie sur un intervalle ]a, b[,
toute fonction dérivable sur ]a, b[, dont la dérivée coïncide avec f sur ]a, b[.
Etant données deux primitives de f , leur différence doit avoir une dérivée nulle,
et donc être constante. Deux primitives de la même fonction diffèrent donc par une
constante. Pour spécifier une primitive particulière, il suffit de fixer sa valeur en un
point. En général, on considère la primitive qui s’annule en un certain point. Elle
s’écrit comme une intégrale, grâce au théorème suivant, que nous admettrons.
Théorème 3. Soit f une fonction continue sur [a, b], et c un point de l’intervalle [a, b].
On considère la fonction Fc (x), qui à x ∈ [a, b] associe :
Z x
Fc (x) = f (t) dt .
c
4
Maths en L1̇gne Calcul des primitives UJF Grenoble
remplacer par un réel. Par contre, n’importe quelle autre lettre (sauf c et x) pourrait
jouer le même rôle. Dans l’écriture des primitives, on évitera toujours de noter avec la
même lettre la variable d’intégration et une des bornes de l’intervalle. Observons que
n’importe quelle primitive peut être utilisée pour calculer une intégrale :
Z b
f (x) dx = Fa (b) = Fc (b) − Fc (a) ,
a
Or quand c parcourt R, sin(c) ne prend que les valeurs comprises entre −1 et 1, tandis
que C désigne une constante réelle quelconque. En pratique, il suffit de trouver une
primitive particulière : la variable c ne sera qu’un artifice d’écriture. Nous supposerons
toujours que c et x sont telles que la fonction soit définie et continue sur l’intervalle
[c, x]. Par exemple : Z x
1 h ix
dt = ln |t| = ln |x| + C ,
c t c
ce qui suppose que l’intervalle [c, x] ne contient pas 0. Dans cette écriture, C désigne
en fait une fonction, qui est constante sur chaque intervalle où la fonction à intégrer
est définie et continue. L’ensemble des primitives de la fonction x 7→ 1/x est l’ensemble
des fonctions f telles que :
ln(x) + C1 si x > 0
f (x) =
ln(−x) + C2 si x < 0 ,
où C1 et C2 sont deux réels quelconques.
En pratique, pour calculer une primitive d’une fonction donnée, on la ramène à un ca-
talogue de primitives usuelles. Ces primitives, que l’on doit connaître, sont rassemblées
dans le tableau ci-dessous. Attention : les intervalles de définition ne sont pas précisés.
5
Maths en L1̇gne Calcul des primitives UJF Grenoble
Nous rappelons dans la section suivante les techniques de base pour le calcul des pri-
mitives, lorsqu’elles peuvent s’exprimer à l’aide des fonctions classiques.
On peut aussi intégrer des polynômes en sin(x) et cos()x, ou bien sinh x et cosh x.
On utilise pour cela les formules d’Euler, et les propriétés de l’exponentielle (réelle ou
complexe).
6
Maths en L1̇gne Calcul des primitives UJF Grenoble
Le principe est le suivant : tout polynôme en sin(x) et cos(x) est une combinaison
linéaire de termes de la forme sinn (x) cosm (x), qu’il s’agit de linéariser, en les exprimant
eux-mêmes comme combinaisons linéaires de termes en sin(kx) et cos(kx), dont on
connaît une primitive. Voici un exemple.
1 ix
sin4 (x) cos6 (x) = (e − e−ix )4 (eix + e−ix )6
210
1
= (e2ix − e−2ix )4 (eix + e−ix )2
1024
1
= (e8ix − 4e4ix + 6 − 4e−4ix + e−8ix )(e2ix + 2 + e−2ix )
1024
1
= (e10ix − 4e6ix + 6e2ix − 4e−2ix + e−6ix
1024
+2e8ix − 8e4ix + 12 − 8e−4ix + 2e−8ix
+e6ix − 4e2ix + 6e−2ix − 4e−6ix + e−10ix )
1
= 6 + 2 cos(2x) − 8 cos(4x) − 3 cos(6x) + 2 cos(8x) + cos(10x) .
512
D’où une primitive de sin4 x. cos6 x :
7
Maths en L1̇gne Calcul des primitives UJF Grenoble
Il faut penser à une intégration par parties quand l’un des facteurs de la fonction à
intégrer a une dérivée plus simple, essentiellement √ un polynôme (dériver diminue le
degré), ln(x) (dérivée 1/x), arcsin(x) (dérivée 1/ 1 − x2 ) ou arctan(x) (dérivée 1/(1 +
x2 )). Encore faut-il connaître une primitive de l’autre facteur. Par exemple, pour λ 6= 0 :
Z x h 1 ix Z x 1 1 1
λt
t e dt = t · eλt − eλt dt = xeλx − 2 eλx + C .
c λ c c λ λ λ
u(t) = t u0 (t) = 1
1
v 0 (t) = eλt v(t) = eλt
λ
8
Maths en L1̇gne Calcul des primitives UJF Grenoble
Z x+1
2 1
= √ du
c+1
2
u2 +1
h √ i x+1
2
= ln(u + u2 + 1) c+1
2
√
= ln( x+1
2
+ ( x+1
2
)2 +1) +C
√
x2 +2x+5
= ln( x+1+ 2
)+C
√
= ln(x + 1 + x2 + 2x + 5) + C 0 .
Voici une situation proche, mais qui du fait des signes rencontrés dans le trinôme,
conduit à des résultats différents.
Z x
1
√ dt .
2
t − 2t − 3
c
La fonction à intégrer est définie sur ] − ∞, −1[∪]3, +∞[. Nous devons donc supposer
que l’intervalle [c, x] est soit inclus dans ] − ∞, −1[, soit dans ]3, +∞[. La mise du
9
Maths en L1̇gne Calcul des primitives UJF Grenoble
Z x−1
2 1
= √ du
c−1
2
u2 −1
h √ i x−1
2
= ln |u + u2 − 1| c−1
2
√
= ln | x−1
2
+ ( x−1
2
)2 −1| +C
√
x2 −2x−3
= ln | x−1+ 2
|+C
√
= ln |x − 1 + x2 − 2x − 3| + C 0 .
Comme prévu, les primitives
√ ne sont définies que pour x < −1 ou x > 3. Remarquez
2
que le signe de x − 1 + x − 2x − 3 dépend de l’intervalle sur lequel on se trouve : il
est négatif sur ] − ∞, −1[, positif sur ]3, +∞[.
Voici le dernier cas que l’on peut rencontrer selon le signe du trinôme.
Z x
1
√ dt .
c −t2 + 2t + 3
La fonction à intégrer n’est définie que sur l’intervalle ]−1, 3[. Nous devons donc supposer
que l’intervalle [c, x] est inclus dans ] − 1, 3[. La mise du trinôme sous forme canonique
donne :
Z x Z x Z x
1 1 1 1
√ dt = p dt = q dt .
c −t2 + 2t + 3 c −(t − 1)2 + 4 c 2 t−1 2
1−( 2 )
On obtient :
x−1
Z x Z
1 1 2 1 1
q dt = √ 2du
c 2 1 − ( t−1 )2 c−1
2
2 1 − u2
2
Z x−1
2 1
= √ du
c−1
2
1 − u2
h i x−1
2
= arcsin(u) c−1
2
x−1
= arcsin +C .
2
Comme prévu, les primitives ne seront définies que pour x ∈]−1, 3[.
Nous verrons plus loin d’autres applications classiques des changements de variable.
Il n’est pas toujours facile de deviner le bon changement de variable. Pour cela, il faut se
laisser guider par l’expression de f : si elle contient une fonction ψ(t) et sa dérivée ψ 0 (t),
il pourra être judicieux de poser u = ψ(t). Dans le cas le plus favorable, la fonction
se met sous la forme f (t) = g 0 (ψ(t))ψ 0 (t), qui est la dérivée de g(ψ(t)). Il suffira donc
de connaître une primitive de g. Ceci ne relève pas directement du théorème 4, et
2
s’applique d’ailleurs même si ψ n’est pas monotone. Voici un exemple, avec ψ(t) = et ,
2
et ψ 0 (t) = 2tet .
x x 2
2tet
Z Z
2t h
t2
ix 2
dt = dt = ln(1 + e ) = ln(1 + ex ) + C .
c 1 + e−t2 c
t2
e +1 c
11
Maths en L1̇gne Calcul des primitives UJF Grenoble
Le dernier type est le plus difficile à intégrer. La technique conseillée est la suivante.
On commence par faire apparaître au numérateur la dérivée 2ax + b du trinôme.
α α
αx + β 2a
(2ax + b) + β − 2a b
=
(ax2 + bx + c)n (ax2 + bx + c)n
α 2ax + b α 1
= 2 n
+ (β − b) .
2a (ax + bx + c) 2a (ax + bx + c)n
2
Cette dernière expression est combinaison linéaire de deux termes. Le premier est de
f 0 (x)
la forme f (x)n . Une primitive est donc :
Z x
2at + b h 1 1 ix 1 1
2 n
dt = 2 n−1
= +C ,
γ (at + bt + c) −n + 1 (at + bt + c) γ −n + 1 (ax + bx + c)n−1
2
si n > 1, ou bien :
Z x
2at + b h
2
ix
2 + bt + c
dt = ln |at + bt + c| = ln |ax2 + bx + c| + C ,
γ at γ
si n = 1.
Reste à intégrer le second terme,
Z x
1
dt .
γ (at2 + bt + c)n
Il faut commencer par mettre le trinôme sous forme canonique :
b 2 b2 − 4ac
2
at + bt + c = a (t + ) − .
2a 4a2
On effectue alors un changement de variable affine :
r
b b2 − 4ac
t+ =v ,
2a 4a2
qui ramène le calcul à celui d’une primitive du type :
Z u
1
In (u) = 2 n
dv .
γ 0 (v + 1)
u u
2v. 21 v
Z Z
1
= dv − dv .
γ0 (v + 1)n−1
2
γ0 (v 2 + 1)n
12
Maths en L1̇gne Calcul des primitives UJF Grenoble
Le premier terme est In−1 (u). Le second terme s’intègre par parties, en dérivant 12 v.
h 1 Z u
1 1 iu 1 1 1
In (u) = In−1 (u) − . v + . dv .
−n + 1 (v 2 + 1)n−1 2 γ 0 2
γ 0 −n + 1 (v + 1)
n−1 2
On ramène donc ainsi le calcul de In (u) à celui de In−1 (u). En itérant, on arrive à
I1 (u) = arctan(u) + C.
On peut se demander pourquoi le type 3 a été restreint aux dénominateurs tels que
∆ = b2 − 4ac < 0. La raison est que dans le cas ∆ ≥ 0, le type 3 se ramène au type 2.
En effet, si ∆ = 0, le trinôme s’écrit :
b
ax2 + bx + c = a(x + )2 .
2a
Si ∆ > 0, le trinôme a deux racines réelles. Il s’écrit :
ax2 + bx + c = a(x − ρ1 )(x − ρ2 ) ,
où ρ1 et ρ2 désignent les deux racines. Or :
1 1
1 ρ −ρ ρ −ρ
= 1 2 + 2 1 .
(x − ρ1 )(x − ρ2 ) x − ρ 1 x − ρ2
1
Une primitive de (x−ρ1 )(x−ρ2 )
est donc :
Z x
1 1
dt = (log(|x − ρ1 | − log(|x − ρ2 |) + C .
γ (t − ρ1 )(t − ρ2 ) ρ1 − ρ 2
Nous commençons par généraliser ceci à des fractions rationnelles dont le dénominateur
a deux racines réelles distinctes.
Proposition 2. Soient n et m deux entiers, ρ1 et ρ2 deux réels distincts. Il existe des
réels α1 , . . . , αn et β1 , . . . , βm tels que :
1 α1 α2 αn
= + + · · · +
(x − ρ1 )n (x − ρ2 )m (x − ρ1 ) (x − ρ1 )2 (x − ρ1 )n
β1 β2 βm
+ + 2
+ ··· + .
(x − ρ2 ) (x − ρ2 ) (x − ρ2 )m
13
Maths en L1̇gne Calcul des primitives UJF Grenoble
Si Hn,m−1 et Hn−1,m sont vraies, on en déduit que Hn,m est vraie. Donc Hn,m est vraie
pour tout n, m ≥ 1.
La décomposition que nous venons d’effectuer, d’une fraction rationnelle particulière
en une combinaison linéaire d’éléments simples, se généralise à des fractions rationnelles
quelconques. Nous ne donnerons pas la démonstration du théorème suivant, semblable
à celle de la proposition précédente, mais beaucoup plus fastidieuse.
Théorème 5. Considérons une fraction rationnelle du type P (x)/Q(x), où P et Q sont
deux polynômes à coefficients réels, supposés premiers entre eux (fraction irréductible).
Considérons une factorisation du dénominateur Q(x) sous la forme :
Pour comprendre cette décomposition, le mieux est d’examiner sa forme sur un cas
particulier, rassemblant les différentes situations.
x13
= A + Bx
(x − 1)3 (x − 2)2 (x − 3)(x2 + 1)2 (x2 + x + 1)
C D E
+ + 2
+
(x − 1) (x − 1) (x − 1)3
F G H
+ + +
(x − 2) (x − 2)2 (x − 3)
Ix + J Kx + L
+ + 2
(x + 1) (x + 1)2
2
Mx + N
+ ,
(x2 + x + 1)
où les lettres A, B, . . . , M désignent des réels à déterminer. La théorie assure que ces
réels existent et sont uniques. Il suffirait donc de réduire tous les éléments simples au
14
Maths en L1̇gne Calcul des primitives UJF Grenoble
15
Maths en L1̇gne Calcul des primitives UJF Grenoble
Le numérateur et le dénominateur sont premiers entre eux, la fraction est bien irréduc-
tible. Sa décomposition en éléments simples a la forme suivante.
x6 + 1 C Dx + E Fx + G
2 2
= A + Bx + + 2 + 2 .
(x − 1)(x + x + 1) (x − 1) (x + x + 1) (x + x + 1)2
La division euclidienne du numérateur par le dénominateur donne :
x + 1 = (x − 1) (x − 1)(x + x + 1) + 2x3 .
6 2 2
Donc A = −1, B = 1, et :
x6 + 1 2x3
= −1 + x + .
(x − 1)(x2 + x + 1)2 (x − 1)(x2 + x + 1)2
On peut désormais ne travailler que sur la partie restante, à savoir :
2x3 C Dx + E Fx + G
2 2
= + 2 + 2 .
(x − 1)(x + x + 1) (x − 1) (x + x + 1) (x + x + 1)2
16
Maths en L1̇gne Calcul des primitives UJF Grenoble
5 x
Z
1 2 1
= − ln(x + x + 1) + C3 + 2
dt .
9 3 c t +t+1
Calculons séparément la primitive suivante.
Z x Z x
1 1
I5 (x) = 2
dt = 1 2 3 dt .
c t +t+1 c (t + 2 ) + 4
17
Maths en L1̇gne Calcul des primitives UJF Grenoble
Z √2 (x+ 1 )
8 3 2 1
I6 (x) = √ du
3 3 2
√ (c+ 12 ) (u2 + 1)2
3
√2 (x+ 1 ) √2
(x+ 21 )
1 + u2 u2
Z Z
8 3 2 8 3
= √ du − √ du
3 3 2
√ (c+ 12 ) (u2 + 1)2 3 3 2
√ (c+ 21 ) (u2 + 1)2
3 3
8 2 1 8
= √ arctan( √ (x + )) + C6 − √ I7 (x) .
3 3 3 2 3 3
Calculons enfin I7 (x) par parties :
√2 (x+ 1 )
2u · 12 u
Z
3 2
I7 (x) = du
√2 (c+ 1 )
2
(u2 + 1)2
3
Z √2 (x+ 1 ) 1
h 1 1 i √23 (x+ 21 ) 3 2
2
= − 2 · ( u) 2 + 2+1
du
u +1 2 √ (c+ 1 )
3 2 √2
(c+ 1
2
) u
3
√1 (x + 1 )
3 2 1 2 1
= −4 1 2 + arctan( √ (x + )) + C7 .
3
(x + 2 ) + 1 2 3 2
x2 2 1
I(x) = −x + + ln |x − 1| − ln(x2 + x + 1)
2 9 9
2 2 1 2 x
+ √ arctan( √ (x + )) − 2
+C .
3 3 2 3x +x+1
18
Maths en L1̇gne Calcul des primitives UJF Grenoble
Posons :
1
u = et soit t = ln(u) et dt = du .
u
Z e2 Z e2
2 1 2
I = 1 du = du
e u− u
u e u2 −1
Z e2 i e2
1 1 h
= − du = ln |u − 1| − ln |u + 1|
e u−1 u+1 e
e2 − 1 e−1 (e + 1)2
= ln − ln = ln .
e2 + 1 e+1 e2 + 1
1 − u2 2u 2u 2
cos(t) = , sin(t) = , tan(t) = , dt = du .
1 + u2 1 + u2 1 − u2 1 + u2
Exemple :
π
Z Z 1 Z 1
2 1 1 2 2
I= dt = 1−u2
du = du .
0 2 + cos(t) 0 2+ 1+u2
1 + u2 0 3 + u2
19
Maths en L1̇gne Calcul des primitives UJF Grenoble
Z tan(x/2)
t 4u
u = tan −→ I(x) = du
2 tan(c/2) 1 − u4
Z cos(x)
1
u = cos(t) −→ I(x) = − du
cos(c) u
Z sin(x)
u
u = sin(t) −→ I(x) = du
sin(c) 1 − u2
Z tan(x)
u
u = tan(t) −→ I(x) = du .
tan(c) 1 + u2
√
6 √
6
1+x 1+x
6u5 6u3
Z Z
I = √
du = √
du
6
1+c u3 + u2 6
1+c u+1
√
6
Z 1+x
1
= 6 √
u2 − u + 1 − du
6
1+c u+1
h u3 u2 i√
6
1+x
= 6 − + u − ln |u + 1| √ .
3 2 6
1+c
√
• Type 4 : f est une fraction rationnelle en tqet at2 + bt + c :
2
Changement de variable u = |b24a −4ac|
b
(t + 2a ).
Il est déconseillé de retenir par cœur ce changement de variable. L’idée est de mettre
20
Maths en L1̇gne Calcul des primitives UJF Grenoble
21
Maths en L1̇gne Calcul des primitives UJF Grenoble
2 Entraînement
2.1 Vrai ou faux
Vrai-Faux 1. Parmi les affirmations suivantes lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1. Toute fonction intégrable sur [a, b] est continue.
2. Si une fonction est continue sur [a, b], sauf en un point, alors f admet une
primitive.
3. Toute fonction continue sur [a, b] admet une primitive qui s’annule en b.
4. Toute primitive d’une fonction continue sur [a, b] s’annule en un point de [a, b].
5. Toute primitive d’une fonction continue sur [a, b] est dérivable sur ]a, b[.
6. Toute primitive d’une fonction continue sur ]a, b[ est dérivable à droite en a.
Vrai-Faux 2. Toutes les fonctions considérées sont supposées continues. Parmi les af-
firmations suivantes lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?
1. L’intégrale sur [0, 1] d’une fonction négative ou nulle est négative ou nulle.
2. L’intégrale sur [0, 1] d’une fonction minorée par 1 est inférieure ou égale à 1.
3. L’intégrale sur [−1, 1] d’une fonction majorée par 1 est inférieure ou égale à 1.
4. L’intégrale sur [−1, 1] d’une fonction majorée par 2 est inférieure ou égale à 4.
5. L’intégrale d’une fonction impaire sur [−1, 1] est nulle.
6. Si une fonction f est telle que pour tout x ∈ [−1, 1], f (x) < x3 , alors son
intégrale sur [−1, 1] est strictement négative.
7. Si l’intégrale d’une fonction f continue sur [0, 1] vaut y, alors il existe x ∈ [0, 1]
tel que f (x) = y.
8. Si l’intégrale d’une fonction f sur [−1, 1] vaut y, alors il existe x ∈ [0, 1] tel
que f (x) = 2y.
Vrai-Faux 3. Parmi les affirmations suivantes lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1. Toute primitive d’une fonction négative ou nulle est décroissante.
2. Toute primitive d’une fonction positive ou nulle est positive ou nulle.
3. Toute fonction continue est la primitive d’une fonction continue.
4. Si f est une fonction continue, alors − cos(f (x)) est une primitive de sin(f (x)).
5. Si f est une fonction continûment dérivable et ne s’annulant pas, ln(f (x)) est
0 (x)
une primitive de ff (x) .
6. Si f est une fonction continûment dérivable, arctan(f (x)) est une primitive de
f 0 (x)
1+f 2 (x)
.
22
Maths en L1̇gne Calcul des primitives UJF Grenoble
Vrai-Faux 4. Parmi les affirmations suivantes lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1. Il existe des primitives de (1 − x2 )−1/2 définies sur l’intervalle [0, 2].
2. Il existe des primitives de (1 − x2 /2)−1/2 définies sur l’intervalle [0, 1].
3. Il existe des primitives de |1 − x2 |1/2 définies sur l’intervalle [−2, 2].
4. Il existe des primitives de |1 − x2 |−1/2 définies sur l’intervalle [−2, 2].
5. Toute primitive de sin8 (x) est une fonction impaire.
6. Toute primitive de sin9 (x) est une fonction paire.
7. Une primitive de e−t cos(t) est e−t sin(t).
8. Une primitive de e−t cos(t) est 21 e−t (cos(t) + sin(t)).
9. Une primitive de e−t cos(t) est 21 e−t (sin(t) − cos(t)).
10. Une primitive de e−t cos(t) est √1 e−t
2
sin(t − π4 ).
Vrai-Faux 5. Parmi les égalités suivantes lesquelles sont vraies, lesquelles sont fausses,
et pourquoi ?
Z π Z π 2
x
1. x sin(x) dx = − cos(x) dx .
0 0 2
Z π Z π
2. x sin(x) dx = cos(x) dx .
0 0
Z π Z π
3. x sin(x) dx = π − cos(x) dx .
0 0
Z π
4. x sin(x) dx = π − 2 .
0
Z π
5. x sin(x) dx = π .
0
Z π
6. x cos(x) dx = −2 .
0
Z π h iπ Z π
7. x sin(2x) dx = sin(2x) − 2 cos(2x) dx .
0 0 0
Z π
8. x cos(2x) dx = 0 .
0
Z π Z π
2
9. x sin (x) dx = x cos2 (x) dx .
0 0
Z π 2
π
10. x sin2 (x) dx = .
0 2
Vrai-Faux 6. Parmi les égalités suivantes lesquelles sont vraies, lesquelles sont fausses,
et pourquoi ?
23
Maths en L1̇gne Calcul des primitives UJF Grenoble
Z π Z π
2 2 du
1. sin(2t) dt = sin(u) .
0 0 2
Z π Z π
2 4 du
2. sin(2t) dt = sin(u) .
0 0 2
Z π Z π
2 2
3. sin(2t) dt = sin(u) du .
0 0
√
Z π Z 2
8 2 u
4. sin(2t) dt = √ du .
0 0 2 1 − u2
π 2
sin( u1 )
Z Z
2 π
5. sin(2t) dt = du .
π
4
1
π
u2
π
Z Z eπ
2 sin(ln(u))
6. sin(2t) dt = du .
0 1 2u
2.2 Exercices
Exercice 1. Calculer les primitives suivantes, en utilisant les propriétés de l’exponen-
tielle.
Z x Z x Z x Z x
3 3 4
cos (t) dt ; sin (t) dt ; cos (t) dt ; sin4 (t) dt ;
c c c c
Z x Z x Z x
2 2 3
cos (t) sin (t) dt ; cos(t) sin (t) dt ; cos3 (t) sin(t) dt ;
c c c
Z x Z x Z x
3 2 2 3
cos (t) sin (t) dt ; cos (t) sin (t) dt ; cos(t) sin4 (t) dt ;
c c c
Z x Z x Z x Z x
3 3 4
cosh (t) dt ; sinh (t) dt ; cosh (t) dt ; sinh4 (t) dt ;
c c c c
Z x Z x Z x
cosh2 (t) sinh2 (t) dt ; cosh(t) sinh3 (t) dt ; cosh3 (t) sinh(t) dt ;
c c c
Z x Z x Z x
3 2 2 3
cosh (t) sinh (t) dt ; cosh (t) sinh (t) dt ; cosh(t) sinh4 (t) dt ;
c c c
Z x Z x Z x Z x
−t
t
e cos(t) dt ; t
e sin(t) dt ; e cos(2t) dt ; e−t sin(2t) dt ;
c c c c
Z x Z x
π π
e2t cos(t − ) dt ; e−2t cos(t + ) dt ;
c 4 c 4
Z x Z x
π π
t
e cos(2t − ) dt ; e−t cos(2t + ) dt ;
c 3 c 3
24
Maths en L1̇gne Calcul des primitives UJF Grenoble
25
Maths en L1̇gne Calcul des primitives UJF Grenoble
26
Maths en L1̇gne Calcul des primitives UJF Grenoble
2.3 QCM
Donnez-vous une heure pour répondre à ce questionnaire. Les 10 questions sont
indépendantes. Pour chaque question 5 affirmations sont proposées, parmi lesquelles 2
sont vraies et 3 sont fausses. Pour chaque question, cochez les 2 affirmations que vous
pensez vraies. Chaque question pour laquelle les 2 affirmations vraies sont cochées
rapporte 2 points.
Question 1.
A Il existe des primitives de x 7→ sin( x1 ) définies sur l’intervalle [−1, 1].
p
B Il existe des primitives de x 7→ sin( |x|) définies sur l’intervalle [−1, 1].
1
C Il existe des primitives de x 7→ définies sur l’intervalle [−1, 1].
sin(x)
D L’intégrale de x 7→ x sin2 (x) sur [−π, π] est nulle.
E L’intégrale de x 7→ x sin(x) sur [−π, π] est nulle.
Question 2. OnZnote f la fonction f qui à t ∈ R associe f (t) = |t|. Pour tout x ∈ R,
x
on pose g(x) = f (t) dt.
−x
27
Maths en L1̇gne Calcul des primitives UJF Grenoble
1 Z
n n+1
C In = 1 − t (1 − t)n−1 dt.
Z 1 0 n + 1
n−1
D In = n(1 − 2t) t(1 − t) dt.
0
Z 1
E In = n(2t − 1)tn (1 − t)n−1 dt.
0
p
Question 5. On note f la fonction qui à t ∈ [1, 2], associe f (t) = (t − 1)(2 − t). On
Z 2
pose : I = f (t)dt.
1
A Le changement de variable t 7→ u = (t − 1)(2 − t) est bijectif sur [1, 2].
B I ≤ sup{f (x) , x ∈ [1, 2]} .
Z 2 Z 2
C Le changement de variable t 7→ u = 3 − t donne tf (t) dt = 3I − tf (t) dt.
1 1
1 1√
Z
D Le changement de variable t 7→ v = 2t − 3 donne I = 1 − v 2 dv .
2 −1
E f admet une primitive définie sur R.
t
Question 6. On note f la fonction qui à t ∈ R, associe f (t) = 2 .
√ t +1
Z 2 Z 2
1
A f (t) dt = du.
0 0 1 + u
Z 2 Z 2
B f (t) dt > t dt.
Z0 2 0
C f (t) dt = ln(5).
0 Z 2
D Soit g une fonction définie et continue sur [0, 2] telle que |g(t)|f (t) dt = 0.
0
Alors pour tout t ∈ [0, 2], g(t) = 0.
2n Z 2
X k
E 2 + k2
tend vers f (t) dt quand n tend vers l’infini.
k=1
n 0
1
Question 7. On note f la fonction qui à t ∈ R, associe f (t) = 2 . On pose
Z 2 (t + 4)2
I= f (t) dt.
0
A f possède une primitive définie sur R.
Z 2 2 !
1 1 t
B I= 2
dt + .
8 0 t +4 t2 + 4 0
2
C I> .
Z42 1
1
D I= du.
0 (1 + u2 )2
28
Maths en L1̇gne Calcul des primitives UJF Grenoble
Z e2
1
E I= dv.
0 ev + 4e−v
t2 + 1
Question 8. On note f la fonction qui à t ∈ R, associe f (t) = .
(t + 3)(t2 − 4)
A f a une primitive définie sur R.
B La décomposition en éléments simples de f a la forme suivante :
A B C
f (t) = + + .
t+3 t+2 t−2
C Une primitive de f (t) est ln(|(t + 3)(t + 2)5 (2 − t)|).
Z 1 Z +∞
e−3u + e−u
D f (t) dt = du.
0 0π (e−u + 3)(4 − e−2u )
Z 1
(1 + cos2 (u)) sin(u)
Z
2
E f (t) dt = 2
du.
0 0 (3 + cos(u))(cos (u) − 4)
1
Question 9. On note f la fonction qui à t ∈ R, associe f (t) = .
et + e−t
A f a une primitive définie sur R.
B La fonction qui à x associe ln(ex + e−x ) est une primitive de f .
1
C Si F est une primitive de , alors F (ex ) est une primitive de f .
u + 1/u
D La fonction qui à x associe π/4 − arctan(e−x ) est une primitive de f .
E La primitive de f qui s’annule en 0 est x 7→ π/4 − arctan(ex ).
1
Question 10. Soient a et b deux réels. On note f la fonction qui à t associe √ .
at2 + b
A Si a etpb sont strictement positifs, il existe une constante C telle que x 7→
arcsin(x a/b) soit une primitive de f .
B√Si a et b sont strictement positifs, il existe une constante C telle que x 7→
ax2 + b soit une primitive de t 7→ tf (t).
C Si a est strictement négatif
p et b strictement positif, il existe une constante C
telle que x 7→ C arcsin(x a/b) soit une primitive de f .
D Si a est strictement positif
p et b strictement négatif, il existe une constante C
telle que x 7→ C arcsin( −ax/b) soit une primitive de f .
E f admet une primitive définie sur R si et seulement si a et b sont de même
signe.
Réponses : 1–BD 2–BC 3–AD 4–BE 5–BC 6–DE 7–AB 8–BC 9–AD 10–BC
29
Maths en L1̇gne Calcul des primitives UJF Grenoble
2.4 Devoir
Essayez de bien rédiger vos réponses, sans vous reporter ni au cours, ni au corrigé. Si
vous souhaitez vous évaluer, donnez-vous deux heures ; puis comparez vos réponses avec
le corrigé et comptez un point pour chaque question à laquelle vous aurez correctement
répondu.
Questions de cours : Soient f une fonction définie et continue sur R.
1. Qu’appelle-t-on primitive de f sur R ?
Z x a un réel. Soit F une primitive de f . Exprimer F (x) à l’aide de F (a) et
2. Soit
f (t) dt.
a
3. On supose qu’il existe x > a tel que F (x) = F (a). Montrer que f s’annule au
moins une fois sur l’intervalle [a, x].
Z x
4. En utilisant une intégration par parties, exprimer tf (t) dt à l’aide de F .
a
Z x
5. Exprimer e−t f (e−t ) dt à l’aide de F .
a
ex + e−x ex − e−x
cosh(x) = et sinh(x) = .
2 2
1. Vérifier que :
Z x Z x
∀x ∈ R , cosh(t) dt = sinh(x) et sinh(t) dt = cosh(x) − 1 .
0 0
Z 1
4. Calculer cosh5 (t) dt en fonction de sinh(5), sinh(3) et sinh(1).
0
Z 1
5. Calculer sinh5 (t) dt en fonction de cosh(5), cosh(3) et cosh(1).
0
30
Maths en L1̇gne Calcul des primitives UJF Grenoble
3. Calculer I0 .
4. Calculer I1 .
5. En utilisant une intégration par parties, démontrer que pour tout n ≥ 1 :
1
In = In−1 − .
n!
6. En déduire que pour tout n ∈ N :
n
X 1
In = e − .
k=0
k!
Z 2
1
Exercice 3 : On pose I = p dt.
1 2 + t(4 − t)
Z 2π/3
sin(u)
1. Montrer que I = du.
π/2 1 + sin(u)
√
Z 3
4v
2. Montrer que I = dv.
1 (1 + v)2 (1 + v 2 )
π √
3. En déduire que I = − 2 + 3.
6
31
Maths en L1̇gne Calcul des primitives UJF Grenoble
∀x ∈ R , F 0 (x) = f (x) .
2. Z x
F (x) = F (a) + f (t) dt .
a
Quitte à remplacer f par −f nous pouvons supposer que f reste strictement posi-
tive sur ]a, x[. Or l’intégrale sur un intervalle d’une fonction continue strictement
positive est strictement positive. Donc
Z x
F (x) = F (a) + f (t) dt > F (a) .
a
4. Z x ix Z
h x Z x
tf (t) dt = tF (t) − F (t) dt = xF (x) − aF (a) − F (t) dt .
a a a a
5. Z x Z e−x
−t −t
e f (e ) dt = −f (u) du = F (e−a ) − F (e−x ) .
a e−a
Exercice 1 :
1.
Z x Z x Z x
1 1
cosh(t) dt = t
e dt + e−t dt
0 2 0 2 0
1 h t ix 1 h ix
= e + − e−t
2 0 2 0
1 t 1
= (e − 1) − (e−t − 1) = sinh(x) .
2 2
32
Maths en L1̇gne Calcul des primitives UJF Grenoble
Z x Z x Z x
1 1
sinh(t) dt = t
e dt − e−t dt
0 2 0 2 0
1 h t ix 1 h −t
ix
= e − −e
2 0 2 0
1 t 1
= (e − 1) + (e−t − 1) = cosh(x) − 1 .
2 2
2. En utilisant la formule du binôme de Newton :
2n+1
2n+1 1 X 2n + 1 (2n+1−j)x −jx
cosh (x) = 2n+1 e e
2 j=0
j
2n+1
X
1 2n + 1 (2n+1−2j)x
= e
22n+1 j=0
j
n 2n+1
1 X 2n + 1 (2n+1−2j)x
X 2n + 1 (2n+1−2j)x
= e + e
22n+1 j=0
j j=n+1
j
n n
1 X 2n (2n−2j)x
X 2n + 1 (2n+1−2(2n+1−j 0 ))x
= e + e
22n+1 j=0
j j 0 =0
2n + 1 − j 0
n
1 X 2n + 1 (2n+1−2j)x 2n
= e + e(2j−2n−1)x
22n+1 j=0
j 2n − j
n
1 X 2n
e(2n+1−2j)x + e(2j−2n−1)x
=
22n+1 j=0
j
n
1 X 2n + 1
= 2 cosh((2n + 1 − 2j)x)
22n+1 j=0
j
n
1 X 2n + 1
= 2n cosh((2n + 1 − 2j)x) .
2 j=0 j
33
Maths en L1̇gne Calcul des primitives UJF Grenoble
n
1 X 2n
(−1)j e(2n+1−2j)x − e(2j−2n−1)x
=
22n+1 j=0
j
n
1 X 2n + 1
= 2n (−1)j sinh((2n + 1 − 2j)x) .
2 j=0 j
1 5 5
= sinh(5) + sinh(3) + sinh(1) ,
80 48 8
en utilisant le résultat de la question 1.
5. En appliquant le résultat de la question 3 pour n = 2 :
1 5 10
sinh5 (x) = sinh(5x) − sinh(3x) + sinh(x) .
16 16 16
Donc :
Z 1 Z 1 Z 1 Z 1
1 5 10
sinh5 (t) dt = sinh(5t) dt − sinh(3t) dt + sinh(t) dt
0 16 0 16 0 16 0
1 5 5
= (cosh(5) − 1) − (cosh(3) − 1) + (cosh(1) − 1) ,
80 48 8
en utilisant le résultat de la question 1.
Exercice 2 :
1. Pour tout n ≥ 1, et pour tout t ∈ ]0, 1[,
34
Maths en L1̇gne Calcul des primitives UJF Grenoble
Comme n! > (n − 1)!, 1/(n!) < 1/(n − 1)!. Donc In < In−1 .
2. Pour tout n ≥ 1, et pour tout t ∈ ]0, 1[,
0 < (1 − t)n et .
La fonction à intégrer est continue et strictement positive, donc In est strictement
positive.
La fonction t 7→ et est majorée par e sur [0, 1]. De plus la fonction t 7→ e − et est
continue et strictement positive sur [0, 1[. Le même raisonnement que précédem-
ment donne la majoration au sens strict suivante.
Z 1 Z 1
1 n t 1
(1 − t) e dt < (1 − t)n e dt .
0 n! 0 n!
Or : 1
Z 1
n 1 n+1 1
(1 − t) dt = − (1 − t) = .
0 n+1 0 n+1
Donc :
1 e e
In < = .
n + 1 n! (n + 1)!
3. Z 1 h i1
I0 = et dt = et = e − 1 .
0 0
h i1 Z 1
t
= (1 − t)e + et dt
0 0
= −1 + I0 = e − 2 .
5.
1 Z 1
1 n
In = (1 − t)n et + (1 − t)n−1 et dt
n! 0 0 n!
1
= − + In−1 .
n!
35
Maths en L1̇gne Calcul des primitives UJF Grenoble
6. Effectuons une démonstration par récurrence. La formule est vraie pour I0 . Sup-
posons-la vraie pour In . En utilisant le résultat de la question précédente :
1
In+1 = In −
(n + 1)!
n
X 1 1
= e− −
k=0
k! (n + 1)!
n+1
X 1
= e− .
k=0
k!
La formule est vraie pour n + 1, elle est donc vraie pour tout n ∈ N.
7. Nous avons démontré que 0 < In < e/(n + 1)!. Donc :
n n n
X 1 e X 1 X 1 e
0<e− < ⇐⇒ <e< + .
k=0
k! (n + 1)! k=0
k! k=0
k! (n + 1)!
Exercice 3 :
1. Ecrivons t(4 − t) = 4 − (t − 2)2 . Effectuons le changement de variable t − 2 =
2 cos(u), soit dt = −2 sin(u) du. Lorsque t varie de 1 à 2, cos(u) varie de −1/2 à
0, donc u varie de arccos(−1/2) = 2π/3 à arccos(0) = π/2. Sur cet intervalle,
p p
t(4 − t) = 4 − 4 cos2 (u) = 2 sin(u) ,
2. La fonction à intégrer est une fraction rationnelle en sin(u) qui n’a pas d’inva-
riance particulière. Effectuons le changement de variable u = tan(v/2) , soit :
2 2v
du = dv et sin(u) = .
1 + v2 1 + v2
√
Lorsque u varie de π/2 à 2π/3, v varie de tan(π/4) à tan(π/3), donc de 1 à 3.
On obtient :
Z √3 2v Z √3
1+v 2 2 4v
I= 2v dv = dv .
1 1 + 1+v2 1 + v 2 1 (1 + v)2 (1 + v 2 )
36
Maths en L1̇gne Calcul des primitives UJF Grenoble
3 Compléments
3.1 La quadrature du cercle
Étant donné un cercle, dessiné sur une feuille de papier, construire en utili-
sant uniquement une règle et un compas, un carré dont la surface est égale
à celle du cercle.
Tel est l’énoncé du problème dit de « la quadrature du cercle », qui a occupé les mathé-
maticiens amateurs et professionnels pendant tant de siècles, qu’il est devenu dans le
langage courant un archétype de problème insoluble. Effectivement, la quadrature du
cercle est impossible, et la démonstration définitive a été donnée en 1882 par Carl von
Lindemann (1852-1939). Ceci n’empêche pas de nombreux amateurs peu au fait des
mathématiques d’essayer encore et encore, et de proposer leurs solutions (fausses bien
sûr). Au point que l’Académie des Sciences a dû déclarer que désormais elle refuserait
d’examiner tout mémoire portant sur la quadrature du cercle.
On peut construire à la règle et au compas toutes sortes de droites, de cercles et
de points. On peut construire des perpendiculaires et des parallèles, des médianes,
des médiatrices, des bissectrices. . . Qu’est-ce qui distingue ce qui peut être construit
à la règle et au compas de ce qui ne peut pas ? La réponse fut donnée en 1837 par
Pierre-Laurent Wantzel (1814-1848) (il avait 23 ans).
On appelle nombre constructible toute coordonnée d’un point que l’on peut const-
ruire à la règle et au compas, à partir d’un repère orthonormé donné du plan.
Théorème 6. Tout nombre constructible est racine d’un polynôme à coefficients en-
tiers, et le plus petit degré d’un polynôme à coefficients entiers dont ce nombre est
racine est une puissance de 2.
Wantzel mettait ainsi un point final à deux autres problèmes célèbres hérités des
Grecs : la duplication du cube (construire un cube de volume double de celui d’un cube
donné), et la trissection de l’angle (construire un angle égal au tiers d’un angle donné).
Mais il ne résolvait pas tout
√ à fait la quadrature du cercle. Le côté √ d’un carré dont la
surface est égale à π est π. D’après le théorème de Wantzel, si π est constructible
alors π l’est aussi. Comment prouver que π n’est pas constructible ?
37
Maths en L1̇gne Calcul des primitives UJF Grenoble
Il se trouve que π est transcendant, c’est à dire qu’il n’est racine d’aucun polynôme
à coefficients entiers. Que π est irrationnel avait déjà été soupçonné par les Grecs
(en particulier Archimède) et conjecturé après eux par les mathématiciens arabes,
notamment Al Biruni (973-1049) (dont La Fontaine a injustement fait « Aliboron »).
Il fallut attendre Jean-Henri Lambert en 1766 pour la première démonstration, à base
de fractions continues. Du fait de l’enjeu (la quadrature du cercle), la transcendance de
π fit l’objet d’une belle compétition entre mathématiciens, tout au long du 19e siècle.
Lindemann remporta la palme en 1882, en utilisant la transcendance de e, démontrée
avant lui par Charles Hermite.
La démonstration de Lindemann est beaucoup trop difficile pour être exposée ici.
En utilisant uniquement les outils à votre disposition, et en particulier les calculs d’inté-
grales, nous allons prouver plus modestement l’irrationalité de π, par une démonstration
différente de celle de Lambert.
Démonstration : C’est une démonstration par l’absurde. On suppose que π est ra-
tionnel, donc qu’il s’écrit π = p/q, où p et q sont deux entiers. Pour tout n ∈ N,
posons : Z π
n
In = x(p − qx) sin(x) dx .
0
Observez que x(p − qx) s’annule pour x = 0 et pour x = π, par hypothèse. Entre les
deux, x(p − qx) et sin(x) sont strictement positifs ; donc l’intégrale In est strictement
positive pour tout n.
La démonstration comporte deux étapes. On montre d’abord que In est un entier
divisible par n!, ensuite que In /n! tend vers 0 quand n tend vers l’infini. Mais une suite
d’entiers qui tend vers 0 est nulle à partir d’un certain rang. Or In est strictement
positive pour tout n. D’où la contradiction.
Étape 1 : In est un multiple entier de n!.
C’est une démontration par récurrence, pour laquelle il nous faut une formule du même
38
Maths en L1̇gne Calcul des primitives UJF Grenoble
h iπ Z π
= x(p − qx)(− cos(x)) + (p − 2qx) cos(x) dx
0 0
h iπ Z π
= (p − 2qx) sin(x) + 2q sin(x) dx = 4q .
0 0
39
Maths en L1̇gne Calcul des primitives UJF Grenoble
Au passage, ce n’est que depuis le 17e siècle que le rapport de la circonférence d’un
cercle à son diamètre se note π (du terme grec περίµετ ρoς (périmètre), qu’Archimède
utilisait pour désigner la circonférence). Il semble que ce soit William Oughtred (1574-
1660) qui ait le premier utilisé la notation π, comme les signes ± et ×. Il a aussi
construit une des premières échelles logarithmiques, ouvrant ainsi la voie à la règle à
calcul. La lettre π est devenue une notation standard après les travaux d’Euler en 1737.
Cette fonction apparaît naturellement dans des problèmes pratiques, tout comme le
logarithme ordinaire. De la même façon, on est amené à définir le sinus intégral, le
cosinus intégral, l’exponentielle intégrale.
Z x Z +∞ Z x t
sin(t) cos(t) e
Si(x) = dt ; Ci(x) = − dt ; Ei(x) = dt .
0 t x t −∞ t
Encore étudiant, J.W.L. Glaisher (1848-1928) publia un article sur les fonctions sinus
intégral, cosinus intégral et exponentielle intégrale, contenant des tables de valeurs
inédites. Il deviendra un spécialiste reconnu du calcul de tables numériques.
Au cours du temps, de nombreuses fonctions sont ainsi apparues, et sont désormais
intégrées aux logiciels de calcul. Une des plus connues est la fonction erf (pour « error
function »), très utilisée en statistique, qui est définie comme suit.
Z x
2 2
erf(x) = √ e−t dt .
π 0
40
Maths en L1̇gne Calcul des primitives UJF Grenoble
Toutes ces fonctions « spéciales », ont exactement le même statut mathématique que
les fonctions usuelles : on peut les dériver, les intégrer, les associer à d’autres fonctions
dans des formules, etc. Au moment de calculer numériquement une valeur particulière,
un logiciel de calcul utilisera toujours un algorithme d’approximation ; mais c’est aussi
le cas pour les fonctions usuelles. . . Alors pourquoi distinguer les fonctions spéciales
des autres fonctions ? Peut-être parce que les fonctions usuelles vous posent déjà suffi-
samment de problèmes, sans en rajouter !
41
Maths en L1̇gne Calcul des primitives UJF Grenoble
La formule pour calculer la longueur d’un arc de courbe paramétrique entre deux
valeurs t0 et t1 du paramètre est :
Z t1 p
(x0 (t))2 + (y 0 (t))2 dt .
t0
Ici la longueur de l’arc de courbe compris entre l’axe horizontal et le rayon d’angle θ
est : Z θq
L(θ) = a2 sin2 (t) + b2 cos2 (t) dt .
0
Dans le cas où l’ellipse est un cercle (a = b), il n’y a aucun problème car la fonction
à intégrer est constante. Mais si a 6= b ? Voici ce que donne le changement de variable
sin(t) = u, en posant x = sin(θ) :
Z xp 2 2 Z x√
a u + b2 (1 − u2 ) 1 − k 2 u2
L(θ) = √ du = b √ du .
0 1 − u2 0 1 − u2
avec k 2 = 1 − a2 /b2 (quitte à effectuer une rotation de π/2, on peut supposer a < b).
En multipliant en haut et en bas par le numérateur, il vient :
Z x
L(θ) 1 − k 2 u2
= √ √ du ,
b 0 1 − k 2 u2 1 − u2
soit x Z x
u2
Z
L(θ) 1 2
= √ √ du − k √ √ du .
b 0 1 − k 2 u2 1 − u2 0 1 − k 2 u2 1 − u2
La seconde de ces deux primitives se calcule grâce à une intégration par parties. Mais
la première ne se calcule pas : c’est ce qu’on appelle une intégrale elliptique.
Z x
1
I(x) = √ √ du .
0 1 − k u2 1 − u2
2
Le premier à s’être posé le problème est Wallis en 1655. Il avait exprimé le résultat
sous forme d’une série entière, et montré que les longueurs d’autres arcs de courbes
conduisaient à des problèmes du même type. Liouville devait démontrer plus tard que
I(x) ne s’exprime pas à l’aide des fonctions usuelles, mais dès la fin du 18e siècle,
on commence à étudier les propriétés de I(x) comme une nouvelle fonction, à l’égal
de l’exponentielle et des fonctions trigonométriques, sans plus chercher à la calculer
explicitement.
Un progrès considérable fut réalisé indépendamment par Abel et Jacobi en 1826.
Ils eurent l’idée, d’une part de prendre la réciproque de la fonction x 7→ I(x), d’autre
part d’étendre cette réciproque en une fonction à valeurs complexes. Cette nouvelle
fonction, et ses généralisations, allaient jouer un rôle important en analyse, en géométrie
42
Maths en L1̇gne Calcul des primitives UJF Grenoble
43