はじめに
これは RSA完全理解 Advent Calendar の2日目の記事です(遅刻した)
なんでRSAの話なのにいかにも数学っぽい定理の証明をやるかというと、
RSAの暗号化/復号の操作の証明にはこいつをつかうからです
なんならそのうちベズーの等式とかも証明しないといけない
それではやっていくぞ
フェルマーの小定理とは
という定理です
なぜこいつがわかるとうれしいかについては、次回でRSAの暗号化/復号の操作でこの定理を使って平文に復号できることを証明するので、そこまで楽しみにしておいてください
(ちなみに初等整数論の証明になにかにつけてひょこっと顔出すことも多い印象がある)
ほんまか?
具体例があったほうがイメージしやすいと思うので適当に とかで試してみる
それぞれ条件にあてはめると
剰余をとると
ほかにもいくつかの例をためすと、条件を満たす をとるとフェルマーの小定理が成り立つことがわかります
証明
方針としては、 と が互いに素なとき に対して で剰余を取るとすべて異なる、という性質を利用します
が互いに素なら を で剰余を取るとすべて異なる
背理法をつかって証明します
まず となる任意の と をそれぞれの で割った剰余が同じだと仮定します
そうすると とかけます
を で割った剰余はnですから、 をすれば同じ法 に対して割り切れるはずです( は0なので)
となり が の倍数となります。
が の倍数になるためには が の倍数である必要があり、これは と が互いに素に矛盾します
よって背理法により補題が証明できました
と は互いに素なので、補題より の要素を で剰余をとっていくと から までの値がすべて1回ずつ登場します。よって
整理して
条件より法は素数なため と互いに素なので両辺を で割ると
これにより題意を示せたので証明終了