x-y=k
x=k+y
把此式代进x^2+y^2=16
(y+k)^2+y^2=16
化成
y^2-ky-8=0
a=1 b=k c=-8
所以△=(k)^2-4*1*(-8)
=k^2+32
因为有实数解
所以k^2+32>=0