Antiderivatives

⚡ Key Takeaways

One-line statement: An antiderivative of a function $f$ is any function $F$ whose derivative equals $f$ , i.e. $F' = f$ . Key result in words: Every continuous function has infinitely many antiderivatives, all differing by a constant; finding them reverses differentiation. Where it applies: Computing areas, solving differential equations, recovering position from velocity, and underpinning the Fundamental Theorem of Calculus. Who/when: Developed alongside the calculus by Isaac Newton and Gottfried Leibniz in the 1660s–1680s, building on earlier "quadrature" methods.

💡 The Core Insight

Differentiation destroys information about constants: the derivative of $x^2 + 7$ and the derivative of $x^2 - 3$ are both $2x$ . Antidifferentiation must therefore restore a lost constant. So an antiderivative is never unique — it comes as an entire family of functions $F(x) + C$ , parametrised by a single arbitrary constant $C$ . Choosing one specific member requires extra information (an "initial condition").

DefinitionAntiderivative

Let $f$ be a function defined on an interval $I$ . A function $F$ is an antiderivative of $f$ on $I$ if $F$ is differentiable on $I$ and

1

\quad F'(x) = f(x) \quad \text{for all } x \in I.

Derivation hint: This is the defining equation — read it as "the slope of $F$ at every point is the value of $f$ there." The collection of all antiderivatives is written as the indefinite integral:

2

\quad \int f(x)\,dx = F(x) + C,

Derivation hint: $C$ is the constant of integration; it appears because adding any constant to $F$ leaves $F'$ unchanged. Here $f$ is the integrand, $x$ is the variable of integration, $dx$ indicates which variable, and $C$ is an arbitrary real constant of integration.

TheoremAntiderivatives Differ by a Constant

If $F$ and $G$ are both antiderivatives of the same function $f$ on an interval $I$ , then there exists a constant $C$ such that

3

\quad G(x) = F(x) + C \quad \text{for all } x \in I.

Derivation hint: Consider $H = G - F$ ; show $H' = 0$ and apply the Mean Value Theorem.

TheoremExistence for Continuous Functions

If $f$ is continuous on an interval $I$ , then $f$ has an antiderivative on $I$ . One such antiderivative is the accumulation function

4

\quad F(x) = \int_{a}^{x} f(t)\,dt,

Derivation hint: This is the first part of the <a class="wiki-link" href="/wiki/ndli-isc-12-mathematics-fundamental-theorem-of-calculus">Fundamental Theorem of Calculus</a>; differentiating the area-so-far returns the integrand. for any fixed $a \in I$ .

ProofAntiderivatives Differ by a Constant

We prove Theorem [3]. 1. Suppose $F'(x) = f(x)$ and $G'(x) = f(x)$ for all $x \in I$ . 2. Define $H(x) = G(x) - F(x)$ . Then $H$ is differentiable and

5

\quad H'(x) = G'(x) - F'(x) = f(x) - f(x) = 0.

Derivation hint: Use linearity of the derivative — the derivative of a difference is the difference of derivatives. 3. A function with zero derivative on an interval is constant. To see this, take any two points $x_1 < x_2$ in $I$ . By the Mean Value Theorem, there is some $c$ between them with

6

\quad H(x_2) - H(x_1) = H'(c)\,(x_2 - x_1) = 0 \cdot (x_2 - x_1) = 0.

Derivation hint: MVT requires continuity on $[x_1,x_2]$ and differentiability on $(x_1,x_2)$ , both guaranteed. 4. Hence $H(x_2) = H(x_1)$ for all pairs, so $H$ is a constant $C$ . 5. Therefore $G(x) - F(x) = C$ , giving $G(x) = F(x) + C$ . $\blacksquare$

∎

⚠️ The interval matters

Step 3 requires $I$ to be a single interval. On a disconnected domain (e.g. $\mathbb{R}\setminus\{0\}$ ) the "constant" can be different on each piece, so two antiderivatives need not differ by a single constant.

mathematician · Gottfried Wilhelm Leibniz | 1646–1716

Leibniz introduced the elongated-S symbol $\int$ (from the Latin summa) in a 1675 manuscript and the differential notation $dx$ . His deliberate, suggestive notation — making $\int$ and $d$ visibly inverse operations — proved so effective that it remains the standard worldwide, arguably more durable than Newton's "fluxion" dot notation developed independently around the same time.

🧠 Intuition

Think of differentiation as a one-way street that loses a memory. Knowing a car's speed at every instant tells you how its position changes, but not where it started. To recover the full position function you must "undo" the speedometer — and you must be told the starting position. That starting value is exactly the constant $C$ . Geometrically, the family $F(x) + C$ is an infinite stack of identical curves, each shifted vertically. Every curve in the stack has the same slope at any given $x$ , which is precisely why they all have the same derivative $f(x)$ .

Figure

The family of antiderivatives

F(x)+C

: vertical translates sharing identical slopes

ExampleRecovering position from velocity

Given: A particle moves with velocity $v(t) = 6t^2 - 4$ (units: m/s), and at $t = 0$ its position is $s(0) = 5$ m. Find $s(t)$ .

Steps: 1. Position is an antiderivative of velocity: $s(t) = \int (6t^2 - 4)\,dt$ . 2. Apply the power rule in reverse term by term:

7

\quad \int (6t^2 - 4)\,dt = 6\cdot\frac{t^3}{3} - 4t + C = 2t^3 - 4t + C.

Derivation hint: Reverse $\frac{d}{dt}t^{n}=n t^{n-1}$ by raising the exponent and dividing: $\int t^n dt = \frac{t^{n+1}}{n+1}$ . 3. Use the initial condition to pin down $C$ : $s(0) = 2(0)^3 - 4(0) + C = C = 5$ . 4. Therefore $C = 5$ .

\boxed{\,s(t) = 2t^3 - 4t + 5 \ \text{m}\,}

ExampleAn antiderivative requiring substitution

Given: Find $\displaystyle\int 2x\,e^{x^2}\,dx$ .

Steps: 1. Notice the integrand contains $e^{x^2}$ and its inner derivative $\frac{d}{dx}(x^2) = 2x$ . Let $u = x^2$ , so $du = 2x\,dx$ . 2. Rewrite:

8

\quad \int 2x\,e^{x^2}\,dx = \int e^{u}\,du.

Derivation hint: Substitution reverses the chain rule; the factor $2x\,dx$ is exactly $du$ . 3. Antidifferentiate: $\int e^u\,du = e^u + C$ . 4. Substitute back $u = x^2$ .

\boxed{\,\displaystyle\int 2x\,e^{x^2}\,dx = e^{x^2} + C\,}

Check: $\frac{d}{dx}\!\left(e^{x^2}+C\right) = e^{x^2}\cdot 2x$ ✓ — recovers the integrand.

⚠️ Frequent errors

Forgetting $+C$ . An indefinite integral is a family; omitting $C$ writes only one member and is marked wrong.
Treating $\int$ as multiplication. The symbols $\int \ \dots\ dx$ are a single inseparable operator, not a product of $\int$ , the integrand, and $dx$ .
Inventing a product/quotient rule. There is no simple rule $\int fg = (\int f)(\int g)$ . Differentiation has the product rule; antidifferentiation has Integration by Parts instead, which is more subtle.
Dividing by zero in the power rule. The formula $\int x^n dx = \frac{x^{n+1}}{n+1}$ fails when $n = -1$ ; that case gives $\int x^{-1}dx = \ln|x| + C$ .

CounterexampleAntidifferentiation is not multiplicative

Suppose someone claims $\int x\cdot x\,dx = \left(\int x\,dx\right)\left(\int x\,dx\right)$ . The right side equals $\left(\tfrac{x^2}{2}\right)^2 = \tfrac{x^4}{4}$ , whose derivative is $x^3$ — not $x^2$ . The correct answer is $\int x^2\,dx = \tfrac{x^3}{3} + C$ , whose derivative is $x^2$ . Hence no multiplicative rule exists.

connection

Antiderivatives sit at the hub of single-variable calculus. They are the operational inverse of the Derivative, and the Fundamental Theorem of Calculus shows the indefinite integral (antiderivative) and the Definite Integral (area/limit of sums) compute the same thing via $\int_a^b f = F(b)-F(a)$ . The reverse-chain-rule pattern is formalised as Integration by Substitution, while the reverse-product-rule becomes Integration by Parts. When the equation $F' = f$ is generalised to involve $F$ itself, we enter the theory of Differential Equations. Functions without elementary antiderivatives (like $e^{-x^2}$ ) motivate Numerical Integration.

🔬 Where this appears

⏳ History

- c. 250 BCE — Archimedes. Computes areas and volumes by the method of exhaustion, an early ancestor of integration without a general antiderivative concept.

- c. 1635 — Cavalieri. Method of indivisibles establishes results equivalent to

\int x^n\,dx

for integer

n

.

- 1640s — Fermat & Roberval. Find areas under power curves

y = x^n

, effectively antidifferentiating, though piecemeal.

- 1660s — Isaac Barrow. States geometric results foreshadowing the inverse relationship between tangent and area problems.

- 1665–1666 — Isaac Newton. Develops fluxions and recognises that finding the "fluent" given the fluxion is the reverse of differentiation.

- 1675 — Gottfried Leibniz. Introduces the

\int

symbol and

dx

notation, framing antidifferentiation as summation.

- 1684–1686 — Leibniz. Publishes the differential and integral calculus in Acta Eruditorum, the first printed account.

- 1690s–1700s — Bernoulli brothers. Jakob and Johann Bernoulli systematise integration techniques and coin the term integral.

- 1820s — Cauchy. Provides rigorous definitions of continuity, the derivative, and the integral, putting existence of antiderivatives on a firm footing.

open-problem · When elementary antiderivatives don't exist

Not every elementary function has an elementary antiderivative. Famous examples include $e^{-x^2}$ , $\frac{\sin x}{x}$ , and $\frac{1}{\ln x}$ — each is perfectly continuous (so an antiderivative exists by Theorem [4]) yet provably cannot be expressed using finitely many elementary functions. Liouville's theorem (1830s) and the modern Risch algorithm (1968) give a decision procedure determining whether a given elementary integrand has an elementary antiderivative. These results explain why so many integrals are instead defined as new special functions (e.g. the error function $\operatorname{erf}$ ) or evaluated by Numerical Integration. The boundary between "computable in closed form" and "not" remains an active area of symbolic-computation research.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also