AP-CALCBC-5.12

U5.12 Exploring Behaviors of Implicit Relations

Master AP Calculus BC 5.12: use implicit differentiation to find horizontal and vertical tangents and analyze concavity of implicitly defined curves.

What you'll do in this lesson

A voice-first session with the Crimsora tutor on U5.12 Exploring Behaviors of Implicit Relations, then targeted practice and FRQs — with the tutor adapting to where you get stuck.

What this lesson covers

Not every curve can be solved for yy in terms of xx. Circles, ellipses, and tangled relations like x3+y3=6xyx^3 + y^3 = 6xy define yy implicitly, yet they still have tangent lines and bends you can analyze. In this lesson you will take the same first- and second-derivative tools you used for explicit functions and apply them to implicit relations.

The payoff: you can locate where a curve has a horizontal tangent (a possible high or low point), where it turns vertical (where dydx\frac{dy}{dx} blows up), and where it is concave up or down. These are classic AP free-response and multiple-choice targets, so we will focus on the algebra that trips students up and the reasoning graders reward.

Setting Up the Implicit Derivative

An implicit relation ties xx and yy together in one equation, such as x2+xy+y2=7x^2 + xy + y^2 = 7. To differentiate, apply ddx\frac{d}{dx} to every term, treating yy as a function of xx so that each yy-derivative carries a factor of dydx\frac{dy}{dx} (the chain rule). Products of xx and yy require the product rule.

For x2+xy+y2=7x^2 + xy + y^2 = 7:2x+(y+xdydx)+2ydydx=0.2x + \left(y + x\frac{dy}{dx}\right) + 2y\frac{dy}{dx} = 0.Collect the dydx\frac{dy}{dx} terms on one side and factor:dydx(x+2y)=(2x+y),dydx=(2x+y)x+2y.\frac{dy}{dx}(x + 2y) = -(2x + y),\qquad \frac{dy}{dx} = \frac{-(2x+y)}{x + 2y}.Notice the result usually depends on both xx and yy. That is the key feature of implicit differentiation and the source of most of the analysis in this topic. A very common error is forgetting the dydx\frac{dy}{dx} factor on yy-terms or mishandling the product rule on the xyxy term. Always write dydx\frac{dy}{dx} explicitly rather than in your head, and factor cleanly so you can read off a numerator and a denominator — those two pieces drive the entire tangent analysis that follows.

Horizontal and Vertical Tangents

Once dydx\frac{dy}{dx} is written as a fraction ND\frac{N}{D}, the tangent behavior comes straight from the numerator and denominator.
FeatureConditionMeaning
Horizontal tangentN=0N = 0 and D0D \ne 0slope is 00
Vertical tangentD=0D = 0 and N0N \ne 0slope undefined
Indeterminate pointN=0N = 0 and D=0D = 0needs further analysis (cusp, node, or crossing)
Critically, setting N=0N=0 or D=0D=0 alone is not enough. Those equations describe conditions on xx and yy, but the point must also lie on the original curve. So you solve a system: the numerator (or denominator) equation together with the original relation.

For dydx=(2x+y)x+2y\frac{dy}{dx} = \frac{-(2x+y)}{x+2y}, horizontal tangents need 2x+y=02x + y = 0, i.e. y=2xy = -2x, substituted back into x2+xy+y2=7x^2 + xy + y^2 = 7. Vertical tangents need x+2y=0x + 2y = 0 combined with the same relation. The AP exam frequently asks you to justify that a point gives a horizontal tangent by verifying both that the numerator is zero and the denominator is nonzero there. Do not skip that nonzero check — it is a common place points are lost.

The Second Derivative and Concavity

To find d2ydx2\frac{d^2y}{dx^2}, differentiate dydx\frac{dy}{dx} again with respect to xx, using the quotient rule and remembering that any remaining yy differentiates to dydx\frac{dy}{dx}. This produces an expression containing dydx\frac{dy}{dx}, which you then replace using your first-derivative formula. The result is written purely in terms of xx and yy.

For example, from dydx=xy\frac{dy}{dx} = \frac{-x}{y} on the circle x2+y2=r2x^2 + y^2 = r^2:d2ydx2=(yxdydx)y2=(yxxy)y2=(y2+x2)y3=r2y3.\frac{d^2y}{dx^2} = \frac{-\left(y - x\frac{dy}{dx}\right)}{y^2} = \frac{-\left(y - x\cdot\frac{-x}{y}\right)}{y^2} = \frac{-(y^2 + x^2)}{y^3} = \frac{-r^2}{y^3}.Concavity follows the usual rule: the curve is concave up where d2ydx2>0\frac{d^2y}{dx^2} > 0 and concave down where it is negative. On the upper half of the circle (y>0y>0) the expression is negative, so the curve is concave down — exactly what a circle looks like on top. A frequent misconception is trying to determine concavity from the sign of dydx\frac{dy}{dx}; concavity comes only from the second derivative. Always substitute the first-derivative formula before evaluating, or you will leave a stray dydx\frac{dy}{dx} in your answer.

How the Exam Tests This

On multiple-choice questions you are often given a point and asked for the slope, the equation of the tangent line, or the value of d2ydx2\frac{d^2y}{dx^2} at that point. These reward clean algebra and correct chain-rule bookkeeping. On free-response, you typically differentiate implicitly, then are asked to (a) find all points with a horizontal tangent, (b) show a tangent is vertical, or (c) determine concavity or classify a point.

Graders look for specific evidence. For a horizontal tangent, show the numerator equals zero and confirm the denominator does not. For concavity at a point, produce a numerical value of d2ydx2\frac{d^2y}{dx^2} and state its sign with a conclusion ("since d2ydx2=14<0\frac{d^2y}{dx^2} = -\tfrac{1}{4} < 0, the curve is concave down there").

Time-savers: keep dydx\frac{dy}{dx} as a single fraction, and when a problem gives you a specific point, plug in numbers early once you have the first derivative — you rarely need the fully simplified symbolic second derivative. Watch units of justification: a bare answer without the sign statement or the nonzero-denominator check often costs a point even when the arithmetic is perfect.

Key terms

Implicit relation.
An equation relating xx and yy that is not solved for yy, such as x2+y2=25x^2 + y^2 = 25, yet still defines one or more curves.
Implicit differentiation.
Differentiating both sides of a relation with respect to xx, treating yy as a function of xx so every yy-term gains a factor of dydx\frac{dy}{dx}.
Horizontal tangent.
A point where dydx=0\frac{dy}{dx} = 0, which for a fraction ND\frac{N}{D} means the numerator is zero while the denominator is nonzero.
Vertical tangent.
A point where dydx\frac{dy}{dx} is undefined because the denominator is zero while the numerator is nonzero; the tangent line is vertical.
Second derivative.
d2ydx2\frac{d^2y}{dx^2}, found by differentiating dydx\frac{dy}{dx} again and substituting the first-derivative expression to remove any remaining dydx\frac{dy}{dx}.
Concavity.
The direction a curve bends: concave up where d2ydx2>0\frac{d^2y}{dx^2} > 0 and concave down where d2ydx2<0\frac{d^2y}{dx^2} < 0.

Worked example

Consider the curve x2xy+y2=3x^2 - xy + y^2 = 3. Find all points where the curve has a horizontal tangent, and determine whether the curve is concave up or down at the point (1,2)(1,2).
Differentiate implicitly. Using the product rule on xyxy:2x(y+xdydx)+2ydydx=0.2x - \left(y + x\frac{dy}{dx}\right) + 2y\frac{dy}{dx} = 0.Group the dydx\frac{dy}{dx} terms:dydx(2yx)=y2x    dydx=y2x2yx.\frac{dy}{dx}(2y - x) = y - 2x \;\Rightarrow\; \frac{dy}{dx} = \frac{y - 2x}{2y - x}.Horizontal tangents require the numerator y2x=0y - 2x = 0, so y=2xy = 2x, with denominator 2yx02y - x \ne 0. Substitute y=2xy = 2x into the original curve:x2x(2x)+(2x)2=x22x2+4x2=3x2=3    x=±1.x^2 - x(2x) + (2x)^2 = x^2 - 2x^2 + 4x^2 = 3x^2 = 3 \;\Rightarrow\; x = \pm 1.This gives the points (1,2)(1, 2) and (1,2)(-1, -2). Check the denominator at (1,2)(1,2): 2(2)1=302(2) - 1 = 3 \ne 0, and at (1,2)(-1,-2): 4+1=30-4 + 1 = -3 \ne 0. Both are genuine horizontal tangents.

Now concavity at (1,2)(1,2). First confirm dydx=0\frac{dy}{dx} = 0 there. Differentiate dydx=y2x2yx\frac{dy}{dx} = \frac{y - 2x}{2y - x} using the quotient rule:d2ydx2=(dydx2)(2yx)(y2x)(2dydx1)(2yx)2.\frac{d^2y}{dx^2} = \frac{\left(\frac{dy}{dx} - 2\right)(2y - x) - (y - 2x)\left(2\frac{dy}{dx} - 1\right)}{(2y - x)^2}.At (1,2)(1,2), dydx=0\frac{dy}{dx} = 0 and y2x=0y - 2x = 0, so the second term vanishes:d2ydx2=(02)(221)(221)2=(2)(3)9=23.\frac{d^2y}{dx^2} = \frac{(0 - 2)(2\cdot 2 - 1)}{(2\cdot 2 - 1)^2} = \frac{(-2)(3)}{9} = -\frac{2}{3}.Since d2ydx2=23<0\frac{d^2y}{dx^2} = -\frac{2}{3} < 0, the curve is concave down at (1,2)(1,2), consistent with this point being a local maximum on that branch.

Practice questions

For the curve x2+y2=25x^2 + y^2 = 25, at which point does the curve have a vertical tangent line?
  1. (0,5)(0, 5)
  2. (5,0)(5, 0)
  3. (3,4)(3, 4)
  4. (0,5)(0, -5)

Answer: (5,0)(5, 0)

Implicit differentiation gives 2x+2ydydx=02x + 2y\frac{dy}{dx} = 0, so dydx=xy\frac{dy}{dx} = \frac{-x}{y}. A vertical tangent occurs where the denominator is zero and the numerator is nonzero: y=0y = 0 with x0x \ne 0. On the circle, y=0y = 0 gives x=±5x = \pm 5. Among the choices, (5,0)(5,0) satisfies this. The points (0,5)(0,5) and (0,5)(0,-5) give dydx=0\frac{dy}{dx}=0 (horizontal tangents), and at (3,4)(3,4) the slope is 34-\frac{3}{4}.
The curve defined by y2=x33x+3y^2 = x^3 - 3x + 3 passes through the point (1,1)(1, 1). Find dydx\frac{dy}{dx} at this point, and determine whether the curve is concave up or concave down there. Justify your answer.

Answer: dydx=0\frac{dy}{dx} = 0 at (1,1)(1,1), and the curve is concave up there.

Differentiate: 2ydydx=3x232y\frac{dy}{dx} = 3x^2 - 3, so dydx=3x232y\frac{dy}{dx} = \frac{3x^2 - 3}{2y}. At (1,1)(1,1): 332=0\frac{3 - 3}{2} = 0, a horizontal tangent. Differentiate again with the quotient rule: d2ydx2=6x(2y)(3x23)(2dydx)4y2\frac{d^2y}{dx^2} = \frac{6x(2y) - (3x^2-3)(2\frac{dy}{dx})}{4y^2}. At (1,1)(1,1) the second term vanishes because 3x23=03x^2 - 3 = 0, leaving d2ydx2=6(1)(2)4(1)=124=3>0\frac{d^2y}{dx^2} = \frac{6(1)(2)}{4(1)} = \frac{12}{4} = 3 > 0, meaning concave up. Because the first derivative is zero and the second derivative is positive, (1,1)(1,1) is a local minimum on that branch and the curve is concave up there.
For the relation xy+y2=6xy + y^2 = 6, find all xx-values (with corresponding points) where the curve has a horizontal tangent line.

Answer: There are no points with a horizontal tangent.

Differentiating: y+xdydx+2ydydx=0y + x\frac{dy}{dx} + 2y\frac{dy}{dx} = 0, so dydx(x+2y)=y\frac{dy}{dx}(x + 2y) = -y, giving dydx=yx+2y\frac{dy}{dx} = \frac{-y}{x + 2y}. A horizontal tangent needs the numerator y=0-y = 0, i.e. y=0y = 0. But substituting y=0y = 0 into xy+y2=6xy + y^2 = 6 gives 0=60 = 6, which is impossible. Since no point on the curve has y=0y = 0, there are no horizontal tangents. This illustrates why you must always check the numerator condition against the original equation.

FAQ

How do I know whether a tangent is horizontal or vertical?
Write dydx\frac{dy}{dx} as a single fraction ND\frac{N}{D}. A horizontal tangent occurs where the numerator N=0N = 0 but the denominator D0D \ne 0 (slope zero). A vertical tangent occurs where D=0D = 0 but N0N \ne 0 (slope undefined). Always verify the point actually lies on the original curve.
Why does my second derivative still have dy/dx in it?
That is expected after the first round of differentiation. You must substitute your first-derivative expression dydx=ND\frac{dy}{dx} = \frac{N}{D} back into the result so that d2ydx2\frac{d^2y}{dx^2} is written only in terms of xx and yy. If a problem gives a specific point, you can plug in the numeric value of dydx\frac{dy}{dx} instead of simplifying symbolically.
What happens when both the numerator and denominator of dy/dx are zero at a point?
That point is indeterminate — the simple horizontal/vertical rule does not apply. The curve may have a cusp, a self-intersection, or cross itself. On the AP exam these cases are rare; if you meet one, additional analysis (such as examining nearby behavior or the original equation) is needed, and the problem will usually guide you.
Do I really need to check that the denominator is nonzero for a horizontal tangent?
Yes. Setting the numerator to zero only shows the slope could be zero. If the denominator is also zero there, the slope is not actually zero — it is indeterminate. AP graders often require this nonzero-denominator statement as part of a complete justification, so include it.

Learn this with a teacher, not a page

The Crimsora tutor teaches U5.12 Exploring Behaviors of Implicit Relations live — explaining on a whiteboard, asking you questions, and adapting to where you get stuck.