方程x(7-x)=12怎么解的