
70 Chapitre 4 – Les fonctions de Calcul formel
ou si on a d´efini F (X)`a l’aide de DEF (DEF(F(X)=
X
X
2
−1
+ LN(
X+1
X−1
))
INTVX(F(X))
On trouve :
X · LN(
X + 1
X − 1
)+
3
2
· LN(|X − 1|)+
3
2
· LN(|X + 1|)
Exercice 3
Calculer :
Z
2
x
6
+2· x
4
+ x
2
dx
On tape :
INTVX(
2
X
6
+ 2 · X
4
+ X
2
)
On trouve :
−3 · ATAN(X) −
2
X
−
X
X
2
+ 1
Remarque :
On peut aussi taper :
Z
X
1
2
X
6
+ 2 · X
4
+ X
2
dX
qui donne le mˆeme r´esultat plus une constante ´egale `a:
3.π + 10
4
Exercice 4
Calculer :
Z
1
sin(x) + sin(2 · x)
dx
On tape :
INTVX(
1
SIN(X)+SIN(2 · X)
)
On trouve :
1
6
· LN(|COS(X) − 1|)+
1
2
· LN(|COS(X)+1|)+
−2
3
· LN(|2 · COS(X)+1|)
Remarque : si le param`etre de INTVX est le AND de deux ´el´ements,
INTVX n’agit que sur le deuxi`eme ´el´ement du AND.
Kommentare zu diesen Handbüchern