Fundamental Theorem of Calculus Pas encore traduit La version anglaise s’affiche pour l’instant. Cette page passera en français dès que la traduction sera prête. Part I
Continuity: If f ( x ) f(x) f ( x ) is continuous on [ a , b ] [a, b] [ a , b ] , then the function defined by the integral of f f f from a a a to x x x is also continuous on [ a , b ] [a, b] [ a , b ] .
g ( x ) = ∫ a x f ( t ) d t g(x) = \int_a^x f(t) \, dt g ( x ) = ∫ a x f ( t ) d t
Differentiation: The derivative of g ( x ) g(x) g ( x ) with respect to x x x is the original function f ( x ) f(x) f ( x ) .
g ′ ( x ) = d d x ∫ a x f ( t ) d t = f ( x ) g'(x) = \frac{d}{dx} \int_a^x f(t) \, dt = f(x) g ′ ( x ) = d x d ∫ a x f ( t ) d t = f ( x )
Variants of Part I
The variants involve differentiating an integral with variable limits of integration:
Upper Limit as a Function of x x x :
d d x ∫ a u ( x ) f ( t ) d t = u ′ ( x ) f ( u ( x ) ) \frac{d}{dx} \int_a^{u(x)} f(t) \, dt = u'(x) f(u(x)) d x d ∫ a u ( x ) f ( t ) d t = u ′ ( x ) f ( u ( x ))
Lower Limit as a Function of x x x :
d d x ∫ u ( x ) b f ( t ) d t = − u ′ ( x ) f ( u ( x ) ) \frac{d}{dx} \int_{u(x)}^b f(t) \, dt = -u'(x) f(u(x)) d x d ∫ u ( x ) b f ( t ) d t = − u ′ ( x ) f ( u ( x ))
Both Limits as Functions of x x x :
d d x ∫ u ( x ) v ( x ) f ( t ) d t = u ′ ( x ) f ( u ( x ) ) − v ′ ( x ) f ( v ( x ) ) \frac{d}{dx} \int_{u(x)}^{v(x)} f(t) \, dt = u'(x) f(u(x)) - v'(x) f(v(x)) d x d ∫ u ( x ) v ( x ) f ( t ) d t = u ′ ( x ) f ( u ( x )) − v ′ ( x ) f ( v ( x ))
Part II
Anti-Derivative: If F ( x ) F(x) F ( x ) is an anti-derivative of f ( x ) f(x) f ( x ) , meaning F ′ ( x ) = f ( x ) F'(x) = f(x) F ′ ( x ) = f ( x ) , then the integral of f f f from a a a to b b b is the difference between the values of F F F at these points.
∫ a b f ( x ) d x = F ( b ) − F ( a ) \int_a^b f(x) \, dx = F(b) - F(a) ∫ a b f ( x ) d x = F ( b ) − F ( a )