检验方程式解的正确性通常遵循以下步骤：
求解方程：
首先使用代数方法或数值计算方法找到方程的解。
代入验证：
将求得的解代入原方程中，计算等号两边的值。
比较结果：
比较方程左边和右边的计算结果，如果相等，则初步认为该解是方程的解。
特殊情况检查：
对于实际问题中的方程，可能还需要检查解是否满足某些特定条件，例如非负、正整数等。
解的唯一性：
确认方程是否有唯一解，或者是否存在多解或无解的情况。
误差分析：
如果使用数值方法求解，需要分析求解过程中可能存在的误差及其对解的影响。
举个例子，如果有一个简单的一元一次方程 `x + 1 = 2`，求解得到 `x = 1`。检验这个解的正确性，我们将 `x = 1` 代入原方程：
```
左边 = 1 + 1 = 2
右边 = 2
```
由于左边等于右边，我们可以确认 `x = 1` 是方程 `x + 1 = 2` 的解。