方程的解、等式的性质