Fundamental Theorem of Calculus (Part 1): Differentiate accumulation integrals directly

By Vegard Gjerde Based on Masterful Learning 9 min read
fundamental-theorem-of-calculus-part-1 calculus integrals derivatives math learning-strategies

Fundamental Theorem of Calculus (Part 1) lets you differentiate an accumulation function of the form A(x)=axf(t)dtA(x)=\int_a^x f(t)\,dt and recover the running input f(x)f(x), preserving the accumulation-to-rate link. It applies when ff is continuous and the upper limit is exactly xx, and building that structure check automatically is a core habit in the Unisium Study System.

Unisium hero image titled Fundamental Theorem of Calculus (Part 1) showing the principle equation and a conditions card.
The direct move A(x)=f(x)A'(x)=f(x) when A(x)=axf(t)dtA(x)=\int_a^x f(t)\,dt and ff is continuous.

On this page: The Principle | Conditions | Failure Modes | EE Questions | Retrieval Practice | Practice Ground | Solve a Problem | FAQ | How This Fits


The Principle

The move: Differentiate an accumulation integral with fixed lower limit and upper limit xx by returning the integrand at xx.

The invariant: Under the stated condition, differentiating the accumulation function returns the integrand at the moving endpoint.

Pattern: A(x)=axf(t)dtA(x)=f(x)A(x)=\int_a^x f(t)\,dt \quad \longrightarrow \quad A'(x)=f(x)

Applies directly ✓Does not apply directly ✗
ddx0x(t2+1)dtx2+1\frac{d}{dx}\int_0^x (t^2+1)\,dt \to x^2+1ddx0x2(t2+1)dt↛x4+1\frac{d}{dx}\int_0^{x^2} (t^2+1)\,dt \not\to x^4+1

Left: the accumulation function matches the exact FTC1 form. Right: substituting the upper limit without the chain factor is still incomplete, because the upper limit is x2x^2, not xx, and the chain rule still has work to do.


Conditions of Applicability

Condition: f continuous; A(x)=axf(t)dtA(x)=\int_a^x f(t)\,dt

Before applying, check: is this a genuine accumulation function with fixed lower limit aa, upper limit exactly xx, and a continuous integrand?

If the condition is violated: a one-step write-down of f(x)f(x) can miss a chain-rule factor, miss a sign from a moving lower limit, or apply the theorem to an expression that is not in FTC1 form.

  • The direct pattern is A(x)=axf(t)dtA(x)=\int_a^x f(t)\,dt. If the upper limit is g(x)g(x) instead, use FTC1 together with the chain rule rather than this one-step form.
  • If the lower limit depends on xx, the sign structure changes. This guide only covers the fixed-lower-limit, upper-limit-xx pattern.
  • Continuity is the standard classroom hypothesis that lets the accumulation function differentiate back to the integrand.

Want the complete framework behind this guide? Read Masterful Learning.


Common Failure Modes

Failure mode: replace every derivative of an integral with the inside function without checking the endpoint structure → chain-rule factors or sign changes disappear, so the derivative is wrong.

Debug: ask two questions before writing anything: “is the upper limit exactly xx?” and “is the lower limit fixed?” If either answer is no, this direct FTC1 step is not the whole move.


Elaborative Encoding

Use these questions to build deep understanding. (See Elaborative Encoding for the full method.)

Within the Principle

  • Why does differentiating an accumulation function return the running input rather than the whole accumulated area again?
  • In A(x)=axf(t)dtA(x)=\int_a^x f(t)\,dt, why is tt a dummy variable while xx controls the amount of area accumulated?

For the Principle

  • How do you decide whether a derivative of an integral is a direct FTC1 match or a larger composition that needs another outer rule first?
  • Why does continuity belong in the condition even when many classroom examples use polynomials or trig functions where it is automatic?

Between Principles

Generate an Example

  • Create one derivative-of-an-integral step where FTC1 applies directly and one near-miss where the upper limit is not xx, then explain what structural check separates them.

Retrieval Practice

Answer from memory, then click to reveal and check. (See Retrieval Practice for the full method.)

State the move in one sentence: _____Differentiate an accumulation integral with fixed lower limit and upper limit x by returning the integrand at x.
Write the canonical equation: _____A(x)=f(x)A'(x)=f(x)
State the canonical condition: _____f continuous;A(x)=axf(t)dt\text{f continuous};\, A(x)=\int_a^x f(t)\,dt

Practice Ground

Use these exercises to build move-selection fluency. (See Self-Explanation for how to use worked examples effectively.)

Procedure Walkthrough

Starting from ddx1x(t2+3)dt\frac{d}{dx}\int_1^x (t^2+3)\,dt, reach a simplified derivative while naming the local step that uses FTC1.

StepExpressionOperation
0ddx1x(t2+3)dt\frac{d}{dx}\int_1^x (t^2+3)\,dt-
1A(x)A'(x), where A(x)=1x(t2+3)dtA(x)=\int_1^x (t^2+3)\,dtName the accumulation function so the direct FTC1 pattern is visible
2Evaluate t2+3t^2+3 at t=xt=xFTC1: ff is continuous and the upper limit is exactly xx
3x2+3x^2+3Substitute t=xt=x

Drills

Forward step (Format A)

Apply FTC1 directly and simplify.

ddx0x(t4+1)dt\frac{d}{dx}\int_0^x (t^4+1)\,dt

Reveal

This is a direct FTC1 match, so

ddx0x(t4+1)dt=x4+1\frac{d}{dx}\int_0^x (t^4+1)\,dt = x^4+1


Apply FTC1 directly and simplify.

ddxπxsintdt\frac{d}{dx}\int_\pi^x \sin t\,dt

Reveal

The lower limit is fixed and the upper limit is xx, so FTC1 applies directly:

ddxπxsintdt=sinx\frac{d}{dx}\int_\pi^x \sin t\,dt = \sin x


Does FTC1 apply directly to the whole step? Explain before writing anything else.

ddx0x2etdt\frac{d}{dx}\int_0^{x^2} e^t\,dt

Reveal

No. The expression is a near-miss, not a direct FTC1 match.

The tempting move

ddx0x2etdt↛ex2\frac{d}{dx}\int_0^{x^2} e^t\,dt \not\to e^{x^2}

is the classic chain-factor omission. The upper limit is x2x^2, not xx, so the direct FTC1 form fails and the outer change still has to be differentiated. The correct derivative is

ex22xe^{x^2}\cdot 2x


Does FTC1 apply directly to the whole step? Explain.

ddxx3t2dt\frac{d}{dx}\int_x^3 t^2\,dt

Reveal

No. The lower limit depends on xx, so this is not the direct axf(t)dt\int_a^x f(t)\,dt pattern.

Writing

ddxx3t2dt↛x2\frac{d}{dx}\int_x^3 t^2\,dt \not\to x^2

would miss the sign change from the moving lower limit. In fact,

ddxx3t2dt=x2\frac{d}{dx}\int_x^3 t^2\,dt = -x^2


Which items are direct FTC1 matches?

(i) ddx0xcostdt\frac{d}{dx}\int_0^x \cos t\,dt \quad (ii) ddx0x+1costdt\frac{d}{dx}\int_0^{x+1} \cos t\,dt \quad (iii) ddx2x11+t2dt\frac{d}{dx}\int_2^x \frac{1}{1+t^2}\,dt \quad (iv) ddxx511+t2dt\frac{d}{dx}\int_x^5 \frac{1}{1+t^2}\,dt

Reveal

(i) and (iii).

  • (i) has fixed lower limit and upper limit exactly xx.
  • (iii) also has fixed lower limit and upper limit exactly xx.
  • (ii) is a near-miss because the upper limit is x+1x+1.
  • (iv) is a near-miss because the lower limit, not the upper limit, depends on xx.

Action label (Format B)

What was done between these two steps?

ddx2x(t31)dtx31\frac{d}{dx}\int_2^x (t^3-1)\,dt \quad \longrightarrow \quad x^3-1

Reveal

FTC1 applied directly. The derivative of the accumulation integral returns the integrand evaluated at the upper limit xx.


Name the rule combination used in this completed step.

ddx(30xetdt)3ex\frac{d}{dx}\left(3\int_0^x e^t\,dt\right) \quad \longrightarrow \quad 3e^x

Reveal

The derivative constant multiple rule pulled out the factor 33, and FTC1 handled ddx0xetdt=ex\frac{d}{dx}\int_0^x e^t\,dt = e^x.


What tempting move was attempted here, and why does it not apply directly?

ddx0x31+t2dt1+x6\frac{d}{dx}\int_0^{x^3} \sqrt{1+t^2}\,dt \quad \longrightarrow \quad \sqrt{1+x^6}

Reveal

An overextended direct use of FTC1 was attempted.

The issue is structural: the upper limit is x3x^3, not xx, so the direct condition A(x)=axf(t)dtA(x)=\int_a^x f(t)\,dt fails. The correct derivative keeps the upper-limit substitution and the chain factor:

1+x63x2\sqrt{1+x^6}\cdot 3x^2


Transition identification (Format C)

Which transition uses FTC1 directly?

ddx(x2+0xcostdt)(1)ddx(x2)+ddx0xcostdt(2)2x+cosx(3)2x+cosx\frac{d}{dx}\left(x^2+\int_0^x \cos t\,dt\right) \xrightarrow{(1)} \frac{d}{dx}(x^2) + \frac{d}{dx}\int_0^x \cos t\,dt \xrightarrow{(2)} 2x + \cos x \xrightarrow{(3)} 2x+\cos x

Reveal

Transition (2) uses FTC1 directly.

  • (1) is the derivative sum rule.
  • (2) applies the power rule to x2x^2 and FTC1 to the accumulation integral.
  • (3) is just cleaned notation; the expression is already simplified.

Which transition does not apply directly, and why?

ddx0x2t2dt(1)x2(2)stop\frac{d}{dx}\int_0^{x^2} t^2\,dt \xrightarrow{(1)} x^2 \xrightarrow{(2)} \text{stop}

Reveal

Transition (1) does not apply directly.

The move incorrectly treats the upper limit x2x^2 as though it were the bare variable xx. The direct FTC1 condition fails, so the derivative is not x2x^2. In fact,

ddx0x2t2dt=(x2)22x=2x5\frac{d}{dx}\int_0^{x^2} t^2\,dt = (x^2)^2\cdot 2x = 2x^5


Goal micro-chain (Format D)

Starting from ddx(1x(t2+1)dt+x3)\frac{d}{dx}\left(\int_1^x (t^2+1)\,dt + x^3\right), reach a simplified derivative in the minimum number of moves.

Reveal

First use the derivative sum rule:

ddx(1x(t2+1)dt+x3)=ddx1x(t2+1)dt+ddx(x3)\frac{d}{dx}\left(\int_1^x (t^2+1)\,dt + x^3\right)=\frac{d}{dx}\int_1^x (t^2+1)\,dt + \frac{d}{dx}(x^3)

Apply FTC1 and the power rule:

ddx1x(t2+1)dt+ddx(x3)=x2+1+3x2\frac{d}{dx}\int_1^x (t^2+1)\,dt + \frac{d}{dx}(x^3)=x^2+1+3x^2

Combine like terms:

ddx(1x(t2+1)dt+x3)=4x2+1\frac{d}{dx}\left(\int_1^x (t^2+1)\,dt + x^3\right)=4x^2+1


Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem: Compute

ddx(21x(t2+1)dt5x)\frac{d}{dx}\left(2\int_1^x (t^2+1)\,dt - 5x\right)

and simplify the result.

Full solution
StepExpressionMove
0ddx(21x(t2+1)dt5x)\frac{d}{dx}\left(2\int_1^x (t^2+1)\,dt - 5x\right)-
12ddx1x(t2+1)dt52\frac{d}{dx}\int_1^x (t^2+1)\,dt - 5Derivative constant multiple rule and derivative of 5x-5x
22(x2+1)52(x^2+1) - 5FTC1 on the accumulation integral
32x2+252x^2 + 2 - 5Distribute the factor 22
42x232x^2 - 3Simplify

Check: differentiating the original accumulation term gives 2(x2+1)2(x^2+1), and differentiating 5x-5x gives 5-5, so the result is consistent.


PrincipleRelationship
Definite integral (Riemann sum form)FTC1 explains how the accumulation function built from a definite integral differentiates back to its input
Derivative chain ruleHandles the near-miss cases where the upper limit is g(x)g(x) instead of the bare variable xx
Integral sum ruleOften helps simplify the integrand before or after you recognize an accumulation structure

FAQ

What does Fundamental Theorem of Calculus (Part 1) say?

It says that if A(x)=axf(t)dtA(x)=\int_a^x f(t)\,dt and ff is continuous, then A(x)=f(x)A'(x)=f(x). Differentiating the accumulation function returns the running input.

When can I use FTC1 directly?

Use it directly when the lower limit is fixed, the upper limit is exactly xx, and the integrand is continuous. That is the direct-match pattern this guide trains.

What if the upper limit is g(x)g(x) instead of xx?

Then the direct FTC1 step is not the whole move. You differentiate the accumulation part and also account for the outer change in g(x)g(x), which is why these cases connect to the chain rule.

What if the lower limit is xx and the upper limit is constant?

That is not the direct axf(t)dt\int_a^x f(t)\,dt form. A sign change appears, so writing down f(x)f(x) without adjustment gives the wrong derivative.

Why is the variable inside the integral written as tt instead of xx?

The inside variable is a dummy variable of integration. It marks the running summation variable inside the accumulation, while xx controls the endpoint and therefore the amount of area accumulated.


How This Fits in Unisium

In Unisium, FTC1 is trained as a move-selection principle rather than a slogan: you learn to see the exact accumulation pattern, reject near-misses with moving endpoints, and connect the theorem back to retrieval practice, self-explanation, and the broader logic of Masterful Learning. The point is to recognize when the direct FTC1 form is complete and when nearby structure means another rule still has work to do.

Explore further:

To keep building the same derivative-integral fluency across calculus, practice directly in the Unisium app after you can identify the direct FTC1 form on sight.

Masterful Learning book cover

Masterful Learning

The study system for physics, math, & programming that works: retrieval, connection, explanation, problem solving, and more.

Read the book (opens in new tab) ISBN 979-8-2652-9642-9

Ready to apply this strategy?

Join Unisium and start implementing these evidence-based learning techniques.

Start Learning with Unisium Read More Guides

Want the complete framework? This guide is from Masterful Learning.

Learn about the book →