Lesson 83 — Fundamental Theorem of Calculus
FTC Part 1 and Part 2. The bridge between derivative and integral. Leibniz rule for variable limits. Newton and Leibniz, 17th century.
Used in: 3.º ano do EM (17 anos) · Equiv. Math II japonês cap. 6 · Equiv. Klasse 12 alemã
Fundamental Theorem of Calculus (FTC2): the definite integral of f over [a, b] is simply the difference of the antiderivative F at the endpoints. Unites derivative and integral in a single equation.
Rigorous notation, full derivation, hypotheses
Statement and proofs
FTC — Part 1: derive the integral
"FTC1 states that the derivative of the function defined by an integral with variable upper limit equals the integrand evaluated at the upper limit." — OpenStax Calculus Vol. 1, §5.3
Proof of FTC1. By definition of derivative:
By the Mean Value Theorem for Integrals, there exists between and such that . Thus:
As when and is continuous, . Therefore .
FTC — Part 2: compute the integral
Proof of FTC2. By FTC1, satisfies . Since also, has zero derivative on , so for some constant . Then:
Leibniz Rule (variable limits)
Worked examples
Exercise list
45 exercises · 11 with worked solution (25%)
- Ex. 83.1Application
Compute using FTC2.
Show solution
Antiderivative: . FTC2: . B used . C multiplied by 2 unnecessarily. D evaluated only at without subtracting. - Ex. 83.2Application
Compute .
Show solution
Antiderivative: . . B forgot to subtract . C got the sign of wrong. D made an arithmetic error. - Ex. 83.3Application
Compute .
Show solution
Antiderivative: . . B confused with . C swapped the signs. D confused the integral with the interval. - Ex. 83.4Application
Compute .
Show solution
Antiderivative: . . B forgot to subtract 1. C confused the limit with . D made an error computing . - Ex. 83.5ApplicationAnswer key
Compute .
Show solution
Antiderivative: . . . Result: . B got the sign wrong. C thought the function is even. D made an arithmetic error.Show step-by-step (with the why)
- Antiderivative: .
- .
- .
- Result: .
- Ex. 83.6ApplicationAnswer key
Compute .
Show solution
Antiderivative: . . B confused with . D thought the integral on is zero. - Ex. 83.7Understanding
If , what is by FTC1?
Show solution
FTC1: if , then . Here , so . B is the antiderivative (computed the integral, not the derivative). C confuses with FTC2. D ignores the theorem. - Ex. 83.8Application
Compute .
Show solution
FTC1 + chain rule: , upper limit , . Result: . B forgot the chain rule. C integrated instead of differentiating. D confused with . - Ex. 83.9Application
Compute .
Show solution
Antiderivative: . . B confused the result with the upper limit. C got the value of wrong. D thought the integral is zero. - Ex. 83.10Application
Compute .
Show solution
Antiderivative: . , . Result: . B forgot to subtract . C computed only . D got wrong. - Ex. 83.11ApplicationAnswer key
Compute .
Show solution
FTC1 + chain rule: , , . Result: . B forgot . C added a negative sign. D integrated instead of differentiated.Show step-by-step (with the why)
- Identify , , .
- Apply FTC1+chain rule: .
- Substitute: .
- Ex. 83.12Application
Compute .
Show solution
Antiderivative: . . B calculated incorrectly. C swapped the signs. D confused the interval length with the result. - Ex. 83.13UnderstandingAnswer key
If , what is by FTC1?
Show solution
FTC1: if with continuous, then . B confuses with FTC2 formula. C is circular tautology. D only holds if . - Ex. 83.14Understanding
If , what is the correct expression for by FTC2?
Show solution
FTC2: . Order matters. B reversed it. C confuses (antiderivative) with (integrand). D is the integral of . - Ex. 83.15Application
Compute .
Show solution
Lower limit variable: swap the limits and add a negative sign. rac{d}{dx}\int_x^1 t^3\,dt = -rac{d}{dx}\int_1^x t^3\,dt = -x^3. B forgot the sign. C differentiated instead of applying FTC1. D integrated. - Ex. 83.16Application
Compute \int_0^1 rac{1}{1+x^2}\,dx.
Show solution
Antiderivative: . . B confused with the interval. C confused with . D got the value of wrong. - Ex. 83.17ApplicationAnswer key
Compute .
Show solution
Antiderivative: . . . B and D arithmetic errors. C ignored negative and fractional terms. - Ex. 83.18Modeling
With m/s, compute the net displacement and total distance from to .
Show solution
Displacement: . Zeros of at . Distance: m. B swapped the concepts. C and D computation errors.Show step-by-step (with the why)
- Compute .
- Zeros of : and .
- Integrals by segments: , , .
- Distance: m.
- Ex. 83.19Application
Compute .
Show solution
Leibniz rule with both variable limits: . B forgot the derivatives of the limits. C and D considered only one limit. - Ex. 83.20Application
Compute .
Show solution
Antiderivative: . . Positive and negative regions cancel. B and C evaluation errors. D got the antiderivative wrong. - Ex. 83.21Modeling
Marginal cost R$/unit. What is the total cost to produce the first 100 units?
Show solution
. B computed only the fixed cost. C used only the variable cost. D doubled the answer. - Ex. 83.22Application
Define . What are and ?
Show solution
. . B did not evaluate at . C is just the integrand. D forgot the . - Ex. 83.23Application
Knowing that and , compute .
Show solution
Additivity: . B added instead of subtracted. C swapped the order. D multiplied. - Ex. 83.24Challenge
Compute the area of the region bounded by and the -axis on .
Show solution
On , . Area . B forgot the absolute value and used only . C is the value without absolute value. D got the denominator wrong.Show step-by-step (with the why)
- Zeros: .
- On : . Area = absolute value of integral.
- . Area = .
- Ex. 83.25Application
Compute .
Show solution
Antiderivative: . . B thought the function is odd on . C made an arithmetic error. D forgot the . - Ex. 83.26Understanding
Compute without computing the antiderivative.
Show solution
FTC1 directly: rac{d}{dx}\int_0^x \cos(t^2)\,dt = \cos(x^2). No elementary antiderivative exists for , but FTC1 requires no computation. B swapped for . C added unnecessarily (the upper limit is simply ). D thought the integral cannot be differentiated. - Ex. 83.27Modeling
Power kW. What is the energy in the first 12 hours and the cost at R$ 0.85/kWh?
Show solution
kWh. Cost: . B computed only half. C got the cost wrong. D used . - Ex. 83.28Challenge
Compute .
Show solution
Leibniz rule: . Upper , lower . Result: . B and C confuse with identities. D computed only one limit.Show step-by-step (with the why)
- Upper , . Lower , .
- Leibniz rule: .
- Factor: .
- Ex. 83.29ChallengeAnswer key
Compute the average value of on and find the guaranteed by the Integral Mean Value Theorem.
Show solution
Average value: . Mean Value Theorem: . B confused with the average value. C used the integral without dividing. D got the calculation wrong. - Ex. 83.30ProofAnswer key
How is FTC2 proven from FTC1 when is continuous on ?
Show solution
By FTC1, satisfies . Thus , so . As , . At : . A is correct. B incorrect: FTC2 follows from FTC1. C absurd. D incorrect: continuity suffices. - Ex. 83.31Application
Compute .
Show solution
Antiderivative: . . B swapped the sign. C used wrong coefficient. D thought the integral is zero. - Ex. 83.32Application
Compute .
Show solution
Antiderivative: . . B forgot to subtract. C confused the result with the value of . D got the sign of subtraction wrong. - Ex. 83.33Understanding
What is the role of FTC1 compared to FTC2 in computing definite integrals?
Show solution
FTC1 states that is differentiable, but computing directly requires evaluating the integral. FTC2 uses any known antiderivative and computes without numerical integration. B and C confuse the roles. D incorrectly restricts scope. - Ex. 83.34Application
Compute \int_1^2 rac{1}{x}\,dx.
Show solution
Antiderivative: . . B confused with the upper limit. C reversed the result. D thought the integral is zero. - Ex. 83.35ChallengeAnswer key
If , compute .
Show solution
FTC1 with , : . B forgot . C differentiated instead of evaluating at limit. D added without justification. - Ex. 83.36Application
Compute .
Show solution
Antiderivative: . . B got the value of wrong. C confused with . D assigned unwarranted value. - Ex. 83.37Application
What is the average value of on ?
Show solution
Average value: rac{1}{3-0}int_0^3 x^2,dx = rac{1}{3}cdotleft[rac{x^3}{3} ight]_0^3 = rac{1}{3}cdot 9 = 3. B is — the point of the MVT, not the average value. C made a calculation error. D used the integral without dividing by interval length. - Ex. 83.38UnderstandingAnswer key
When computing by FTC2 with two different antiderivatives and , the result:
Show solution
All antiderivatives of differ by a constant. If , then . The constant cancels: the result is unique regardless of antiderivative chosen. B only true if . C confuses the antiderivative with the integrand. D incorrect: result is area with sign. - Ex. 83.39ApplicationAnswer key
Compute .
Show solution
Antiderivative: . . B thought the area is zero. C used the primitive without dividing by 2. D swapped the sign. - Ex. 83.40Challenge
Compute .
Show solution
FTC1 with , integrand : . B forgot . C evaluated the integrand incorrectly. D got the function wrong. - Ex. 83.41Modeling
The flow rate of water into a tank is L/h. How many liters enter in the first 6 hours?
Show solution
L. B computed only half the time. C doubled without justification. D used only hour. - Ex. 83.42Application
Compute .
Show solution
Antiderivative: . . B used the antiderivative of without the factor 2. C ignored correct symmetry. D computed only one side. - Ex. 83.43Understanding
What is the sign of ?
Show solution
On , . Thus . B and C get the sign wrong. D ignores the interval. - Ex. 83.44Challenge
Compute \int_0^1 rac{1}{\sqrt{1-x^2}}\,dx.
Show solution
Antiderivative: . . B doubled. C used the wrong value for . D confused with . - Ex. 83.45ProofAnswer key
The proof of FTC1 uses which essential argument?
Show solution
The proof uses the Integral MVT: for some between and . When , , and by continuity of , . B incorrect. C only continuity, not differentiability, is needed. D incorrect.
Sources
- Active Calculus — Boelkins · §4.4 · CC-BY-NC-SA. Physical motivation, guided discovery activity for both parts of the FTC.
- APEX Calculus — Hartman et al. · §5.4 · CC-BY-NC. Proofs of FTC1 and FTC2, Leibniz rule, varied exercises.
- OpenStax Calculus Volume 1 · §5.3 · CC-BY-NC-SA. Historical context Newton/Leibniz, examples of differentiation of integrals.