Multivariable-Calculus Β· Unit 9 Β· Video 2 Β· Interactive Practice

The Second Derivative Test for f(x,y): AC βˆ’ BΒ² and Why It Works

IKey Formulas

FormulaNameWhat it says
A=fxx(x0,y0),Β Β B=fxy(x0,y0),Β Β C=fyy(x0,y0)A = f_{xx}(x_0, y_0),\ \ B = f_{xy}(x_0, y_0),\ \ C = f_{yy}(x_0, y_0)Second derivatives at a critical pointThree numbers, taken where fx=fy=0f_x = f_y = 0
ACβˆ’B2>0AC - B^2 > 0: min if A>0A > 0, max if A<0A < 0; Β ACβˆ’B2<0\ AC - B^2 < 0: saddle; Β ACβˆ’B2=0\ AC - B^2 = 0: no conclusionSecond derivative testThe sign of one number sorts the point
w=ax2+bxy+cy2=y2[at2+bt+c],Β Β t=xyw = ax^2 + bxy + cy^2 = y^2\left[at^2 + bt + c\right],\ \ t = \frac{x}{y}Quadratic by directionDiscriminant b2βˆ’4ac>0b^2 - 4ac > 0: saddle; <0< 0: min or max
Ξ”fβ‰ˆA2(xβˆ’x0)2+B(xβˆ’x0)(yβˆ’y0)+C2(yβˆ’y0)2\Delta f \approx \frac{A}{2}(x - x_0)^2 + B(x - x_0)(y - y_0) + \frac{C}{2}(y - y_0)^2Quadratic approximation4β‹…A2β‹…C2βˆ’B2=ACβˆ’B24\cdot\frac{A}{2}\cdot\frac{C}{2} - B^2 = AC - B^2

Key Insight: ACβˆ’B2AC - B^2 is exactly the number 4acβˆ’b24ac - b^2 of the quadratic approximation, so wherever the quadratic terms decide the shape (ACβˆ’B2β‰ 0AC - B^2 \neq 0) the test inherits the completing-the-square classification.

IIVisualization 1 β€” The Sign of ww Direction by Direction

Along the direction t=x/yt = x/y, ww has the sign of at2+bt+cat^2 + bt + c, so two real roots mean a saddle.

IIIVisualization 2 β€” Near the Point, ff Behaves Like Its Quadratic Part

For f=x3+y3βˆ’3xyf = x^3 + y^3 - 3xy, shrinking the window makes Ξ”f\Delta f and its quadratic approximation agree in sign.

IVVisualization 3 β€” When ACβˆ’B2=0AC - B^2 = 0

Four functions share A=2A = 2, B=0B = 0, C=0C = 0 at the origin, yet the higher-order terms give them different shapes.

VQuiz Questions

Problem 1 Β· Reading the Test

Given: at a critical point of ff, Β fxx=βˆ’4\ f_{xx} = -4, Β fxy=2\ f_{xy} = 2, Β fyy=βˆ’3\ f_{yy} = -3. Classify the point.

βœ… Correct! ACβˆ’B2=12βˆ’4=8>0AC - B^2 = 12 - 4 = 8 > 0, and A=βˆ’4<0A = -4 < 0 makes it a maximum.
❌ Close, but… ACβˆ’B2>0AC - B^2 > 0 only says "min or max". The sign of AA decides which, and A=βˆ’4<0A = -4 < 0.
❌ Check the product. AC=(βˆ’4)(βˆ’3)=+12AC = (-4)(-3) = +12, so ACβˆ’B2=12βˆ’4=8AC - B^2 = 12 - 4 = 8, which is positive.
❌ Not quite. The test is inconclusive only when ACβˆ’B2=0AC - B^2 = 0; here ACβˆ’B2=(βˆ’4)(βˆ’3)βˆ’22=8AC - B^2 = (-4)(-3) - 2^2 = 8.
Show solution

Name the second derivatives: A=βˆ’4A = -4, B=2B = 2, C=βˆ’3C = -3. Then

ACβˆ’B2=(βˆ’4)(βˆ’3)βˆ’22=12βˆ’4=8>0.AC - B^2 = (-4)(-3) - 2^2 = 12 - 4 = 8 > 0.

A positive ACβˆ’B2AC - B^2 means a local minimum or maximum, and the sign of AA chooses: A=βˆ’4<0A = -4 < 0, so the point is a local maximum.

Problem 2 Β· A Negative fxxf_{xx} Is Not Enough

Given: f(x,y)=x3βˆ’3x+y2βˆ’2yf(x, y) = x^3 - 3x + y^2 - 2y has a critical point at (βˆ’1,1)(-1, 1). Classify it.

βœ… Correct! ACβˆ’B2=(βˆ’6)(2)βˆ’02=βˆ’12<0AC - B^2 = (-6)(2) - 0^2 = -12 < 0: a saddle, whatever the sign of AA.
❌ Close, but… the sign of AA matters only after ACβˆ’B2>0AC - B^2 > 0. Here ACβˆ’B2=(βˆ’6)(2)βˆ’0=βˆ’12<0AC - B^2 = (-6)(2) - 0 = -12 < 0.
❌ Not quite. B=0B = 0 does not make the test inconclusive; only ACβˆ’B2=0AC - B^2 = 0 does, and here ACβˆ’B2=βˆ’12AC - B^2 = -12.
❌ Not quite. Evaluate the second derivatives at (βˆ’1,1)(-1, 1): fxx=6x=βˆ’6f_{xx} = 6x = -6, fxy=0f_{xy} = 0, fyy=2f_{yy} = 2.
Show solution

First derivatives: fx=3x2βˆ’3f_x = 3x^2 - 3 and fy=2yβˆ’2f_y = 2y - 2, both zero at (βˆ’1,1)(-1, 1), so it is a critical point.

Second derivatives: fxx=6xf_{xx} = 6x, fxy=0f_{xy} = 0, fyy=2f_{yy} = 2. At (βˆ’1,1)(-1, 1): A=βˆ’6A = -6, B=0B = 0, C=2C = 2.

ACβˆ’B2=(βˆ’6)(2)βˆ’02=βˆ’12<0.AC - B^2 = (-6)(2) - 0^2 = -12 < 0.

So (βˆ’1,1)(-1, 1) is a saddle point: ff curves down in the xx-direction and up in the yy-direction. (The other critical point, (1,1)(1, 1), has ACβˆ’B2=12>0AC - B^2 = 12 > 0 with A=6>0A = 6 > 0: a local minimum.)

Problem 3 Β· Building the Quadratic Approximation

Given: at a critical point (x0,y0)(x_0, y_0), Β A=fxx=4\ A = f_{xx} = 4, Β B=fxy=3\ B = f_{xy} = 3, Β C=fyy=2\ C = f_{yy} = 2. Write u=xβˆ’x0u = x - x_0, v=yβˆ’y0v = y - y_0. Find the quadratic approximation of Ξ”f\Delta f and the type of the point.

Quadratic approximation of Ξ”f

Type of the critical point

βœ… Correct! Ξ”fβ‰ˆ2u2+3uv+v2\Delta f \approx 2u^2 + 3uv + v^2 has 4acβˆ’b2=8βˆ’9=βˆ’14ac - b^2 = 8 - 9 = -1, which equals ACβˆ’B2=8βˆ’9=βˆ’1<0AC - B^2 = 8 - 9 = -1 < 0: a saddle.
❌ Missing the halves. The square terms carry 12\tfrac{1}{2}: A2u2=2u2\tfrac{A}{2}u^2 = 2u^2 and C2v2=v2\tfrac{C}{2}v^2 = v^2.
❌ The middle term has no ½. It collects two equal contributions, 12fxy+12fyx=B\tfrac{1}{2}f_{xy} + \tfrac{1}{2}f_{yx} = B, so it is 3uv3uv.
❌ Counted twice. The two halves 12fxy\tfrac{1}{2}f_{xy} and 12fyx\tfrac{1}{2}f_{yx} add to B=3B = 3, not 2B2B.
❌ Check the approximation. Ξ”fβ‰ˆA2u2+Buv+C2v2\Delta f \approx \tfrac{A}{2}u^2 + Buv + \tfrac{C}{2}v^2.
❌ Check the coefficients. With the correct a=2a = 2, b=3b = 3, c=1c = 1, 4acβˆ’b2=8βˆ’9=βˆ’1<04ac - b^2 = 8 - 9 = -1 < 0. A positive value comes from dropping the halves (4β‹…4β‹…2βˆ’9=234 \cdot 4 \cdot 2 - 9 = 23) or halving BB.
❌ Check the type. ACβˆ’B2=4β‹…2βˆ’32=βˆ’1AC - B^2 = 4 \cdot 2 - 3^2 = -1, which is negative.
Show solution

At a critical point the linear terms vanish, and the quadratic terms are

Ξ”fβ‰ˆ12fxxu2+fxyuv+12fyyv2=42u2+3uv+22v2=2u2+3uv+v2.\Delta f \approx \tfrac{1}{2}f_{xx}u^2 + f_{xy}uv + \tfrac{1}{2}f_{yy}v^2 = \tfrac{4}{2}u^2 + 3uv + \tfrac{2}{2}v^2 = 2u^2 + 3uv + v^2.

As a quadratic au2+buv+cv2au^2 + buv + cv^2: a=2a = 2, b=3b = 3, c=1c = 1, so

4acβˆ’b2=4(2)(1)βˆ’32=βˆ’1,ACβˆ’B2=4β‹…2βˆ’32=βˆ’1.4ac - b^2 = 4(2)(1) - 3^2 = -1, \qquad AC - B^2 = 4 \cdot 2 - 3^2 = -1.

The two numbers agree, as they must, and both are negative: the point is a saddle.

Problem 4 Β· A Valley Floor Along y=xy = x

Given: f(x,y)=(xβˆ’y)2βˆ’x4f(x, y) = (x - y)^2 - x^4 has a critical point at the origin. Find ACβˆ’B2AC - B^2 there, then decide the type of the point.

Value of AC βˆ’ BΒ² at (0, 0)

Type of the critical point

βœ… Correct! ACβˆ’B2=4βˆ’4=0AC - B^2 = 4 - 4 = 0, and along the floor y=xy = x the quadratic part vanishes, leaving f(x,x)=βˆ’x4<0f(x, x) = -x^4 < 0, while f(x,0)=x2βˆ’x4>0f(x, 0) = x^2 - x^4 > 0 for small xβ‰ 0x \neq 0.
❌ Watch the sign. B=βˆ’2B = -2 but B2=4B^2 = 4, so ACβˆ’B2=4βˆ’4AC - B^2 = 4 - 4, not 4+44 + 4.
❌ Missing BB. The cross term βˆ’2xy-2xy in (xβˆ’y)2(x - y)^2 gives fxy=βˆ’2f_{xy} = -2.
❌ Recompute. fxx=2βˆ’12x2f_{xx} = 2 - 12x^2, fxy=βˆ’2f_{xy} = -2, fyy=2f_{yy} = 2 at the origin.
❌ Close, but… (xβˆ’y)2β‰₯0(x - y)^2 \geq 0 is zero along the whole line y=xy = x, and there βˆ’x4-x^4 is all that is left.
❌ Not quite. The test cannot decide, but inspecting ff along lines through the origin can.
❌ Not quite. Compare ff along the xx-axis with ff along the line y=xy = x.
Show solution

Derivatives: fx=2(xβˆ’y)βˆ’4x3f_x = 2(x - y) - 4x^3, fy=βˆ’2(xβˆ’y)f_y = -2(x - y), both zero at the origin. Then fxx=2βˆ’12x2f_{xx} = 2 - 12x^2, fxy=βˆ’2f_{xy} = -2, fyy=2f_{yy} = 2, so at (0,0)(0, 0):

A=2,B=βˆ’2,C=2,ACβˆ’B2=4βˆ’(βˆ’2)2=0.A = 2,\quad B = -2,\quad C = 2,\qquad AC - B^2 = 4 - (-2)^2 = 0.

The test cannot conclude. The quadratic part (xβˆ’y)2(x - y)^2 is a flat-bottomed valley whose floor is the line y=xy = x, so the higher-order term decides:

f(x,x)=βˆ’x4<0Β Β (xβ‰ 0),f(x,0)=x2βˆ’x4=x2(1βˆ’x2)>0Β Β (0<∣x∣<1).f(x, x) = -x^4 < 0 \ \ (x \neq 0), \qquad f(x, 0) = x^2 - x^4 = x^2(1 - x^2) > 0 \ \ (0 < |x| < 1).

ff takes both signs arbitrarily close to the origin, where f=0f = 0: a degenerate saddle.

Solved: 0 / 4