Warnung: Dieser Beweis steht auf etwas wackligen Beinen. Ich werde L'Hospital verwenden und nehme an, dass ich nach r_n differenzieren darf, obwohl auch Winkel in der Gleichung sind, die eigentlich von n abhängen. Ich denke, dass darf man machen, ich hab aber keinen Satz/Beweis, der das belegt.
Wir wählen eine beliebige Nullfolge, bei der wir mit Polarkoordinaten so substituieren können, dass der Winkel beliebig ist und nur der Radius gegen Null geht:
(xn,yn)=(rncos(α),rnsin(α))→(0,0)(n→∞)
Nun bestimmen wir den Limes dieser Folge, wenn die Funktion auf sie angewandt wird:
n→∞limf(xn,yn)=n→∞limrn2(sin(α)2+cos(α)2)rnsin(α)(5+(rncos(α))−5)2=n→∞limrnsin(α)(5+(rncos(α))−5)2=L′Hospitaln→∞lim1sin(α)⋅2⋅(5+(rncos(α))−5)→0⋅5+(rncos(α))⋅cos(α)=0
Der Grenzwert jeder Nullfolge liegt also bei 0 (unter Annahme der am Anfang genannten Bedenken). Daraus folgt die Stetigkeit.