# Curso de Cálculo Integral/Actividad ST1 en clase
### Antiderivada
#### Concepto

Teorema: sea f una función real cuyo dominio es el intervalo abierto I, sí $F(x)$ es una antiderivada de $f(x)$ entonces $G(x)=F(x)+C$ tambien lo es.
Prueba
${{dF(x)} \over {dx}}={{dG(x)} \over {dx}}=f(x)$
Entonces la tarea de buscar una función tal que la derivada ${{dF(x)} \over {dx}}$ sea igual que la función $f(x)$ se le llamaría un método directo de antiderivación.
Este método se basa directamente de las derivadas.
Ejemplo:
Sea la función ${f(x)=x^{n}}$, de las derivadas sabemos que la derivada de una función con potencia n se calcula como ${{dx^{n}} \over {dx}}=nx^{n-1}$, por lo que la función ${F(x)={{x^{n+1}} \over {n+1}}}$ para que aplicando la derivada a la función ${F(x)}$ nos entregue la función ${f(x)}$.
${{dF(x)} \over {dx}}={{d{{x^{n+1}} \over {n+1}}} \over {dx}}={(n+1){{x^{n+1-1}} \over {n+1}}}=x^{n}=f(x)$ y puesto que $F(x)$ es una primitiva de $G(x)$, entonces la antiderivada es una función $G(x)=F(x)+C=x^{n}+C$

##### Integral Indefinida

La integral indefinida es la función primitiva que se encuentra dentro del intervalo de ${[a,x]}$ en I, es decir la relación entre la antiderivada y la integral indefinida se define cuando se realiza la primitiva esta no se evalúa en I portanto queda expresada como una primitiva que representa una antiderivada, en algún intervalo no explicito dentro de I.
Definición
La integral indefinida $\int f(\tau )d\tau$ se puede definir de la siguiente forma
$\int f(\tau )d\tau =F(\tau )+C$
Por lo tanto puede construirse la antiderivada desde la Integral indefinida
Teorema
$\int _{a}^{x}f(\tau )d\tau =[\int f(\tau )d\tau ]_{a}^{x}$
Prueba
$[\int f(\tau )d\tau ]_{a}^{x}=[F(\tau )+C']_{a}^{x}=F(x)+C=\int _{a}^{x}f(\tau )d\tau$

##### Antiderivada a partir de la Integral indefinida

De esta forma usando una integral indefinida puedo reconstruir una antiderivada
$\int _{a}^{x}f(\tau )d\tau =\int f(x)dx+C''=F(x)+C'+C''=F(x)+C$
Ejemplo
Encontrar la antiderivada de $sec^{2}(x)$, usando la integral indefinida.
$\int _{a}^{x}sec^{2}(\tau )d\tau =\int sec^{2}(x)dx+C''=tan(x)+C'+C''=tan(x)+C$

##### Cambio de variable o método de sustitución

El cambio de variable de integración es una técnica empleada para continuar encontrando más reglas de antiderivadas o de integrales indefinidas, de tal forma que al realizar el cambio de variable éste cambio permita que la forma de la integral se encuentre dentro de las integrales inmediatas y de está forma realizar finalmente la integral o antiderivada.
Si $F(x)=\int f(g(x))g'(x)dx$ entonces el cambio de varialbe puede ralizarse de lasiguiente forma
siendo $u=g(x),du=g'(x)dx$
EjemploEjemplo
$F(x)=\int (x^{3}+2)^{2}3x^{2}dx$ el cambio de variable sería $u=(x^{3}+2),du=3x^{2}dx$
Por lo tanto la integral indefinida se puede expresar de la siguiente forma
$F(u)=\int u^{2}du={u^{3} \over 3}+C$, regresando a la varialbe original
$F(x)={(x^{3}+2)^{3} \over 3}+C$

#### Reglas para las antiderivadas

Para las antiderivadas inmediatas las reglas provienen de las formulas de las derivadas.
Es decir la deduccón de la regla de la anterior proviene de la regla de las potencias de las derivadas, entonces esta regla será de la potencia para las antiderivadas.
De esta forma algunas de las reglas inmediatas son las siguientes:
De la derivada de la constante ${{dC} \over {dx}}=0$ podemos construir la regla ${\int _{a}^{x}0d\tau }=0+C$
De la derivada de la variable ${{dx} \over {dx}}=1$ podemos construir la regla ${\int _{a}^{x}1d\tau }=x+C$
De la derivada de la constante ${{de^{x}} \over {dx}}=e^{x}$ podemos construir la regla ${\int _{a}^{x}e^{\tau }d\tau }=e^{x}+C$
De la derivada de la constante ${{df(x)} \over {dx}}=f'(x)$ podemos construir la regla ${\int _{a}^{x}f'(\tau )d\tau }=f(x)+C$
De la derivada de la constante ${{da^{x}} \over {dx}}={{a^{x}} \over {log_{e}a}}$ podemos construir la regla ${\int _{a}^{x}b^{\tau }d\tau }={{b^{x}} \over {log_{e}b}}+C$
De la derivada de la constante ${{dlog_{b}|x|} \over {dx}}={{1} \over {xlog_{e}b}}$ podemos construir la regla ${\int _{a}^{x}{1 \over \tau }d\tau }={log_{e}|x|}+C$
De la derivada de la constante ${{dsen(x)} \over {dx}}={cos(x)}$ podemos construir la regla ${\int _{a}^{x}cos(\tau )d\tau }=sen(x)+C$
De la derivada de la constante ${{dcos(x)} \over {dx}}=-sen(x)$ podemos construir la regla ${\int _{a}^{x}sen(\tau )d\tau }=-cos(x)+C$
Entre otras.

#### Reglas para las integrales indefinidas

Lo mismo que para las antiderivadas inmediatas las reglas provienen de las formulas de las derivadas.
De esta forma algunas de las reglas inmediatas son las siguientes:
De la derivada de la constante ${{dC} \over {dx}}=0$ podemos construir la regla ${\int 0dx}=0+C$
De la derivada de la variable ${{dx} \over {dx}}=1$ podemos construir la regla ${\int 1dx}=x+C$
De la derivada de la constante ${{de^{x}} \over {dx}}=e^{x}$ podemos construir la regla ${\int e^{x}dx}=e^{x}+C$
De la derivada de la constante ${{df(x)} \over {dx}}=f'(x)$ podemos construir la regla ${\int f'(x)dx}=f(x)+C$
De la derivada de la constante ${{da^{x}} \over {dx}}={{a^{x}} \over {log_{e}a}}$ podemos construir la regla ${\int b^{x}dx}={{b^{x}} \over {log_{e}b}}+C$
De la derivada de la constante ${{dlog_{b}|x|} \over {dx}}={{1} \over {xlog_{e}b}}$ podemos construir la regla ${\int {1 \over x}dx}={log_{e}|x|}+C$
De la derivada de la constante ${{dsen(x)} \over {dx}}={cos(x)}$ podemos construir la regla ${\int cos(x)dx}=sen(x)+C$
De la derivada de la constante ${{dcos(x)} \over {dx}}=-sen(x)$ podemos construir la regla ${\int sen(x)dx}=-cos(x)+C$

## Confirmo lo aprendido

* Evaluación de la lección 1 RGA1.1