4.2.3Calculus II — Integration

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

2,095 words10 min readdifficulty · medium6 backlinks

WHY do we need this?

A rectangle's area is trivial: width × height. A curve's area is not. The whole trick of integration is to trade one hard area for infinitely many easy areas. The "Riemann sum" is the finite approximation; the "definite integral" is its limit.


WHAT is a partition? (build the scaffolding)


WHAT is a Riemann sum? (general form)

The only freedom is where you sample the height. Three classic choices:

Rule Sample point xix_i^* Height comes from…
Left xi1=a+(i1)Δxx_{i-1} = a+(i-1)\Delta x left edge of strip
Right xi=a+iΔxx_i = a + i\Delta x right edge of strip
Midpoint xi1+xi2=a+(i12)Δx\dfrac{x_{i-1}+x_i}{2} = a+\left(i-\tfrac12\right)\Delta x centre of strip
Figure — Riemann sums — left, right, midpoint; formal definition of definite integral

DERIVATION: the formal definite integral from scratch

WHY take a limit? Each SnS_n is only an approximation. As we use more, thinner rectangles (nn\to\infty, Δx0\Delta x\to 0) the staircase hugs the curve ever tighter. The exact area is the limiting value.

Step 1 — define the "mesh". The mesh (norm) of a partition is the widest strip: P=maxiΔxi\|P\| = \max_i \Delta x_i. Why this step? Shrinking P0\|P\|\to 0 forces every strip to vanish, not just the average.

Step 2 — demand the limit exists independent of choices.

Why "every choice"? If left, right, and midpoint sums all converge to the same number, the answer can't depend on our arbitrary sampling — it's a genuine property of ff, not of our method.

Step 3 — uniform-partition shortcut. For continuous ff a uniform partition suffices, and P0    n\|P\|\to0 \iff n\to\infty:  abf(x)dx=limni=1nf(a+iΔx)ban,Δx=ban. \boxed{\ \int_a^b f(x)\,dx = \lim_{n\to\infty} \sum_{i=1}^{n} f\big(a+i\,\Delta x\big)\,\frac{b-a}{n}, \quad \Delta x=\frac{b-a}{n}.\ }

The notation now decodes itself: \int is a stretched "S" for Sum; dxdx is the limit of Δx\Delta x (an infinitely thin width); f(x)f(x) is the height.


Worked Example 1 — 01x2dx\int_0^1 x^2\,dx from the definition

We compute it as a limit of right sums.

Δx=10n=1n\Delta x = \frac{1-0}{n} = \frac1n, and xi=0+i1n=inx_i = 0 + i\cdot\frac1n = \frac{i}{n}. Why this step? Right rule samples the right edge xix_i.

Rn=i=1n(in)21n=1n3i=1ni2.R_n = \sum_{i=1}^n \left(\frac{i}{n}\right)^2 \cdot \frac1n = \frac{1}{n^3}\sum_{i=1}^n i^2. Why this step? Factor out the constants 1n21n=1n3\frac1{n^2}\cdot\frac1n=\frac1{n^3}, leaving a pure i2\sum i^2.

Use i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^n i^2 = \frac{n(n+1)(2n+1)}{6}: Rn=1n3n(n+1)(2n+1)6=(n+1)(2n+1)6n2.R_n = \frac{1}{n^3}\cdot\frac{n(n+1)(2n+1)}{6} = \frac{(n+1)(2n+1)}{6n^2}. Why this step? Plug the closed form so we can take a clean limit.

01x2dx=limn2n2+3n+16n2=26=13.\int_0^1 x^2\,dx = \lim_{n\to\infty}\frac{2n^2+3n+1}{6n^2} = \frac{2}{6} = \frac13. Why this step? Divide top & bottom by n2n^2; the 3n,1n2\frac3n,\frac1{n^2} terms die. ✓ (matches x3301\frac{x^3}{3}\big|_0^1).


Worked Example 2 — numerical L, R, M for 131xdx\int_1^3 \tfrac1x\,dx, n=2n=2

True value =ln3ln1=ln31.0986=\ln 3 - \ln 1 = \ln 3 \approx 1.0986. Δx=312=1\Delta x = \frac{3-1}{2}=1.

Left (x0=1,x1=2x_0=1, x_1=2): L2=(f(1)+f(2))1=(1+0.5)=1.5L_2 = (f(1)+f(2))\cdot1 = (1 + 0.5) = 1.5. Why? Sample left edges 11 and 22.

Right (x1=2,x2=3x_1=2, x_2=3): R2=(f(2)+f(3))1=(0.5+0.3)=0.83R_2 = (f(2)+f(3))\cdot1 = (0.5 + 0.\overline{3}) = 0.8\overline{3}. Why? Sample right edges 22 and 33.

Midpoint (1.5,2.51.5, 2.5): M2=(f(1.5)+f(2.5))1=(0.6+0.4)=1.06M_2 = (f(1.5)+f(2.5))\cdot1 = (0.\overline{6}+0.4) = 1.0\overline{6}. Why? Sample centres of each strip.

Notice 1x\frac1x is decreasing, so L>L> truth >R>R, and M1.067M\approx1.067 is closest to 1.09861.0986. Exactly the prediction. ✓


Worked Example 3 — symbolic midpoint for 02(3x+1)dx\int_0^2 (3x+1)\,dx

Linear function ⇒ midpoint is exact for any nn. Take n=1n=1: Δx=2\Delta x=2, midpoint =1=1. M1=f(1)2=(31+1)2=8.M_1 = f(1)\cdot 2 = (3\cdot1+1)\cdot2 = 8. True: 3x22+x02=6+2=8\frac{3x^2}{2}+x\big|_0^2 = 6+2 = 8. ✓ Why exact? On a line the triangle cut off above equals the triangle added below the midpoint height — perfect cancellation.


Common Mistakes (Steel-manned)


Recall Feynman: explain to a 12-year-old

Imagine you want the area of a hill-shaped field but you only have a ruler. You chop the field into thin vertical strips and pretend each strip is a flat rectangle. To get a rectangle's height you pick a spot in the strip — its left side, right side, or middle — and measure the hill's height there. Multiply each height by the strip's width, add all the rectangles. The thinner you slice, the closer your answer gets to the real area. The "definite integral" is just the perfect answer you reach when the slices become infinitely thin.


Active Recall

What is a partition of [a,b][a,b]?
A set a=x0<x1<<xn=ba=x_0<x_1<\dots<x_n=b splitting the interval into subintervals [xi1,xi][x_{i-1},x_i] of width Δxi\Delta x_i.
General formula for a Riemann sum?
Sn=i=1nf(xi)ΔxiS_n=\sum_{i=1}^n f(x_i^*)\Delta x_i, where xix_i^* is any sample point in [xi1,xi][x_{i-1},x_i].
Sample point for the LEFT rule (uniform)?
xi1=a+(i1)Δxx_{i-1}=a+(i-1)\Delta x.
Sample point for the RIGHT rule?
xi=a+iΔxx_i=a+i\Delta x.
Sample point for the MIDPOINT rule?
a+(i12)Δxa+(i-\tfrac12)\Delta x.
For an increasing ff, is the left sum an over- or under-estimate?
Underestimate (right is overestimate).
Formal definition of abfdx\int_a^b f\,dx?
The common limit limP0f(xi)Δxi\lim_{\|P\|\to0}\sum f(x_i^*)\Delta x_i that is the same for every choice of sample points, when it exists.
What is the mesh P\|P\|?
The largest subinterval width, maxiΔxi\max_i \Delta x_i.
Uniform-partition integral formula?
limni=1nf(a+iΔx)ban\lim_{n\to\infty}\sum_{i=1}^n f(a+i\Delta x)\,\frac{b-a}{n} with Δx=ban\Delta x=\frac{b-a}{n}.
Why must the limit be sample-independent?
So the value is a property of ff, not of our arbitrary rectangle heights.
Compute 01x2dx\int_0^1 x^2 dx via right sums.
limn1n3n(n+1)(2n+1)6=13\lim_n \frac1{n^3}\frac{n(n+1)(2n+1)}{6}=\frac13.
Which rule is exact for linear functions?
The midpoint rule (over/under triangles cancel).
What does dxdx represent in the integral?
The limit of the strip width Δx0\Delta x\to0.
Give a function that is NOT Riemann integrable.
Dirichlet function 1Q1_{\mathbb Q} — sample-dependent limits.
Sum identity used for x2\int x^2?
i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^n i^2=\frac{n(n+1)(2n+1)}{6}.

Connections

  • Fundamental Theorem of Calculus — turns this limit into antiderivative evaluation F(b)F(a)F(b)-F(a).
  • Trapezoidal Rule — average of left & right sums.
  • Simpson's Rule — weighted blend (midpoint + trapezoid) for higher accuracy.
  • Summation formulasi, i2, i3\sum i,\ \sum i^2,\ \sum i^3 needed for limit evaluation.
  • Area under a curve and Signed area — what the integral measures.
  • Continuity and Integrability — sufficient conditions for the limit to exist.
  • Limits of sequences — the nn\to\infty machinery.

Concept Map

no simple formula

split a,b into strips

uniform width

pick sample point

sample left edge

sample right edge

sample centre

increasing fn

increasing fn

errors cancel

mesh to 0, n to infinity

controls mesh

Area under curve

Approximate with rectangles

Partition

Delta x = b-a over n

Riemann sum S_n

Left sum L_n

Right sum R_n

Midpoint sum M_n

Underestimate

Overestimate

Best estimate

Definite integral

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, idea simple hai: kisi curve f(x)f(x) ke neeche ka area aa se bb tak chahiye, par curvy shape ka koi ready-made formula nahi hota. Toh hum region ko patli-patli vertical strips mein kaat dete hain, aur har strip ko ek rectangle maan lete hain. Rectangle ka area = height × width — yeh toh easy hai! Width hoti hai Δx=(ba)/n\Delta x = (b-a)/n, aur height hum kisi ek point pe function ki value se lete hain. Sab rectangles ka area add karo = Riemann sum.

Ab height ke liye point kahan se lein? Teen popular choices: Left (strip ke left edge se, xi1x_{i-1}), Right (right edge se, xix_i), aur Midpoint (beech se). Increasing function ke liye left underestimate karta hai aur right overestimate — midpoint usually sabse accurate hota hai, aur straight line ke liye toh exact bhi. Yaad rakho: sirf heights add mat karna, har height ko Δx\Delta x se multiply karna zaroori hai, warna woh area nahi rahega.

Asli magic limit mein hai. Jaise-jaise nn\to\infty, rectangles patle hote jaate hain aur staircase curve ko perfectly hug kar leta hai. Yeh limit hi definite integral abf(x)dx\int_a^b f(x)\,dx hai. Formal definition kehti hai: agar left, right, midpoint — har sampling choice se same limit aaye, tabhi function integrable hai, aur woh common value hi answer hai. \int ek lamba "S" (Sum) hai, dxdx infinitely thin width.

Yeh matter kyun karta hai? Kyunki yahi foundation hai poore integration ka. Aage chal ke Fundamental Theorem of Calculus isi limit ko shortcut bana deta hai: F(b)F(a)F(b)-F(a). Par concept clear hona chahiye — rectangles, sampling, aur limit — tabhi integration ka asli matlab samajh aata hai, ratna nahi padta.

Go deeper — visual, from zero

Test yourself — Calculus II — Integration

Connections