Why Implicit Curves Need Careful Boundary Choices
An implicit equation describes a relationship between \(x\) and \(y\) without necessarily giving \(y\) directly as a function of \(x\). For example, \(x^2+y^2=4\) describes a circle, while \(y^2=x\) describes a sideways parabola. To set up an area integral, we need to identify which part of each curve forms the region’s boundary and how the boundaries are ordered along the chosen slices.
The same implicit equation can produce more than one branch. The equation \(y^2=x\), for instance, gives \(y=\sqrt{x}\) and \(y=-\sqrt{x}\) when \(x\geq 0\). Selecting one without checking the region can put the boundary on the wrong side of a slice. A reliable setup therefore combines three tasks: solve for intersections, select the relevant branches, and verify that those branches enclose the region over the proposed interval.
Intersections and Boundary Branches
Suppose two curves are given implicitly by equations involving \(x\) and \(y\). Their intersection points must satisfy both equations at once. Solving the equations together provides candidate endpoints for the region. Each candidate must then be checked in the original equations, and the relevant interval must be chosen based on the region being measured.
Next, decide whether vertical or horizontal slices give simpler boundary expressions. For vertical slices, the boundaries are written as \(y\)-values, so each slice has height \(y_{\text{top}}-y_{\text{bottom}}\). For horizontal slices, the boundaries are written as \(x\)-values, so each slice has width \(x_{\text{right}}-x_{\text{left}}\). An implicit curve may be easier to solve for \(x\) in terms of \(y\), or for \(y\) in terms of \(x\); that is often a useful reason to choose one direction over the other.
Why the Slice Formula Works
For a horizontal slice at height \(y\), the region runs from \(x=L(y)\) to \(x=R(y)\). Its width is therefore \(R(y)-L(y)\). A thin strip of height \(\Delta y\) has approximate area \((R(y)-L(y))\Delta y\). Adding the strip areas over the interval and taking the limit as the strip heights shrink gives the definite integral of the width. The vertical-slice argument is the same, with the strip height \(T(x)-B(x)\) and strip width \(\Delta x\).
This reasoning requires the chosen boundaries to describe the region throughout the integration interval. In particular, the branches must be real there, must be ordered as stated, and must meet at the proposed endpoints when those endpoints are intersections. If any of these checks fails, the proposed integral does not represent the intended region.
Worked Example: The Lens Between Two Implicit Circles
Find the area common to the two circles $$ x^2+y^2=4 \qquad\text{and}\qquad (x-2)^2+y^2=4. $$
Begin by finding their intersections. Subtract the second equation from the first: $$ x^2-(x-2)^2=0. $$ Since \((x-2)^2=x^2-4x+4\), this becomes $$ x^2-(x^2-4x+4)=4x-4=0, $$ so \(x=1\). Substituting into \(x^2+y^2=4\) gives \(1+y^2=4\), hence \(y^2=3\) and \(y=\pm\sqrt{3}\). The horizontal bounds are therefore \(-\sqrt{3}\leq y\leq\sqrt{3}\).
For a horizontal slice, solve each circle for \(x\). The relevant right-hand branch of the left circle is $$ x=\sqrt{4-y^2}, $$ and the relevant left-hand branch of the right circle is $$ x=2-\sqrt{4-y^2}. $$ These branches are real on the proposed interval. At \(y=0\), they give \(x=2\) and \(x=0\), respectively, so the latter is the left boundary and the former the right boundary. At \(y=\pm\sqrt{3}\), both give \(x=1\), as required at the intersections.
The width of a slice is thus $$ \sqrt{4-y^2}-\bigl(2-\sqrt{4-y^2}\bigr) =2\sqrt{4-y^2}-2. $$ The area is $$ A=\int_{-\sqrt{3}}^{\sqrt{3}}\bigl(2\sqrt{4-y^2}-2\bigr)\,dy. $$ An antiderivative is \(G(y)=y\sqrt{4-y^2}+4\arcsin(y/2)-2y\). Indeed, differentiating the first two terms gives \(2\sqrt{4-y^2}\), and differentiating \(-2y\) gives \(-2\).
At \(y=\sqrt{3}\), $$ G(\sqrt{3})=\sqrt{3}+4\arcsin(\sqrt{3}/2)-2\sqrt{3} =\frac{4\pi}{3}-\sqrt{3}. $$ At \(y=-\sqrt{3}\), $$ G(-\sqrt{3})=-\sqrt{3}-\frac{4\pi}{3}+2\sqrt{3} =\sqrt{3}-\frac{4\pi}{3}. $$ Therefore $$ A=G(\sqrt{3})-G(-\sqrt{3}) =\frac{8\pi}{3}-2\sqrt{3}. $$ The result is positive, and the slice width is zero at both endpoints and positive at \(y=0\), consistent with the lens-shaped region.
Solving for the Convenient Boundary Variable
Implicit equations are not required to be solved for \(y\). If the region is easier to describe with horizontal slices, solve for \(x\) instead. The important point is to keep track of the sign choice and to check the ordering of the resulting branches across the full interval.
Worked Example: A Sideways Parabola and a Line
Find the area enclosed by the implicit parabola \(x=y^2\) and the line \(x=2-y\).
At an intersection, both expressions for \(x\) agree: $$ y^2=2-y. $$ Rearranging gives \(y^2+y-2=0\), which factors as $$ (y+2)(y-1)=0. $$ Thus the intersection heights are \(y=-2\) and \(y=1\). Their corresponding \(x\)-coordinates are \(x=(-2)^2=4\) and \(x=1^2=1\), respectively.
For \(-2\leq y\leq 1\), the parabola gives the left boundary \(x=y^2\), and the line gives the right boundary \(x=2-y\). To check the order, at \(y=0\) the two values are \(0\) and \(2\), so the line is to the right. The difference is $$ (2-y)-y^2=-(y+2)(y-1), $$ which is nonnegative on \([-2,1]\). The horizontal-slice setup is therefore $$ A=\int_{-2}^{1}\bigl((2-y)-y^2\bigr)\,dy =\int_{-2}^{1}(2-y-y^2)\,dy. $$
An antiderivative is \(F(y)=2y-y^2/2-y^3/3\), since \(F'(y)=2-y-y^2\). Evaluate both endpoints: $$ F(1)=2-\frac12-\frac13=\frac76, $$ and $$ F(-2)=-4-\frac{4}{2}-\frac{(-2)^3}{3} =-4-2+\frac83=-\frac{10}{3}. $$ Consequently, $$ A=F(1)-F(-2)=\frac76+\frac{10}{3} =\frac76+\frac{20}{6}=\frac{27}{6}=\frac92. $$ The width vanishes at \(y=-2\) and \(y=1\), and is positive between them, confirming the endpoint and order checks.
Multiple Branches and a Choice of Sign
When solving an implicit equation, it is essential to retain only the branch that belongs to the boundary under consideration. This is not an algebraic shortcut: it is a geometric choice that must agree with the region. If the equation produces several branches, use the region’s location and a test point to identify the relevant one.
Worked Example: Two Parabolas Given Implicitly
Find the area of the region in the first quadrant bounded by \(y=x^2\) and \(y^2=x\).
To find the intersections, substitute \(y=x^2\) into \(y^2=x\): $$ (x^2)^2=x, \qquad x^4=x, \qquad x(x^3-1)=0. $$ The real solutions are \(x=0\) and \(x=1\). Using \(y=x^2\), the corresponding points are \((0,0)\) and \((1,1)\).
For vertical slices in the first quadrant, \(y=x^2\) is the lower boundary. The implicit equation \(y^2=x\) gives \(y=\sqrt{x}\) or \(y=-\sqrt{x}\), but the first-quadrant condition selects \(y=\sqrt{x}\). At \(x=1/4\), the two boundary values are \(1/16\) and \(1/2\), confirming their order. Thus $$ A=\int_0^1\bigl(\sqrt{x}-x^2\bigr)\,dx. $$ An antiderivative is \(H(x)=\frac23x^{3/2}-\frac13x^3\), because \(H'(x)=\sqrt{x}-x^2\). Hence $$ A=H(1)-H(0) =\left(\frac23-\frac13\right)-0 =\frac13. $$ At \(x=0\) and \(x=1\), the boundaries agree, as they should at the two intersections.
A Common Mistake: Using the Wrong Branch or Order
In the preceding example, a common error is to solve \(y^2=x\) as \(y=-\sqrt{x}\) despite describing a region in the first quadrant. Another is to subtract the upper boundary from the lower one. For example, using \(x^2-\sqrt{x}\) on \([0,1]\) gives $$ \int_0^1(x^2-\sqrt{x})\,dx =\frac13-\frac23=-\frac13. $$ The negative result signals that the subtraction order is reversed. In the stated first-quadrant region, the correct branch is \(y=\sqrt{x}\), above \(y=x^2\), so the correct integrand is \(\sqrt{x}-x^2\), and the area is \(1/3\).
A Reliable Setup Procedure
For an area bounded by implicit curves, a careful setup follows a short sequence. The intersection equations identify candidate bounds; the branch choices identify which parts of the curves are relevant; and a test point checks the order. Only after those steps should the slice lengths be placed inside an integral.
Set the two implicit expressions equal when possible, solve, and substitute back to obtain the intersection coordinates.
Use vertical slices if the relevant boundaries are simpler as \(y\)-values, and horizontal slices if they are simpler as \(x\)-values.
Use the region’s position to choose among sign choices or other branches, and check that the chosen expressions are real on the interval.
Use a test point to identify the left and right, or bottom and top, boundaries. Subtract in the order that gives a nonnegative slice length.
These checks matter because an implicit equation may describe several branches, while an area integral uses only the branches that bound the particular region. The intersection equations alone do not determine which region is intended. A sound setup makes the interval, branches, and subtraction order explicit, so the integral corresponds to the geometry rather than merely to an algebraic manipulation.
Check Your Understanding
For each question, identify the branches and bounds before deciding on the integral.
- For the implicit curve \(y^2=x\), what two branches are real when \(x\geq0\)?
- For \(x=y^2\) and \(x=2-y\), what equation gives the intersection heights?
- Why is a test point useful after selecting candidate boundary branches?
- If horizontal slices run from \(x=L(y)\) to \(x=R(y)\), which expression gives the slice width?
- In the first-quadrant region bounded by \(y=x^2\) and \(y^2=x\), which branch of \(y^2=x\) is relevant, and why?
