human 二元一次方程的解法是什么; AI AI 二元一次方程的解法包括代入法、消元法和公式法。其中代入法是将一个方程中的一个变量用另一个变量表示然后代入另一个方程中求解；消元法是通过消去一个变量的方法将两个方程化为一个只含一个变量的方程然后求解；公式法是利用求根公式求出方程的解。;human 可以给个例子吗;

AI: 当我们解决方程组x+y=3和x-y=1时，可以用代入法，将x-y=1中的y用x+y=3表示，得到2x=4，从而x=2，再代入x+y=3中得到y=1。也可以使用消元法，将y消去，得到2x=4，从而x=2，再代入任一方程得到y=1。公式法则是使用求根公式，将方程组表示成ax^2+bx+c=0的形式，然后求解。例如，我们可以将方程组x+y=3和x-y=1表示为x^2-y^2=2x-2y，再将其转化为标准形式(x-1)^2-(y-1)^2=1，从而使用求根公式求解。