多项式最大公因式性质定理及求解方法