Antiderivatives and Indefinite Integrals — Mathematics Knowledge System

Overview

An antiderivative (primitive function) of f is a function F such that F'(x) = f(x). The collection of all antiderivatives of f is the indefinite integral integral f(x)dx = F(x) + C, where C is an arbitrary constant. The Fundamental Theorem of Calculus (Part 2) connects antiderivatives to definite integrals: integral_a^b f(x)dx = F(b) - F(a). Key rules: power rule integral x^n dx = x^{n+1}/(n+1) + C (n != -1), integral 1/x dx = ln|x| + C, integral e^x dx = e^x + C, integral sin(x)dx = -cos(x) + C.

Intuition

If you know the velocity v(t) at every time t, you can recover the position by integration: x(t) = integral v(t) dt. The antiderivative undoes differentiation: if you differentiate F and get f, then F is an antiderivative of f. The +C constant reflects the fact that many functions F can have the same derivative f (they differ by a constant). The integral symbol integral ...dx is a machine: feed in f(x), get back F(x)+C.

Formal Definition

Definition

F is an antiderivative of f on an interval I if F'(x) = f(x) for all x in I. If F is one antiderivative of f, then ALL antiderivatives are of the form F(x) + C for C in R (proved using the Mean Value Theorem: if G'(x) = F'(x) then (G-F)'=0 implies G-F = constant). The indefinite integral is written integral f(x)dx = F(x) + C. FTC Part 2: if F is an antiderivative of f on [a,b], then integral_a^b f(x)dx = F(b) - F(a).

F'(x) = f(x) \iff F \text{ is an antiderivative of } f

Definition

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

Indefinite integral

\int_a^b f(x)\,dx = F(b) - F(a) \quad (\text{FTC Part 2})

Connection to definite integral

\int x^n\,dx = \frac{x^{n+1}}{n+1} + C \quad (n \ne -1)

Power rule for integration

Notation

Notation	Meaning
$\int f(x)\,dx$	Indefinite integral of f (family of antiderivatives)
$F(x) + C$	General antiderivative (C arbitrary constant)
$\Big[F(x)\Big]_a^b = F(b)-F(a)$	Evaluation notation for FTC

Theorems

Theorem 1: Uniqueness of Antiderivatives up to Constant

If F and G are both antiderivatives of f on an interval I, then G(x) = F(x) + C for some constant C. Proof: (G-F)'(x) = G'(x) - F'(x) = f(x) - f(x) = 0. A function with zero derivative on an interval is constant (by MVT). Therefore G - F = C.

Theorem 2: Basic Antiderivative Rules

Power rule: integral x^n dx = x^{n+1}/(n+1) + C for n != -1. Special: integral 1/x dx = ln|x| + C. Exponentials: integral e^x dx = e^x + C; integral a^x dx = a^x/ln(a) + C. Trig: integral sin(x)dx = -cos(x)+C; integral cos(x)dx = sin(x)+C; integral sec^2(x)dx = tan(x)+C. Linearity: integral (af+bg)dx = a*integral f dx + b*integral g dx.

Theorem 3: Fundamental Theorem of Calculus (Part 2)

If f is continuous on [a,b] and F is any antiderivative of f (i.e., F'=f), then integral_a^b f(x)dx = F(b) - F(a). This theorem connects the Riemann integral (area) with antiderivatives. The notation F(b)-F(a) is also written [F(x)]_a^b.

Worked Examples

1
Apply power rule to each term separately (linearity of integration).
2
integral 3x^2 dx = 3*(x^3/3) = x^3. integral 4x dx = 4*(x^2/2) = 2x^2. integral 1 dx = x.
$\int 3x^2\,dx = x^3,\quad \int 4x\,dx = 2x^2,\quad \int 1\,dx = x$
3
Combine: integral (3x^2-4x+1)dx = x^3 - 2x^2 + x + C.
$\int(3x^2-4x+1)\,dx = x^3 - 2x^2 + x + C$
4
Verify by differentiating: d/dx(x^3-2x^2+x+C) = 3x^2-4x+1. Correct!

✓ Answer

x^3 - 2x^2 + x + C.

Practice Problems

Easyapplication

Find the antiderivative F of f(x) = 6x^2 + 2x - 5 satisfying F(0) = 3.

Common Mistakes

Common Mistake

Forgetting the +C in indefinite integrals.

+C is not optional. The indefinite integral represents all antiderivatives, not just one specific function. If you write integral 2x dx = x^2 (without +C), you've lost an entire family of solutions x^2+1, x^2+5, x^2-7, etc. In applied problems (initial value problems), the +C is determined by a boundary or initial condition. Forgetting +C is a fundamental error that can lead to wrong answers when initial conditions are applied.

Quiz

What is integral (1/x) dx?

-1/x^2 + Cln|x| + C1/(2x^2) + Cln(x^2) + C

Historical Background

Newton and Leibniz developed integration as the inverse of differentiation (independently, ~1670s). Leibniz introduced the integral sign (an elongated S for 'sum') in 1675. The Fundamental Theorem of Calculus connecting differentiation and integration was stated clearly by Newton (1665) and formalized by Leibniz and later by Cauchy and Riemann in the 19th century. Tables of antiderivatives (integral tables) were compiled in the 18th century; computer algebra systems now handle symbolic integration.

1665
Newton recognizes integration as inverse of differentiation
Isaac Newton
1675
Leibniz introduces the integral sign and notation
Gottfried Wilhelm Leibniz
1823
Cauchy formalizes the definite integral and connects it to antiderivatives
Augustin-Louis Cauchy

Summary

F is an antiderivative of f if F'=f. All antiderivatives differ by a constant: F(x)+C.
Power rule: integral x^n dx = x^{n+1}/(n+1)+C (n != -1). Special: integral 1/x dx = ln|x|+C.
FTC Part 2: integral_a^b f dx = F(b)-F(a) (evaluate antiderivative at endpoints).
Always check: differentiate your answer to verify it equals the integrand.

References

BookStewart, J. Calculus: Early Transcendentals. 8th ed. Cengage, 2015.
BookApostol, T.M. Calculus, Vol. 1. 2nd ed. Wiley, 1967.
WebsiteWikipedia -- Antiderivative