代入法是一种数学解题方法，主要用于解决代数方程和不等式问题。它的核心思想是将一个方程中的未知数用另一个未知数的表达式表示，然后将其代入另一个方程中，从而消去一个未知数，简化问题的求解过程。
1. 选取一个系数较简单的方程，将其中一个未知数用含有另一个未知数的代数式表示；
2. 将表示未知数的表达式代入另一个方程中，消去一个未知数，得到一个一元一次方程；
3. 解这个一元一次方程，求得一个未知数的值；
4. 将求得的值代回到表示未知数的表达式中，求出另一个未知数的值；
5. 联立这两个未知数的值，得到方程组的解。
代入法也可以用于证明数学命题，通过将变量替换为具体值来验证命题的真假。
需要注意的是，在代入的过程中，不能将表示未知数的表达式代入原方程中，只能代入到另一个未变形的方程中，以确保消元过程的正确性