Skip to content

Mathematics and Statistics · Ch 6 — Definite Integration

Properties of Definite Integrals

3

Properties of Definite Integrals

Definite integrals obey several properties that often make evaluation far shorter than direct antidifferentiation. Each is stated below with the situation it is used in.

P1 — The variable of integration is a dummy.

∫abf(x) dx=∫abf(t) dt.\int_{a}^{b} f(x)\,dx = \int_{a}^{b} f(t)\,dt.

The value depends only on the function and the limits, not on the letter used for the variable.

P2 — Swapping the limits changes the sign.

∫abf(x) dx=−∫baf(x) dx.\int_{a}^{b} f(x)\,dx = -\int_{b}^{a} f(x)\,dx.

P3 — Equal limits give zero.

∫aaf(x) dx=0.\int_{a}^{a} f(x)\,dx = 0.

The net area over an interval of zero width is zero.

P4 — Additivity over adjacent intervals. For any cc,

∫abf(x) dx=∫acf(x) dx+∫cbf(x) dx.\int_{a}^{b} f(x)\,dx = \int_{a}^{c} f(x)\,dx + \int_{c}^{b} f(x)\,dx.

An integral can be split at an intermediate point, or two adjacent integrals combined into one.

P5 — Reflection about the mid-point of the limits.

∫abf(x) dx=∫abf(a+b−x) dx.\int_{a}^{b} f(x)\,dx = \int_{a}^{b} f(a + b - x)\,dx.

P6 — The special case a=0a = 0.

∫0af(x) dx=∫0af(a−x) dx.\int_{0}^{a} f(x)\,dx = \int_{0}^{a} f(a - x)\,dx.

This is P5 with lower limit 00; it is the property most often used to evaluate integrals whose direct antiderivative is awkward, by adding the integral to a reflected copy of itself.

P7 — Symmetric limits and even/odd functions (developed fully in §5):

∫−aaf(x) dx={2∫0af(x) dx,f even (f(−x)=f(x))0,f odd (f(−x)=−f(x)).\int_{-a}^{a} f(x)\,dx = \begin{cases} 2\displaystyle\int_{0}^{a} f(x)\,dx, & f\text{ even }(f(-x)=f(x)) \\ 0, & f\text{ odd }(f(-x)=-f(x)). \end{cases}

Illustration of P4. If ∫02f(x) dx=5\displaystyle\int_{0}^{2} f(x)\,dx = 5 and ∫26f(x) dx=3\displaystyle\int_{2}^{6} f(x)\,dx = 3, then ∫06f(x) dx=5+3=8\displaystyle\int_{0}^{6} f(x)\,dx = 5 + 3 = 8, without knowing ff itself.

Note

Choose the Property Before Reaching for an Antiderivative …

Definition 5Additivity (P4)

∫abf=∫acf+∫cbf\displaystyle\int_a^b f = \int_a^c f + \int_c^b f for any intermediate cc: an integral splits across adjacent sub-intervals, or two adjacent integrals combine …

Definition 6Reflection property (P5/P6)

∫abf(x) dx=∫abf(a+b−x) dx\displaystyle\int_a^b f(x)\,dx = \int_a^b f(a+b-x)\,dx; in particular ∫0af(x) dx=∫0af(a−x) dx\displaystyle\int_0^a f(x)\,dx = \int_0^a f(a-x)\,dx. Adding an integral to its reflected form often evaluates it …