Eisensteinの判定法の証明です、

Z上既約である事は示せたのですが、Q上既約の示し方がわかりません
わかる方いらっしゃいましたらよろしくお願いします



"Z［x］上の多項式

f(x) ＝ r0＋r1x＋r2x^2＋・・・・＋rnx^n　　 （ rj 、n∈整数、x： 変数）
は次の条件を満たす素数 p が存在するとき、Z 上、及び Q 上で既約である

（1） p†rn
（２） p｜rj　　　（j＝0,1,･･･、n-1）
（３） p^2†r0

p†rn は "pはrnを割り切らない"という意味です。
（記号が見つからなかったので・・・）

判定法の内容は以上です。よろしくお願いします