chiori_ifuku https://blog.hatena.ne.jp/chiori_ifuku/ 数ならぬ https://chiori-ifuku.hatenablog.jp/ 有名な事実ではあるが、次のような定理が成り立つ。 の整除性 を素数としたとき、はを満たせばの倍数である のとき、と展開できる。分子はの倍数である。ここで分母に着目する。これはであることからの倍数ではない。よって分子のはキャンセルされずに残るので、はの倍数 この定理によって次のような合同式が成り立つことが分かる。 一年生の夢 を素数とする。このとき、 二項定理より、 この定理の系として、次の有用な定理が得られる。 フェルマーの小定理 を素数とすると、 題意は数学的帰納法によって示される。のとき、自明に正しい。で正しいとしての時を示す。先ほど示した定理によって、 が成り立つことが分かる。ここで、帰… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fchiori-ifuku.hatenablog.jp%2Fentry%2F2025%2F11%2F21%2F123000" title="ₚCₖの合同式とフェルマーの小定理 - 数ならぬ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-11-21 12:30:00 rich https://chiori-ifuku.hatenablog.jp/entry/2025/11/21/123000 1.0 100%