Definite Integral Properties

Why This Matters

Definite integrals connect the abstract world of antiderivatives to concrete, numerical answers. You'll use integral properties to simplify calculations, interpret results geometrically, and tie integration back to differentiation through the Fundamental Theorem. These properties appear constantly: in free-response questions asking you to evaluate integrals without a calculator, in multiple-choice questions testing whether you understand why certain shortcuts work, and in applied problems involving average values and accumulation.

Definite integral properties fall into predictable categories: algebraic manipulation rules, symmetry shortcuts, comparison techniques, and evaluation strategies. Don't just memorize formulas. Understand what each property lets you do. Can you split an integral? Factor out a constant? Exploit symmetry to skip half the work? Knowing which tool to reach for is what separates students who struggle from those who move through integral problems with confidence.

---

Foundational Connections

These properties establish the core relationship between integration and differentiation, forming the backbone of everything else you'll do with definite integrals.

Fundamental Theorem of Calculus

• Links differentiation and integration as inverse operations. This is the single most important theorem in Calculus I and appears on virtually every exam.
• Evaluation formula (FTC Part 2): If $F$ is any antiderivative of $f$ on $[a, b]$, then $\int_a^b f(x) \, dx = F(b) - F(a)$
• FTC Part 1 goes the other direction: if you define $F(x) = \int_a^x f(t) \, dt$, then $F'(x) = f(x)$. This tells you that differentiation undoes integration.
• Together, the two parts transform integration problems into antiderivative problems, eliminating the need for Riemann sums in most calculations.

Definite Integral as Area Under a Curve

• Represents net signed area between the curve and the x-axis. Regions above the x-axis contribute positive area; regions below contribute negative area.
• Defined as the limit of Riemann sums as the number of subintervals approaches infinity: $\lim_{n \to \infty} \sum_{i=1}^{n} f(x_i^*) \Delta x$
• Can equal zero even for non-zero functions if positive and negative regions cancel exactly. For example, $\int_{-1}^{1} x \, dx = 0$ because the area below the x-axis on $[-1, 0]$ perfectly cancels the area above on $[0, 1]$.

---

Algebraic Manipulation Rules

These properties let you break apart, rearrange, and simplify integrals. They're essential for both computation and problem-solving.

Additivity of Intervals

• Splits integrals at any point: $\int_a^c f(x) \, dx = \int_a^b f(x) \, dx + \int_b^c f(x) \, dx$ for any value $b$ (it doesn't even have to be between $a$ and $c$, though it usually is in practice).
• Works in reverse too. You can combine adjacent integrals into one, which is especially useful when given piecewise information.
• This is the property you'll use most often when a problem gives you two integral values and asks you to find a third.

Reversing Integration Limits

• Flipping limits negates the integral: $\int_a^b f(x) \, dx = -\int_b^a f(x) \, dx$
• Integration has an orientation, much like direction on a number line. Integrating "backwards" reverses the sign.
• This is your rescue tool when you accidentally set up limits in the wrong order or need to combine integrals whose limits don't match up.

Zero-Width Interval

• When the limits are equal, the integral is zero: $\int_a^a f(x) \, dx = 0$
• This follows directly from the definition (there's no interval to integrate over), and it's consistent with the FTC since $F(a) - F(a) = 0$.

Linearity (Constant Multiple and Sum Rules)

• Constants factor out freely: $\int_a^b k \cdot f(x) \, dx = k \cdot \int_a^b f(x) \, dx$
• Sums and differences split apart: $\int_a^b [f(x) \pm g(x)] \, dx = \int_a^b f(x) \, dx \pm \int_a^b g(x) \, dx$
• These two rules together are called linearity of integration. They let you handle each piece of a complicated integrand separately.

---

Symmetry Shortcuts

When functions have special symmetry properties, you can dramatically reduce your workload on symmetric intervals.

Integration of Even Functions

• Even functions satisfy $f(-x) = f(x)$, meaning they're symmetric about the y-axis. Common examples: $x^2$, $x^4$, $\cos x$, $|x|$.
• Symmetric interval shortcut: $\int_{-a}^{a} f(x) \, dx = 2\int_0^a f(x) \, dx$
• The left half is a mirror image of the right half, so you just double the right half. Always check for this before computing the full integral.

Integration of Odd Functions

• Odd functions satisfy $f(-x) = -f(x)$, meaning they have rotational symmetry about the origin. Common examples: $x^3$, $x^5$, $\sin x$, $\tan x$.
• Symmetric interval result: $\int_{-a}^{a} f(x) \, dx = 0$
• The positive and negative regions cancel exactly. This gives you an instant answer with zero antiderivative work. It's a favorite trick in multiple-choice questions.

---

Estimation and Comparison

When you can't find an exact answer, or when a problem only asks for bounds, these tools are what you need.

Comparison Theorem

• Establishes bounds: if $f(x) \leq g(x)$ on $[a, b]$, then $\int_a^b f(x) \, dx \leq \int_a^b g(x) \, dx$
• Inequality relationships between functions are preserved when you integrate.
• A useful special case: if $m \leq f(x) \leq M$ on $[a, b]$, then $m(b - a) \leq \int_a^b f(x) \, dx \leq M(b - a)$. This gives you quick rectangular bounds on any integral.

Average Value of a Function

• Formula: $f_{\text{avg}} = \frac{1}{b-a} \int_a^b f(x) \, dx$
• Geometric interpretation: $f_{\text{avg}}$ is the height of a rectangle with base $[a, b]$ whose area equals the area under the curve.
• This appears in physics applications (average velocity, average temperature) and connects to the Mean Value Theorem for Integrals, which guarantees that some $c$ in $[a, b]$ satisfies $f(c) = f_{\text{avg}}$ (provided $f$ is continuous).

---

Evaluation Techniques

These strategies transform difficult integrals into manageable ones.

Integration by Substitution for Definite Integrals

When you spot a composite function structure in the integrand, substitution is your go-to technique. Here's the process:

1. Identify the inner function and set $u = g(x)$.
2. Compute $du = g'(x) \, dx$ and solve for $dx$ if needed.
3. Convert the limits: when $x = a$, the new lower limit is $u = g(a)$; when $x = b$, the new upper limit is $u = g(b)$.
4. Rewrite the entire integral in terms of $u$ and $du$.
5. Evaluate using the new limits. No back-substitution is needed since you already converted the bounds.

This is cleaner than indefinite substitution because you never have to return to the original variable.

Definite Integrals of Periodic Functions

• Period property: if $f$ has period $T$ (meaning $f(x + T) = f(x)$ for all $x$), then $\int_a^{a+T} f(x) \, dx$ gives the same value regardless of the starting point $a$.
• Scaling shortcut: $\int_0^{nT} f(x) \, dx = n \int_0^T f(x) \, dx$ for any positive integer $n$.
• For example, $\int_0^{4\pi} \sin^2(x) \, dx = 2 \int_0^{2\pi} \sin^2(x) \, dx$ because $\sin^2(x)$ has period $\pi$, so $4\pi$ covers 4 full periods and $2\pi$ covers 2.

---

Quick Reference Table

---

Self-Check Questions

1. If $\int_0^3 f(x) \, dx = 7$ and $\int_0^5 f(x) \, dx = 12$, what is $\int_3^5 f(x) \, dx$? Which property did you use?

2. Without computing any antiderivatives, evaluate $\int_{-2}^{2} x^5 \cos(x) \, dx$. What did you check first? (Hint: determine whether the integrand is even, odd, or neither.)

3. How does the Fundamental Theorem of Calculus differ from the Riemann sum definition of a definite integral? When would you use each approach?

4. Given that $0 \leq \sin^2(x) \leq 1$ on $[0, \pi]$, what bounds can you establish for $\int_0^{\pi} \sin^2(x) \, dx$?

5. If $\int_0^4 f(x) \, dx = 10$, what is the average value of $f$ on $[0, 4]$? What's the geometric interpretation of your answer?