已知x的平方加y的平方等于9