二元一次方程,有几个公式