Definite integral (Riemann sum form): Area as a Limit of Sums

On this page: The Principle | Conditions | Misconceptions | EE Questions | Retrieval Practice | Worked Example | Solve a Problem | FAQ

---

The Principle

Statement

The definite integral $\int_a^b f(x)\,dx$ is defined as the limit of a Riemann sum. The interval $[a, b]$ is partitioned into $n$ equal subintervals of width $\Delta x = (b - a)/n$; within each subinterval a sample point $x_i^*$ is chosen and the product $f(x_i^*)\,\Delta x$ gives the signed contribution of one thin rectangle. Adding all $n$ rectangles yields a Riemann sum $\sum_{i=1}^n f(x_i^*)\,\Delta x$, and the definite integral is the limit of that sum as $n \to \infty$. When $f \geq 0$ on $[a, b]$ this limit equals the geometric area between the graph and the $x$-axis; in general it is a signed accumulation.

Mathematical Form

$\int_a^b f(x)\,dx = \lim_{n \to \infty}\sum_{i=1}^n f(x_i^*)\Delta x$

Where:

• $a$, $b$ = lower and upper limits of integration ($a < b$); define the interval of integration
• $f$ = the integrand; the function evaluated at sample points across $[a, b]$
• $x$ = the variable of integration
• $dx$ = the infinitesimal width element; corresponds to $\Delta x$ in the limit
• $n$ = number of equal subintervals in the partition
• $\Delta x = \dfrac{b - a}{n}$ = width of each subinterval
• $x_i^*$ = any sample point in the $i$-th subinterval; when $f$ is integrable the limit does not depend on the specific rule used to choose $x_i^*$
• $\sum_{i=1}^n f(x_i^*)\,\Delta x$ = the Riemann sum; the finite approximation that converges to the integral

Alternative Forms

The most common explicit convention for computation uses right endpoints:

• Right-endpoint sum: $\displaystyle\int_a^b f(x)\,dx = \lim_{n\to\infty}\sum_{i=1}^n f\!\left(a + i\,\Delta x\right)\Delta x$ — substitutes $x_i^* = a + i\,\Delta x$; the most frequent form in explicit limit derivations

---

Conditions of Applicability

Condition: f integrable on [a, b]

Practical modeling notes

• The condition is satisfied by every function continuous on $[a, b]$. It is also satisfied by bounded functions with finitely many jump discontinuities (piecewise-continuous functions), provided they remain bounded throughout the interval.
• “Integrable” means the limit of the Riemann sum exists and is the same regardless of how sample points $x_i^*$ are chosen within each subinterval. If $f$ is unbounded or discontinuous too frequently, the limit may fail to exist and the Riemann definition does not apply.
• The equal-width partition $\Delta x = (b-a)/n$ is the most convenient choice for explicit limit computations. For non-equal partitions, the analogous condition is that the maximum subinterval width must approach $0$; the integral value is the same whenever integrability holds.

When It Doesn’t Apply

• Unbounded integrand: If $f$ blows up at a point in $[a, b]$ — for example, $f(x) = 1/x$ near $x = 0$ — the Riemann sum diverges. Use an improper integral to handle such cases.
• Too many discontinuities: A function with infinitely many oscillations on $[a, b]$ may not be Riemann-integrable; the limit of the Riemann sums may fail to exist.

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

---

Common Misconceptions

Misconception 1: “The definite integral always gives a positive area”

The truth: The definite integral gives signed area. When $f$ lies entirely below the $x$-axis on $[a, b]$, the integral is negative. When positive and negative contributions cancel, the integral can be zero even though $f$ is nonzero.

Why this matters: Setting up area, net-displacement, or net-flow integrals incorrectly by assuming positivity leads to sign errors. Recognizing the signed character determines whether to split the interval at zero-crossings to compute geometric area.

Misconception 2: “A Riemann sum and the definite integral are the same thing”

The truth: A Riemann sum $\sum_{i=1}^n f(x_i^*)\,\Delta x$ is a finite approximation that depends on $n$ and the sample-point choice. The definite integral is the limit of that sequence as $n \to \infty$. They agree only in that limit.

Why this matters: Treating a finite Riemann sum as exact introduces numerical error. The value of the definition is precisely that the limit eliminates the approximation, converting a discrete process into an exact value.

Misconception 3: “The choice of sample points $x_i^*$ changes the integral”

The truth: When $f$ is integrable, all valid sample-point choices — left endpoints, right endpoints, midpoints, or any point within each subinterval — produce the same limit. The flexibility is built into the definition.

Why this matters: Students who always use right endpoints may assume the integral changes with the rule, and then hesitate to choose the most algebraically convenient option when evaluating limits explicitly.

---

Elaborative Encoding

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

Within the Principle

• In $\lim_{n\to\infty}\sum_{i=1}^n f(x_i^*)\,\Delta x$, what role does $\Delta x$ play geometrically, and why does it appear in every term of the sum?
• If $f(x_i^*) < 0$ for some sample point, what sign does the term $f(x_i^*)\,\Delta x$ contribute to the Riemann sum, and how does that appear in the final value of $\int_a^b f(x)\,dx$?

For the Principle

• How would you recognize that a quantity accumulating continuously over $[a, b]$ should be modeled as $\int_a^b f(x)\,dx$ rather than as a simple product of rate and time?
• A student argues: “I will always use right endpoints because they are easiest.” Is that mathematically valid for computing $\int_a^b f(x)\,dx$? What condition on $f$ is required for the choice of sample points not to matter?

Between Principles

• The limit statement $\lim_{x \to a} f(x) = L$ involves a single input approaching a fixed value. How is the limit in $\lim_{n\to\infty}\sum f(x_i^*)\,\Delta x$ structurally different — what is converging, and to what?

Generate an Example

• Describe a physical quantity — such as displacement, mass, or charge — that can be expressed as $\int_a^b f(x)\,dx$ for some specific $f$, $a$, and $b$. State what $f(x)$, $x$, and $dx$ represent in your context, and explain why letting $\Delta x \to 0$ recovers the exact value.

---

Retrieval Practice

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

State the principle in words: _____The definite integral of f from a to b is the limit of a Riemann sum as the number of subintervals grows without bound; when f is nonnegative this limit equals the area under the curve.

Write the canonical equation: _____$\int_a^b f(x)\,dx = \lim_{n \to \infty}\sum_{i=1}^n f(x_i^*)\Delta x$

State the canonical condition: _____f integrable on [a, b]

---

Worked Example

Use this worked example to practice Self-Explanation.

Problem

Evaluate $\int_0^2 x\,dx$ directly from the Riemann sum definition, using right-endpoint sample points.

Step 1: Verbal Decoding

Target: $\int_0^2 x\,dx$
Given: $f$, $a$, $b$
Constraints: polynomial integrand on a closed bounded interval; equal-width partition; right-endpoint sample points

Step 2: Visual Decoding

Sketch $f(x) = x$ on $[0, 2]$: a line through the origin rising to $(2, 2)$. Divide $[0, 2]$ into $n$ equal subintervals of width $\Delta x = 2/n$. At the right endpoint of subinterval $i$, draw a rectangle of height $f(x_i^*) = 2i/n$. (The staircase of rectangles covers the triangular region under the line; the fit tightens as $n$ grows.)

Step 3: Mathematical Modeling

1. $\int_0^2 x\,dx = \lim_{n\to\infty}\sum_{i=1}^n \frac{2i}{n}\cdot\frac{2}{n}$

Step 4: Mathematical Procedures

1. $\int_0^2 x\,dx = \lim_{n\to\infty}\frac{4}{n^2}\sum_{i=1}^n i$
2. $\int_0^2 x\,dx = \lim_{n\to\infty}\frac{4}{n^2}\cdot\frac{n(n+1)}{2}$
3. $\int_0^2 x\,dx = \lim_{n\to\infty}\frac{2(n+1)}{n}$
4. $\int_0^2 x\,dx = \lim_{n\to\infty}\!\left(2 + \frac{2}{n}\right)$
5. $\underline{\int_0^2 x\,dx = 2}$

Step 5: Reflection

• Verification: The region under $f(x) = x$ on $[0, 2]$ is a right triangle with base $2$ and height $2$; area $= \tfrac{1}{2}(2)(2) = 2$ ✓
• Limiting behavior: As $n \to \infty$, the error term $2/n \to 0$; the staircase of rectangles converges to the exact triangular region.
• Interpretation: $f(x) = x \geq 0$ on $[0, 2]$, so every rectangle contributes positively and the integral equals the geometric area.

---

Before moving on: self-explain the model

Try explaining Step 3 out loud (or in writing): why the Riemann sum definition is the right model here, what $f(x_i^*) = 2i/n$ and $\Delta x = 2/n$ represent geometrically, and why taking the limit converts the finite approximation into an exact value.

Mathematical model with explanation

Principle: Definite Integral (Riemann Sum Form) — $\int_a^b f(x)\,dx = \lim_{n\to\infty}\sum_{i=1}^n f(x_i^*)\,\Delta x$.

Conditions: $f(x) = x$ is continuous (hence integrable) on $[0, 2]$.

Relevance: The problem asks for the exact signed area under $f(x) = x$ by applying the definition directly. The Riemann sum form is the definition, so using it here is not a shortcut — it is the foundational computation the principle is designed to support.

Description: With a right-endpoint partition, the $i$-th sample point is $x_i^* = 2i/n$ and the rectangle height is $f(2i/n) = 2i/n$. Substituting yields $\sum_{i=1}^n \frac{2i}{n}\cdot\frac{2}{n}$, a finite sum that can be evaluated in closed form using $\sum_{i=1}^n i = n(n+1)/2$.

Goal: Factor constants out of the sum, apply the closed-form identity, simplify the resulting rational expression in $n$, and take the limit as $n \to \infty$.

---

Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem

Evaluate $\int_0^1 x^2\,dx$ directly from the Riemann sum definition, using right-endpoint sample points.

Hint (if needed): The sum of squares formula is $\displaystyle\sum_{i=1}^n i^2 = \dfrac{n(n+1)(2n+1)}{6}$.

Show Solution

Step 1: Verbal Decoding

Target: $\int_0^1 x^2\,dx$
Given: $f$, $a$, $b$
Constraints: polynomial integrand on a closed bounded interval; equal-width partition; right-endpoint sample points; sum-of-squares identity provided

Step 2: Visual Decoding

Sketch $f(x) = x^2$ on $[0, 1]$: a parabola from $(0, 0)$ to $(1, 1)$, curving below the diagonal $y = x$. Partition $[0, 1]$ into $n$ equal subintervals of width $\Delta x = 1/n$. The right endpoint of subinterval $i$ is $x_i^* = i/n$, giving rectangle height $f(i/n) = i^2/n^2$. (The parabola lies strictly below the diagonal $y = x$ on $(0, 1)$, so the staircase covers strictly less area than the triangular region.)

Step 3: Mathematical Modeling

1. $\int_0^1 x^2\,dx = \lim_{n\to\infty}\sum_{i=1}^n \frac{i^2}{n^2}\cdot\frac{1}{n}$

Step 4: Mathematical Procedures

1. $\int_0^1 x^2\,dx = \lim_{n\to\infty}\frac{1}{n^3}\sum_{i=1}^n i^2$
2. $\int_0^1 x^2\,dx = \lim_{n\to\infty}\frac{1}{n^3}\cdot\frac{n(n+1)(2n+1)}{6}$
3. $\int_0^1 x^2\,dx = \lim_{n\to\infty}\frac{(n+1)(2n+1)}{6n^2}$
4. $\int_0^1 x^2\,dx = \lim_{n\to\infty}\frac{2n^2+3n+1}{6n^2}$
5. $\underline{\int_0^1 x^2\,dx = \frac{1}{3}}$

Step 5: Reflection

• Verification: The antiderivative of $x^2$ is $x^3/3$; $\bigl[x^3/3\bigr]_0^1 = 1/3$ ✓
• Magnitude/plausibility: The parabola $x^2$ lies strictly below $y = x$ on $(0, 1)$, so $\tfrac{1}{3} < \int_0^1 x\,dx = \tfrac{1}{2}$ ✓
• Limiting behavior: As $n \to \infty$, the terms $3n + 1$ in the numerator become negligible; the dominant ratio $2n^2/(6n^2) = 1/3$ confirms the result.

---

Related Principles

Principle	Relationship to Definite Integral (Riemann Sum Form)
Indefinite Integral as Antiderivative	Supplies $F$ via $F'(x) = f(x)$; the Fundamental Theorem then evaluates the Riemann-sum definition as $F(b) - F(a)$
Fundamental Theorem of Calculus (Part 2)	Directly connects this limit-of-sums definition to antidifferentiation, enabling exact evaluation without explicit limit computation
Limit Statement	Prerequisite — the definite integral is a specific instance of a limit: the limit of a sequence of Riemann sums indexed by $n$

See Principle Structures for how these relationships fit hierarchically.

---

FAQ

What is the definite integral (Riemann sum form)?

The definite integral $\int_a^b f(x)\,dx$ is defined as $\lim_{n\to\infty}\sum_{i=1}^n f(x_i^*)\,\Delta x$: partition $[a, b]$, form rectangle areas using sample-point heights, and take the limit as the partition becomes infinitely fine. When $f \geq 0$ this limit equals the geometric area under the curve; in general it is a signed accumulation.

What does “f integrable on [a, b]” mean in practice?

It means the Riemann sum limit exists and is the same regardless of how sample points are chosen within each subinterval. Every function continuous on $[a, b]$ satisfies this, as does any bounded function with at most finitely many jump discontinuities. Functions that are unbounded or oscillate infinitely may not.

Does the choice of sample points $x_i^*$ change the value of $\int_a^b f(x)\,dx$?

No — when $f$ is integrable, all valid choices (left endpoints, right endpoints, midpoints, or any point within each subinterval) produce the same limit. In textbook derivations the right-endpoint convention is standard because it simplifies the algebra; any choice gives the correct answer.

What is the difference between a Riemann sum and a definite integral?

A Riemann sum $\sum_{i=1}^n f(x_i^*)\,\Delta x$ is a finite approximation that depends on $n$ and the chosen sample points. The definite integral is the exact value obtained by taking $n \to \infty$. The Riemann sum approximates; the integral is the limit of that approximation.

When does $\int_a^b f(x)\,dx$ equal the geometric area under the curve?

Only when $f(x) \geq 0$ on all of $[a, b]$. If $f$ dips below the $x$-axis, the integral is signed: below-axis portions contribute negatively. To compute total geometric area, split the interval at the zeros of $f$ and sum the absolute values of each piece.

How is the definite integral related to the indefinite integral?

The definite integral $\int_a^b f(x)\,dx$ is a number (the signed area from $a$ to $b$). The indefinite integral $\int f(x)\,dx = F(x) + C$ is a family of functions. The Fundamental Theorem of Calculus connects them: if $F'(x) = f(x)$, then $\int_a^b f(x)\,dx = F(b) - F(a)$.

---

Related Guides

• Principle Structures — See where the definite integral (Riemann sum form) fits in the calculus hierarchy
• Indefinite Integral as Antiderivative — The Fundamental Theorem evaluates definite integrals using antiderivatives found here
• Fundamental Theorem of Calculus (Part 2) — The main successor that turns the definite-integral object into endpoint evaluation once an antiderivative is known
• Self-Explanation — Practice explaining why each Riemann sum step is valid as you work through problems
• Problem Solving — Apply the Five-Step Strategy to integration problems systematically

---

How This Fits in Unisium

Unisium structures the definite integral (Riemann sum form) as a representational principle: the equation $\int_a^b f(x)\,dx = \lim_{n\to\infty}\sum_{i=1}^n f(x_i^*)\,\Delta x$ is the definition to model, and computing the limit of an explicit Riemann sum is the confirming procedure. Elaborative encoding exercises ask why the signed-area interpretation fails when $f$ changes sign, what integrability rules out, and how this definition connects to the Fundamental Theorem. Retrieval prompts and structured problem sets then build the fluency needed so the definition is immediately accessible in exam contexts. Mastering this principle makes every subsequent integration technique — substitution, integration by parts, numerical methods — interpretable as a method for evaluating or approximating the same limit.

Ready to master the definite integral? Start practicing with Unisium or explore the full framework in Masterful Learning.

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