利用等式的性质解方程