Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 1

298 CAPÍTULO 4 INTEGRAL DEFINIDA E INTEGRACIÓN

donde C es una constante arbitraría,


G\x) = F\x) =
/<*)
y G es también una antiderivada de/en el intervalo /.
Ahora se procederá a demostrar que si F es cualquier antiderivada par-
ticular de/en el intervalo /, entonces cada antiderivada de/en / está dada por F(x)
+ C, donde C es una constante arbitraria. Primero, se necesita un teorema
preliminar cuya demostración se basa en el teorema 3.3.3, el cual afirma que si
la derivada de una función en un intervalo es 0, entonces la función es constante
en el intervalo. Recuerde, en la sección 3.3 se demostró este teorema para
ilustrar el poder del teorema del valor medio.

4.1.2 Teorema

Si/y g son dos funciones definidas en el intervalo /, tale« que

f'(x) = g'(x) para todaxe n / entonces

existe una constante K tal que f(x) = g{x) + K

para toda x en / ...


Demostración Sea h la función definida en / mediante
Kx) = /(x) - g(x)

de modo que para toda jr en /,


h\x) = /'(x) - g\x)

Pero, por hipótesis,/'(*) = g'(x) para toda x en 1. Por tanto,


h\x) = 0 para toda x e n /
AI aplicar el teorema 3.3.3 a la función h, se infiere que existe una constante K
tal que
h(x) = K para toda x en / Si se sustituye h(x) por f(x) - g(x) se obtiene

f(x) = g(x) + K para todá x en / lo que demuestra el teorema. ■

El teorema siguiente se deduce inmediatamente del teorema anterior.

4.1.3 Teorema
Si F es una antiderivada particular de/an un intervalo /, entonces cate
antiderivada de/en / está dada por
F{x) + C m■
dondé C es una constante arbitraria, y todas" las antiderivadas de /en /
pueden obtenerse á partir de (1) asignando valores particulares sC
Demostración Sea G cualquier antiderivada de/en /. Entonces
G\x) = /(x) para todaxe n /
(2
)

También podría gustarte