从方程组到正负术