The following describe all possible non-degenerate stationary points of a function of two variables:
(i) if and , then has a local minimum at ;
(ii) if and , then has a local maximum at ;
(iii) if , then is a saddle.
This result follows from Taylor’s Theorem by the following Lemma on quadratic forms.