>>730
議論の流れからして
+1移動させているのだから 新たな点はY=y+1
これを変形してy=Y-1
こいつを代入して、Yをyに書き換えると
x^2+(y-1)^2=1^2
ということになりますね。