方程式中冒号怎么解