7.3 Definite Integrals, Properties & Fundamental Theorem of Calculus

Definite Integrals, Properties & Fundamental Theorem of Calculus

While indefinite integration determines an infinite family of primitive functions, the definite integral evaluates a unique numerical scalar representing the net accumulation of a quantity over a specified interval. On the Pakistan ECAT, definite integrals represent a high-yield topic tested through conceptual properties rather than cumbersome manual antiderivative computations. Familiarity with fundamental integral transformations—especially King's Property, parity symmetries, and periodic scaling—enables candidates to solve seemingly intractable definite integrals in under 15 seconds. This section presents the theoretical foundation of the definite integral, establishes the Fundamental Theorem of Calculus, and comprehensively derives the operational properties essential for test day.

---

1. The Fundamental Theorem of Calculus (FTC)

Historical and Conceptual Significance

Prior to the late seventeenth century, the calculation of slopes of tangent lines (differentiation) and the determination of planar areas bounded by curves (integration) were viewed as entirely disconnected mathematical problems. The Fundamental Theorem of Calculus, established independently by Isaac Newton and Gottfried Wilhelm Leibniz, proved that differentiation and integration are inverse mathematical processes.

First Fundamental Theorem of Calculus (Differentiability of Area Function)

Let $f$ be a continuous real-valued function on the closed interval $[a, b]$, and define the accumulator function $g(x)$ by:

$g(x) = \int_a^x f(t) dt \quad \text{for } x \in [a, b]$

Then $g(x)$ is continuous on $[a, b]$, differentiable on the open interval $(a, b)$, and its derivative is identically $f(x)$:

$g'(x) = \frac{d}{dx}\left[ \int_a^x f(t) dt \right] = f(x)$

Second Fundamental Theorem of Calculus (Evaluation Theorem)

If $f$ is continuous on $[a, b]$ and $F$ is any antiderivative of $f$ on $[a, b]$ (meaning $F'(x) = f(x)$ for all $x \in [a, b]$), then:

$\int_a^b f(x) dx = [F(x)]_a^b = F(b) - F(a)$

Dummy Variable Invariance

Because the definite integral evaluates to a numerical value depending solely on the limits $a$ and $b$ and the functional form $f$, the variable of integration is purely a dummy variable:

$\int_a^b f(x) dx = \int_a^b f(t) dt = \int_a^b f(u) du = \int_a^b f(\theta) d\theta$

---

2. Elementary Operational Properties of Definite Integrals

The following fundamental algebraic properties govern all definite integration:

1. Limits Reversal Property

Interchanging the limits of integration inverts the algebraic sign: $\int_a^b f(x) dx = -\int_b^a f(x) dx$

2. Coincident Limits Property

An integral evaluated over an interval of zero width is identically zero: $\int_a^a f(x) dx = 0$

3. Linearity of Definite Integrals

For any real constants $\alpha, \beta \in \mathbb{R}$: $\int_a^b [\alpha f(x) \pm \beta g(x)] dx = \alpha \int_a^b f(x) dx \pm \beta \int_a^b g(x) dx$

4. Interval Additivity (Splitting Property)

For any real number $c$ lying inside or outside the interval of integration (provided $f$ is integrable on the entire span): $\int_a^b f(x) dx = \int_a^c f(x) dx + \int_c^b f(x) dx$

Critical Application: Interval splitting is mandatory when evaluating integrals containing absolute values or piecewise-defined definitions:

Example: Evaluate $\int_{-2}^3 |x| dx$. Split at the critical point $x = 0$ where $|x|$ changes analytical definition: $\int_{-2}^3 |x| dx = \int_{-2}^0 (-x) dx + \int_0^3 x dx = \left[ -\frac{x^2}{2} \right]_{-2}^0 + \left[ \frac{x^2}{2} \right]_0^3 = \left(0 - \left(-\frac{4}{2}\right)\right) + \left(\frac{9}{2} - 0\right) = 2 + 4.5 = 6.5 = \frac{13}{2}$

---

3. King's Property: The ECAT Master Weapon

Among all definite integral identities, King's Property is the most powerful tool for solving complex trigonometric, rational, and logarithmic entrance exam questions.

Theorem Statement (General King's Property)

$\int_a^b f(x) dx = \int_a^b f(a + b - x) dx$

Analytical Proof: Let $t = a + b - x$. Differentiating gives $dt = -dx \implies dx = -dt$. Examine the transformed limits:

• When $x = a \implies t = a + b - a = b$.
• When $x = b \implies t = a + b - b = a$.

Substituting into the integral: $\int_a^b f(x) dx = \int_b^a f(a + b - t) (-dt) = -\int_b^a f(a + b - t) dt = \int_a^b f(a + b - t) dt$ Since the integration variable is dummy, replace $t$ with $x$: $\int_a^b f(x) dx = \int_a^b f(a + b - x) dx$

Special Case: Integration from $0$ to $a$

Setting the lower limit $a = 0$ yields the most frequently tested variant:

$\int_0^a f(x) dx = \int_0^a f(a - x) dx$

The Universal Symmetric Quotient Theorem

A prominent class of ECAT questions asks for the definite integral of a symmetric fraction:

$I = \int_a^b \frac{f(x)}{f(x) + f(a + b - x)} dx$

Applying King's Property replaces $x$ with $a + b - x$:

$I = \int_a^b \frac{f(a + b - x)}{f(a + b - x) + f(x)} dx$

Adding these two expressions eliminates the function entirely:

$2I = \int_a^b \frac{f(x) + f(a + b - x)}{f(x) + f(a + b - x)} dx = \int_a^b 1 dx = b - a \implies I = \frac{b - a}{2}$

Canonical ECAT Results Deriving from King's Property

Candidates should memorize these three classic results:

1. The Universal Sine-Cosine Power Integral: $\int_0^{\pi/2} \frac{\sin^n x}{\sin^n x + \cos^n x} dx = \frac{\pi/2 - 0}{2} = \frac{\pi}{4}$ This holds identically for all real values of $n$ (whether $n = 1, 2, 2024, \frac{1}{2}, \sqrt{3}$, or $-5$!).

2. Tangent-Secant Equivalence: $\int_0^{\pi/2} \frac{1}{1 + \tan^n x} dx = \int_0^{\pi/2} \frac{\cos^n x}{\cos^n x + \sin^n x} dx = \frac{\pi}{4}$

3. The Famous Log-Sine Integral: $\int_0^{\pi/2} \ln(\sin x) dx = \int_0^{\pi/2} \ln(\cos x) dx = -\frac{\pi}{2}\ln 2$

---

4. Symmetry Properties (Even and Odd Functions)

When the interval of integration is symmetric about the origin, $[-a, a]$, evaluating the function's algebraic parity eliminates the need for integration entirely.

Mathematical Formulation

$\int_{-a}^a f(x) dx = \begin{cases} 0 & \text{if } f(x) \text{ is an odd function } (f(-x) = -f(x)) \\ 2 \int_0^a f(x) dx & \text{if } f(x) \text{ is an even function } (f(-x) = f(x)) \end{cases}$

Proof for Odd Function: Split the integral at $0$: $\int_{-a}^a f(x) dx = \int_{-a}^0 f(x) dx + \int_0^a f(x) dx$ In the first integral, let $x = -t \implies dx = -dt$. The limits change from $x = -a \implies t = a$ to $x = 0 \implies t = 0$: $\int_{-a}^0 f(x) dx = \int_a^0 f(-t) (-dt) = \int_0^a f(-t) dt$ If $f$ is odd, $f(-t) = -f(t)$, so $\int_{-a}^0 f(x) dx = -\int_0^a f(t) dt$. Adding this to the second integral yields $-\int_0^a f(t) dt + \int_0^a f(x) dx = 0$.

High-Speed ECAT Applications

• $\int_{-\pi}^\pi x^3 \cos(2x) dx = 0$ (Because $x^3$ is odd and $\cos 2x$ is even; $\text{odd} \times \text{even} = \text{odd}$).
• $\int_{-1}^1 \frac{x^7 - 3x^3 + \sin x}{x^4 + 1} dx = 0$ (Every single term in the numerator is odd while the denominator is even).
• $\int_{-\pi/4}^{\pi/4} \tan x dx = 0$ (Since $\tan(-x) = -\tan x$).

Half-Range Symmetry Property (Integration from $0$ to $2a$)

$\int_0^{2a} f(x) dx = \begin{cases} 2 \int_0^a f(x) dx & \text{if } f(2a - x) = f(x) \\ 0 & \text{if } f(2a - x) = -f(x) \end{cases}$

Example: $\int_0^\pi \cos^5 x dx$. Here $2a = \pi$. Testing: $f(\pi - x) = \cos^5(\pi - x) = (-\cos x)^5 = -\cos^5 x = -f(x)$. Because $f(\pi - x) = -f(x)$, the integral is $0$ instantly.

---

5. Periodicity Properties of Definite Integrals

A function $f(x)$ is periodic with fundamental period $T > 0$ if $f(x + T) = f(x)$ for all $x$.

Fundamental Periodic Theorems

1. Integer Multiple Cycles: $\int_0^{nT} f(x) dx = n \int_0^T f(x) dx \quad (n \in \mathbb{Z})$
2. Shift Invariance: The integral of a periodic function over a full period is independent of the starting point $a$: $\int_a^{a + T} f(x) dx = \int_0^T f(x) dx$
3. Multiple Shift Cycles: $\int_a^{a + nT} f(x) dx = n \int_0^T f(x) dx$
4. Period Shift between Limits: $\int_{a + nT}^{b + nT} f(x) dx = \int_a^b f(x) dx$

High-Speed ECAT Example: Evaluate $\int_0^{20\pi} |\sin x| dx$. The function $|\sin x|$ has fundamental period $T = \pi$ (since $|\sin(x + \pi)| = |-\sin x| = |\sin x|$). Here $n = 20$. Therefore: $\int_0^{20\pi} |\sin x| dx = 20 \int_0^\pi \sin x dx = 20 [-\cos x]_0^\pi = 20[-(-1) - (-1)] = 20(2) = 40$

---

6. Leibniz's Rule for Differentiating Under the Integral Sign

On the ECAT, examiners frequently construct limit problems involving definite integrals that yield $\frac{0}{0}$ indeterminate forms, requiring L'Hôpital's Rule. Evaluating the derivative of the integral numerator requires Leibniz's Rule.

Formula for Variable Limits of Integration

If $f(t)$ is continuous and $u(x), v(x)$ are differentiable functions of $x$:

$\frac{d}{dx}\left[ \int_{u(x)}^{v(x)} f(t) dt \right] = f(v(x)) \cdot v'(x) - f(u(x)) \cdot u'(x)$

Proof: By the Fundamental Theorem of Calculus, $\int_{u(x)}^{v(x)} f(t) dt = F(v(x)) - F(u(x))$, where $F'(t) = f(t)$. Differentiating with respect to $x$ via the chain rule produces $F'(v(x)) v'(x) - F'(u(x)) u'(x) = f(v(x)) v'(x) - f(u(x)) u'(x)$.

ECAT Limit Example via Leibniz's Rule

Evaluate $\lim_{x \to 0} \frac{\int_0^{x} \sin(t^2)\, dt}{x^3}$.

• At $x = 0$, numerator is $\int_0^0 = 0$ and denominator is $0^3 = 0$ (indeterminate form $\frac{0}{0}$).
• Apply L'Hôpital's Rule by differentiating numerator and denominator with respect to $x$:
  • $\frac{d}{dx}[x^3] = 3x^2$.
  • By Leibniz's Rule, $\frac{d}{dx}\left[\int_0^{x} \sin(t^2)\, dt\right] = \sin(x^2) \cdot 1 - 0 = \sin(x^2)$.
• The limit becomes: $\lim_{x \to 0} \frac{\sin(x^2)}{3x^2} = \frac{1}{3} \lim_{u \to 0} \frac{\sin u}{u} = \frac{1}{3}$

Trap: If an upper limit such as $x^2$ is substituted into $\sqrt{t}$, remember that $\sqrt{x^2} = |x|$, not $x$. Ignoring the absolute value can make a two-sided limit look as if it exists when the left-hand and right-hand limits actually differ.