Practice 7
Integration :
10) Antiderivate or primitives :
Let ICIR open interval ; f : It IR ,
is there function F: ItR
.,
FED F'(X) =
f(x) (XEI)
.
if yes : we call if the primitive function of f .
EXP F(x) x2
:
(ER) 0)
=
I =
(- 0
; +
() x2 F(x)
= (tIR)
=
SO
(i 1)'
2
+ =
x so Fal = +
F(* 3
+ 2 (xtIR ; (t(R) F'(X) 3
2) x2
x
(1 +
= =
=> =
It can be proved that : if Fi , Fe are 2 Primitives of f =>
CF1-F2)' =
F -
Fa = 1 -
+= 0 on I 2) 7CEIR
so that Fi(X) -
Eg(x) =
C (KXE I) => F(X) = F2(X) + C ( xtIR)
Def :
Jf(x)dx : =
Sf :=
& F : ItIR , FED
,
F(x) = f(x) (xtI)3 .
the set of all primitives of f It IR
:
.
Then : If FtSf10 >
-
St(x)dx F(X) + c = (XEI , (EIR) .
(x2dx
13 C(CtIR)
= +
XEIR
Visually :
"itgit
⑰
↑ N integral
-x
It
curves