代入消元法是一種用於解二元一次方程組的方法，其基本思想是通過消除一個未知數，將二元一次方程組轉化為一元一次方程來求解。其具體步驟如下：
選擇一個係數較簡單的二元一次方程，將其變形，用含有一個未知數的代數式表示另一個未知數。
將變形後的方程代入另一個方程中，消去一個未知數，得到一個一元一次方程。在代入時，應注意只能代入另一個未變形的方程中，以達到消元的目的。
解這個一元一次方程，求出未知數的值。
將求得的未知數的值代入變形後的方程中，求出另一個未知數的值。
用「{」聯立兩個未知數的值，這就是方程組的解。
檢驗求得的結果是否正確，可以通過將結果代入原方程組中進行檢驗，看方程是否滿足左邊等於右邊的條件。