解方程组x-y=1 x2-y2=3