久しぶりに研究に戻ることにした。自分が書いたノートを印刷して読んでいたら、フォントが小さくて見にくい。年なのかな。ちょっと悲しい。
とりあえず12ptでコンパイルし直してもう一度読むことにした。
久しぶりに研究に戻ることにした。自分が書いたノートを印刷して読んでいたら、フォントが小さくて見にくい。年なのかな。ちょっと悲しい。
とりあえず12ptでコンパイルし直してもう一度読むことにした。
ブログの投稿件数とタイトルの数字が一致せず不思議に思っていたら投稿の番号に重複があることが判明。しかも何件もあった。数が数えられないことが証明されてしまいちょっと悲しい。
一般的に考えてみると、素数 $p$ 以下の数は「① $p$ より小さい素数」か、②「 $p$ を含まない素数の積(合成数)」二パターン。
で、①を考えてみると、平方剰余があったとすると、素数 $p'<p$ として適当な自然数 $m<p$ について
\[p'^2=mp\]
が成立する。ところが $m$ も $p$ 未満の素数の合成数のはずなので、上の等式は素数 $p'$ が約数 $p$ を持つことになるので明らかにおかしい。
②の場合について考えてみると、$p$以下の数$n$は$p$より小さい素数の合成数となるので$p_1,p_2\cdots$を$p$より小さい素数として書けば$n=(p_1)^{i_1}(p_2)^{i_2}\cdots$の様に書ける。同様に平方剰余があるとすると
\[(p_1)^{2i_1}(p_2)^{2i_2}\cdots=mp\]
が成立する。先ほどと同様に$m$も$p$未満の素数の合成数なので両辺を割ることで$p$が別の素数の積で与えられることになる。よって両方の場合とも平方剰余になることはないことが分かる。
言われてみれば、ある素数未満の数はその素数を約数として持たないので平方剰余になることは決して無いってことなのかな。そう考えてみると当たり前な気もする。
でも果たしてガウスはこんな簡単なことを言いたかったのだろうか。それともここには何か深遠な真理が含まれているのか...。謎だ。
バッハの誕生日だったらしい。おめでとうございます。