Express an accumulation function ∫ₐˣ f(t) dt as a function of x, and check it against FTC Part 1. 54 problems with worked solutions; in 54 of them every
equation is proved by a computer algebra system.
14 worked problems
Try each one before opening the solution. Every line is labeled with what checked it. How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{1}^{x} e^{t} \, dt \) as a function of \( \displaystyle x \).
\[ \frac{d}{d t} e^{t} = e^{t} \]
An antiderivative of the integrand is exp(t).✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{-1}^{x} e^{t} \, dt \) as a function of \( \displaystyle x \).
\[ \frac{d}{d t} e^{t} = e^{t} \]
An antiderivative of the integrand is exp(t).✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{0}^{x} 3 t^{2} - 2 t \, dt \) as a function of \( \displaystyle x \).
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{0}^{x} t^{2} \, dt \) as a function of \( \displaystyle x \).
\[ \frac{d}{d t} \frac{t^{3}}{3} = t^{2} \]
An antiderivative of the integrand is t**3/3.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{1}^{x} \sqrt{t} \, dt \) as a function of \( \displaystyle x \).
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{-1}^{x} t^{2} \, dt \) as a function of \( \displaystyle x \).
\[ \frac{d}{d t} \frac{t^{3}}{3} = t^{2} \]
An antiderivative of the integrand is t**3/3.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{0}^{x} t - 3 \, dt \) as a function of \( \displaystyle x \).
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{-1}^{x} t - 1 \, dt \) as a function of \( \displaystyle x \).
Answer \( F(x) = \frac{x^{2}}{2} - x - \frac{3}{2} \)
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{0}^{x} \cos{\left(t \right)} \, dt \) as a function of \( \displaystyle x \).
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{0}^{x} t + 4 \, dt \) as a function of \( \displaystyle x \).
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{-1}^{x} \cos{\left(t \right)} \, dt \) as a function of \( \displaystyle x \).
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{-1}^{x} 3 t^{2} - 2 t \, dt \) as a function of \( \displaystyle x \).
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{-1}^{x} 2 t \, dt \) as a function of \( \displaystyle x \).
\[ \frac{d}{d t} t^{2} = 2 t \]
An antiderivative of the integrand is t**2.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use the Fundamental Theorem of Calculus to write \( \displaystyle F(x) = \displaystyle \int_{-1}^{x} t + 1 \, dt \) as a function of \( \displaystyle x \).
Answer \( F(x) = \frac{x^{2}}{2} + x + \frac{1}{2} \)
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify