代入消元法的引入