二元二次多项式可分解因式的一个充要条件