No.310 - 高校数学で理解するRSA暗号の数理(1) [科学]
No.235「三角関数を学ぶ理由」では、私たちが学校で勉強を学ぶ目的の一つが「論理的に考える力を養う」こととし、その典型例として数学をとりあげました。数学は「論理のみで成り立っている」からです。そのことを改めて示すために の微分が になることを、三角関数のそもそもの定義に立ち返って証明しました。
今回はその継続・発展で、別の数学の問題を取り上げます。現代社会で広く使われている公開鍵暗号(その中の RSA暗号)です。これを取り上げる理由は、
の3点です。以下の文章は元々別の目的のために作ったものですが、ここに掲載することにします。
公開鍵暗号
公開鍵暗号とは、
というタイプの暗号です。公開鍵暗号のメリットは多々ありますが、一番のメリットは「鍵を配送するコストがかからない」ことです。全ての鍵を秘匿する暗号だと、その鍵をどうやって配送して暗号化をしたい人に届けるかが大きな問題となります。暗号化通信で配送するというのは解決になりません。その暗号化通信の暗号鍵をどうやって配送するかという問題が残るからです。
公開鍵暗号では暗号化のための鍵がオープンなので、配送のコストはゼロです。暗号文を受け取りたい人が公開鍵と秘密鍵を生成し、公開鍵をオープンにすると誰でもその人に暗号文を送ることができます。
公開鍵暗号の設計の最大のポイントは、あたりまえですが、公開鍵から秘密鍵を推定したり導出したりできないことです。まさにそこに数学が使われていて、暗号文を解読できないようになっています。この「暗号化の鍵を公開してしまう」という革新的なアイデアというか、まさに "究極の逆転の発想" を論文として発表したのは、当時スタンフォード大学の研究者だったディフィー(米)とヘルマン(米)で、1976年のことでした。
そのディフィーとヘルマンのアイデアに基づいた最初の暗号が RSA暗号で、現代でも盛んに使われています。これは 1978年に MIT のリベスト(米)、シャミア(イスラエル)、エーデルマン(米)の3人のよって発明され、3人の頭文字をとってRSAと呼ばれています。
実はこの RSA暗号は、実用として何に使ったらいいのか、発表当時は使い道が分からなかったといいます。それが現代ではインターネットによる通信の重要技術として広く使われている。これにはコンピュータの処理速度の飛躍的向上も貢献しています。革新的な技術は、その応用環境が整った時点で、後から実用化される。よくあることです。
以下、このRSA暗号の数理を順に見ていきます。
RSA暗号の例題
まずRSA暗号はどういうものか、それを極めて簡単な例題で説明します。
平文(=暗号化する文)を で、またそれを暗号化した暗号文を で表します。例題として平文は1文字だけの英字で、それを整数に変換したものとします。RSA暗号にちなんで大文字の R が平文です。コンピュータで使われる ASCII(アスキー)コードでは、英大文字・英小文字・数字・特殊記号を ~ の数で表すので、それを使って数字化すると R は です。つまり、
が例題の平文です。
公開鍵は2つの数字のペア 、秘密鍵は一つの数字 で、例題としては、
とします。この公開鍵と秘密鍵の作り方は後で述べます。平文から暗号文への変換(=暗号化)と、暗号文から平文への変換(=復号化)を次の計算で行います。以降の記述では、 を で割った余り(=剰余)を と書きます(プログラム言語やEXCELで と書くのと同じ意味です)。
例題の平文を暗号化の式に入れると、
となり、平文 "" に対する暗号文は "" です。 は巨大な数ですが、剰余を求めるときにこの巨大数を計算する必要は全くありません。上の程度の計算なら電卓でも簡単にできます。そのやり方は後ほど示します(「4. RSA暗号の証明」)。暗号文の復号化は、暗号文 "" を復号化の式に入れると、
となり、元の平文である "" が復元できました。なお、この例では平文をわずか1文字( 以下の数字)としましたが、実際に使われる暗号では 程度(10進で約300桁程度)の数字です(= 平文を数字化したもの。平文が長い場合は複数に分割)。また、公開鍵 と秘密鍵 も同程度の大きさの数字です。
この計算で暗号化と復号化が可能なのは、公開鍵と秘密鍵の作り方に工夫があるからです。まず は2つの素数 と の積です。
また は、 と との最大公約数が であるように決めてあります。 なので、 と との共通の約数は だけです。さらに秘密鍵である は、
となるように決めてあります。 なので成り立っています。このように鍵を仕込んでおくと暗号化と復号化が可能になる。そのことを証明するのが、本記事の目的です。その証明を、前提とする数学知識を最小限にしてやってみたいと思います。
公開鍵暗号は「公開鍵から秘密鍵が導出できない」ことが必須です。RSA暗号では、 と素因数分解ができれば、
の式を解いて が求まります。しかし実用で使われるRSA暗号は最低でも の桁数が10進数で300桁程度です(2進数で 1024ビット程度。平文も同等の長さ)。この程度の大きさの整数の素因数分解は、超高速コンピュータをもってしても困難です。もしコンピュータの速度がさらに向上するなら、鍵の桁数をさらに大きくすればよい。この素因数分解の困難性が、RSA暗号が成り立つ理由です。
以降でRSA暗号の暗号化と復号化の式が成り立つことの証明を行います。さらに、単に成り立つことだけでなく、RSA暗号に関わる各種の式が計算可能であることの説明をします。"式が正しい" ことと、その "式が実用的に計算可能である" ことは違うからです。素因数分解がまさにその例です。
まず、整数の性質についての用語の定義からです。用語は RSA暗号の式の証明に必要なものだけに絞ります。以降に現れる "数" やそれを表す記号は、ほとんど場合は整数のことですが、自然数(1以上の整数)を意味する場合もあります。どちらかは文脈から明らかなので、いちいち断りなく使います。
準備:用語の定義
割り切る・約数・因数・最大公約数
整数 を で割ったときの余りがゼロのとき、 は で割り切れると言い、また、 は を割り切ると言います。このことを記号を使って、
と書きます。またこのときの を の約数と呼びます。 と は常に成り立つので、 と は の約数です。
が 2つ以上の数の積で表されるとき、そのおのおのの数を の因数と呼びます。因数は約数と同じものですが、見方の違いと言えるでしょう。
2つの数、 と があったとき、共通の約数を公約数と言います。また、公約数のうち最大のものを最大公約数と呼び、 で表します。
素数と素因数分解
2以上の整数 の約数が 1 と のみのとき、 を素数と言い、そうでない数を合成数と言います。合成数は 1 と 以外の約数を持ちます。約数(=因数)が素数のとき、それを素因数と呼びます。 が素数の場合は が素因数です。
合成数は素因数の積で表現できます(=素因数分解)。なぜなら、定義によって合成数 は、 でも でもない数 と を使って と表現(=分解)できますが、 や が合成数なら、さらに分解を繰り返すことによって最終的には素数の積にたどり着くからです。なお便宜上、素数はそれ自身が素因数分解であるとします。
「素数」と「大きな数の素因数分解の困難性」が RSA暗号の基礎になっているのは、例題で説明した通りです。
素因数分解の一意性
素因数分解は、かけ算の順序を無視して一意に決まります(=素因数分解の一意性)。これは自明のように思えますが、証明をすると次の通りです。
いま(かけ算の順序は無視して)異なった2種類の素数列の積で表現できる合成数がある(=素因数分解が一意ではない)と仮定します。すると、そのような最小の数、 があるはずです。このとき は、 と を素数として、
と表現できます。ここで に着目すると なので、 となる があるはずです。かけ算の順序は無視するので、 として一般性を失いません。ところが は素数なので、 しかあり得ない。そこで式の全体を で割ると、
となります。これは が2つの異なった形に素因数分解できることを示しています。ところが は より小さい数なので「 が2つの異なった形に素因数分解できる最小の数」ということに矛盾します。従って「2つの異なった形で素因数分解できる数がある」という仮定が誤りであり、素因数分解の一意性が示されました。
互いに素
整数 と 整数 の最大公約数が のとき、つまり のとき、「 と は互いに素である」と言います。これは と が共通の素因数を持たないことと同じです。なお、 は常に成り立つので、 は他の数と互いに素です。
以降の、RSA暗号の証明に至るプロセスでは「互いに素」に関連した数々の定理や証明が出てきます。RSA暗号は「素数」と「互いに素」の上に構築された暗号です。
用語の定義はここまでです。以降はRSA暗号の成立性の証明に入ります。まず、数の "合同" の概念からです。
1. 合同
合同の概念はRSA暗号の根幹の一つです。 を 2 以上の整数とするとき、2つの整数 , について
と は を法として合同であると言い、
と書きます。少々ややこしいですが、はじめに書いたように とすると「 を で割った余り」の意味です。以下に、合同の性質でRSA暗号の証明に必要なものをあげます。
これらの性質は、それぞれの数を、
というように書いて計算をすればすぐにわかります。たとえば 1.1c(合同式の乗算)を証明するには、 と の式をかけ算し、 と の式をかけ算して、
が得られますが、2つの数が共に で割り切れると、その差も で割り切れます。従って、
となります。
これは 1.1c で、、 とおいて 1.1c を "繰り返して使う" ことでわかります。"繰り返して使う" ことを証明として書くなら数学的帰納法になるでしょう。以降は「互いに素」に関連した合同の性質です。
合同の定義により
となります。ここで一般的に次の 1.3a が成り立つことに注意します。
と は互いに素なので、 と に共通の素因数はありません。従って、 を素因数分解したときに現れる素因数は、すべて の素因数のはずです。でないと、 とはならないからです。従って となります。このことを に適用すると、
となり、1.3 が証明されました。1.3 は以降の証明にたびたび出てくる重要な定理です。1.3 を一般化したのが次の 1.4 です。
, , , を、 と 剰余 を使って次のように表します。
このようにおくと、 より、
となります。一方、 と は互いに素です。なぜなら、もし と が ではない共通の約数 をもつとすると、上の の式から は の約数にもなり、 と が互いに素ではなくなるからです。また、 の式から は の約数でもあり、 と が互いに素という前提にも反します。このように と は互いに素なので 1.3 を使って、
となりますが、 なので、 となり、
が示されました。
なので、合同の定義から です。また、 なので、合同の定義から であり、 と表せます。この式の を に代入すると、
となります。 と は互いに素なので 1.3a を使うと、
となり、従って と表せることになります。この を に代入すると、
となって 1.5 が証明できました。
合同には数々の性質や定理がありますが、RSA暗号の証明に必要なものは以上です。次に、2つの数の最大公約数を求める「ユークリッドの互除法」です。これは最大公約数を求める計算方法というだけでなく、RSA暗号において公開鍵と秘密鍵を生成する際に必須のものです。
2. ユークリッドの互除法
ユークリッドの互除法は 2つの自然数( と 。 とします)の最大公約数を求める計算方法です。これはユークリッドの数学書である『原論』にあります。『原論』は紀元前 300年頃の成立といいますから、2300年ほど前の書物ということになります。
この計算方法では、割り算(除算)を何ステップか繰り返します。割り算において被除数(=割られる数)と除数(=割る数)、商(=答)、剰余(=余り)の関係は、
ですが、まず第1ステップとして、
とおき、
の計算をして、商1と剰余1を求めます。次に第2ステップとして、
とおいて割り算を行い、商2と剰余2を求めます。つまり、
です。この「除数と剰余を新たな被除数と除数にして割り算をする」ステップを次々と繰り返して行くと、剰余は次第に小さくなっていき、ついには剰余がゼロ(= 被除数が除数で割り切れる)となります。この時点での除数(= 一つ前のステップの剰余)が と の最大公約数です。
なぜそうなるのかが以下ですが、ポイントは割り算の式から明らかなように「被除数と除数の公約数は、剰余の約数でもある」ことです。つまり と の約数であるという性質が剰余に引き継がれ、それは割り算のステップを繰り返してもずっと続きます。しかも、剰余はステップが進むにつれて小さくなっていくので、最大公約数に近づく。そして割り切れたときの除数(一つ前のステップの剰余)は、約数であると同時に最大の約数である。おおまかにはそのような理解です。
と ()の公約数を とします。すると、 かつ なので、 式から になります。この と から 式を使って が得られます。
その次には 、 、(3) 式から になる。以上を最後まで繰り返すと、次のようになります。
以上のように、最終的には となり、
ことが示せました。同時に、
ことも分かります。
次に、ユークリッドの互除法の最終プロセスに現れる剰余は、全てのステップの剰余の約数になっていることを示します。このことを最終ステップから順に遡って検証すると、
となり、 かつ 、つまり、
ことが示せました。
従って、
の2つから、 が証明できました。
RSA暗号にとってのユークリッドの互除法の意味ですが、次の2つが重要です。まず第1に「2つの数の最大公約数は、素因数分解なしに計算できる」ことです。これはすなわち「2つの数が互いに素であることが素因数分解なしに示せる」ことも意味します。
我々が普通、学校で習う最大公約数の求め方は、2つの数を素因数分解して共通の素因数を探すというものでした。共通のものがなければ最大公約数は (=互いに素)です。しかし、数が巨大になると素因数分解が困難になります(それがRSA暗号が成り立つゆえんです)。ユークリッドの互除法を使うと「最大公約数」や「互いに素」が素因数分解なしに示せるのです。
第2は、ユークリッドの互除法が高速に計算できることです。ユークリッドの互除法では、一つのステップの剰余が次のステップの除数になります。次のステップの剰余は除数より小さいので、
となりますが、 が に近いと計算は急速に収束します。また が に近い場合でも、その次のステップの商が大きくなり、 が に近くなるので、計算は収束することになります。従って、最も計算が長引くのは、 が の半分程度で、それが連続する場合だと推測できます。
実は、ユークリッドの互除法のステップが最も長くなるケースが知られています。それは 割り算の商が常に になるケースで、 と が(たまたま)フィボナッチ数列の隣り合う2項だとそうなります。フィボナッチ数列とは、
で定義される数列で、実際に書いてみると、
です。いま、、 としてユークリッドの互除法の計算をしてみると
となって、10ステップかかります。剰余が減る割合が常に 0.6 倍程度で、なかなか減りません。商が常に 1 なのでこうなります。しかし、なかなか減らないが毎回 0.6 倍程度にはなり、マクロ的には急速に小さくなる。証明は省略しますが、 と が10進で 桁の数字でフィボナッチ数列の隣り合う2項だった場合でも、ユークリッドの互除法は ステップ以下で終了します。
これは と が300桁程度の数字のとき、それが偶然にもフィボナッチ級数の隣り合う2項であるという最悪の最悪の場合でも 1500回の割り算で終了することを意味します。この程度の計算はもちろんコンピュータで可能です。
本題に戻ります。最初の「RSA暗号の例題」のところで公開鍵の作り方を書きました。まず2つの素数、 と を選び、 とします。次に、 との最大公約数が であるような数(=互いに素)を選び、それを とします。その のペアを公開鍵とするのでした。
と同程度の大きさの数、 をランダムに選んだとき、その が と互いに素であるかどうかは、ユークリッドの互除法で検証可能です。そしてこの検証は と が巨大な数であっても可能です。つまりユークリッドの互除法は公開鍵が現実に作成できるという数学的根拠になっています。
2.1 において、 と の最大公約数は でしたが、この は (1)式における と の最大公約数にもなります。なぜなら、 と の最大公約数を求めるためには (2)式から互除法の計算を始めればよく、その結果は になるからです。これは次を意味します。
つまり、ユークリッドの互除法は
ものといえます。この置き換えは次々と可能で、置き換えるたびに問題がより "小さく" なっていく。これがユークリッドの互除法の本質です。
そのユークリッドの互除法は "世界最古のアルゴリズム" と言われています。そして、アルゴリズムを記述するのに最適な言語はプログラミング言語です。2.1a の考え方に基づき、ユークリッドの互除法で最大公約数を計算するプログラムを掲げます。
①の "%" は Javascript の剰余演算子で、"a % b" は "a を b で割った余り" という意味です(a mod b と同じ)。なお、このプログラムは でも動作します。
もちろん、Javascript でなくても、C++ でも Python でも記述できます。このようにプログラムで書くと簡潔になって、ユークリッドの互除法というアルゴリズムの本質がクリアにわかります。
ユークリッドの互除法の "副産物" として、次の定理が成り立ちます。
この定理の証明ですが、ユークリッドの互除法の計算過程を振り返ると、
でした。ここで を変形して、
とします。 です。次に、今求めた と を使うと、
の形に表せることになります。 です。さらに、求まった と と を使って、
と表せることが分かります。このステップを順に続けていって まで到達すると、
, は の式
となることがわかります。 だったので、2.2 が証明できました。 と のうち、一つは正の整数、もう一つはゼロか負の整数です。一つがゼロであるのは、 のときです。なお、2.2 を満たす 、 に、
を満たす 、 をそれぞれ足し込んでも 2.2 が成立することが明白です。つまり 2.2 を満たす 、 は1組というわけではありません。
なお、2.2 は次のように言い換えることができます。
ユークリッドの互除法を拡張して、 と が与えられたとき、 と、
を満たす と (=無数にある解のうちの一つのペア)を同時に計算してしまうアルゴリズムを考えてみます。
考え方は 2.1b のユークリッドの互除法と同じで、解くべき問題を「等価でより小さな問題」に置き換えます。そのために とおくと、2.1a より、
なので、問題は次のように書き換えられます。
ここで、未知数の と を次のように変換します。
これを代入して式を整理すると
となり、"小さな問題" に変換することができました。この考え方でアルゴリズムを記述すると次のとおりです。
以下は、このアルゴリズムの補足説明です。
この拡張ユークリッドの互除法のアルゴリズムは、2.1b のユークリッドのアルゴリズムとほぼ同じです。ただし、 と の計算のために変数を変換しているので、最大公約数を計算したあとに元の変数値を求める必要があります(=⑤)。そこが違います。
このことから、拡張ユークリッドの互除法の計算量は、ユークリッドの互除法のほぼ2倍だと推測できます。計算は少々複雑になりますが、たとえ や が巨大な数であっても、コンピュータで高速に計算できる。このことは次の「整数の逆数」の項で述べるように、RSA暗号にとっての重要ポイントになります。
2.2 から導かれる次の定理は、RSA暗号にとって重要です。
2.2 において と互いに素な数 を選び、 とおくと、 なので、適当な と をとることにより、
とすることができます。すなわち、
となり、2.3 が示されました。このとき は と互いに素であり、また と は互いに素なので、 も と互いに素になります。また、 と の2つの解があるとすると、
となり、 と は互いに素なので 1.3a より、
となります。従って、 の範囲に があり、かつ、この範囲で は一意に定まります。 を法として と合同な数も解であることは明白ですが、それらの解は を法として唯一です。
2.3 の "逆数" を計算するアルゴリズムは、拡張ユークリッドの互除法2.2 のアルゴリズム(2.2b)と基本的に同じです。
①で、extdEUCLID のアルゴリズム(2.2b)を使って を求め、それを 未満の自然数に直して答えの を求めています。( b + m )% m は b が負の場合の配慮です。このアルゴリズムは正確に言うと、 と が与えられたとき、
となる を求めるアルゴリズムです。 と が互いに素でなくても成立します。
この "逆数の存在定理" は RSA暗号において秘密鍵の算出に使われています。冒頭の「RSA暗号の例題」に書いたように、RSA暗号の公開鍵と秘密鍵は、まず秘密の2つの素数 と を決め、
とします。そして を、
となるように決め、 と を公開鍵とするのでした。そして秘密鍵 を、
を満たす数とします。この秘密鍵 の計算は、 の世界で の逆数を求めていることに他なりません。逆数の存在が保証されるのは、 を と互いに素という条件で決めたからです。さらに、この逆数の計算アルゴリズムは 2.2b の拡張ユークリッドの互除法と同じなので高速に計算できることが重要ポイントです。
普通、整数の "逆数"は(整数の範囲で)定義できません(1以外は)。しかし、" の合同の世界" では、 と互いに素な数 に対して逆数が定義できることになります。つまり整数の範囲で「割り算」が定義できる。
たとえば の世界では であり、 の逆数は です。割り算は逆数のかけ算なので、たとえば ( の世界)といった演算が定義できます。"検算" をすると ( の世界)なので合っています。
の場合は実用的な意味はありませんが、 を素数としたとき「 の世界」は大変重要です。というのも 未満の自然数はすべて と互いに素だからです。つまり 未満の全ての自然数に対して "逆数" が定義できます。
2.3b はほとんど 2.3 と同じです。「異なる に対する逆数 は異なる」というところですが、もし である と に対して、
となったとすると、
ですが、 も も と素なので矛盾します。異なる に対する逆数 は異なります。
このように逆数が存在するということは、 未満の2つの自然数の "除算" が定義できます。さらに、 と 未満の自然数を合わせると加減乗除が行えることになります。
加減乗除が定義された集合を「体(Field)」と呼びます。有理数、実数、複素数は「体」ですが、「 と 未満の自然数」も体になります。これを と表記します。この集合の要素の数は有限個なので「有限体」です。 の場合()で "逆数" の計算をしてみると、
となり、 以外の の要素は、その逆数(=逆元)と1対1に対応していることがわかります。
においては "整数" の加減乗除を "自由かつ厳密に" 行うことができます。これは、全ての情報を2進数に帰着させて扱うデジタル・コンピュータとの相性がよい。このため、公開鍵暗号の中には の演算を利用したものがあります。
なお、 を素数としたとき「 未満の自然数はすべて と互いに素」ということは「 と は互いに素」ということです(" " は階乗記号)。これは次の「フェルマの小定理」の証明に出てきます。
3. フェルマの小定理
フェルマの小定理は RSA暗号の根幹にかかわるものです。フェルマは17世紀フランスの大数学者(1607-1665)で、有名なフェルマの最終定理(大定理)と区別するために「小定理」の名があります。
これは少々意外な定理です。我々が学校で習う素数は、自身と 以外の約数を持たない数という定義か、素因数分解の定理か、そういうものです。「素数がもつ性質」に言及した定理はあまり思い浮かばない。しかしフェルマの小定理は、素数であれば必ずこうなると言っているわけです。これは次のように証明できます。
のそれぞれに をかけて、
という数列を作ります。そして、それぞれの数を で割った剰余を とします。つまり、
です。 は素数なので から までの数は と素であり、また は仮定により と素です。従って が になることはなく、 です。このとき、 である について、
になります。なぜなら、もし とすると、1.1b(合同式の減算)より、
です。仮定より は と互いに素なので、1.3 により(1.3 で の場合)、
となりますが、 なので、
となり仮定に反します。つまり であれば、必ず です。ということは、 個の数、 は全て違う数であり、つまり、 を並び替えたものです。従って、 を全部かけ算すると、
となります。そこで、1.1c(合同式の乗算)を上の 個の合同式に適用して左辺と右辺を全てかけ合わせてしまうと、
となります。ここで、 は素数なので と は互いに素です。すると 1.3 により、
となり、証明が完成しました。
今回はその継続・発展で、別の数学の問題を取り上げます。現代社会で広く使われている公開鍵暗号(その中の RSA暗号)です。これを取り上げる理由は、
2000年にわたる数学(数論 = 整数論)の基礎の上に作られた暗号である。 | |
インターネットの重要技術の一つであり、現代社会のインフラとなっている。 | |
高校生程度の前提知識があれば、論理的思考を積み重ねることで十分に理解できる(= タイトルの「高校数学で理解する」の意味)。 |
の3点です。以下の文章は元々別の目的のために作ったものですが、ここに掲載することにします。
公開鍵暗号
公開鍵暗号とは、
暗号化の手順と、そこで使用する暗号化のための "鍵" が公開されている(その鍵が "公開鍵")。 | |
暗号文を解読するための手順も公開されているが、それに使う "鍵" は秘匿されている(その鍵が "秘密鍵")。 |
というタイプの暗号です。公開鍵暗号のメリットは多々ありますが、一番のメリットは「鍵を配送するコストがかからない」ことです。全ての鍵を秘匿する暗号だと、その鍵をどうやって配送して暗号化をしたい人に届けるかが大きな問題となります。暗号化通信で配送するというのは解決になりません。その暗号化通信の暗号鍵をどうやって配送するかという問題が残るからです。
公開鍵暗号では暗号化のための鍵がオープンなので、配送のコストはゼロです。暗号文を受け取りたい人が公開鍵と秘密鍵を生成し、公開鍵をオープンにすると誰でもその人に暗号文を送ることができます。
公開鍵暗号の設計の最大のポイントは、あたりまえですが、公開鍵から秘密鍵を推定したり導出したりできないことです。まさにそこに数学が使われていて、暗号文を解読できないようになっています。この「暗号化の鍵を公開してしまう」という革新的なアイデアというか、まさに "究極の逆転の発想" を論文として発表したのは、当時スタンフォード大学の研究者だったディフィー(米)とヘルマン(米)で、1976年のことでした。
![]() |
ディフィーとヘルマンは公開鍵暗号の発明の功績で、コンピュータ・サイエンス分野のノーベル賞といわれるチューリング賞を 2015年に受賞した。 |
そのディフィーとヘルマンのアイデアに基づいた最初の暗号が RSA暗号で、現代でも盛んに使われています。これは 1978年に MIT のリベスト(米)、シャミア(イスラエル)、エーデルマン(米)の3人のよって発明され、3人の頭文字をとってRSAと呼ばれています。
実はこの RSA暗号は、実用として何に使ったらいいのか、発表当時は使い道が分からなかったといいます。それが現代ではインターネットによる通信の重要技術として広く使われている。これにはコンピュータの処理速度の飛躍的向上も貢献しています。革新的な技術は、その応用環境が整った時点で、後から実用化される。よくあることです。
![]() |
RSA暗号を発明した3人は、チューリング賞を 2002年に受賞している。 |
以下、このRSA暗号の数理を順に見ていきます。
RSA暗号の例題
まずRSA暗号はどういうものか、それを極めて簡単な例題で説明します。
平文(=暗号化する文)を で、またそれを暗号化した暗号文を で表します。例題として平文は1文字だけの英字で、それを整数に変換したものとします。RSA暗号にちなんで大文字の R が平文です。コンピュータで使われる ASCII(アスキー)コードでは、英大文字・英小文字・数字・特殊記号を ~ の数で表すので、それを使って数字化すると R は です。つまり、
が例題の平文です。
公開鍵は2つの数字のペア 、秘密鍵は一つの数字 で、例題としては、
公開鍵 :
秘密鍵 :
秘密鍵 :
とします。この公開鍵と秘密鍵の作り方は後で述べます。平文から暗号文への変換(=暗号化)と、暗号文から平文への変換(=復号化)を次の計算で行います。以降の記述では、 を で割った余り(=剰余)を と書きます(プログラム言語やEXCELで と書くのと同じ意味です)。
暗号化 :
復号化 :
復号化 :
例題の平文を暗号化の式に入れると、
となり、平文 "" に対する暗号文は "" です。 は巨大な数ですが、剰余を求めるときにこの巨大数を計算する必要は全くありません。上の程度の計算なら電卓でも簡単にできます。そのやり方は後ほど示します(「4. RSA暗号の証明」)。暗号文の復号化は、暗号文 "" を復号化の式に入れると、
となり、元の平文である "" が復元できました。なお、この例では平文をわずか1文字( 以下の数字)としましたが、実際に使われる暗号では 程度(10進で約300桁程度)の数字です(= 平文を数字化したもの。平文が長い場合は複数に分割)。また、公開鍵 と秘密鍵 も同程度の大きさの数字です。
この計算で暗号化と復号化が可能なのは、公開鍵と秘密鍵の作り方に工夫があるからです。まず は2つの素数 と の積です。
また は、 と との最大公約数が であるように決めてあります。 なので、 と との共通の約数は だけです。さらに秘密鍵である は、
となるように決めてあります。 なので成り立っています。このように鍵を仕込んでおくと暗号化と復号化が可能になる。そのことを証明するのが、本記事の目的です。その証明を、前提とする数学知識を最小限にしてやってみたいと思います。
公開鍵暗号は「公開鍵から秘密鍵が導出できない」ことが必須です。RSA暗号では、 と素因数分解ができれば、
の式を解いて が求まります。しかし実用で使われるRSA暗号は最低でも の桁数が10進数で300桁程度です(2進数で 1024ビット程度。平文も同等の長さ)。この程度の大きさの整数の素因数分解は、超高速コンピュータをもってしても困難です。もしコンピュータの速度がさらに向上するなら、鍵の桁数をさらに大きくすればよい。この素因数分解の困難性が、RSA暗号が成り立つ理由です。
以降でRSA暗号の暗号化と復号化の式が成り立つことの証明を行います。さらに、単に成り立つことだけでなく、RSA暗号に関わる各種の式が計算可能であることの説明をします。"式が正しい" ことと、その "式が実用的に計算可能である" ことは違うからです。素因数分解がまさにその例です。
まず、整数の性質についての用語の定義からです。用語は RSA暗号の式の証明に必要なものだけに絞ります。以降に現れる "数" やそれを表す記号は、ほとんど場合は整数のことですが、自然数(1以上の整数)を意味する場合もあります。どちらかは文脈から明らかなので、いちいち断りなく使います。
準備:用語の定義
割り切る・約数・因数・最大公約数
整数 を で割ったときの余りがゼロのとき、 は で割り切れると言い、また、 は を割り切ると言います。このことを記号を使って、
と書きます。またこのときの を の約数と呼びます。 と は常に成り立つので、 と は の約数です。
が 2つ以上の数の積で表されるとき、そのおのおのの数を の因数と呼びます。因数は約数と同じものですが、見方の違いと言えるでしょう。
2つの数、 と があったとき、共通の約数を公約数と言います。また、公約数のうち最大のものを最大公約数と呼び、 で表します。
素数と素因数分解
2以上の整数 の約数が 1 と のみのとき、 を素数と言い、そうでない数を合成数と言います。合成数は 1 と 以外の約数を持ちます。約数(=因数)が素数のとき、それを素因数と呼びます。 が素数の場合は が素因数です。
合成数は素因数の積で表現できます(=素因数分解)。なぜなら、定義によって合成数 は、 でも でもない数 と を使って と表現(=分解)できますが、 や が合成数なら、さらに分解を繰り返すことによって最終的には素数の積にたどり着くからです。なお便宜上、素数はそれ自身が素因数分解であるとします。
「素数」と「大きな数の素因数分解の困難性」が RSA暗号の基礎になっているのは、例題で説明した通りです。
素因数分解の一意性
素因数分解は、かけ算の順序を無視して一意に決まります(=素因数分解の一意性)。これは自明のように思えますが、証明をすると次の通りです。
いま(かけ算の順序は無視して)異なった2種類の素数列の積で表現できる合成数がある(=素因数分解が一意ではない)と仮定します。すると、そのような最小の数、 があるはずです。このとき は、 と を素数として、
と表現できます。ここで に着目すると なので、 となる があるはずです。かけ算の順序は無視するので、 として一般性を失いません。ところが は素数なので、 しかあり得ない。そこで式の全体を で割ると、
となります。これは が2つの異なった形に素因数分解できることを示しています。ところが は より小さい数なので「 が2つの異なった形に素因数分解できる最小の数」ということに矛盾します。従って「2つの異なった形で素因数分解できる数がある」という仮定が誤りであり、素因数分解の一意性が示されました。
互いに素
整数 と 整数 の最大公約数が のとき、つまり のとき、「 と は互いに素である」と言います。これは と が共通の素因数を持たないことと同じです。なお、 は常に成り立つので、 は他の数と互いに素です。
以降の、RSA暗号の証明に至るプロセスでは「互いに素」に関連した数々の定理や証明が出てきます。RSA暗号は「素数」と「互いに素」の上に構築された暗号です。
用語の定義はここまでです。以降はRSA暗号の成立性の証明に入ります。まず、数の "合同" の概念からです。
1. 合同
合同の概念はRSA暗号の根幹の一つです。 を 2 以上の整数とするとき、2つの整数 , について
を で割ったときの余りと、 を で割ったときの余りが等しいとき、 あるいは同じことで、 | |
が で割り切れるとき、つまり のとき、 |
と は を法として合同であると言い、
と書きます。少々ややこしいですが、はじめに書いたように とすると「 を で割った余り」の意味です。以下に、合同の性質でRSA暗号の証明に必要なものをあげます。
1.1 | |
かつ、 のとき、 1.1a 1.1b 1.1c |
これらの性質は、それぞれの数を、
というように書いて計算をすればすぐにわかります。たとえば 1.1c(合同式の乗算)を証明するには、 と の式をかけ算し、 と の式をかけ算して、
が得られますが、2つの数が共に で割り切れると、その差も で割り切れます。従って、
となります。
1.2 | 合同式の累乗(冪乗) |
なら、2以上の について、 である。 |
これは 1.1c で、、 とおいて 1.1c を "繰り返して使う" ことでわかります。"繰り返して使う" ことを証明として書くなら数学的帰納法になるでしょう。以降は「互いに素」に関連した合同の性質です。
1.3 | 互いに素(1) |
かつ、 と が互いに素なら、 |
合同の定義により
となります。ここで一般的に次の 1.3a が成り立つことに注意します。
1.3a | |
は と互いに素とする。 ならば |
と は互いに素なので、 と に共通の素因数はありません。従って、 を素因数分解したときに現れる素因数は、すべて の素因数のはずです。でないと、 とはならないからです。従って となります。このことを に適用すると、
となり、1.3 が証明されました。1.3 は以降の証明にたびたび出てくる重要な定理です。1.3 を一般化したのが次の 1.4 です。
1.4 | 互いに素(2) |
かつ、 かつ、 と は と互いに素なら、 |
, , , を、 と 剰余 を使って次のように表します。
このようにおくと、 より、
となります。一方、 と は互いに素です。なぜなら、もし と が ではない共通の約数 をもつとすると、上の の式から は の約数にもなり、 と が互いに素ではなくなるからです。また、 の式から は の約数でもあり、 と が互いに素という前提にも反します。このように と は互いに素なので 1.3 を使って、
となりますが、 なので、 となり、
が示されました。
1.5 | 互いに素(3) |
と は互いに素とする。 かつ、 なら、 |
なので、合同の定義から です。また、 なので、合同の定義から であり、 と表せます。この式の を に代入すると、
となります。 と は互いに素なので 1.3a を使うと、
となり、従って と表せることになります。この を に代入すると、
となって 1.5 が証明できました。
合同には数々の性質や定理がありますが、RSA暗号の証明に必要なものは以上です。次に、2つの数の最大公約数を求める「ユークリッドの互除法」です。これは最大公約数を求める計算方法というだけでなく、RSA暗号において公開鍵と秘密鍵を生成する際に必須のものです。
2. ユークリッドの互除法
ユークリッドの互除法は 2つの自然数( と 。 とします)の最大公約数を求める計算方法です。これはユークリッドの数学書である『原論』にあります。『原論』は紀元前 300年頃の成立といいますから、2300年ほど前の書物ということになります。
この計算方法では、割り算(除算)を何ステップか繰り返します。割り算において被除数(=割られる数)と除数(=割る数)、商(=答)、剰余(=余り)の関係は、
被除数 = 商 × 除数 + 剰余
ですが、まず第1ステップとして、
= | |
= |
とおき、
被除数1 = 商1 × 除数1 + 剰余1
の計算をして、商1と剰余1を求めます。次に第2ステップとして、
= 除数1 | |
= 剰余1 |
とおいて割り算を行い、商2と剰余2を求めます。つまり、
被除数2 = 商2 × 除数2 + 剰余2
です。この「除数と剰余を新たな被除数と除数にして割り算をする」ステップを次々と繰り返して行くと、剰余は次第に小さくなっていき、ついには剰余がゼロ(= 被除数が除数で割り切れる)となります。この時点での除数(= 一つ前のステップの剰余)が と の最大公約数です。
なぜそうなるのかが以下ですが、ポイントは割り算の式から明らかなように「被除数と除数の公約数は、剰余の約数でもある」ことです。つまり と の約数であるという性質が剰余に引き継がれ、それは割り算のステップを繰り返してもずっと続きます。しかも、剰余はステップが進むにつれて小さくなっていくので、最大公約数に近づく。そして割り切れたときの除数(一つ前のステップの剰余)は、約数であると同時に最大の約数である。おおまかにはそのような理解です。
2.1 | ユークリッドの互除法 |
と を自然数とし、 とする。 となったとき、 である。 |
と ()の公約数を とします。すると、 かつ なので、 式から になります。この と から 式を使って が得られます。
その次には 、 、(3) 式から になる。以上を最後まで繰り返すと、次のようになります。
以上のように、最終的には となり、
と の公約数は の約数である
ことが示せました。同時に、
と の公約数の最大値は である
ことも分かります。
次に、ユークリッドの互除法の最終プロセスに現れる剰余は、全てのステップの剰余の約数になっていることを示します。このことを最終ステップから順に遡って検証すると、
となり、 かつ 、つまり、
は と の公約数である
ことが示せました。
従って、
は と の公約数である | |
と の公約数の最大値は である |
の2つから、 が証明できました。
計算量 |
RSA暗号にとってのユークリッドの互除法の意味ですが、次の2つが重要です。まず第1に「2つの数の最大公約数は、素因数分解なしに計算できる」ことです。これはすなわち「2つの数が互いに素であることが素因数分解なしに示せる」ことも意味します。
我々が普通、学校で習う最大公約数の求め方は、2つの数を素因数分解して共通の素因数を探すというものでした。共通のものがなければ最大公約数は (=互いに素)です。しかし、数が巨大になると素因数分解が困難になります(それがRSA暗号が成り立つゆえんです)。ユークリッドの互除法を使うと「最大公約数」や「互いに素」が素因数分解なしに示せるのです。
第2は、ユークリッドの互除法が高速に計算できることです。ユークリッドの互除法では、一つのステップの剰余が次のステップの除数になります。次のステップの剰余は除数より小さいので、
となりますが、 が に近いと計算は急速に収束します。また が に近い場合でも、その次のステップの商が大きくなり、 が に近くなるので、計算は収束することになります。従って、最も計算が長引くのは、 が の半分程度で、それが連続する場合だと推測できます。
実は、ユークリッドの互除法のステップが最も長くなるケースが知られています。それは 割り算の商が常に になるケースで、 と が(たまたま)フィボナッチ数列の隣り合う2項だとそうなります。フィボナッチ数列とは、
で定義される数列で、実際に書いてみると、
です。いま、、 としてユークリッドの互除法の計算をしてみると
となって、10ステップかかります。剰余が減る割合が常に 0.6 倍程度で、なかなか減りません。商が常に 1 なのでこうなります。しかし、なかなか減らないが毎回 0.6 倍程度にはなり、マクロ的には急速に小さくなる。証明は省略しますが、 と が10進で 桁の数字でフィボナッチ数列の隣り合う2項だった場合でも、ユークリッドの互除法は ステップ以下で終了します。
これは と が300桁程度の数字のとき、それが偶然にもフィボナッチ級数の隣り合う2項であるという最悪の最悪の場合でも 1500回の割り算で終了することを意味します。この程度の計算はもちろんコンピュータで可能です。
本題に戻ります。最初の「RSA暗号の例題」のところで公開鍵の作り方を書きました。まず2つの素数、 と を選び、 とします。次に、 との最大公約数が であるような数(=互いに素)を選び、それを とします。その のペアを公開鍵とするのでした。
と同程度の大きさの数、 をランダムに選んだとき、その が と互いに素であるかどうかは、ユークリッドの互除法で検証可能です。そしてこの検証は と が巨大な数であっても可能です。つまりユークリッドの互除法は公開鍵が現実に作成できるという数学的根拠になっています。
アルゴリズム |
2.1 において、 と の最大公約数は でしたが、この は (1)式における と の最大公約数にもなります。なぜなら、 と の最大公約数を求めるためには (2)式から互除法の計算を始めればよく、その結果は になるからです。これは次を意味します。
2.1a | |
と を自然数とし、 とする。 を と書き表せるとき、 である。 |
つまり、ユークリッドの互除法は
と の最大公約数を求める問題」を「より小さな数である と の最大公約数を求める問題」に置き換える |
ものといえます。この置き換えは次々と可能で、置き換えるたびに問題がより "小さく" なっていく。これがユークリッドの互除法の本質です。
そのユークリッドの互除法は "世界最古のアルゴリズム" と言われています。そして、アルゴリズムを記述するのに最適な言語はプログラミング言語です。2.1a の考え方に基づき、ユークリッドの互除法で最大公約数を計算するプログラムを掲げます。
2.1b | アルゴリズム |
ユークリッドの互除法で a と b の最大公約数を求める関数 EUCLID(Javascriptで記述) function EUCLID( a, b ) { if( a % b == 0 ) // ① return b; else return EUCLID( b, a % b ); } |
①の "%" は Javascript の剰余演算子で、"a % b" は "a を b で割った余り" という意味です(a mod b と同じ)。なお、このプログラムは でも動作します。
もちろん、Javascript でなくても、C++ でも Python でも記述できます。このようにプログラムで書くと簡潔になって、ユークリッドの互除法というアルゴリズムの本質がクリアにわかります。
拡張ユークリッドの互除法 |
ユークリッドの互除法の "副産物" として、次の定理が成り立ちます。
2.2 | |
と を自然数とする。このとき適当な整数 、 をとって、 と表せる。 |
この定理の証明ですが、ユークリッドの互除法の計算過程を振り返ると、
でした。ここで を変形して、
とします。 です。次に、今求めた と を使うと、
の形に表せることになります。 です。さらに、求まった と と を使って、
と表せることが分かります。このステップを順に続けていって まで到達すると、
, は の式
となることがわかります。 だったので、2.2 が証明できました。 と のうち、一つは正の整数、もう一つはゼロか負の整数です。一つがゼロであるのは、 のときです。なお、2.2 を満たす 、 に、
を満たす 、 をそれぞれ足し込んでも 2.2 が成立することが明白です。つまり 2.2 を満たす 、 は1組というわけではありません。
なお、2.2 は次のように言い換えることができます。
2.2a | 不定方程式の整数解 |
と を自然数とする。このとき、不定方程式 は整数解をもつ。 |
拡張ユークリッドの互除法のアルゴリズム |
ユークリッドの互除法を拡張して、 と が与えられたとき、 と、
を満たす と (=無数にある解のうちの一つのペア)を同時に計算してしまうアルゴリズムを考えてみます。
考え方は 2.1b のユークリッドの互除法と同じで、解くべき問題を「等価でより小さな問題」に置き換えます。そのために とおくと、2.1a より、
なので、問題は次のように書き換えられます。
ここで、未知数の と を次のように変換します。
これを代入して式を整理すると
となり、"小さな問題" に変換することができました。この考え方でアルゴリズムを記述すると次のとおりです。
2.2b | 拡張ユークリッドの互除法 | ||||||||||||||||||||||||||||
a と b から拡張ユークリッドの互除法で(u, v, 最大公約数)の3つを同時に求める関数 extdEUCLID(Javascriptで記述)
|
以下は、このアルゴリズムの補足説明です。
var:変数の宣言。%:剰余演算子。 | |
a が b で割り切れるなら解が求まる。自然な解を関数値として返す。関数値は3つの変数(u, v, gcd)をひとまとめにしたオブジェクト。 | |
商を求め、小数点以下を切り捨て整数化する。Javascript には実数・整数の区別がないので整数化(組み込み関数の Math.floor)が必要。 | |
小さな問題として計算する。 | |
変数を元に戻して、関数値(u, v, gcd)を返す。 |
この拡張ユークリッドの互除法のアルゴリズムは、2.1b のユークリッドのアルゴリズムとほぼ同じです。ただし、 と の計算のために変数を変換しているので、最大公約数を計算したあとに元の変数値を求める必要があります(=⑤)。そこが違います。
このことから、拡張ユークリッドの互除法の計算量は、ユークリッドの互除法のほぼ2倍だと推測できます。計算は少々複雑になりますが、たとえ や が巨大な数であっても、コンピュータで高速に計算できる。このことは次の「整数の逆数」の項で述べるように、RSA暗号にとっての重要ポイントになります。
整数の逆数 |
2.2 から導かれる次の定理は、RSA暗号にとって重要です。
2.3 | 逆数の存在 |
なら(= と が互いに素なら)、 となる が存在する。この は と互いに素であり、 の範囲では一意に定まる(= を法として唯一)。 |
2.2 において と互いに素な数 を選び、 とおくと、 なので、適当な と をとることにより、
とすることができます。すなわち、
となり、2.3 が示されました。このとき は と互いに素であり、また と は互いに素なので、 も と互いに素になります。また、 と の2つの解があるとすると、
となり、 と は互いに素なので 1.3a より、
となります。従って、 の範囲に があり、かつ、この範囲で は一意に定まります。 を法として と合同な数も解であることは明白ですが、それらの解は を法として唯一です。
2.3 の "逆数" を計算するアルゴリズムは、拡張ユークリッドの互除法2.2 のアルゴリズム(2.2b)と基本的に同じです。
2.3a | 逆数の計算アルゴリズム |
m を法とする a の逆数を求める関数 INVERSE(Javascriptで記述) function INVERSE( a, m ) { var b = extdEUCLID( a, m ).u % m; // ① return ( b + m ) % m; // function extdEUCLID( a, b ) { var r = a % b; if( r == 0 ) return { u : 0, v : 1, gcd : b }; else { var q = Math.floor( a / b ); var s = extdEUCLID( b, r ); return { u : s.v, v : (s.u - q * s.v), gcd : s.gcd }; } } // extdEUCLID 終わり // } // INVERSE 終わり |
①で、extdEUCLID のアルゴリズム(2.2b)を使って を求め、それを 未満の自然数に直して答えの を求めています。( b + m )% m は b が負の場合の配慮です。このアルゴリズムは正確に言うと、 と が与えられたとき、
となる を求めるアルゴリズムです。 と が互いに素でなくても成立します。
この "逆数の存在定理" は RSA暗号において秘密鍵の算出に使われています。冒頭の「RSA暗号の例題」に書いたように、RSA暗号の公開鍵と秘密鍵は、まず秘密の2つの素数 と を決め、
とします。そして を、
となるように決め、 と を公開鍵とするのでした。そして秘密鍵 を、
を満たす数とします。この秘密鍵 の計算は、 の世界で の逆数を求めていることに他なりません。逆数の存在が保証されるのは、 を と互いに素という条件で決めたからです。さらに、この逆数の計算アルゴリズムは 2.2b の拡張ユークリッドの互除法と同じなので高速に計算できることが重要ポイントです。
普通、整数の "逆数"は(整数の範囲で)定義できません(1以外は)。しかし、" の合同の世界" では、 と互いに素な数 に対して逆数が定義できることになります。つまり整数の範囲で「割り算」が定義できる。
たとえば の世界では であり、 の逆数は です。割り算は逆数のかけ算なので、たとえば ( の世界)といった演算が定義できます。"検算" をすると ( の世界)なので合っています。
の場合は実用的な意味はありませんが、 を素数としたとき「 の世界」は大変重要です。というのも 未満の自然数はすべて と互いに素だからです。つまり 未満の全ての自然数に対して "逆数" が定義できます。
2.3b | 逆数の存在:法が素数 |
を素数とする。 未満の自然数 に対して、 を満たす逆数 が の範囲で一意に定まる。また、異なる に対する逆数 は異なる。 |
2.3b はほとんど 2.3 と同じです。「異なる に対する逆数 は異なる」というところですが、もし である と に対して、
となったとすると、
ですが、 も も と素なので矛盾します。異なる に対する逆数 は異なります。
このように逆数が存在するということは、 未満の2つの自然数の "除算" が定義できます。さらに、 と 未満の自然数を合わせると加減乗除が行えることになります。
加減乗除が定義された集合を「体(Field)」と呼びます。有理数、実数、複素数は「体」ですが、「 と 未満の自然数」も体になります。これを と表記します。この集合の要素の数は有限個なので「有限体」です。 の場合()で "逆数" の計算をしてみると、
となり、 以外の の要素は、その逆数(=逆元)と1対1に対応していることがわかります。
においては "整数" の加減乗除を "自由かつ厳密に" 行うことができます。これは、全ての情報を2進数に帰着させて扱うデジタル・コンピュータとの相性がよい。このため、公開鍵暗号の中には の演算を利用したものがあります。
なお、 を素数としたとき「 未満の自然数はすべて と互いに素」ということは「 と は互いに素」ということです(" " は階乗記号)。これは次の「フェルマの小定理」の証明に出てきます。
3. フェルマの小定理
フェルマの小定理は RSA暗号の根幹にかかわるものです。フェルマは17世紀フランスの大数学者(1607-1665)で、有名なフェルマの最終定理(大定理)と区別するために「小定理」の名があります。
3.1 | フェルマの小定理 |
を素数とし、 を とは素な数とすると、 が成り立つ。 |
これは少々意外な定理です。我々が学校で習う素数は、自身と 以外の約数を持たない数という定義か、素因数分解の定理か、そういうものです。「素数がもつ性質」に言及した定理はあまり思い浮かばない。しかしフェルマの小定理は、素数であれば必ずこうなると言っているわけです。これは次のように証明できます。
のそれぞれに をかけて、
という数列を作ります。そして、それぞれの数を で割った剰余を とします。つまり、
です。 は素数なので から までの数は と素であり、また は仮定により と素です。従って が になることはなく、 です。このとき、 である について、
であれば、必ず
になります。なぜなら、もし とすると、1.1b(合同式の減算)より、
です。仮定より は と互いに素なので、1.3 により(1.3 で の場合)、
となりますが、 なので、
となり仮定に反します。つまり であれば、必ず です。ということは、 個の数、 は全て違う数であり、つまり、 を並び替えたものです。従って、 を全部かけ算すると、
となります。そこで、1.1c(合同式の乗算)を上の 個の合同式に適用して左辺と右辺を全てかけ合わせてしまうと、
となります。ここで、 は素数なので と は互いに素です。すると 1.3 により、
となり、証明が完成しました。
(次回に続く)
2021-05-01 11:00
nice!(0)