引理 1
若 f∣1 f ∣ 1 且时 f≠0 f ≠ 0 时 f f 首项系数为 则 f=1 f = 1 。
证明
显然 1∣f, 1 ∣ f , 因此 ∃c∈R,c≠0, ∃ c ∈ R , c ≠ 0 , 使得 f=1⋅c=c f = 1 ⋅ c = c 于是 f f 首项系数为 因此 f=1 f = 1 。
引理 2
若 gcd(f,g)=1, gcd ( f , g ) = 1 , 且 f′∣f, f ′ ∣ f , 则 gcd(f′,g)=1 gcd ( f ′ , g ) = 1 。
证明
令 d=gcd(f′,g), d = gcd ( f ′ , g ) , 则 d∣f′,