Die partiellen Ableitungen der Funktion sind

und

Eine notwendige Voraussetzung für die Existenz eines lokalen Extremums ist, dass der Gradient ist. Aus

folgt sofort

also und daraus

Es kann also allenfalls im Punkt

ein lokales Extremum vorliegen.

Die Hesse-Matrix der Funktion ist

Der Eintrag links oben ist also negativ und die Determinante ist positiv. Daher ist die Hesse-Matrix negativ definit und somit liegt in ein lokales Maximum vor. Da es sonst kein weiteres lokales Extremum gibt, ist dieses Maximum isoliert und global.