解方程后，要进行验算，确保解题的正确性。具体步骤如下：首先，将求得的未知数的值代入原方程中。其次，计算方程左边的表达式的值，并与右边的值进行对比，看是否相等。如果相等，则说明所求的未知数的值是方程的一个解。例如，对于方程5x=30，解得x=6。检验时，将x=6代入原方程，得到5×6=30，右边也为30，因此x=6确实是方程的解。

在解方程时，常用的解法有多种，包括估算法、应用等式的性质、合并同类项、移项、去括号、公式法和函数图像法等。估算法是初学者常用的方法，它通过直接估计方程的解，然后代入原方程验证其正确性。例如，对于方程3+x=18，通过直接估计得到x=15，再代入原方程验证：3+15=18，验证正确。

应用等式的性质解方程时，可以通过等式的加减乘除运算，保持等式两边的平衡。例如，对于方程4x+2（79-x）=192，首先去括号得到4x+158-2x=192，然后合并同类项得到2x+158=192，进一步移项得到2x=34，最后解得x=17。

合并同类项可以使方程的形式更加简单。例如，对于方程3x+2x=18，合并同类项得到5x=18，进而解得x=3.6。

移项是解方程时常用的一种方法，通过将含有未知数的项移到方程的一边，常数项移到另一边，使得方程左边只有未知数的项，右边只有常数项。例如，对于方程x+5=12，通过移项得到x=12-5，解得x=7。

去括号是解方程时的一种重要步骤，通过运用去括号法则，可以去掉方程中的括号，使方程更加简洁。例如，对于方程4x+2（79-x）=192，去括号后得到4x+158-2x=192，进一步化简得到2x+158=192，进而解得x=17。

公式法适用于一些已知解法的多元高次方程，可以直接应用公式求解。例如，对于方程x^2-5x+6=0，可以通过求根公式得到x1=2，x2=3。

函数图像法是通过分析两个函数图像的交点来求解方程。例如，对于方程x^2-4x+3=0，可以将方程变形为y1=x^2-4x+3，然后画出y1的图像，观察与x轴的交点坐标，即可得到方程的解。

方程是数学中的一种正向思维方法，通过已知条件直接求解未知数的值。这种方法简单明了，易于理解和操作。