# Definite integral
## Definite Intergral

Integration is a mathematic operation on fuction to find area under the function curve bounded by region from a to b The integral with respect to x of a real-valued function f(x) of a real variable x on the interval [a, b] is written as
    The integral sign ∫ represents integration.
    The symbol dx, called the differential of the variable x, indicates that the variable of integration is x.
    The function f(x) to be integrated is called the integrand.
    The symbol dx is separated from the integrand by a space (as shown). If a function has an integral, it is said to be integrable. The points a and b are called the limits of the integral. An integral where the limits are specified is called a definite integral.
    The integral is said to be over the interval [a, b].
The fundamental theorem of calculus is a critical portion of calculus because it links the concept of a derivative to that of an integral. As a result, we can use our knowledge of derivatives to find the area under the curve, which is often quicker and simpler than using the definition of the integral.
    $\int _{a}^{b}\!f(x)\,dx=F(b)-F(a).$

## Mean Value Theorem for Integration

We will need the following theorem in the discussion of the Fundamental Theorem of Calculus.
Template:Calculus/Def

### Proof of the Mean Value Theorem for Integration

$f(x)$ satisfies the requirements of the Extreme Value Theorem, so it has a minimum $m$ and a maximum $M$ in $[a,b]$ . Since
    $\int \limits _{a}^{b}f(x)dx=\lim _{n\to \infty }\sum _{k=1}^{n}f(x_{k}^{*})\cdot {\frac {b-a}{n}}=\lim _{n\to \infty }{\frac {b-a}{n}}\cdot \sum _{k=1}^{n}f(x_{k}^{*})$
and since
    $m\leq f(x_{k}^{*})\leq M$ for all $x_{k}^{*}\in [a,b]$
we have
    ${\begin{aligned}&\lim _{n\to \infty }{\frac {b-a}{n}}\cdot \sum _{k=1}^{n}m\leq \lim _{n\to \infty }{\frac {b-a}{n}}\cdot \sum _{k=1}^{n}f(x_{k}^{*})\leq \lim _{n\to \infty }{\frac {b-a}{n}}\cdot \sum _{k=1}^{n}M\\&\lim _{n\to \infty }mn\cdot {\frac {b-a}{n}}\leq \int \limits _{a}^{b}f(x)dx\leq \lim _{n\to \infty }Mn\cdot {\frac {b-a}{n}}\\&\lim _{n\to \infty }m(b-a)\leq \int \limits _{a}^{b}f(x)dx\leq \lim _{n\to \infty }M(b-a)\\&m(b-a)\leq \int \limits _{a}^{b}f(x)dx\leq M(b-a)\\&m\leq {\frac {1}{b-a}}\int \limits _{a}^{b}f(x)dx\leq M\end{aligned}}$
Since $f$ is continuous, by the Intermediate Value Theorem there is some $f(c)$ with $c\in [a,b]$ such that
    ${\frac {1}{b-a}}\int \limits _{a}^{b}f(x)dx=f(c)$

## Fundamental Theorem of Calculus
### Statement of the Fundamental Theorem

Suppose that $f$ is continuous on $[a,b]$ . We can define a function $F$ by
    $F(x)=\int \limits _{a}^{x}f(t)dt\quad {\text{for }}x\in [a,b]$
Template:Calculus/Def
When we have such functions $F$ and $f$ where $F'(x)=f(x)$ for every $x$ in some interval $I$ we say that $F$ is the antiderivative of $f$ on $I$.
Template:Calculus/Def
Note: a minority of mathematicians refer to part one as two and part two as one. All mathematicians refer to what is stated here as part 2 as The Fundamental Theorem of Calculus.

### Proofs
#### Proof of Fundamental Theorem of Calculus Part I

Suppose $x\in (a,b)$ . Pick $\Delta x$ so that $x+\Delta x\in (a,b)$ . Then
    $F(x)=\int \limits _{a}^{x}f(t)dt$
and
    $F(x+\Delta x)=\int \limits _{a}^{x+\Delta x}f(t)dt$
Subtracting the two equations gives
    $F(x+\Delta x)-F(x)=\int \limits _{a}^{x+\Delta x}f(t)dt-\int \limits _{a}^{x}f(t)dt$
Now
    $\int \limits _{a}^{x+\Delta x}f(t)dt=\int \limits _{a}^{x}f(t)dt+\int \limits _{x}^{x+\Delta x}f(t)dt$
so rearranging this we have
    $F(x+\Delta x)-F(x)=\int \limits _{x}^{x+\Delta x}f(t)dt$
According to the Mean Value Theorem for Integration, there exists a $c\in [x,x+\Delta x]$ such that
    $\int \limits _{x}^{x+\Delta x}f(t)dt=f(c)\cdot \Delta x$
Notice that $c$ depends on $\Delta x$ . Anyway what we have shown is that
    $F(x+\Delta x)-F(x)=f(c)\cdot \Delta x$
and dividing both sides by $\Delta x$ gives
    ${\frac {F(x+\Delta x)-F(x)}{\Delta x}}=f(c)$
Take the limit as $\Delta x\to 0$ we get the definition of the derivative of $F$ at $x$ so we have
    $F'(x)=\lim _{\Delta x\to 0}{\frac {F(x+\Delta x)-F(x)}{\Delta x}}=\lim _{\Delta x\to 0}f(c)$
To find the other limit, we will use the squeeze theorem. $c\in [x,x+\Delta x]$ , so $x\leq c\leq x+\Delta x$ . Hence,
    $\lim _{\Delta x\to 0}{\Bigx+\Delta x{\Big ]}=x\quad \Rightarrow \quad \lim _{\Delta x\to 0}c=x$
As $f$ is continuous we have
    $F'(x)=\lim _{\Delta x\to 0}f(c)=f\left(\lim _{\Delta x\to 0}c\right)=f(x)$
which completes the proof.
$\blacksquare$

#### Proof of Fundamental Theorem of Calculus Part II

Define $P(x)=\int \limits _{a}^{x}f(t)dt$ . Then by the Fundamental Theorem of Calculus part I we know that $P$ is differentiable on $(a,b)$ and for all $x\in (a,b)$
    $P'(x)=f(x)$
So $P$ is an antiderivative of $f$ . Since we were assuming that $F$ was also an antiderivative for all $x\in (a,b)$ ,
    ${\begin{aligned}&P'(x)=F'(x)\\&P'(x)-F'(x)=0\\&{\BigP(x)-F(x){\Big )}'=0\end{aligned}}$
Let $g(x)=P(x)-F(x)$ . The Mean Value Theorem applied to $g(x)$ on $[a,\xi ]$ with $a<\xi <b$ says that
    ${\frac {g(\xi )-g(a)}{\xi -a}}=g'(c)$
for some $c$ in $(a,\xi )$ . But since $g'(x)=0$ for all $x$ in $[a,b]$ , $g(\xi )$ must equal $g(a)$ for all $\xi$ in $(a,b)$ , i.e. g(x) is constant on $(a,b)$ .
This implies there is a constant $C=g(a)=P(a)-F(a)=-F(a)$ such that for all $x\in (a,b)$ ,
    $P(x)=F(x)+C$
and as $g$ is continuous we see this holds when $x=a$ and $x=b$ as well. And putting $x=b$ gives
    $\int \limits _{a}^{b}f(t)dx=P(b)=F(b)+C=F(b)-F(a)$
$\blacksquare$

## Notation for Evaluating Definite Integrals

The second part of the Fundamental Theorem of Calculus gives us a way to calculate definite integrals. Just find an antiderivative of the integrand, and subtract the value of the antiderivative at the lower bound from the value of the antiderivative at the upper bound. That is
    $\int \limits _{a}^{b}f(x)dx=F(b)-F(a)$
where $F'(x)=f(x)$ . As a convenience, we use the notation
    $F(x){\bigg |}_{a}^{b}$
to represent $F(b)-F(a)$

## Integration of Polynomials

Using the power rule for differentiation we can find a formula for the integral of a power using the Fundamental Theorem of Calculus. Let $f(x)=x^{n}$ . We want to find an antiderivative for $f$ . Since the differentiation rule for powers lowers the power by 1 we have that
    ${\frac {d}{dx}}x^{n+1}=(n+1)x^{n}$
As long as $n+1\neq 0$ we can divide by $n+1$ to get
    ${\frac {d}{dx}}\left({\frac {x^{n+1}}{n+1}}\right)=x^{n}=f(x)$
So the function $F(x)={\frac {x^{n+1}}{n+1}}$ is an antiderivative of $f$ . If $0\notin [a,b]$ then $F$ is continuous on $[a,b]$ and, by applying the Fundamental Theorem of Calculus, we can calculate the integral of $f$ to get the following rule.
Template:Calculus/Def
Notice that we allow all values of $n$ , even negative or fractional. If $n>0$ then this works even if $[a,b]$ includes $0$ .
Template:Calculus/Def

### Examples

* To find $\int \limits _{1}^{2}x^{3}dx$ we raise the power by 1 and have to divide by 4. So
    $\int \limits _{1}^{2}x^{3}dx={\frac {x^{4}}{4}}{\Bigg |}_{1}^{2}={\frac {2^{4}}{4}}-{\frac {1^{4}}{4}}={\frac {15}{4}}$
* The power rule also works for negative powers. For instance
    $\int \limits _{1}^{3}{\frac {dx}{x^{3}}}=\int \limits _{1}^{3}x^{-3}dx={\frac {x^{-2}}{-2}}{\Bigg |}_{1}^{3}={\frac {1}{-2}}\left(3^{-2}-1^{-2}\right)=-{\frac {1}{2}}\left({\frac {1}{3^{2}}}-1\right)=-{\frac {1}{2}}\left({\frac {1}{9}}-1\right)={\frac {1}{2}}\cdot {\frac {8}{9}}={\frac {4}{9}}$
* We can also use the power rule for fractional powers. For instance
    $\int \limits _{0}^{5}{\sqrt {x}}dx=\int \limits _{0}^{5}x^{\frac {1}{2}}dx={\frac {x{\sqrt {x}}}{\frac {3}{2}}}{\Bigg |}_{0}^{5}={\frac {2}{3}}\left(5^{\frac {3}{2}}-0^{\frac {3}{2}}\right)={\frac {10{\sqrt {5}}}{3}}$
* Using linearity the power rule can also be thought of as applying to constants. For example,
    $=\int \limits _{3}^{11}7dx=\int \limits _{3}^{11}7x^{0}dx=7\int \limits _{3}^{11}x^{0}dx=7x{\Bigg |}_{3}^{11}=7(11-3)=56$
* Using the linearity rule we can now integrate any polynomial. For example
    $\int \limits _{0}^{3}(3x^{2}+4x+2)dx=(x^{3}+2x^{2}+2x){\Bigg |}_{0}^{3}=3^{3}+2\cdot 3^{2}+2\cdot 3-0=27+18+6=51$