\(f\in C^1(B_1(0),\mathbb{R}^2)\) besitzt genau eine Nullstelle in \(B_\delta (\bar{x})\), wenn
(1) \(L:=\text{d}f(\bar{x})\in \mathscr{L}(\mathbb{R}^2)\) invertierbar mit Inverser \(L^{-1}\in \mathscr{L}(\mathbb{R}^2)\)
(2) \(|f(\bar{x})|_2<\frac{\delta (1-q)}{||L^{-1}||}_{\text{op}}\) wobei \(q\in (0,1)\)
(3) \(||\text{d}f(x)-L||_{\text{op}}\leq \frac{q}{||L^{-1}||_\text{op}}\) für \(x\in \overline{B_\delta(\bar{x})}\)
Denn dann ist \(F: \overline{B_\delta(\bar{x})}\to \overline{B_\delta(\bar{x})}, \, x\mapsto x-L^{-1}f(x)\) eine wohldefinierte \(q\)-Kontraktion, welche genau einen Fixpunkt in \(B_\delta(\bar{x})\) hat. (vgl. Banachscher Fixpunktsatz)