方程式的验算过程是首先把通过求解方程所得到的答案，代入方程，如果等式成立，则求出的解是正确的。方程是指含有未知数的等式，求方程的解的过程称为“解方程”。
通过方程求解可以免去逆向思考的不易，直接正向列出含有欲求解的量的等式即可。方程具有多种形式，如一元一次方程、二元一次方程、一元二次方程等等，还可组成方程组求解多个未知数。
在数学中，一个方程是一个包含一个或多个变量的等式的语句。求解等式包括确定变量的哪些值使得等式成立。变量也称为未知数，并且满足相等性的未知数的值称为等式的解。