作x^2+(y-3)^2=1的图像,并求出两个y是x的函数的单值支的显函数关系.