为什么用公式法能判断一个二次三项式能否在实数范围内分解因式?