多项式有重根的充要条件