Second fundamental theorem of calculus

Every definite integral you have ever computed by "finding an antiderivative and plugging in the limits" was secretly using one theorem — the second fundamental theorem of calculus. It sits in the Integrals chapter of CBSE Class 12 Mathematics, and the syllabus is explicit that it is to be stated without proof: you must know what it says, quote it in the notation [F(x)]ab[F(x)]_a^b, and apply it fluently — not derive it from the limit-of-sums definition. The theorem is the bridge between two very different pictures of integration: the definite integral as an area (a limit of Riemann sums) and the definite integral as pure algebra (evaluate an antiderivative at two points and subtract). Once you have this bridge, evaluating ∫abf(x) dx\int_a^b f(x)\,dx for a polynomial, trigonometric, exponential or logarithmic ff becomes routine, and it is the single most-used computational tool in the entire chapter.

The core insight

If FF is any antiderivative of a continuous ff on [a,b][a,b], then ∫abf(x) dx=F(b)−F(a)\int_a^b f(x)\,dx = F(b) - F(a), so evaluating a definite integral reduces to finding one antiderivative and subtracting its values at the two limits.

The core idea

The statement. Let ff be continuous on the closed interval [a,b][a,b], and suppose FF is any function such that F′(x)=f(x)F'(x) = f(x) for every x∈[a,b]x \in [a,b] — that is, FF is an antiderivative (indefinite integral) of ff. The second fundamental theorem of calculus says

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

where: ff is the integrand, continuous throughout [a,b][a,b]; FF is any one antiderivative of ff, obtained from the standard list of indefinite integrals; aa and bb are the lower and upper limits; and F(b)−F(a)F(b) - F(a) is written compactly as [F(x)]ab\big[F(x)\big]_a^b.

Why any antiderivative works. Two antiderivatives of the same ff can only differ by a constant CC — that is a consequence of the mean value theorem you already accept. So if you pick F(x)+CF(x) + C instead of F(x)F(x), the theorem still gives the same number:

(F(b)+C)−(F(a)+C)=F(b)−F(a).\big(F(b)+C\big) - \big(F(a)+C\big) = F(b) - F(a).

The constant cancels automatically. This is exactly why you never write "+C+C" once you switch from an indefinite integral to a definite one — it would vanish in the subtraction anyway, so there is no point carrying it.

The three-step recipe. In practice, evaluating ∫abf(x) dx\int_a^b f(x)\,dx is always the same three moves. First, find one antiderivative F(x)F(x) of f(x)f(x) using the standard forms — the power rule, ∫ex dx=ex\int e^x\,dx = e^x, ∫1x dx=ln⁡∣x∣\int \frac{1}{x}\,dx = \ln|x|, the trigonometric integrals, and forms like ∫dxa2−x2=sin⁡−1xa\int \frac{dx}{\sqrt{a^2-x^2}} = \sin^{-1}\frac{x}{a}. Second, write the difference F(b)−F(a)F(b) - F(a), upper limit minus lower limit, in that order. Third, simplify the resulting number. Nothing about Riemann sums or rectangles is needed at this stage — the theorem has already done that work once, permanently, for every continuous ff.

Continuity is the fine print. The theorem requires ff to be continuous on the whole closed interval [a,b][a,b], not just at isolated points. If ff has a break — a vertical asymptote, an undefined point — anywhere inside [a,b][a,b], the theorem cannot be applied across that break without extra care (splitting the interval, or recognising the integral may not exist at all). This single continuity condition is what separates a legitimate application of the theorem from an invalid one. The figure below shows the two pictures the theorem connects: the definite integral as the shaded area under the curve, computed geometrically, versus the same value obtained algebraically as F(b)−F(a)F(b) - F(a) from any antiderivative.

Figure
The area under a curve between two limits equals the antiderivative evaluated at the upper limit minus the antiderivative evaluated at the lower limit
Area picture = algebra picture x f(x) a b area = F(b) minus F(a) shaded region, computed as a limit of thin rectangles integral a to b f(x) dx = F(b) minus F(a) pick any antiderivative F, subtract
Derivation AEvaluating a definite integral from the second fundamental theorem

The goal of this derivation is to show, step by step and with a concrete integrand, exactly how the abstract statement ∫abf(x) dx=F(b)−F(a)\int_a^b f(x)\,dx = F(b) - F(a) turns into a specific number — the mechanical procedure you will repeat on every definite-integral question in the chapter, using ∫13(2x+3) dx\int_1^3 (2x+3)\,dx as the running example.

Step 1. Identify the integrand and the limits. Here f(x)=2x+3f(x) = 2x + 3, which is a polynomial and therefore continuous everywhere, so it is certainly continuous on [1,3][1,3] — the hypothesis of the theorem is satisfied and we may proceed.

Step 2. Find one antiderivative F(x)F(x) of f(x)f(x), using the power rule term by term: ∫2x dx=x2\int 2x\,dx = x^2 and ∫3 dx=3x\int 3\,dx = 3x, so F(x)=x2+3xF(x) = x^2 + 3x. There is no need to add a constant CC here — the theorem needs only one valid antiderivative, and any constant would cancel in the next step regardless.

Step 3. Apply the theorem by writing the difference F(b)−F(a)F(b) - F(a) with b=3b = 3 and a=1a = 1: ∫13(2x+3) dx=F(3)−F(1)\int_1^3 (2x+3)\,dx = F(3) - F(1). This substitution step is where the theorem does its work — it has converted a statement about area under a curve into a statement about two function values.

Step 4. Evaluate FF at each limit separately. F(3)=32+3(3)=9+9=18F(3) = 3^2 + 3(3) = 9 + 9 = 18, and F(1)=12+3(1)=1+3=4F(1) = 1^2 + 3(1) = 1 + 3 = 4. Keep the two evaluations separate before subtracting, so a sign error in one does not silently corrupt the other.

Step 5. Subtract, upper minus lower: ∫13(2x+3) dx=18−4=14\int_1^3(2x+3)\,dx = 18 - 4 = 14. This matches exactly what a direct Riemann-sum computation of the area under the line y=2x+3y = 2x+3 from x=1x=1 to x=3x=3 would give, but it took three lines of algebra instead of a limiting process — that saving is the entire point of the theorem.

Worked example

Evaluate ∫0π/2cos⁡x dx\displaystyle\int_0^{\pi/2}\cos x\,dx, and then use the same method to evaluate ∫12dxx\displaystyle\int_1^2 \frac{dx}{x}.

Step 1. For the first integral, recall ddx(sin⁡x)=cos⁡x\dfrac{d}{dx}(\sin x) = \cos x, so F(x)=sin⁡xF(x) = \sin x is an antiderivative of cos⁡x\cos x, and cos⁡x\cos x is continuous on all of [0,π/2][0,\pi/2].

Step 2. Apply the theorem: ∫0π/2cos⁡x dx=F ⁣(π2)−F(0)=sin⁡π2−sin⁡0=1−0=1\displaystyle\int_0^{\pi/2}\cos x\,dx = F\!\left(\frac{\pi}{2}\right) - F(0) = \sin\frac{\pi}{2} - \sin 0 = 1 - 0 = 1.

Step 3. For the second integral, the antiderivative is F(x)=ln⁡∣x∣F(x) = \ln|x|, valid and continuous throughout [1,2][1,2] since xx never touches 00 there. Applying the theorem, ∫12dxx=F(2)−F(1)=ln⁡2−ln⁡1=ln⁡2−0=ln⁡2\displaystyle\int_1^2 \frac{dx}{x} = F(2) - F(1) = \ln 2 - \ln 1 = \ln 2 - 0 = \ln 2.

Step 4. Both answers follow the identical pattern — antiderivative, evaluate at the limits, subtract — regardless of whether the antiderivative is trigonometric or logarithmic. Final answers: ∫0π/2cos⁡x dx=1\int_0^{\pi/2}\cos x\,dx = \mathbf{1} and ∫12dxx=\int_1^2 \frac{dx}{x} = \boldsymbol{\ln 2}.

Competitive stretch

The same recipe extends immediately to the standard inverse-trigonometric forms. For ∫01dx1+x2\displaystyle\int_0^1 \frac{dx}{1+x^2}, the antiderivative is tan⁡−1x\tan^{-1}x, so the integral is [tan⁡−1x]01=tan⁡−11−tan⁡−10=π4−0=π4\big[\tan^{-1}x\big]_0^1 = \tan^{-1}1 - \tan^{-1}0 = \frac{\pi}{4} - 0 = \frac{\pi}{4}. For ∫01/2dx1−x2\displaystyle\int_0^{1/2} \frac{dx}{\sqrt{1-x^2}}, the antiderivative is sin⁡−1x\sin^{-1}x, giving [sin⁡−1x]01/2=sin⁡−112−sin⁡−10=π6−0=π6\big[\sin^{-1}x\big]_0^{1/2} = \sin^{-1}\frac12 - \sin^{-1}0 = \frac{\pi}{6} - 0 = \frac{\pi}{6}. Nothing new is invented here — only the entry from the standard list changes.

Common traps

  • Writing "+C+C" in a definite integral and trying to evaluate it — the constant always cancels in F(b)−F(a)F(b) - F(a), so simply omit it once limits are attached.
  • Subtracting in the wrong order — the theorem is F(b)−F(a)F(b) - F(a), upper minus lower, never the reverse; swapping the order flips the sign of the final answer.
  • Applying the theorem across a discontinuity — if ff is undefined or discontinuous anywhere inside [a,b][a,b] (for example f(x)=1x2f(x)=\frac{1}{x^2} on an interval containing x=0x=0), the theorem cannot be used blindly; the continuity hypothesis must be checked first.
  • Confusing this with the first fundamental theorem (ddx∫axf(t) dt=f(x)\frac{d}{dx}\int_a^x f(t)\,dt = f(x), a statement about differentiating an integral) — the second theorem is the one that evaluates a definite integral numerically, and it is this one tested throughout the Integrals chapter.

Ask the tutor: Want to see the theorem combined with substitution, or work through a few more definite integrals with trigonometric and logarithmic antiderivatives step by step? Ask the AI tutor.

Why can I use any antiderivative I like, instead of a specific one?

Because any two antiderivatives of the same continuous ff differ only by a constant CC, and that constant cancels the moment you subtract F(a)F(a) from F(b)F(b): (F(b)+C)−(F(a)+C)=F(b)−F(a)(F(b)+C) - (F(a)+C) = F(b) - F(a). So the theorem does not care which antiderivative you pick — the simplest one, with C=0C=0, always gives the correct numerical value of the definite integral.

Do I need to prove the second fundamental theorem for my board exam?

No. The CBSE syllabus explicitly states this theorem is to be given without proof. You are expected to state it correctly, quote the notation [F(x)]ab[F(x)]_a^b, and apply it fluently to evaluate definite integrals — not to reconstruct the underlying argument connecting Riemann sums to antiderivatives. Save your effort for fluency with the standard list of antiderivatives instead.

What is the actual difference between this and the first fundamental theorem of calculus?

The first fundamental theorem is about differentiating an integral with a variable upper limit: ddx∫axf(t) dt=f(x)\frac{d}{dx}\int_a^x f(t)\,dt = f(x). It tells you that integration and differentiation undo each other. The second fundamental theorem — the one used constantly in this chapter — is about evaluating a definite integral with fixed numerical limits, by subtracting an antiderivative's values: ∫abf(x) dx=F(b)−F(a)\int_a^b f(x)\,dx = F(b)-F(a). One differentiates an integral; the other computes one.

Before this

Where this leads