Multivariable calculus
Critical Points of x^3 + y^3 - 3x - 3y
f(x,y) = x^3 + y^3 - 3x - 3y has four critical points, at (1,1), (1,-1), (-1,1) and (-1,-1). The discriminant is D = 36xy, so (1,1) is a local minimum with D = 36, (-1,-1) is a local maximum with D = 36, and the two mixed sign points are saddles with D = -36.
- local minimumdiscriminant D = 36
- saddle pointdiscriminant D = -36
- saddle pointdiscriminant D = -36
- local maximumdiscriminant D = 36
A separable system gives four points, not two
Neither partial contains the other variable, so the two equations are solved independently.
So and , giving and . The choices are independent, so every combination is a critical point: , , and .
The discriminant is just the sign of xy
At the four points , and only the sign of the product varies. When and have the same sign, and decides: at it is positive, so a local minimum with ; at it is negative, so a local maximum with .
- : , , local minimum,
- : , , local maximum,
- and : , saddles, both with
The mistake students make
Two errors show up here. The first is writing the answer as and counting two points. The signs are chosen independently, so there are four, and they do not all behave the same way.
The second is assuming that symmetry forces the same classification. The function does satisfy , but that symmetry turns minima into maxima, not into copies of themselves. Check each point separately, since changes sign with .
Frequently asked questions
Why do both saddle points have the same discriminant?
Because and both and have . Their heights match too: at each. The function's odd symmetry maps one to the other, so they are genuinely mirror images.
Is the local maximum at (-1,-1) a global maximum?
No. Along the function is , which grows without bound as , so has no global maximum. The value is only the largest in a neighbourhood of that point.