陰関数って
F(x,y)=(x^2)+(y^2)-1とかじゃないの?