6.4 Properties of the Definite Integral

6.4 Properties of the Definite Integral

Core CLEP Concept: A definite integral $\int_a^b f(x) , dx$ produces a unique real number rather than a family of functions. It measures the net signed area between the graph of $f(x)$ and the $x$-axis from $x = a$ to $x = b$. On the CLEP Calculus exam, many definite integral questions are designed to test your mastery of integral properties, symmetry rules, and geometric formulas rather than tedious algebraic anti-differentiation.

---

1. Definite Integral as Net Signed Area

Geometrically, the definite integral partitions the region between $y = f(x)$ and the $x$-axis into positive and negative components:

$\int_a^b f(x) \, dx = \text{Area}(\text{Above } x\text{-axis}) - \text{Area}(\text{Below } x\text{-axis})$

   y
   ^
   |       +--+ (Area A_1 > 0)
   |      /++++\              b
---+-----+------+--------------+-----> x
   |    a        \----/       
   |               -- (Area A_2 > 0, signed value is -A_2)

   Integral from a to b = A_1 - A_2
   Total Geometric Area = A_1 + A_2 = int_a^b |f(x)| dx

• Net Signed Area ($\int_a^b f(x) , dx$): Tracks accumulation where downward dips cancel upward peaks (e.g., net displacement in physics).
• Total Geometric Area ($\int_a^b |f(x)| , dx$): Computes the absolute physical surface area by reflecting negative regions above the $x$-axis (e.g., total distance traveled).

---

2. Complete Catalog of Definite Integral Properties

Let $f$ and $g$ be integrable functions on an interval containing $a, b,$ and $c$, and let $k$ and $m$ be real constants.

1. Zero-Width Property

$\int_a^a f(x) \, dx = 0$ An interval of zero width has zero accumulated area.

2. Bounds Reversal Property

$\int_b^a f(x) \, dx = -\int_a^b f(x) \, dx$ Integrating from right to left reverses the sign of $\Delta x$, negating the value of the integral.

3. Linearity Properties

$\int_a^b k \cdot f(x) \, dx = k \int_a^b f(x) \, dx$ $\int_a^b [f(x) \pm g(x)] \, dx = \int_a^b f(x) \, dx \pm \int_a^b g(x) \, dx$ $\int_a^b c \, dx = c(b - a) \quad (\text{for any constant } c)$

4. Interval Additivity Property

$\int_a^b f(x) \, dx + \int_b^c f(x) \, dx = \int_a^c f(x) \, dx$ This identity holds for any real numbers $a, b,$ and $c$, regardless of whether $b$ lies between $a$ and $c$.

5. Comparison and Bounding Properties

• Non-negativity: If $f(x) \ge 0$ for all $x \in [a, b]$, then $\int_a^b f(x) , dx \ge 0$.
• Domination: If $f(x) \ge g(x)$ for all $x \in [a, b]$, then $\int_a^b f(x) , dx \ge \int_a^b g(x) , dx$.
• Min-Max Bounding Property: If $m \le f(x) \le M$ for all $x \in [a, b]$, then: $m(b - a) \le \int_a^b f(x) \, dx \le M(b - a)$

---

3. Symmetry Shortcuts for Definite Integrals

When the interval of integration is symmetric about the origin, $[-a, a]$, examining the algebraic parity (even or odd) of the integrand provides an immediate shortcut.

     Even Function f(-x) = f(x)              Odd Function f(-x) = -f(x)
       y-axis line symmetry                    Origin rotational symmetry
               y                                       y
               ^                                       ^
          +----+----+                             +----+ 
         /|    |    |\                           /|    |   
        /-a----+----+a\                       --a-+----+-----+a--> x
               |                                  |   /|
                                                  +--+-+ 
   int_{-a}^a f(x) dx = 2 * int_0^a f(x) dx     int_{-a}^a f(x) dx = 0 (Areas cancel!)

Formal Symmetry Rules

1. Odd Functions ($f(-x) = -f(x)$): $\int_{-a}^a f(x) \, dx = 0$ The area above the $x$-axis on $[0, a]$ is identical in magnitude and opposite in sign to the area below the $x$-axis on $[-a, 0]$, summing to exactly zero. Common Odd Functions: $x, x^3, x^5, \sin x, \tan x, \frac{x}{x^2 + 1}$.

2. Even Functions ($f(-x) = f(x)$): $\int_{-a}^a f(x) \, dx = 2 \int_0^a f(x) \, dx$ Common Even Functions: $x^2, x^4, \cos x, |x|, \sqrt{r^2 - x^2}, x^2 + 3$.

The "Decomposition Trick" for Mixed Integrands

Messy-looking CLEP problems often combine odd polynomials, odd trigonometric functions, and a single even or geometric term over a symmetric interval $[-a, a]$. By linearity, you can eliminate all odd components instantly:

$\int_{-4}^4 \left( 7x^9 - 3x^5 + \sin(x^3) + 6 \right) dx = \underbrace{\int_{-4}^4 7x^9 \, dx}_{0} - \underbrace{\int_{-4}^4 3x^5 \, dx}_{0} + \underbrace{\int_{-4}^4 \sin(x^3) \, dx}_{0} + \int_{-4}^4 6 \, dx$ $= 0 - 0 + 0 + 6(4 - (-4)) = 6(8) = 48$

---

4. Geometric Evaluation of Definite Integrals

Whenever an integrand represents elementary geometric shapes (rectangles, triangles, trapezoids, semicircles), compute the area using standard geometry formulas.

Standard Geometric Archetypes

Rigorous Worked Example: Semicircle with Linear Shift

Problem: Evaluate $\int_{-3}^3 \left( 2\sqrt{9 - x^2} - 4x + 5 \right) dx$.

Step 1: Apply linearity to decompose the integral. $2 \int_{-3}^3 \sqrt{9 - x^2} \, dx - 4 \int_{-3}^3 x \, dx + \int_{-3}^3 5 \, dx$

Step 2: Evaluate each component.

• The first term represents an upper semicircle of radius $r = 3$: $\int_{-3}^3 \sqrt{9 - x^2} \, dx = \frac{1}{2} \pi (3)^2 = \frac{9\pi}{2} \implies 2\left(\frac{9\pi}{2}\right) = 9\pi$
• The second term is an odd function integrated over symmetric bounds $[-3, 3]$: $-4 \int_{-3}^3 x \, dx = -4(0) = 0$
• The third term is a constant integral: $\int_{-3}^3 5 \, dx = 5(3 - (-3)) = 5(6) = 30$

Step 3: Combine the results. $9\pi - 0 + 30 = 9\pi + 30$

---

5. Multi-Property Algebraic Integral Puzzles

CLEP exams regularly feature algebraic "puzzle" problems where numerical values of several integrals are provided and you must combine interval additivity, bounds reversal, and linearity.

Rigorous Worked Example: Multi-Property Puzzle

Problem: Suppose $\int_1^8 f(x) , dx = 15$, $\int_5^8 f(x) , dx = 6$, and $\int_1^5 g(x) , dx = -4$. Evaluate $\int_1^5 [2f(x) - 3g(x) + 4] , dx$.

Step 1: Find $\int_1^5 f(x) , dx$ using Interval Additivity. $\int_1^8 f(x) \, dx = \int_1^5 f(x) \, dx + \int_5^8 f(x) \, dx$ $15 = \int_1^5 f(x) \, dx + 6 \implies \int_1^5 f(x) \, dx = 15 - 6 = 9$

Step 2: Apply Linearity to the target integral. $\int_1^5 [2f(x) - 3g(x) + 4] \, dx = 2\int_1^5 f(x) \, dx - 3\int_1^5 g(x) \, dx + \int_1^5 4 \, dx$

Step 3: Substitute the known values. $= 2(9) - 3(-4) + 4(5 - 1) = 18 + 12 + 4(4) = 18 + 12 + 16 = 46$

---

6. Common CLEP Pitfalls & Traps

1. Reversing Bounds Without Negating: If a problem requires computing $\int_5^1 f(x) , dx$, remember that $\int_5^1 f(x) , dx = -\int_1^5 f(x) , dx$. Omitting the negative sign is a classic trap.
2. Applying Symmetry Rules to Asymmetric Bounds: The odd function property $\int f = 0$ applies only when the bounds are perfectly symmetric about the origin, $[-a, a]$. For example, $\int_{-2}^3 x^3 , dx \neq 0$.
3. Forgetting the Interval Width for Constants: When evaluating $\int_a^b c , dx$, the result is $c(b - a)$, not simply $c$.
4. Confusing Net Area with Total Area: When asked for total geometric area, you must split the integral at every $x$-intercept where $f(x) = 0$ and take the absolute value of negative regions.