Genau
((y2 - y1)^2 + (x2 - x1)^2)^{1/2} = r
(y2 - y1)^2 + (x2 - x1)^2 = r^2
Und wenn jetzt x1 und y1 die Koordinaten des Ursprungs sind gilt
(y2 - 0)^2 + (x2 - 0)^2 = r^2
y2^2 + x2^2 = r^2
So kommt leitet man sich eigentlich die Kreisformel her. Ein Kreis ist ja die Menge aller Punkte die vom Kreismittelpunkt den gleichen Abstand haben.