检验方程解的正确性通常遵循以下步骤：
代入法：
将求解得到的未知数的值代入原方程中，计算等号左右两边的结果。如果两边相等，则初步认为该值是方程的解。
验证约束条件：
检查代入的值是否满足原方程的约束条件（如果有的话），例如非负、正整数等。
对比法：
如果有已知的方程解，可以将求解得到的解与已知解进行比较，以验证其正确性。
观察法：
对于一些特定类型的方程，可以通过观察解的性质来判断求解是否正确，例如线性方程的解是否为线性组合，二次方程的解是否符合对称性质。
求导法：
对于某些方程，可以尝试将解代入原方程后两边同时求导，再检验导数是否相等，以验证解的正确性。
数值方法误差检查：
如果使用数值方法求解方程，需要注意求解过程中是否存在误差，以及这些误差是否会影响解的正确性。
举例来说，对于方程 `x + 1 = 2`，如果求解得到 `x = 1`，则检验过程如下：
将 `x = 1` 代入原方程，得到 `1 + 1 = 2`，等式成立。
检查约束条件，`x` 需要为非负数，这里 `x = 1` 满足条件。
因此可以确认 `x = 1` 是方程 `x + 1 = 2` 的解