4.2.3 · D5Calculus II — Integration

Question bank — Riemann sums — left, right, midpoint; formal definition of definite integral

1,714 words8 min readBack to topic

True or false — justify

Answer every one with a because. A bare "true" means you were lucky, not right.

True or false: For an increasing function, the left Riemann sum is always an underestimate.
True — on each strip the left edge is the lowest point of a rising curve, so every rectangle sits under the curve. This fails the instant the function stops rising, so "increasing" is essential.
True or false: The midpoint rule is exact for every straight-line (linear) function, for any .
True — on a line the triangle poking out above the midpoint height exactly matches the triangle missing below it, so the errors cancel on every strip regardless of how many strips you use.
True or false: If left and right sums both converge to the same number , then is Riemann integrable and .
Careful — this alone is not sufficient; the definition demands the same limit for every sample choice, not just left and right. In practice for continuous it is enough, but as a logical statement it is false (a function could agree on edges yet diverge for cleverer samples).
True or false: A sum of the heights approximates the area under the curve.
False — heights alone are not area. You must multiply each height by the strip width: area is . Dropping gives a number with the wrong units entirely.
True or false: Making larger always makes the mesh go to zero.
False in general — for a non-uniform partition you could add many tiny strips while leaving one fat strip untouched, so never shrinks. Only for uniform partitions does force .
True or false: The definite integral can be negative.
True — it computes signed area, so any part of below the -axis contributes negatively. See Signed area; the integral is area only when on .
True or false: Every continuous function on is Riemann integrable.
True — this is a core theorem (see Continuity and Integrability). But the converse is false: a function can be integrable while having jumps, so continuity is sufficient, not necessary.
True or false: The average of the left and right sums equals the midpoint sum.
False — that average is the Trapezoidal rule, not the midpoint rule (see Trapezoidal Rule). They are genuinely different approximations, and midpoint usually beats the trapezoid despite using one sample per strip.
True or false: If the left sum equals the right sum for some , the function must be constant on .
False — for a uniform partition , so the sums are equal whenever , which many non-constant functions satisfy (e.g. a symmetric bump).
True or false: For a decreasing function, midpoint always lands between left and right.
True — for a monotone function left over/under-estimates and right does the opposite, so the truth lies between them; midpoint, being close to the truth, also sits between. (For non-monotone this ordering can break.)

Spot the error

Each line states a plausible-but-wrong claim. The reveal explains why it's wrong.

"The left sum uses because is the -th point."
The left edge of strip is , not . Using silently computes the right sum instead — a classic off-by-one.
" is defined as , so I can pick whatever sample points make the algebra easiest."
You may pick easy samples only after knowing is integrable, because integrability guarantees all choices give the same limit. Choosing samples to prove integrability itself is circular — you must know the limit is choice-independent first.
"Since and rectangles undercount, the right sum is always below ."
is increasing on , so the right sum overestimates — every , approaching from above. Right sums undercount only for decreasing functions.
"The Dirichlet function is 0 almost everywhere, so its integral over is 0."
It is not Riemann integrable at all: sampling rationals gives sum , sampling irrationals gives , so no single limit exists. "Almost everywhere" is a Lebesgue idea, not a Riemann one.
"Trapezoidal always beats midpoint because it uses two sample points per strip instead of one."
More samples does not mean more accurate. Midpoint's single centred sample benefits from symmetric error cancellation; its error is typically about half the trapezoid's and of opposite sign. Count of samples ≠ quality.
" is a Riemann-sum-only quantity; it disappears once we integrate."
It does not vanish — it becomes . The symbol in is the surviving trace of the width after the limit, which is why forgetting it is such a serious error.
"For the integral to exist, must be continuous everywhere on ."
Continuity is sufficient but not necessary. A function with finitely many jumps (e.g. a step function) is still integrable, because the misbehaving strips shrink to zero total width as .

Why questions

Why do we demand the limit be the same for every choice of sample point?
Because if left, right, and any other sampling all agreed, the answer reflects a genuine property of rather than an artefact of our arbitrary choice. A choice-dependent "answer" would be meaningless as the area.
Why is the mesh the right thing to send to zero, rather than the average width?
The average could stay small while one stubborn fat strip remains, spoiling the approximation there. Forcing the maximum to zero guarantees every strip vanishes, so the staircase hugs the curve everywhere.
Why is written as an elongated "S"?
It stands for Sum — the integral is the limit of the Riemann sum , so Leibniz turned the summation into a stretched S and the discrete into the infinitesimal .
Why does the midpoint rule usually beat both left and right using only one sample per strip?
The centred sample lets the strip's overshoot above the curve on one side cancel its undershoot on the other. Left/right samples sit at an extreme edge, so their errors accumulate in one direction with nothing to cancel them.
Why can't we just use a very large fixed instead of taking a limit?
Any finite leaves a nonzero gap between the staircase and the curve, so it is an approximation, not the exact area. Only the limit removes the last sliver of error; that exact value is what "definite integral" means.
Why does linearity of make the midpoint rule exact, but not the left or right rule?
On a line the midpoint height equals the average height across the strip, so the rectangle area equals the true (trapezoidal) area exactly. Left and right heights are not the average, so they over/undershoot by the slope times half the width.

Edge cases

What happens to when ?
It is — the interval has zero width, so every and every rectangle has zero area. There is literally no region to measure.
What is the Riemann sum when is a single spike, zero everywhere except one point where it is huge?
The integral is : as strips thin, the probability any sample lands exactly on the spike vanishes, and even a strip containing it contributes height (a width shrinking to ). A single point has no area.
For a constant function , how do left, right, and midpoint sums compare?
All three are identical and exactly equal to for every , since the height is no matter where you sample. A flat function has no rise for any rule to miss.
What does the right sum give for if dips below the axis on part of ?
Strips where contribute negative rectangle areas, so the sum (and the limit) computes signed area — positive parts minus negative parts, not total geometric area. See Area under a curve vs Signed area.
If a partition has one strip of width and thousands of tiny strips, is the Riemann sum accurate?
No — the fat strip dominates the error and is large, so the approximation is poor there. Accuracy is controlled by the widest strip, not by how many strips you have.
What is for an integrable on a uniform partition?
It is . Since and with fixed and finite, the whole difference collapses — both sums converge to the same integral.

Recall One-line survival kit

Every trap here is one of five moves: forgetting , confusing an edge index ( vs ), assuming monotonicity, forgetting signed area, or mistaking "many strips" for "small mesh". Spot which move a question is testing and the answer writes itself.