Integral Calculus

⚡ Key Takeaways

Integral calculus is the mathematics of accumulation: finding the total amount that results from continuously varying quantities. Key result: the definite integral ∫abf(x) dx\int_a^b f(x)\,dx measures the signed area under a curve, and the Fundamental Theorem of Calculus links it to the antiderivative, so ∫abf(x) dx=F(b)−F(a)\int_a^b f(x)\,dx = F(b)-F(a). Where it applies: areas, volumes, distances from velocity, work, probability, averages — anywhere a total accumulates from a rate. Who/when: developed by Newton and Leibniz in the 1660s–1680s, with roots in Archimedes (c. 250 BCE) and rigorous foundations by Riemann (1854).

💡 The Core Insight

To find the total accumulation of a quantity that changes continuously, slice it into infinitely many infinitesimally thin pieces, add them up, and take a limit. Miraculously, this limit of sums equals the difference of an antiderivative evaluated at the endpoints. Adding up infinitely many tiny pieces (integration) and undoing a rate of change (antidifferentiation) are the same operation viewed two ways.

Formal Statement

DefinitionThe Definite Integral (Riemann Sum)

Let ff be a function defined on [a,b][a,b]. Partition the interval into nn subintervals of width Δx=b−an\Delta x = \frac{b-a}{n}, with sample points xi∗x_i^* in each piece. The definite integral is the limit of the Riemann sum:

1
∫abf(x) dx=lim⁡n→∞∑i=1nf(xi∗) Δx\quad \int_a^b f(x)\,dx = \lim_{n\to\infty} \sum_{i=1}^{n} f(x_i^*)\,\Delta x

Derivation hint: each term f(xi∗) Δxf(x_i^*)\,\Delta x is the area of one rectangle of height f(xi∗)f(x_i^*) and width Δx\Delta x; summing and refining the partition gives exact area. Here f(x)f(x) is the integrand, aa and bb are the lower and upper limits, xx is the variable of integration, and dxdx denotes the infinitesimal width. The result is a number.

DefinitionThe Indefinite Integral (Antiderivative)

A function FF is an antiderivative of ff if F′(x)=f(x)F'(x) = f(x). The indefinite integral denotes the entire family of antiderivatives:

2
∫f(x) dx=F(x)+C,where F′(x)=f(x)\quad \int f(x)\,dx = F(x) + C, \qquad \text{where } F'(x)=f(x)

Derivation hint: since the derivative of a constant is zero, any two antiderivatives differ only by a constant CC, the constant of integration. The result is a function (plus an arbitrary constant), in contrast to the definite integral.

TheoremThe Fundamental Theorem of Calculus

Let ff be continuous on [a,b][a,b].

Part 1 (differentiation undoes integration): Define the accumulation function g(x)=∫axf(t) dtg(x) = \int_a^x f(t)\,dt. Then gg is differentiable and

3
ddx∫axf(t) dt=f(x)\quad \frac{d}{dx}\int_a^x f(t)\,dt = f(x)

Derivation hint: the rate at which accumulated area grows as the right edge moves equals the height of the curve at that edge.

Part 2 (evaluation rule): If FF is any antiderivative of ff, then

4
∫abf(x) dx=F(b)−F(a)\quad \int_a^b f(x)\,dx = F(b) - F(a)

Derivation hint: apply Part 1 to show the area function is an antiderivative, then use that any two antiderivatives differ by a constant which cancels in the subtraction.

Why It Holds / Derivation

ProofThe Fundamental Theorem, Part 2

We show that the area under ff from aa to bb equals F(b)−F(a)F(b)-F(a) for any antiderivative FF. 1. Define the accumulation function g(x)=∫axf(t) dtg(x) = \int_a^x f(t)\,dt. By Part 1, g′(x)=f(x)g'(x) = f(x), so gg is an antiderivative of ff. 2. Let FF be any other antiderivative of ff. Since g′(x)=F′(x)=f(x)g'(x) = F'(x) = f(x), their difference has derivative zero everywhere: (g−F)′(x)=0(g - F)'(x) = 0. 3. A function with zero derivative on an interval is constant (by the Mean Value Theorem). So g(x)=F(x)+Cg(x) = F(x) + C for some constant CC. 4. Evaluate at x=ax=a: since g(a)=∫aaf=0g(a) = \int_a^a f = 0, we get 0=F(a)+C0 = F(a) + C, so C=−F(a)C = -F(a). 5. Therefore g(x)=F(x)−F(a)g(x) = F(x) - F(a). Evaluating at x=bx=b:

∫abf(t) dt=g(b)=F(b)−F(a).■\int_a^b f(t)\,dt = g(b) = F(b) - F(a). \qquad \blacksquare
∎
ProofSketch of Part 1

Consider the difference quotient of g(x)=∫axf(t) dtg(x)=\int_a^x f(t)\,dt:

g(x+h)−g(x)h=1h∫xx+hf(t) dt.\frac{g(x+h)-g(x)}{h} = \frac{1}{h}\int_x^{x+h} f(t)\,dt.

The integral on the right is the area of a thin sliver of width hh. Since ff is continuous, on this tiny interval f(t)≈f(x)f(t)\approx f(x), so the sliver area ≈f(x)⋅h\approx f(x)\cdot h. Dividing by hh gives approximately f(x)f(x). Taking h→0h\to 0 (rigorously via the Mean Value Theorem for Integrals, which guarantees a point cc between xx and x+hx+h with the sliver area exactly f(c) hf(c)\,h) yields g′(x)=f(x)g'(x)=f(x). ■\blacksquare

∎
mathematician · Bernhard Riemann | 1826–1866

Though Newton and Leibniz invented calculus, the rigorous definition of the integral as a limit of sums is due to Bernhard Riemann, in his 1854 habilitation lecture. Riemann gave the first precise criterion for when a function is integrable, freeing the integral from any reliance on antiderivatives and allowing discontinuous functions to be integrated. His name lives on in the "Riemann sum" and "Riemann integral." Riemann's broader genius reshaped geometry (Riemannian manifolds, the foundation of Einstein's general relativity) and number theory (the still-unsolved Riemann Hypothesis), all in a tragically short life cut off by tuberculosis at 39.

Building Intuition

🧠 Intuition

Think of a car whose speedometer reads v(t)v(t). You want the total distance traveled between t=at=a and t=bt=b, but the speed keeps changing.

Strategy: chop the journey into tiny time intervals. Over each tiny piece Δt\Delta t, the speed barely changes, so distance ≈v(ti) Δt\approx v(t_i)\,\Delta t. Add all the slivers — that's a Riemann sum. Make the slivers infinitely thin — that's the integral. Now the punchline of the Fundamental Theorem: distance is the antiderivative of speed (speed is the rate of change of position). So instead of summing infinitely many tiny pieces, you can just look at the odometer at the start and the end and subtract! The hard infinite sum collapses into one subtraction F(b)−F(a)F(b)-F(a). That is the magic: accumulation = net change of an antiderivative.

Figure
Riemann sum: approximating area under a curve with rectangles
x y y = f(x) a b Δx Area ≈ Σ f(xᵢ)Δx → ∫ₐᵇ f(x)dx

Worked Examples

ExampleArea under a parabola

Given: Find the area under f(x)=x2f(x)=x^2 from x=0x=0 to x=3x=3, i.e. ∫03x2 dx\displaystyle\int_0^3 x^2\,dx.

Step 1 — find an antiderivative. Using the power rule for integration, ∫x2 dx=x33+C\int x^2\,dx = \frac{x^3}{3}+C. Take F(x)=x33F(x)=\frac{x^3}{3}.

Step 2 — apply the Fundamental Theorem (eq. [4]).

∫03x2 dx=F(3)−F(0)=333−033=273−0=9.\int_0^3 x^2\,dx = F(3)-F(0) = \frac{3^3}{3} - \frac{0^3}{3} = \frac{27}{3} - 0 = 9.

Step 3 — sanity check. The region sits inside a 3×93\times 9 box (area 27) but hugs the bottom, so an area of 9 (one-third of the box) is reasonable.

∫03x2 dx=9 square units\boxed{\int_0^3 x^2\,dx = 9 \text{ square units}}
ExampleDistance from velocity

Given: A particle moves with velocity v(t)=6t+4v(t) = 6t + 4 (in m/s) for tt from 00 to 55 s. Find the total displacement.

Step 1 — set up the integral. Displacement is the accumulation of velocity:

s=∫05(6t+4) dt.s = \int_0^5 (6t+4)\,dt.

Step 2 — antidifferentiate term by term.

∫(6t+4) dt=3t2+4t+C,so take F(t)=3t2+4t.\int (6t+4)\,dt = 3t^2 + 4t + C, \quad\text{so take } F(t)=3t^2+4t.

Step 3 — evaluate.

s=F(5)−F(0)=(3(25)+4(5))−0=75+20=95.s = F(5)-F(0) = \big(3(25)+4(5)\big) - 0 = 75 + 20 = 95.

Step 4 — units. Velocity (m/s) times time (s) gives metres.

s=95 m\boxed{s = 95 \text{ m}}

Common Misconceptions

⚠️ Common mistake

The definite integral is a number, the indefinite integral is a function. Writing ∫abf(x) dx=F(x)+C\int_a^b f(x)\,dx = F(x)+C is wrong — there is no xx left over and no +C+C in a definite integral; the answer is F(b)−F(a)F(b)-F(a), a single value.

Never forget +C+C in indefinite integrals. ∫2x dx=x2+C\int 2x\,dx = x^2 + C, not just x2x^2. Omitting it loses an entire family of solutions and causes errors in differential equations.

The integral gives signed area. Where f(x)<0f(x)<0, the integral contributes a negative amount. So ∫abf dx\int_a^b f\,dx may be zero or negative even though geometric area is positive. For total geometric area, integrate ∣f(x)∣|f(x)|.

Counterexample

Claim (false): "∫−11x3 dx\int_{-1}^{1} x^3\,dx must be positive because x3x^3 encloses area with the axis."

Reality: x3x^3 is an odd function. The antiderivative is x44\frac{x^4}{4}, so

∫−11x3 dx=144−(−1)44=14−14=0.\int_{-1}^{1} x^3\,dx = \frac{1^4}{4}-\frac{(-1)^4}{4} = \frac14 - \frac14 = 0.

The negative signed area on [−1,0][-1,0] exactly cancels the positive signed area on [0,1][0,1]. The geometric area is nonzero (=12=\tfrac12), but the definite integral is zero. This shows the integral measures net signed accumulation, not raw area.

Connections

connection

Integral calculus is the mirror image of Differential Calculus: differentiation finds rates, integration finds totals, and the Fundamental Theorem of Calculus proves they are inverse operations. The definite integral generalizes the geometry of Area and Volume beyond simple shapes. Techniques like Integration by Substitution and Integration by Parts are the integral-side counterparts of the chain rule and product rule. Integration also underlies Differential Equations (solving for a function given its rate), Probability Density Functions (areas under curves give probabilities), and Sequences and Series (the integral test, and integrals as limits of sums). The rigorous limit underlying it all connects to Limits and Continuity.

Real-World Applications

🔬 Where this appears

Historical Development

⏳ History
- c. 250 BCE — Archimedes: Uses the "method of exhaustion" to find areas of parabolic segments and the volume of a sphere, summing ever-finer slices — a true precursor of integration.
- 1635 — Cavalieri: Publishes the "method of indivisibles," treating areas as sums of infinitely many lines, a bold but non-rigorous step toward integrals.
- 1660s — Isaac Newton: Develops "fluxions" and recognizes that area problems are inverse to tangent (rate) problems, effectively discovering the Fundamental Theorem.
- 1675 — Gottfried Leibniz: Independently invents calculus, introducing the elongated-S integral sign ∫\int (from "summa") and the dxdx notation still used today.
- 1690s–1700s: The Bernoulli brothers and Euler vastly expand integration techniques and applications across mechanics and physics.
- 1820s — Augustin-Louis Cauchy: Gives the first reasonably rigorous definition of the definite integral as a limit of sums for continuous functions.
- 1854 — Bernhard Riemann: Defines the integral precisely for a broad class of functions and states the criterion for integrability (the Riemann integral).
- 1902 — Henri Lebesgue: Introduces the Lebesgue integral, which integrates far wilder functions by partitioning the range rather than the domain, foundational to modern analysis and probability.

Subtleties & Limits

open-problem

The Riemann integral, though sufficient for high-school and most undergraduate work, has real limitations. Not every function is Riemann-integrable — the Dirichlet function (1 on rationals, 0 on irrationals) cannot be integrated in Riemann's sense because its upper and lower sums never agree. The Lebesgue integral fixes this for a much wider class, and is the proper setting for probability theory and Fourier analysis. A subtler issue is improper integrals: integrals over infinite intervals or of unbounded functions, such as ∫1∞1x2 dx=1\int_1^\infty \frac{1}{x^2}\,dx = 1 (convergent) versus ∫1∞1x dx=∞\int_1^\infty \frac{1}{x}\,dx = \infty (divergent). Determining convergence requires careful limiting arguments. Finally, a deep practical limit: many integrals have no elementary closed form. Functions like e−x2e^{-x^2} (the heart of the normal distribution) and sin⁡xx\frac{\sin x}{x} provably cannot be integrated using elementary functions (a result formalized by Liouville). These are handled by numerical methods, special functions, or series — a reminder that not every well-posed integral can be "solved" by formula.

See Also

Fundamental Theorem of Calculus · Differential Calculus · Riemann Sum · Integration by Substitution · Integration by Parts · Area and Volume · Differential Equations · Limits and Continuity