Sei P = (x0, y0) ∈ ℝ2 mit y0 ≠ x02.
Dann ordnet
d(x) := √((x - x0)2 + (x2 - y0)2)
jedem x ∈ ℝ den Abstand zwischen dem Punkt (x0, y0) und dem Punkt (x, f(x)) zu. Bestimme das Minimum von d und zeige dass es größer als 0 ist. Dann hast du gezeigt, dass es eine Umgebung um (x0 | y0) gibt, in der keine Punkte von M liegen, dass also
P ∉ M ⇒ P ist kein Randpunkt von M
für jedes P ∈ ℝ2 gilt.