Why an Area Setup Needs Justification
An area integral is more than a pair of limits and a difference of functions. Its bounds must describe the region being measured, and its integrand must give a nonnegative slice length throughout those bounds. A graph can suggest the correct setup, but a mathematical justification explains why the setup is correct.
The key evidence comes from two places: the intersections that delimit the region, and the sign of the difference between the boundary functions. The intersections identify where candidate boundaries meet. A sign test on the interval between them establishes which boundary is upper or lower, or right or left.
Intersections and Slice Orientation
Suppose two boundary curves are given as \(y=f(x)\) and \(y=g(x)\). Their intersection \(x\)-coordinates satisfy \(f(x)=g(x)\). If vertical slices run through the region from \(x=a\) to \(x=b\), the slice length is a difference of \(y\)-values, so the area setup has the form
For horizontal slices, the boundaries are instead written as \(x=p(y)\) and \(x=q(y)\). Their intersection \(y\)-coordinates satisfy \(p(y)=q(y)\), and the slice length is a difference of \(x\)-values:
The variable of integration follows the slice direction: vertical slices have thickness \(dx\), and horizontal slices have thickness \(dy\). The bounds must be expressed in that same variable. When the boundaries meet at the ends of the region, their intersection coordinates supply those bounds.
Why the Difference Gives Area
For a vertical slice at \(x\), the upper boundary has height \(y_{\text{upper}}\) and the lower boundary has height \(y_{\text{lower}}\). The distance between them is therefore \(y_{\text{upper}}-y_{\text{lower}}\). Over a small width \(\Delta x\), the slice is approximated by a rectangle with area \((y_{\text{upper}}-y_{\text{lower}})\Delta x\).
Adding these approximate rectangle areas over a partition of the interval gives a Riemann sum. In the limit as the widths shrink to zero, that sum becomes the definite integral of the slice length. The same reasoning applies to horizontal slices, where the length is \(x_{\text{right}}-x_{\text{left}}\) and the small thickness is \(\Delta y\). This justifies integrating the appropriate nonnegative slice length over the full interval.
Proving Which Boundary Comes First
An intersection equation alone does not establish the order of the curves between intersections. To justify the integrand, subtract one boundary function from the other and determine the sign of the difference across the interval. Factoring the difference is often useful: its factors reveal where it is positive, negative, or zero.
If a difference has no convenient factorization, a sign test can still be made by evaluating it at a point in the interval, provided its sign cannot change there. For continuous functions, a sign change can occur only where the difference is zero. Thus, after finding all intersections in the interval, testing one point in each resulting subinterval determines the order throughout that subinterval.
Set the boundary functions equal and solve for the coordinates where they meet.
State whether the slices are vertical or horizontal and use the matching variable for the bounds.
Subtract the candidate boundaries and determine the sign on each interval between intersections.
Use upper minus lower for vertical slices or right minus left for horizontal slices, with the justified bounds.
Worked Example: A Parabola and a Line
Worked Example: Justifying a Vertical-Slice Setup
Find the area enclosed by \(y=x^2\) and \(y=2x\), and justify the bounds and order of the integrand.
First find the intersections by setting the \(y\)-values equal:
Thus \(x=0\) or \(x=2\). Substituting into \(y=2x\), the intersection points are \((0,0)\) and \((2,4)\). The enclosed region extends from \(x=0\) to \(x=2\), so vertical slices use those \(x\)-bounds.
To determine the order, subtract the parabola from the line:
For \(0\le x\le2\), both factors \(x\) and \(2-x\) are nonnegative. Therefore \(2x-x^2\ge0\), which proves \(2x\ge x^2\) throughout the interval. The line is upper and the parabola is lower. The justified setup is
Evaluate using the antiderivative \(x^2-\frac{x^3}{3}\):
Check the antiderivative: \(\frac{d}{dx}(x^2-\frac{x^3}{3})=2x-x^2\), the integrand. The endpoint substitutions give \(4-\frac83=\frac43\), so the computed area is \(\frac43\) square units.
Worked Example: Horizontal Slices and Right-Boundary Order
Worked Example: Justifying a Horizontal-Slice Setup
Find the area enclosed by \(x=y^2\) and \(x=2-y\), justifying the \(y\)-bounds and the order of the boundaries.
At an intersection, both expressions for \(x\) have the same value:
The intersection \(y\)-coordinates are \(y=-2\) and \(y=1\). Substitution gives \(x=4\) at \(y=-2\) and \(x=1\) at \(y=1\), so the points are \((4,-2)\) and \((1,1)\). Horizontal slices run through the enclosed region for \(-2\le y\le1\).
Compare the candidate \(x\)-values by subtracting the parabola from the line:
On \([-2,1]\), \(1-y\ge0\) and \(y+2\ge0\). The difference is nonnegative, so \(2-y\ge y^2\) throughout the interval. The line \(x=2-y\) is the right boundary, and \(x=y^2\) is the left boundary. Hence
An antiderivative is \(2y-\frac{y^2}{2}-\frac{y^3}{3}\). Evaluating both endpoints:
Check the antiderivative by differentiating: \(2-y-y^2\) is the integrand. The endpoint values are \(\frac76\) and \(-\frac{10}{3}\), whose difference is \(\frac92\). The area is \(\frac92\) square units.
When the Order Changes at an Intersection
A pair of curves can meet more than once, and the upper curve need not be the same on every interval between intersections. In that case, the sign comparison must be made separately on each interval. The following example shows why the order should be established rather than assumed from one portion of a graph.
Worked Example: Checking the Order on Each Interval
Find the total area enclosed by \(y=x^3\) and \(y=x\).
The intersections satisfy \(x^3=x\):
Thus the intersection \(x\)-coordinates are \(-1\), \(0\), and \(1\), giving the points \((-1,-1)\), \((0,0)\), and \((1,1)\). They delimit two enclosed portions. Compare the functions by considering \(x^3-x\), which factors as \(x(x-1)(x+1)\).
On \((-1,0)\), take \(x=-\frac12\). Then
There are no further zeros inside \((-1,0)\), so \(x^3-x>0\) throughout that interval. The cubic is upper there. On \((0,1)\), take \(x=\frac12\):
There are no further zeros inside \((0,1)\), so the line is upper there. The area setup must therefore use a different order on each interval:
For the first integral, an antiderivative is \(\frac{x^4}{4}-\frac{x^2}{2}\):
For the second integral, an antiderivative is \(\frac{x^2}{2}-\frac{x^4}{4}\):
Thus \(A=\frac14+\frac14=\frac12\) square unit. The checks are \(\frac{d}{dx}(\frac{x^4}{4}-\frac{x^2}{2})=x^3-x\) and \(\frac{d}{dx}(\frac{x^2}{2}-\frac{x^4}{4})=x-x^3\); both integrands are nonnegative on their stated intervals.
Common Mistake: Assuming the Order from the Equation
A common error is to find the intersections and then choose an order without checking the difference. For the first example, writing
uses lower minus upper, not upper minus lower. Indeed, \(x^2-2x=x(x-2)\le0\) on \([0,2]\), so this integral evaluates to \(-\frac43\), which cannot represent an area. The correction is to prove that \(2x-x^2\ge0\) on that interval and integrate the line minus the parabola:
The important correction is not simply to make an answer positive afterward. It is to identify the slice length correctly before integrating. If the order changes at an intersection, as in the cubic-and-line example, justify and use the order separately on each interval.
Check Your Understanding
For each question, explain how intersections or a sign comparison justify the setup, rather than relying only on a sketch.
- For \(y=3x\) and \(y=x^2\), find the intersection \(x\)-coordinates and determine which curve is upper between them.
- For \(x=y+1\) and \(x=y^2\), find the intersection \(y\)-coordinates and establish the right boundary on the interval between them.
- What does a vertical slice measure, and why does its area integrand use \(dx\)?
- If two curves intersect at the endpoints of an interval, why should you still compare their values between those endpoints?
- For \(y=x^3\) and \(y=x\), why is one upper-minus-lower expression not valid across the entire interval \([-1,1]\)?
