UP | HOME

1 The fundamental theorems of Calculus

1.1 Solution 1

\(\int_1^3 (2x + 1) \mathrm{d}x\)

We need an antiderivative of \(2x + 1\).

One antiderivative for this is \(x^2 + x\). This is an antiderivative on the interval \((-\infty, \infty)\).

From theorem 5.4.3,

\(\int_1^3 (2x + 1) \mathrm{d}x = x^2 + x |_1^3 = 3^2 + 3 - (1 + 1)\)

\(= 10\)

1.2 Solution 2

\(\int_1^4 x^3 \mathrm{d}x\)

We need an antiderivative of \(x^3\).

One antiderivative for this is \(\dfrac{x^4}{4}\). This is an antiderivative on the interval \((-\infty, \infty)\).

From theorem 5.4.3,

\(\int_1^4 x^3 \mathrm{d}x = \dfrac{x^4}{4} |_1^4 = 4^3 - 1 = 63\)

1.3 Solution 3

\(\int_{-1}^2 2x^3 - 3x^2 + 4x - 5 \mathrm{d}x\)

We need an antiderivative of \(2x^3 - 3x^2 + 4x - 5\).

One antiderivative for this is \(\dfrac{x^4}{2} - x^3 + 2x^2 - 5x\). This is an antiderivative on the interval \((-\infty, \infty)\)

From theorem 5.4.3,

\(\int_{-1}^2 2x^3 - 3x^2 + 4x - 5 \mathrm{d}x = \dfrac{x^4}{2} - x^3 + 2x^2 - 5x |_{-1}^2\)

Let's compute the remaining solution using sagemath:

x = var('x')
f = (x^4)/2 - x^3 + (2*x^2) - 5*x
f(2) - f(-1)
-21/2

1.4 Solution 4

\(\int_0^1 x^{100} \mathrm{d}x\)

We need an antiderivative of \(x^100\)

One antiderivative for this is \(\dfrac{x^{101}}{101}\). This is an antiderivative on the interval \((-\infty, \infty)\).

From theorem 5.4.3,

\(\int_0^1 x^{100} \mathrm{d}x = \dfrac{x^{101}}{101} |_0^1\)

Let's compute the remaining solution using sagemath:

x = var('x')
f = x^(101)/101
f(1) - f(0)
1/101

1.5 Solution 5

\(\int_0^4 \sqrt{x} \mathrm{d}x\)

We need an antiderivative of \(\sqrt{x}\).

f = sqrt(x)
f
from sage.symbolic.integration.integral import indefinite_integral
g = indefinite_integral(f, x)
g
sqrt(x)
2/3*x^(3/2)

One antiderivative for this is \(\dfrac{2x^{3/2}}{3}\). This is an antiderivative on the interval \((-\infty, \infty)\)

From theorem 5.4.3,

\(\int_0^4 \sqrt{x} \mathrm{d}x = \dfrac{2x^{3/2}}{3} |_0^4\)

g
g(4) - g(0)
2/3*x^(3/2)
16/3

1.6 Solution 6

\(\int_{-1}^8 \sqrt[3]{x} \mathrm{d}x\)

We need an antiderivative of \(\sqrt[3]{x}\).

f = x^(1/3)
g = indefinite_integral(f, x)
g
3/4*x^(4/3)

One antiderivative for this is \(3/4*x^(4/3)\). This is an antiderivative on the interval \((-\infty, \infty)\)

From theorem 5.4.3,

\(\int_{-1}^8 \sqrt[3]{x} \mathrm{d}x = 3/4*x^(4/3) |_{-1}^8\)

g
g(8) - g(-1)
3/4*x^(4/3)
3/4*(-1)^(1/3) + 12

1.7 Solution 7

\(\int_0^{2\pi} (1 + \sin x) \mathrm{d}x\)

We need an antiderivative of \((1 + \sin x)\)

f = (1 + sin(x))
g = indefinite_integral(f, x)
g
x - cos(x)

One antiderivative for this is \(x - \cos x\). This is an antiderivative on the interval \((-\infty, \infty)\)

From theorem 5.4.3,

\(\int_0^{2\pi} (1 + \sin x) \mathrm{d}x = x - cos(x) |_0^{2\pi}\)

g
g(2*pi) - g(0)
x - cos(x)
2*pi

1.8 Solution 8

\(\int_1^4 \dfrac{x^3 + 3}{x^2} \mathrm{d}x\)

We need an antiderivative of \(\dfrac{x^3 + 3}{x^2}\)

f = (x^3 + 3)/x^2
g = indefinite_integral(f, x)
g
1/2*x^2 - 3/x

One antiderivative for this is \(1/2*x^2 - 3/x\). This is an antiderivative on the interval \((-\infty, 0) \cup (0, \infty)\)

From theorem 5.4.3,

\(\int_1^4 \dfrac{x^3 + 3}{x^2} \mathrm{d}x = 1/2*x^2 - 3/x |_1^4\)

g
g(4) - g(1)
1/2*x^2 - 3/x
39/4

1.9 Solution 9

\(\int_1^4 (\sqrt(x) + 1)^2 \mathrm{d}x\)

We need an antiderivative of \((\sqrt(x) + 1)^2\)

f = (sqrt(x) + 1)^2
g = indefinite_integral(f, x)
g
1/2*x^2 + 4/3*x^(3/2) + x

One antiderivative for this is \(1/2*x^2 + 4/3*x^(3/2) + x\). This is an antiderivative on the interval \([0, \infty)\).

From theorem 5.4.3,

\(\int_1^4 (\sqrt(x) + 1)^2 \mathrm{d}x = 1/2*x^2 + 4/3*x^(3/2) + x |_1^4\)

g
g(4) - g(1)
1/2*x^2 + 4/3*x^(3/2) + x
119/6

1.10 Solution 10

\(\int_1^4 \dfrac{(\sqrt{x} + 1)^2}{\sqrt{x}} \mathrm{d}x\)

We need an antiderivative of \(\dfrac{(\sqrt{x} + 1)^2}{\sqrt{x}}\)

f = (sqrt(x) + 1)^2/sqrt(x)
g = indefinite_integral(f,x)
g
2/3*(sqrt(x) + 1)^3

One antiderivative for this is \(1/2*x^2 + 4/3*x^(3/2) + x\). This is an antiderivative on the interval \((0, \infty)\)

From theorem 5.4.3,

\(\int_1^4 \dfrac{(\sqrt{x} + 1)^2}{\sqrt{x}} \mathrm{d}x = 2/3*(sqrt(x) + 1)^3 |_1^4\)

g
g(4) - g(1)
2/3*(sqrt(x) + 1)^3
38/3

1.11 Solution 11

\(\int_0^2 x^2(x+1)^3 \mathrm{d}x\)

We need an antiderivative of \(x^2(x+1)^3\)

f = x^2 * (x+1)^3
g = indefinite_integral(f,x)
g
1/6*x^6 + 3/5*x^5 + 3/4*x^4 + 1/3*x^3

One antiderivative for this is \(1/6*x^6 + 3/5*x^5 + 3/4*x^4 + 1/3*x^3\). This is an antiderivative on the interval \((-\infty, \infty)\).

From theorem 5.4.3,

\(\int_0^2 x^2(x+1)^3 \mathrm{d}x = 1/6*x^6 + 3/5*x^5 + 3/4*x^4 + 1/3*x^3 |_0^2\)

g(2) - g(0)
668/15

1.12 Solution 12

\(\int_{\pi/6}^{\pi/3} \csc x \cot x \mathrm{d}x\)

We know that \(\csc x = \dfrac{1}{\sin x}\) and \(\cot x = \dfrac{\cos x}{\sin x}\)

So the function is not defined when \(x = 0\) and \(x = 2\pi\).

f = csc(x) * cot(x)
g = indefinite_integral(f, x)
g
-1/sin(x)

One antiderivative for this is \(-\dfrac{1}{\sin x}\). This is an antiderivative on interval \((0, 2*\pi)\)

From theorem 5.4.3,

\(\int_{\pi/6}^{\pi/3} \csc x \cot x \mathrm{d}x = \dfrac{-1}{\sin x} |_{\pi/6}^{\pi/3}\)

g(pi/3) - g(pi/6)
-2/3*sqrt(3) + 2

1.13 Solution 13

\(\int_1^2 t^3 - 4t \mathrm{d}t\)

Suppose \(n\) is a positive integer. We begin by computing all of the quantities mentioned in Definition 5.3.1. We have \(f(x) = x^3 - 4x, a = 1, b = 2\), so \(\Delta x = \dfrac{(b-a)}{n}\)

\(= \dfrac{2-1}{n} = \dfrac{1}{n}\)

Next, the points that divided the interval \([1,3]\) into \(n\) smaller intervals are given by the formula

\(x_i = a + i \Delta x = 1 + i \dfrac{1}{n} = 1 + \dfrac{i}{n}\)

Finally, we must choose the sample points \(x^{*}_i \in [x_{i-1}, x_i]\). According to theorem 5.3.2, it doesn't matter what choice we make; all choices will lead to the same value when we take the limit of the Riemann \(n\) sum as \(n \to \infty\).

Let \(x_i^{*} = x_i = 1 + \dfrac{i}{n}\)

We can now work out a formula for the Riemann sum:

\(R_n = \sum_{i=1}^n f(x_i^{*})\Delta x = \sum_{i=1}^n f(1 + \dfrac{i}{n}) * \dfrac{1}{n}\)

\(= \sum_{i=1}^n ((1 + \dfrac{i}{n})^3 - 4 - \dfrac{4i}{n})*\dfrac{1}{n}\)

Let's compute the result using sagemath:

i,n = var('i n')
f = ((1 + i/n)^3 - 4 - (4*i/n)) * (1/n)
soln = sum(f, i, 1, n)
soln.expand()
3/2/n + 3/4/n^2 - 9/4

Now we know that \(R_n = 3/2/n + 3/4/n^2 - 9/4\)

\(\int_1^3 t^3 - 4t \mathrm{d}t = \lim_{n \to \infty} R_n = \dfrac{-9}{4}\)

1.14 Solution 14

\(\int_0^{\pi/2} \cos x \mathrm{d}x\)

Suppose \(n\) is a positive integer. We begin by computing all of the quantities mentioned in Definition 5.3.1. We have \(f(x) = \cos x, a = 0, b = \dfrac{\pi}{2}\), so \(\Delta x = \dfrac{(b-a)}{n}\)

\(= \dfrac{\pi/2}{n}\)

Next, the points that divided the interval \([0,\dfrac{\pi}{2}]\) into \(n\) smaller intervals are given by the formula

\(x_i = a + i \Delta x = 0 + i \dfrac{\pi}{2n} = \dfrac{i\pi}{2n}\)

Finally, we must choose the sample points \(x^{*}_i \in [x_{i-1}, x_i]\). According to theorem 5.3.2, it doesn't matter what choice we make; all choices will lead to the same value when we take the limit of the Riemann \(n\) sum as \(n \to \infty\).

Let \(x_i^{*} = x_i = \dfrac{i\pi}{2n}\)

We can now work out a formula for the Riemann sum:

\(R_n = \sum_{i=1}^n f(x_i^{*})\Delta x = \sum_{i=1}^n f(\dfrac{i\pi}{2n}) * \dfrac{\pi}{2n}\)

\(= \sum_{i=1}^n \cos (\dfrac{i\pi}{2n}) * \dfrac{\pi}{2n}\)

Let's compute the result using sagemath:

i,n = var('i n')
f = cos(i*pi/(2*n)) * (pi / (2*n))
soln = sum(f, i, 1, n)
soln.expand()
-1/4*pi*cos(n*arctan2(sin(1/2*pi/n), cos(1/2*pi/n)) + arctan2(sin(1/2*pi/n), cos(1/2*pi/n)))*cos(1/2*pi/n)/(n*(cos(1/2*pi/n) - 1)) - 1/4*pi*sin(n*arctan2(sin(1/2*pi/n), cos(1/2*pi/n)) + arctan2(sin(1/2*pi/n), cos(1/2*pi/n)))*sin(1/2*pi/n)/(n*(cos(1/2*pi/n) - 1)) + 1/4*pi*cos(n*arctan2(sin(1/2*pi/n), cos(1/2*pi/n)) + arctan2(sin(1/2*pi/n), cos(1/2*pi/n)))/(n*(cos(1/2*pi/n) - 1)) - 1/4*pi*cos(1/2*pi/n)/(n*(cos(1/2*pi/n) - 1)) + 1/4*pi/(n*(cos(1/2*pi/n) - 1))
limit(soln, n = infinity)
1

\(\int_0^{\pi/2} \cos x \mathrm{d}x = 1\)

1.15 Solution 15

todo

1.16 Solution 16