因式分解定义与提取公因式法