Nun ja, \(f\) ist stetig und \(M = (x^2 + y^2 - \pi^2)^{-1}[\{0\}] \) das Urbild einer abgeschlossenen Menge unter einer stetigen Funktion, also ist \(M\) abgeschlossen. Weiterhin ist \(M\) beschränkt, da gilt \(-\pi\leq x, y \leq \pi\). Also nimmt \(f\) auf \(M\) sowohl ein Minimum als auch ein Maximum an. Schaffst du es nun noch zu begründen, dass dies ein globales Minimum sein muss?