# 8.3. Integration by Parts and Substitution Formula

In this part we will restate two essential derivation rules, the product and the chain rule, in their integral shape. The resulting rules, called integration by parts and substitution formula, are valuable tools in integral calculus.

As before I still denotes an arbitrary interval.

Theorem (integration by parts):  Let f and g be two differentiable functions on I, i.e $f,g\in {\mathcal{D}}^{1}\left(I\right)$. Then the following holds:

If ${f}^{\prime }\cdot g$ is integrable on I then $f\cdot {g}^{\prime }$ is integrable as well and for all $a,b\in I$ we have:

 $\underset{a}{\overset{b}{\int }}f\cdot {g}^{\prime }=f\cdot g\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}-\underset{a}{\overset{b}{\int }}{f}^{\prime }\cdot g$ [8.3.1]

Proof:  With the product rule [7.7.6] we find that $f\cdot g$ is differentiable on I and that $\left(f\cdot g{\right)}^{\prime }={f}^{\prime }\cdot g+f\cdot {g}^{\prime }$. In other words: ${f}^{\prime }\cdot g+f\cdot {g}^{\prime }$ has a primitive, namely $f\cdot g$. Now, if ${f}^{\prime }\cdot g$ is integrable the same is true for $f\cdot {g}^{\prime }={f}^{\prime }\cdot g+f\cdot {g}^{\prime }-{f}^{\prime }\cdot g$ due to [8.1.7] and eventually the identity

$\underset{a}{\overset{b}{\int }}{f}^{\prime }\cdot g+\underset{a}{\overset{b}{\int }}f\cdot {g}^{\prime }=\underset{a}{\overset{b}{\int }}{f}^{\prime }\cdot g+f\cdot {g}^{\prime }=f\cdot g\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}$

yields the assertion [8.3.1].

Consider:

• If, in addition, f is even continuously differentiable, i.e. $f\in {\mathcal{C}}^{1}\left(I\right)$, then ${f}^{\prime }\cdot g$ is continuous on I and thus integrable as well.

• f and g play symmetric roles, so that integration by parts might well be quoted as

$\underset{a}{\overset{b}{\int }}{f}^{\prime }\cdot g=f\cdot g\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}-\underset{a}{\overset{b}{\int }}f\cdot {g}^{\prime }$

• Using this rule however requires to go for only one variant. Though both alternatives are correct, in most cases there is only one wise option to choose. For a "safe" handling some experience is essential.

• Integration by parts is only applicable if the integrand is a product with at least one factor having a known primitive.
This explains the rule's name: We don't need to integrate (i.e. to find a primitive for) the whole of the integrand, but it is sufficient to integrate only a part of it.

Integration by parts is mainly used for calculating primitives according to the fundamental theorem [8.2.13]. Some examples will explain this technique.

 Example:   $-\mathrm{X}\cdot \mathrm{cos}+\mathrm{sin}$ is a primitive function of $\mathrm{X}\cdot \mathrm{sin}$ as all $x\in ℝ$ satisfy $\begin{array}{ll}\underset{0}{\overset{x}{\int }}\mathrm{X}\cdot \mathrm{sin}\hfill & =\underset{0}{\overset{x}{\int }}\mathrm{X}\cdot \left(-\mathrm{cos}{\right)}^{\prime }\hfill \\ \hfill & =\mathrm{X}\cdot \left(-\mathrm{cos}\right)\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}-\underset{0}{\overset{x}{\int }}{\mathrm{X}}^{\prime }\cdot \left(-\mathrm{cos}\right)\hfill \\ \hfill & =-\mathrm{X}\cdot \mathrm{cos}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}+\underset{0}{\overset{x}{\int }}\mathrm{cos}\hfill \\ \hfill & =-\mathrm{X}\cdot \mathrm{cos}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}+\mathrm{sin}{|}_{0}^{x}\hfill \\ \hfill & =-x\cdot \mathrm{cos}x+\mathrm{sin}x\hfill \end{array}$   $-{\mathrm{X}}^{2}\cdot \mathrm{cos}+2\mathrm{X}\cdot \mathrm{sin}+2\mathrm{cos}$ is a primitive function of ${\mathrm{X}}^{2}\cdot \mathrm{sin}$: We integrate by parts twice and get for $x\in ℝ$ $\begin{array}{ll}\underset{0}{\overset{x}{\int }}{\mathrm{X}}^{2}\cdot \mathrm{sin}\hfill & =\underset{0}{\overset{x}{\int }}{\mathrm{X}}^{2}\cdot \left(-\mathrm{cos}{\right)}^{\prime }\hfill \\ \hfill & ={\mathrm{X}}^{2}\cdot \left(-\mathrm{cos}\right)\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}+\underset{0}{\overset{x}{\int }}2\mathrm{X}\cdot \mathrm{cos}\hfill \\ \hfill & =-{\mathrm{X}}^{2}\cdot \mathrm{cos}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}+\underset{0}{\overset{x}{\int }}2\mathrm{X}\cdot {\mathrm{sin}}^{\prime }\hfill \\ \hfill & =-{\mathrm{X}}^{2}\cdot \mathrm{cos}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}+2\mathrm{X}\cdot \mathrm{sin}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}-\underset{0}{\overset{x}{\int }}2\cdot \mathrm{sin}\hfill \\ \hfill & \phantom{\phantom{\rule{0pt}{12pt}}}=-{\mathrm{X}}^{2}\cdot \mathrm{cos}{|}_{0}^{x}+2\mathrm{X}\cdot \mathrm{sin}{|}_{0}^{x}+2\mathrm{cos}{|}_{0}^{x}\hfill \\ \hfill & =-{x}^{2}\cdot \mathrm{cos}x+2x\cdot \mathrm{sin}x+2\mathrm{cos}x-2\hfill \end{array}$ and thus know that $-{\mathrm{X}}^{2}\cdot \mathrm{cos}+2\mathrm{X}\cdot \mathrm{sin}+2\mathrm{cos}-2$ is a primitive of ${\mathrm{X}}^{2}\cdot \mathrm{sin}$. Finally we omit the constant addend −2. The last example reveals a primitive of ${\mathrm{cos}}^{2}$. The calculation uses Pythagoras' theorem (i.e. the identity ${\mathrm{sin}}^{2}=1-{\mathrm{cos}}^{2}$), a standard trick! At first we have for $x\in ℝ$: $\begin{array}{ll}\underset{0}{\overset{x}{\int }}{\mathrm{cos}}^{2}=\underset{0}{\overset{x}{\int }}\mathrm{cos}\cdot \mathrm{cos}\hfill & =\underset{0}{\overset{x}{\int }}\mathrm{cos}\cdot {\mathrm{sin}}^{\prime }\hfill \\ \hfill & =\mathrm{cos}\cdot \mathrm{sin}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}-\underset{0}{\overset{x}{\int }}{\mathrm{cos}}^{\prime }\cdot \mathrm{sin}\hfill \\ \hfill & =\mathrm{cos}\cdot \mathrm{sin}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}+\underset{0}{\overset{x}{\int }}{\mathrm{sin}}^{2}\hfill \\ \hfill & =\mathrm{cos}\cdot \mathrm{sin}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}+\underset{0}{\overset{x}{\int }}1-{\mathrm{cos}}^{2}\hfill \\ \hfill & =\mathrm{cos}\cdot \mathrm{sin}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}+\underset{0}{\overset{x}{\int }}1-\underset{0}{\overset{x}{\int }}{\mathrm{cos}}^{2}\hfill \end{array}$ Indeed this is not the expected solution for our integral! Instead however it is an equation satisfied by the unknown integral that could be solved for it: $\underset{0}{\overset{x}{\int }}{\mathrm{cos}}^{2}=\frac{1}{2}\left(\mathrm{sin}\cdot \mathrm{cos}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{0}^{x}+\underset{0}{\overset{x}{\int }}1\right)=\frac{1}{2}\left(\mathrm{sin}x\cdot \mathrm{cos}x+x\right)$ Finally this proves $\frac{1}{2}\left(\mathrm{sin}\cdot \mathrm{cos}+\mathrm{X}\right)$ as a primitive of ${\mathrm{cos}}^{2}$.

The Pythagorean theorem is often involved when integrating by parts. As another example we prove the recursion formulas for the integrals of ${\mathrm{sin}}^{n}$ and ${\mathrm{cos}}^{n}$.

Proposition:  For all $a,b\in ℝ$ and all $n\ge 2$ the following recursions are valid:

 $\underset{a}{\overset{b}{\int }}{\mathrm{sin}}^{n}=-\frac{\mathrm{cos}\cdot {\mathrm{sin}}^{n-1}}{n}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}+\frac{n-1}{n}\underset{a}{\overset{b}{\int }}{\mathrm{sin}}^{n-2}$ [8.3.2] $\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n}=\frac{\mathrm{sin}\cdot {\mathrm{cos}}^{n-1}}{n}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}+\frac{n-1}{n}\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n-2}$ [8.3.3]

Proof:  Verification is quite similar in both cases, so it is sufficient to prove only one of them, e.g. 2. From ${\mathrm{sin}}^{2}=1-{\mathrm{cos}}^{2}$ we get the following equation for $\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n}$ :

$\begin{array}{ll}\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n}=\underset{a}{\overset{b}{\int }}{\mathrm{sin}}^{\prime }\cdot {\mathrm{cos}}^{n-1}\hfill & =\mathrm{sin}\cdot {\mathrm{cos}}^{n-1}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}-\underset{a}{\overset{b}{\int }}\mathrm{sin}\cdot \left(n-1\right){\mathrm{cos}}^{n-2}\cdot \left(-\mathrm{sin}\right)\hfill \\ \hfill & =\mathrm{sin}\cdot {\mathrm{cos}}^{n-1}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}+\left(n-1\right)\underset{a}{\overset{b}{\int }}{\mathrm{sin}}^{2}\cdot {\mathrm{cos}}^{n-2}\hfill \\ \hfill & =\mathrm{sin}\cdot {\mathrm{cos}}^{n-1}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}+\left(n-1\right)\underset{a}{\overset{b}{\int }}\left(1-{\mathrm{cos}}^{2}\right)\cdot {\mathrm{cos}}^{n-2}\hfill \\ \hfill & =\mathrm{sin}\cdot {\mathrm{cos}}^{n-1}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}+\left(n-1\right)\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n-2}-\left(n-1\right)\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n}\hfill \end{array}$

Thus we have:  $n\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n}=\mathrm{sin}\cdot {\mathrm{cos}}^{n-1}\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}+\left(n-1\right)\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n-2}$ which in fact is the assertion.

If a and b are zeros for the sine or for the cosine the recursion formulas could be simplified to

$\underset{a}{\overset{b}{\int }}{\mathrm{sin}}^{n}=\frac{n-1}{n}\underset{a}{\overset{b}{\int }}{\mathrm{sin}}^{n-2}$   and   $\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n}=\frac{n-1}{n}\underset{a}{\overset{b}{\int }}{\mathrm{cos}}^{n-2}$.

In this case we also succeed in finding a non recursive representation. The following integral is needed in [8.5.7] where we will calculate the volume of a sphere.

Proposition:  For all $n\ge 0$ we have

 [8.3.4]

Proof:  The identity [8.3.4] is immediate if $k=0$. Without restriction we thus assume that $k>0$. If $n=2k$ the simplified recursion formula could be applied exactly k times:

We proceed similar in the case $n=2k+1$ and again apply the simplified recursion formula k times:

$\begin{array}{lll}\underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}{\mathrm{cos}}^{n}\hfill & =\frac{n-1}{n}\cdot \frac{n-3}{n-2}\cdot \dots \cdot \frac{2}{3}\underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}{\mathrm{cos}}^{1}\hfill & \hfill \\ \hfill & =\frac{{\left(n-1\right)}^{2}}{n\cdot \left(n-1\right)}\cdot \frac{{\left(n-3\right)}^{2}}{\left(n-2\right)\cdot \left(n-3\right)}\cdot \dots \cdot \frac{{2}^{2}}{3\cdot 2}\cdot 2\hfill & \hfill \\ \hfill & =\frac{{\left(\left(2k\right)\cdot \left(2k-2\right)\cdot \dots \cdot \left(2k-2\left(k-1\right)\right)\right)}^{2}}{n!}\cdot 2\hfill & \hfill \\ \hfill & =\frac{\left({2}^{k}{\left(k\cdot \left(k-1\right)\cdot \dots \cdot \left(k-\left(k-1\right)\right)\right)}^{2}}{n!}\cdot 2\hfill & \hfill \\ \hfill & =\frac{{\left({2}^{k}k!\right)}^{2}}{n!}\cdot 2\hfill & \hfill \end{array}$

We now turn to the chain rule and its integral version. Different from integration by parts the substitution formula also controls the bounderies of integration.

Theorem (substitution formula):  Let I and J be any two intervals and $g:J\to I$ a differentiable function. If f is integrable on I, i.e. $f\in \mathcal{I}\left(I\right)$ then $\left(f\circ g\right)\cdot {g}^{\prime }\in \mathcal{I}\left(J\right)$ and for all $a,b\in J$ the following identity holds:

 $\underset{a\phantom{\phantom{\rule{0}{-1.0em}}}}{\overset{b\phantom{\phantom{\rule{0}{1.0em}}}}{\int }}\left(f\circ g\right)\cdot {g}^{\prime }=\underset{g\left(a\right)}{\overset{g\left(b\right)}{\int }}f$ [8.3.5]

Proof:  Let h be a primitive function of f. According to the chain rule ([7.7.8]) the composit $h\circ g$ is differentiable on I and

$\left(h\circ g{\right)}^{\prime }=\left({h}^{\prime }\circ g\right)\cdot {g}^{\prime }=\left(f\circ g\right)\cdot {g}^{\prime }$.

Thus $\left(f\circ g\right)\cdot {g}^{\prime }$ has $h\circ g$ as a primitive and therefore

$\underset{a}{\overset{b}{\int }}\left(f\circ g\right)\cdot {g}^{\prime }=\left(h\circ g\right)\phantom{\phantom{\rule{0pt}{12pt}}}{|}_{a}^{b}=h{|}_{g\left(a\right)}^{g\left(b\right)}=\underset{g\left(a\right)}{\overset{g\left(b\right)}{\int }}f$

Consider:

• Especially with the substitution formula the dx-notation is very common. In this world however it is not only the identity's differential dx that has to be considered but also the differential

$dg\left(x\right)={g}^{\prime }\left(x\right)\cdot dx$    i We supplement the annotations on differential forms of degree 1 in 8.2 and take up the identity ${d}_{x}\mathrm{X}=\mathrm{X}$. For $r\in ℝ$ we then have ${d}_{x}g\left(r\right)={g}^{\prime }\left(x\right)\cdot r={g}^{\prime }\left(x\right)\cdot {d}_{x}\mathrm{X}\left(r\right)$, i.e. $\left(x,{d}_{x}g\right)=\left(x,{g}^{\prime }\left(x\right)\cdot {d}_{x}\mathrm{X}\right)$, which proves $d$ often denoted as $dg\left(x\right)={g}^{\prime }\left(x\right)\cdot dx$ in the substitution formula's context.

of an arbitrary differentiable function g.

Now, if we substitute $t=g\left(x\right)$, and consequently $dt={g}^{\prime }\left(x\right)dx$ we simply get the identity

$\underset{a}{\overset{b}{\int }}f\left(g\left(x\right)\right)\cdot {g}^{\prime }\left(x\right)dx=\underset{g\left(a\right)}{\overset{g\left(b\right)}{\int }}f\left(t\right)dt$

and it is is a valid one, guaranteed by the substitution formula! For the readers convenience the examples to follow are displayable either way. Just click the buttons and to choose your option.

• The substitution formula is bidirectional. We use the left to right direction if the integrand is clearly shaped like $\left(f\circ g\right)\cdot {g}^{\prime }$. In this case the substituition g is simply read off.

With the second direction (right to left) we have to introduce independently a substitution g such that the integral of $\left(f\circ g\right)\cdot {g}^{\prime }$ is easier to calculate than the one of f. Further we now need to find inverse images of the boundaries with respect to g. If g is bijective we can employ the inverse function of g and restate [8.3.5] for $a,b\in I$ as follows:

$\underset{a}{\overset{b}{\int }}f=\underset{{g}^{-1}\left(a\right)}{\overset{{g}^{-1}\left(b\right)}{\int }}\left(f\circ g\right)\cdot {g}^{\prime }$

We start practising with two examples for the left to right direction.

Example:  We calculate the integral   $\underset{0}{\overset{1}{\int }}\left({\mathrm{X}}^{2}+1{\right)}^{4}\cdot 2\mathrm{X}=\underset{0}{\overset{1}{\int }}\left({x}^{2}+1{\right)}^{4}\cdot 2x\text{\hspace{0.17em}}dx$  by substituting

 $g={\mathrm{X}}^{2}+1,\text{ }{g}^{\prime }=2\mathrm{X}$ $\begin{array}{ll}\hfill & \underset{0}{\overset{1}{\int }}\left({\mathrm{X}}^{2}+1{\right)}^{4}\cdot 2\mathrm{X}\hfill \\ =\hfill & \underset{0}{\overset{1}{\int }}{\mathrm{X}}^{4}\circ \left({\mathrm{X}}^{2}+1\right)\cdot \left({\mathrm{X}}^{2}+1{\right)}^{\prime }\hfill \\ =\hfill & \underset{1}{\overset{2}{\int }}{\mathrm{X}}^{4}\hfill \\ =\hfill & \phantom{\phantom{\rule{0pt}{12pt}}}\frac{1}{5}{\mathrm{X}}^{5}{|}_{1}^{2}=\frac{31}{5}\hfill \end{array}$ $t={x}^{2}+1,\text{ }dt=2x\text{\hspace{0.17em}}dx$ $\begin{array}{ll}\hfill & \underset{0}{\overset{1}{\int }}\left({x}^{2}+1{\right)}^{4}\cdot 2x\text{\hspace{0.17em}}dx\hfill \\ =\hfill & \underset{1}{\overset{2}{\int }}{t}^{4}\text{\hspace{0.17em}}dt\hfill \\ =\hfill & \phantom{\phantom{\rule{0pt}{12pt}}}\frac{1}{5}{t}^{5}{|}_{1}^{2}=\frac{31}{5}\hfill \end{array}$

The first step in the next example is to care for the missing factor 3. This is easily done by considering $1=\frac{1}{3}\cdot 3$, a common trick. Unsuitable factors are no obstacles at all as they are always placeable outside the integral sign.

Example:  To calculate the integral  $\underset{0}{\overset{2}{\int }}\frac{{\mathrm{X}}^{2}}{2\sqrt{{\mathrm{X}}^{3}+1}}=\underset{0}{\overset{2}{\int }}\frac{{x}^{2}}{2\sqrt{{x}^{3}+1}}\text{\hspace{0.17em}}dx$  we substitute

 $g={\mathrm{X}}^{3}+1,\text{ }{g}^{\prime }=3{\mathrm{X}}^{2}$ $\begin{array}{ll}\hfill & \underset{0}{\overset{2}{\int }}\frac{{\mathrm{X}}^{2}}{2\sqrt{{\mathrm{X}}^{3}+1}}\hfill \\ =\hfill & \frac{1}{3}\underset{0}{\overset{2}{\int }}\frac{3{\mathrm{X}}^{2}}{2\sqrt{{\mathrm{X}}^{3}+1}}\hfill \\ =\hfill & \frac{1}{3}\underset{0}{\overset{2}{\int }}\frac{1}{2\sqrt{\mathrm{X}}}\circ \left({\mathrm{X}}^{3}+1\right)\cdot \left({\mathrm{X}}^{3}+1{\right)}^{\prime }\hfill \\ =\hfill & \frac{1}{3}\underset{1}{\overset{9}{\int }}\frac{1}{2\sqrt{\mathrm{X}}}\hfill \\ =\hfill & \phantom{\phantom{\rule{0pt}{12pt}}}\frac{1}{3}\sqrt{\mathrm{X}}{|}_{1}^{9}=\frac{2}{3}\hfill \end{array}$ $t={x}^{3}+1,\text{ }dt=3{x}^{2}\text{\hspace{0.17em}}dx$ $\begin{array}{ll}\hfill & \underset{0}{\overset{2}{\int }}\frac{{x}^{2}}{2\sqrt{{x}^{3}+1}}\text{\hspace{0.17em}}dx\hfill \\ =\hfill & \frac{1}{3}\underset{0}{\overset{2}{\int }}\frac{1}{2\sqrt{{x}^{3}+1}}\cdot 3{x}^{2}\text{\hspace{0.17em}}dx\hfill \\ =\hfill & \frac{1}{3}\underset{1}{\overset{9}{\int }}\frac{1}{2\sqrt{t}}\text{\hspace{0.17em}}dt\hfill \\ =\hfill & \phantom{\phantom{\rule{0pt}{12pt}}}\frac{1}{3}\sqrt{t}{|}_{1}^{9}=\frac{2}{3}\hfill \end{array}$

In our third example we apply the substitution formula in the right to left direction. Now that the integrand is not of the $\left(f\circ g\right)\cdot {g}^{\prime }$ type there is no evident substitution g to be read off. Without experiences some substitutions seem to be quite random and strange.

In this example we choose sine for substitution as the integrand's design is related to the Pythagorean theorem $1-{\mathrm{sin}}^{2}={\mathrm{cos}}^{2}$ which might be promising. Also, in a previous example we already proved $\frac{1}{2}\left(\mathrm{sin}\cdot \mathrm{cos}+\mathrm{X}\right)$ to be a primitive of ${\mathrm{cos}}^{2}$.

Example:  We solve the integral  $\underset{-1}{\overset{1}{\int }}\sqrt{1-{\mathrm{X}}^{2}}=\underset{-1}{\overset{1}{\int }}\sqrt{1-{x}^{2}}\text{\hspace{0.17em}}dx$  by substituting

 $g=\mathrm{sin},\text{ }{g}^{\prime }=\mathrm{cos}$ $\begin{array}{ll}\hfill & \underset{-1}{\overset{1}{\int }}\sqrt{1-{\mathrm{X}}^{2}}\hfill \\ =\hfill & \underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}\sqrt{1-{\mathrm{X}}^{2}}\circ \mathrm{sin}\cdot {\mathrm{sin}}^{\prime }\hfill \\ =\hfill & \underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}\sqrt{1-{\mathrm{sin}}^{2}}\cdot \mathrm{cos}\hfill \\ =\hfill & \underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}\sqrt{{\mathrm{cos}}^{2}}\cdot \mathrm{cos}\hfill \\ =\hfill & \underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}|\mathrm{cos}|\cdot \mathrm{cos}\hfill \\ =\hfill & \underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}{\mathrm{cos}}^{2}=\frac{1}{2}\phantom{\phantom{\rule{0pt}{12pt}}}\left(\mathrm{sin}\cdot \mathrm{cos}+\mathrm{X}\right){|}_{-\frac{\pi }{2}}^{\frac{\pi }{2}}=\frac{\pi }{2}\hfill \end{array}$ $x=\mathrm{sin}t,\text{ }dx=\mathrm{cos}t\text{\hspace{0.17em}}dt$ $\begin{array}{ll}\hfill & \underset{-1}{\overset{1}{\int }}\sqrt{1-{x}^{2}}\text{\hspace{0.17em}}dx\hfill \\ =\hfill & \underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}\sqrt{1-{\mathrm{sin}}^{2}t}\cdot \mathrm{cos}t\text{\hspace{0.17em}}dt\hfill \\ =\hfill & \underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}\sqrt{{\mathrm{cos}}^{2}t}\cdot \mathrm{cos}t\text{\hspace{0.17em}}dt\hfill \\ =\hfill & \underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}|\mathrm{cos}t|\cdot \mathrm{cos}t\text{\hspace{0.17em}}dt\hfill \\ =\hfill & \underset{-\frac{\pi }{2}}{\overset{\frac{\pi }{2}}{\int }}{\mathrm{cos}}^{2}t\text{\hspace{0.17em}}dt\hfill \\ =\hfill & \phantom{\phantom{\rule{0pt}{12pt}}}\frac{1}{2}\left(\mathrm{sin}t\cdot \mathrm{cos}t+t\right){|}_{-\frac{\pi }{2}}^{\frac{\pi }{2}}=\frac{\pi }{2}\hfill \end{array}$

In a final example we use both directions of the substitution formula to calculate a primitive function of

$\sqrt{1-\frac{{\mathrm{X}}^{2}}{{r}^{2}}}:\left[-r,r\right]\to ℝ$

for an arbitrary $r>0$. Again we take sine for substitution as the new function is quite similar to the last one. This time however the boundaries are variable so that g needs to be reversible. sine itself is not bijective but the restriction $\mathrm{sin}|\left[-\frac{\pi }{2},\frac{\pi }{2}\right]$ is. Its invers function

$\mathrm{arcsin}={\left(\mathrm{sin}|\left[-\frac{\pi }{2},\frac{\pi }{2}\right]\right)}^{-1}:\left[-1,1\right]\to \left[-\frac{\pi }{2},\frac{\pi }{2}\right]$.
 i

is called inverse sine. We only use the dx-notation for this example.

 Example:  We recall that $\frac{1}{2}\left(\mathrm{sin}\cdot \mathrm{cos}+\mathrm{X}\right)$ is a primitive of ${\mathrm{cos}}^{2}$. As cosine is positive on the range $\mathrm{arcsin}\left(\left[-1,1\right]\right)=\left[-\frac{\pi }{2},\frac{\pi }{2}\right]$ we calculate for an arbitrary $x\in \left[-r,r\right]$ (using Pythagoras' theorem again) and thus have established a primitive function of $\sqrt{1-\frac{{\mathrm{X}}^{2}}{{r}^{2}}}$, namely: $\frac{\mathrm{X}}{2}\cdot \mathrm{cos}\left(\mathrm{arcsin}\frac{\mathrm{X}}{r}\right)+\frac{r}{2}\cdot \mathrm{arcsin}\frac{\mathrm{X}}{r}=\frac{\mathrm{X}}{2}\cdot \sqrt{1-\frac{{\mathrm{X}}^{2}}{{r}^{2}}}+\frac{r}{2}\cdot \mathrm{arcsin}\frac{\mathrm{X}}{r}$

We close this part by proving that integrals are translation-resistant which is easily done with the substitution formula..

Proposition:  Let f be integrable on I and $a,b\in I$. For each $c\in ℝ$ we have:

 $\underset{a}{\overset{b}{\int }}f=\underset{a+c}{\overset{b+c}{\int }}f\circ \left(\mathrm{X}-c\right)$ [8.3.6]

Proof:  As $\left(\mathrm{X}-c{\right)}^{\prime }=1$ we may employ the substitution formula and get

$\underset{a+c}{\overset{b+c}{\int }}f\circ \left(\mathrm{X}-c\right)$

 8.2. 8.4.