まずは次の定理を示す。 fを整係数多項式、pを素数、a,tを整数、kを自然数とすると、 (証明) 多項式のテイラー展開より、ある整係数多項式g(x,y)が存在して、 あとはx=a, y=tpᵏ を代入すれば よって例えば 繰り返し適用して、任意の自然数nに対して aが法pᵏ…
pを素数とする。 この記事では、a≡b でa≡b(mod p) を表すこととする。 (定理)a,bを自然数、a>bとする。次が成り立つ。 ただし、 は二項係数 (と同じ)。証明: ここで、 だから、 α≢0 のとき、 また、 よって.
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。