什么式子叫做解方程?