Solution

ID: past-exam-of-the-mathematics-course-of-the-year-1-of-the-natural-sciences-course-of-the-university-of-cambridge/2017/paper-1/14/a/ii/solution

Write , , at the stationary point, and let . Under the usual second-order Taylor expansion hypothesis, the second-derivative test gives
Indeed the quadratic term is . For , completing its square gives . The two coefficients have the same positive sign, the same negative sign, or opposite signs in the respective cases. A negative also forces the two Hessian eigenvalues to have opposite signs, including the case .
There is a qualification to the printed assumptions: existence of second partial derivatives only at the point does not ensure the needed quadratic approximation. Continuous second partial derivatives in a neighborhood are sufficient. The existence of second partial derivatives does not justify the Hessian test: for example, the function away from the origin, extended by , has Hessian at the origin but and . Thus the classification above uses the standard additional regularity assumption, which the smooth function in part (b) satisfies.

New to topics? Read the docs here!