はじめに
これは RSA完全理解 Advent Calendar の7日目の記事です
RSAにおける秘密鍵の生成である を理解するための一環として、前回はユークリッド互除法について説明しました。
今回はベズーの等式と、関連する定理について説明しようと思います。
次回はユークリッド互除法をつかったベズーの等式の解の探索について解説するので、次回まで読めばユークリッド互除法との関連などもわかるわかるので合わせて読むと理解の助けになるかもです。
それではやっていきます
ベズーの等式とは
は の倍数
という定理。ベズーの補題とも言ったりします
はどちらかが成立するとどちらか一方の必要十分条件をみたす!(つまりもう片一方もなりたつ)という意味です。
なのでこれは
- が整数解をもつ は の倍数
- が の倍数 が整数解をもつ
という2つのことを言っています
必要な定理の証明
さっそくベズーの等式の証明入っていきたいところなんですが、実はベズーの等式の証明に使いたい定理があるので、そっちを先に証明します
方針としては と のどっちも成立することを確認して証明とします
が整数解をもつ は互いに素
対偶をとって は互いに素でない が整数解をもたない について考えます
が素ではないので はそれぞれ
とかけるから、少なくとも2以上の数の倍数としてあらわせる。
そうしたときに
の式を考えると、 も もともに の倍数なので、その解は の倍数となるはず。 したがって から はすくなくとも2以上の数の倍数なので、
となる整数解 は存在しない
は互いに素 が整数解をもつ
が互いに素なとき に対して で剰余を取るとすべて異なるという性質を利用して成り立つことを確認します。
(詳細は こちら で証明してるので興味あるかたは合わせてご確認ください)
の0以外の剰余がすべて登場するため、どこかに余りが1となるような を満たす が存在します。これを について整理すると
さらに整理して
となるため が の整数解となっています
どちらについても成り立つことが確認できたので が整数解をもつ は互いに素 が証明できました
証明
さて、必要な定理が理解できたのでベズーの等式の証明にもどります。
さきほどの定理の証明と同じく
- が整数解をもつ は の倍数
- が の倍数 が整数解をもつ
の2つの内容についてそれぞれ成り立つことを確認して証明とします。
が整数解をもつ は の倍数
は を用いて
と書けるのでそれぞれ の倍数
についても同様に をつかってあらわすと
となるので は の倍数である
が の倍数 が整数解をもつ
について、最大公約数が だから、これ以上の公約数は存在しない。
よって
となる互いに素な がある。
ここでさきほど証明した定理 が整数解をもつ は互いに素 から、
は整数解を持つことがわかる。 の関係性を表すために両辺を でかけると
, より整理すると
が得られる。 このとき が を満たす解であり、また右辺が の倍数であれば を同じだけかければ解がえられる
よって がなりたつ
どちらも成り立つことが確認できたので証明終了