x平方加x减12等于0