为什么方程组ax²+y=1,x²+y²=1的解是x=0,y=1