"如何检验方程的解"的定义