高等代数 (79)古今数学思想.pdf

第四章 多项式 4.8 有理系数多项式 4.8.4 Eisenstein 判别法 四、Eisenstein 判别法 定理3. f x a x n a x n1 a x ,   p 设 n n1 0   若素数 使得 1 p a ; 2 f x   2 p a ,a , ,a ;   ℚ .   3 p a . 则 在 上不可约 n n1 n2 0   0 反证: f ℚ , ℤ . 设 在 上可约 那么它在 上也可约 f x b x l b x b c x m c x c , 设    l 1 0  m 1 0  其中 0 l , m n, l m n, b , c  0 i l , 0  j m , b c 0 i j   l m , a b c 0, a b c 比较两端系数 有 n l m 0 0 0 已知p a b c 且p 2 a  p b 0 或p c 0 恰成立其一 0 0 0 0 不妨设p b 且p c 已知p a b c p b 0 0 n l m l 定理3. f x a x n a x n1 a x ,   p 设 n n1 0   若素数 使得 1 p a ; 2 f x   2 p a ,a , ,a ;   ℚ .   3 p a . 则 在 上不可约 n n1 n2 0   0 f ℚ , ℤ . 反证: 设 在 上可约 那么它在 上也可约 f x b x l b x b c x m c x c