Math Lab
Home/Class XII/Ch 7/Definite integral and the fundamental theorem

Definite integral and the fundamental theorem

The indefinite integral builds a family of functions. The definite integral abf(x)dx\int_a^b f(x)\,dx builds a single number , the signed area between the graph of ff and the xx-axis on the interval [a,b][a, b]. The Fundamental Theorem of Calculus says that, miraculously, these two objects are computed by the same operation.

Definition as a limit of a sum

Partition [a,b][a, b] into nn equal subintervals of width h=(ba)/nh = (b - a)/n. Pick a sample point ξi\xi_i in the ii-th subinterval. The Riemann sum is Sn=i=1nf(ξi)h.S_n = \sum_{i=1}^n f(\xi_i) \cdot h. If the limit limnSn\lim_{n \to \infty} S_n exists and is independent of the choice of sample points, we call it the definite integral: abf(x)dx=limnhi=1nf(a+ih).\int_a^b f(x)\,dx = \lim_{n \to \infty} h \sum_{i=1}^{n} f(a + ih).

Geometrically each rectangle has height f(ξi)f(\xi_i) and width hh, so the sum approximates the area under the curve. As nn \to \infty, the approximation becomes exact.

The integral exists when ff is continuous on [a,b][a, b], and more generally when ff has only finitely many jumps. Such ff are called Riemann integrable.

The Fundamental Theorem of Calculus

Part I (existence of antiderivatives). If ff is continuous on [a,b][a, b], then the function F(x)=axf(t)dtF(x) = \int_a^x f(t)\,dt is differentiable on (a,b)(a, b) with F(x)=f(x)F'(x) = f(x).

Part II (evaluation). If FF is any antiderivative of ff on [a,b][a, b], then abf(x)dx=F(b)F(a).\int_a^b f(x)\,dx = F(b) - F(a).

This is the bridge. The hard limit-of-sums definition becomes the easy "compute antiderivative, plug in endpoints" procedure. The notation [F(x)]ab=F(b)F(a)\left[F(x)\right]_a^b = F(b) - F(a) is standard.

Why is the FTC true?

Sketch. Define F(x)=axf(t)dtF(x) = \int_a^x f(t)\,dt. Then F(x+h)F(x)=xx+hf(t)dthf(x)F(x + h) - F(x) = \int_x^{x+h} f(t)\,dt \approx h \cdot f(x) when hh is small (because ff is continuous, it is roughly constant near xx). So F(x+h)F(x)hf(x)ash0.\frac{F(x+h) - F(x)}{h} \to f(x) \quad \text{as} \quad h \to 0. That is, F(x)=f(x)F'(x) = f(x). So FF is an antiderivative of ff.

Now if GG is any other antiderivative, G(x)=F(x)+CG(x) = F(x) + C. Then G(b)G(a)=F(b)F(a)=aaf+abfaaf=abf.G(b) - G(a) = F(b) - F(a) = \int_a^a f + \int_a^b f - \int_a^a f = \int_a^b f.

So every antiderivative works for evaluation.

Definite integral as area

If f0f \ge 0 on [a,b][a, b], then abf(x)dx\int_a^b f(x)\,dx is the area between the curve, the xx-axis, and the vertical lines x=ax = a and x=bx = b.

If ff changes sign, the integral gives signed area , regions below the xx-axis contribute negatively. To find true geometric area, integrate f|f| instead, splitting at zeros of ff.

Basic identities

IdentityStatement
Reversalabf=baf\int_a^b f = -\int_b^a f
Zero lengthaaf=0\int_a^a f = 0
Additivityabf+bcf=acf\int_a^b f + \int_b^c f = \int_a^c f
Linearityab(αf+βg)=αabf+βabg\int_a^b (\alpha f + \beta g) = \alpha \int_a^b f + \beta \int_a^b g
BoundingmfMm \le f \le M on [a,b][a,b] \Rightarrow m(ba)abfM(ba)m(b-a) \le \int_a^b f \le M(b-a)

Worked examples

Example 1. Evaluate 01x2dx\int_0^1 x^2\,dx as a limit of a sum.

With h=1/nh = 1/n and ξi=ih\xi_i = ih: Sn=hi=1n(ih)2=h3i2=1n3n(n+1)(2n+1)6S_n = h \sum_{i=1}^n (ih)^2 = h^3 \sum i^2 = \dfrac{1}{n^3} \cdot \dfrac{n(n+1)(2n+1)}{6}. As nn \to \infty this 26=13\to \dfrac{2}{6} = \dfrac{1}{3}. Confirmed by FTC: [x33]01=13\left[\dfrac{x^3}{3}\right]_0^1 = \dfrac{1}{3}.

Example 2. 0π/2cosxdx\int_0^{\pi/2} \cos x\,dx.

Antiderivative is sinx\sin x. So [sinx]0π/2=10=1\left[\sin x\right]_0^{\pi/2} = 1 - 0 = 1.

Example 3. 1elnxxdx\int_1^e \dfrac{\ln x}{x}\,dx.

Substitute u=lnxu = \ln x, du=dx/xdu = dx/x. When x=1x = 1, u=0u = 0; when x=ex = e, u=1u = 1. Integral =01udu=1/2= \int_0^1 u\,du = 1/2.

Example 4. 01dx1+x2\int_0^1 \dfrac{dx}{1 + x^2}.

[tan1x]01=tan110=π/4\left[\tan^{-1}x\right]_0^1 = \tan^{-1}1 - 0 = \pi/4.

Example 5. Find ddx0x2cos(t2)dt\dfrac{d}{dx}\int_0^{x^2} \cos(t^2)\,dt.

Use the chain version of FTC Part I: ddxag(x)f(t)dt=f(g(x))g(x)\dfrac{d}{dx} \int_{a}^{g(x)} f(t)\,dt = f(g(x)) \cdot g'(x). So the answer is cos(x4)2x=2xcos(x4)\cos(x^4) \cdot 2x = 2x\cos(x^4).

Example 6. Compute the area between y=x2y = x^2 and y=xy = x on [0,1][0, 1].

The two curves meet at x=0x = 0 and x=1x = 1, with xx2x \ge x^2 on [0,1][0, 1]. Area =01(xx2)dx=[x22x33]01=1213=16= \int_0^1 (x - x^2)\,dx = \left[\dfrac{x^2}{2} - \dfrac{x^3}{3}\right]_0^1 = \dfrac{1}{2} - \dfrac{1}{3} = \dfrac{1}{6}.

Try it yourself

  1. 02(3x2+1)dx\int_0^2 (3x^2 + 1)\,dx
  2. 11xdx\int_{-1}^1 |x|\,dx
  3. 0πsinxdx\int_0^{\pi} \sin x\,dx
  4. 14xdx\int_1^4 \sqrt{x}\,dx
  5. 01exdx\int_0^1 e^x\,dx
  6. 121x2dx\int_1^2 \dfrac{1}{x^2}\,dx
  7. Use the limit-of-sums to evaluate 02xdx\int_0^2 x\,dx.
  8. 0π/4sec2xdx\int_0^{\pi/4} \sec^2 x\,dx
  9. 0π/2sin2xdx\int_0^{\pi/2} \sin^2 x\,dx (use double-angle)
  10. Find ddxxx2sintdt\dfrac{d}{dx}\int_x^{x^2} \sin t\,dt.
  11. 01x1+x2dx\int_0^1 \dfrac{x}{1+x^2}\,dx
  12. Find the area between y=sinxy = \sin x and the xx-axis on [0,2π][0, 2\pi].
  13. 22(x3+x)dx\int_{-2}^{2} (x^3 + x)\,dx , predict the answer using symmetry.
  14. 0ax(ax)dx\int_0^a x(a - x)\,dx as a function of aa.

Pitfalls and tricks

  • No "+C+C" in definite integrals. The constant cancels in F(b)F(a)F(b) - F(a).
  • Change the limits under substitution. When you substitute u=g(x)u = g(x), also change the limits to u=g(a)u = g(a) and u=g(b)u = g(b). (Or revert to xx first, then plug in original limits.)
  • Signed vs. unsigned area. abf\int_a^b f may be negative or zero even when ff is non-zero , it's only "area" when f0f \ge 0.
  • Discontinuities matter. 11dxx2\int_{-1}^{1} \dfrac{dx}{x^2} is not [1x]11\left[-\dfrac{1}{x}\right]_{-1}^1 , the integrand blows up at 00.

Practice quiz

Quick check on this topic.

Quiz
Quick check : Definite integrals and FTC
6 questions · pick the best answer
Q1

02(3x2)dx=\int_0^2 (3x^2)\,dx=

Q2

The Fundamental Theorem says abf\int_a^b f equals

Q3

aaf(x)dx=\int_a^a f(x)\,dx=

Q4

ddx1xt2dt=\frac{d}{dx}\int_1^x t^2\,dt=

Q5

0πcosxdx=\int_0^\pi \cos x\,dx=

Q6

Geometrically, abf\int_a^b f with f0f \le 0 gives