Exploring Behaviors of Implicit Relations

3. Visual Connection

5. Concept Development

Relations can have several branches

An equation \(F(x,y)=0\) may describe several local functions of \(x\) even when the entire relation fails the vertical line test. For example, a circle contains an upper and a lower branch. Derivative conclusions must therefore identify both the point and the branch being analyzed.

Verify that a point belongs to the relation

Every tangent, critical-point, or extrema candidate must satisfy the original equation. A value obtained from the derivative condition alone is only a coordinate candidate; substitute it back into \(F(x,y)=0\) to find all corresponding ordered pairs.

Differentiate implicitly

Differentiate both sides with respect to \(x\). Because \(y\) depends locally on \(x\), each derivative of a \(y\)-expression requires the chain rule:

Collect every term containing \(y'\), factor it, and then solve for \(y'\).

The partial-derivative structure

For a differentiable relation \(F(x,y)=0\), implicit differentiation has the compact form

This formula explains why the denominator controls whether the relation can locally be viewed as a differentiable function \(y(x)\).

Critical points are ordered pairs

In this topic, a point on an implicit relation is critical when \(dy/dx=0\) or \(dy/dx\) does not exist. Report \((x,y)\), not merely an \(x\)-value, because one input may correspond to several branches with different behavior.

Horizontal tangents

If \(y'=N(x,y)/D(x,y)\), a horizontal tangent normally requires

The tangent line at \((a,b)\) is then \(y=b\). Solving only the numerator condition does not locate the complete point.

Vertical tangents and undefined slopes

A vertical tangent normally occurs when \(D=0\), \(N\ne0\), and the point lies on the relation. Its equation is \(x=a\). If both numerator and denominator are zero, the quotient alone is inconclusive; the point may have multiple tangents, a cusp, or another singular behavior.

Increasing and decreasing behavior

On any branch that is locally a function of \(x\), \(y'>0\) means the branch increases from left to right and \(y'<0\) means it decreases. Split the branch at critical points, vertical tangencies, and other domain breaks, then determine the derivative sign on each piece.

Use sign changes to justify local extrema

A horizontal critical point is a local maximum when \(y'\) changes from positive to negative and a local minimum when it changes from negative to positive. No sign change means there is no local extremum. Name the relevant local branch in the conclusion.

Find the second derivative implicitly

Differentiate the equation for \(y'\) again with respect to \(x\), treating every occurrence of \(y\) as a function. The resulting \(y''\) may legitimately depend on \(x\), \(y\), and \(y'\). Substitute the first-derivative formula or the coordinates only after differentiating correctly.

Concavity is also branch-specific

Where \(y''>0\), the local branch is concave up; where \(y''<0\), it is concave down. A candidate inflection point must lie on the relation and must have an actual change in concavity. The condition \(y''=0\) alone is not sufficient.

A reliable AP analysis routine

First verify the relation and compute \(y'\). Next solve the derivative conditions together with the original equation. Then use signs of \(y'\) or \(y''\) to justify behavior. Finish with precise language such as “the upper branch has a local maximum at \((0,2)\) because \(y'\) changes from positive to negative.”

Common errors

Frequent errors include omitting \(y'\) after differentiating a \(y\)-term, forgetting the product rule on \(xy\), reporting only one coordinate, calling every undefined derivative a vertical tangent, dividing by an expression before checking when it is zero, and claiming an extremum or inflection point without a sign-change justification.

6. Detailed Worked Example and Error Check

Example 1: Tangent line to a circle. For \(x^2+y^2=25\),

At \((3,4)\), the slope is \(-3/4\). The tangent line is

The point was checked in the relation: \(3^2+4^2=25\).

Example 2: Complete behavior of an ellipse. On \(x^2+4y^2=16\),

Horizontal tangents occur at \((0,\pm2)\); vertical tangents occur at \((\pm4,0)\). On the upper branch \(y>0\), the derivative is positive for \(-4<x<0\) and negative for \(0<x<4\), so \((0,2)\) is a local maximum. On the lower branch, the signs reverse, so \((0,-2)\) is a local minimum.

Example 3: Product-rule relation. For \(x^2+xy+y^2=7\),

Horizontal tangents require \(y=-2x\). Substitution into the relation gives \(3x^2=7\), so the points are \((\pm\sqrt{7/3},\mp2\sqrt{7/3})\). Vertical tangents require \(x=-2y\), giving \((\mp2\sqrt{7/3},\pm\sqrt{7/3})\). At each set, the other part of the quotient is nonzero.

Example 4: Classifying several horizontal critical points. Consider

Horizontal candidates have \(x=0\). The relation then gives \(y=0,\pm\sqrt3\). Differentiating again and using \(x=0\) and \(y'=0\) gives

Thus \(y''=2/3>0\) at \((0,0)\), making it a local minimum of its branch. At \((0,\pm\sqrt3)\), \(y''=-1/3<0\), so each is a local maximum of its local branch.

Example 5: Concavity of circle branches. Starting with \(y'=-x/y\), differentiate again:

The upper semicircle has \(y>0\), so \(y''<0\) and is concave down. The lower semicircle has \(y<0\), so \(y''>0\) and is concave up. At \((3,4)\), \(y''=-25/64\).

Example 6: A relation with no horizontal tangent. On the first-quadrant branch of \(xy=12\),

The branch is decreasing and concave up for every \(x>0\). Its derivative never equals zero, so it has no horizontal tangent or local extremum on that branch.

Example 7: Why \(0/0\) is inconclusive. For \(y^2=x^2(x+1)\),

At \((0,0)\), this formula gives \(0/0\), so it cannot identify a vertical tangent. Near the origin the two branches are \(y=\pm x\sqrt{x+1}\), whose slopes at \(x=0\) are \(1\) and \(-1\). The singular point has two tangent lines, \(y=x\) and \(y=-x\).