2020-03-11

法pにおける(-1)の平方根の計算(2)

4で割って1あまる素数 $p$ に対して

$x^2 + 1 \equiv 0 \pmod{p} \tag{1}$

をみたす整数 $x$ が必ず存在することは「平方剰余の相互法則」の「第一補充則」と呼ばれ、よく知られていますね。

一方で、上の事実だけからは「 $x$ がどのような数であるか」についてはわかりません。具体的に $x$ を求める方法はないのでしょうか。

実は以前にも似たような問題意識の記事を書いたことがありました。
tsujimotter.hatenablog.com

というわけで、今回はパート２です。

前回紹介したのは「オイラーの基準」を使った方法でしたが、今回は「ウィルソンの定理」を使った方法を紹介したいと思います。

2020-03-07

#素数大富豪札幌杯で出された合成数出しカマトトについて

数学整数論日曜数学素数大富豪

先日、素数大富豪の大会が札幌で開催されました。その名も「札幌杯」。一時期は開催が危ぶまれましたが、なんとか無事開催されることになりました。

少し長い動画ですが、YouTubeで大会の様子を見ることができます。
www.youtube.com

札幌杯では「数学的に面白いシーン」がありました。今日はそれを紹介したいと思います。

nishimura vs OTTY

nishimuraさんとOTTYさんの2人の対戦で事件（？）は起きました。お二人とも強豪同士という注目の対戦カードです。対戦も非常に熱かったのですが、今回見ていただきたいのは、動画の 2:12:00 あたりです。

f:id:tsujimotter:20200306011918p:plain:w400

OTTYさんの97843（5枚出し）に対して、nishimuraさんからこんな手が出されました

$3^{567224} =_? 88111213$

88111213は "88JQK" として出されていますので、5枚出しで問題ありません。しかしなんだこれはという手です。

2020-03-06

ケンタッキーのサイドメニュー問題と重複組合せ

数学整数論日曜数学自由研究・独自研究

去年の年末、ケンタッキーに行ったときのことです。オリジナルチキン4ピースパックを注文することにしました。
www.kfc.co.jp

このパックでは、以下の4種のサイドメニューのうち1個を選ぶことができます。

・ポテトS
・クリスピー
・ビスケット
・コールスローS

どれもおいしそうですね。

f:id:tsujimotter:20200306160743j:plain:w360

写真はオリジナルチキンとサイドメニューのビスケットです

私は2パック購入したので、サイドメニューは重複を含めて2個選ぶことができました。

ここで購入する際に悩んだのは、次の問題です。

サイドメニューを選ぶ組合せは何通りだろうか？

（あ、サイドメニューを選ぶのに悩んだんじゃないんですね・・・）

この問題に対して、ケンタッキーを出てから家までの道のりの間考えてみたところ、二通りの解法を思いつきました。それを紹介したいと思います。

2020-02-18

フェルマー数を使った素数の無限性の証明

数学整数論

今日は数論の話をしましょう。

今回の主役は フェルマー数 です。フェルマー数とは、0以上の整数 $n$ に対して

$F_n = 2^{2^n} + 1 \tag{1}$

の形をした数のことです。

$F_n$ が自然に現れる問題としては 正多角形の作図 がよく知られています。 $p$ を素数として、正 $p$ 角形が作図可能である必要十分条件が知られています。その条件は「素数 $p$ がフェルマー数であること」です。フェルマー数の形をした素数をフェルマー素数といいます。

宣伝です！！

フェルマー素数と作図の関係についての解説は、tsujimotterのノートブックの過去の記事でも紹介しています：
tsujimotter.hatenablog.com

また、私の執筆した数理科学の記事（2017年12月号）でも、丁寧に紹介しています。よろしければご覧ください。

数理科学 2017年 12 月号 [雑誌]

発売日: 2017/11/20
メディア: 雑誌

最初の5つのフェルマー数

$F_0 = 3$

$F_1 = 5$

$F_2 = 17$

$F_3 = 257$

$F_4 = 65537$

を観察すると、これがすべて素数となることに気づきます。

フェルマー数の由来となった数学者フェルマーは、フェルマー数が素数ばかりであることに驚き、この先も素数が続くことを予想していたようです。

ところが、すぐ次のフェルマー数は素数ではありません。

$F_5 = 4294967297 = 641 \times 6700417$

もっというと、この先フェルマー素数は一つも見つかっていません。2020年2月現在、307個のフェルマー数が合成数であることが調べられています。フェルマー数の列の中に、6個目もフェルマー素数を見つける試みは、大変難しいことがわかります。

今紹介したフェルマー数を使うと、なんと 素数の無限性の別証明 が得られるのです。今日はその方法を紹介したいと思います。

フェルマー数から素数の無限性が得られると聞いて、ぱっと頭に浮かぶのは「フェルマー素数の無限性」を示すという方針でしょう。フェルマー素数が無限にあることが示せれば、当然素数も無限にあるというわけです。

フェルマー素数の無限性 $\;\; \Longrightarrow \;\;$ 素数の無限性

しかしながら、フェルマー素数の無限性を示すのはとても困難です。そもそも「～〜素数の無限性」を示すこと自体、とても難しい問題です。ほとんどの場合（たとえば「フィボナッチ素数の無限性」「メルセンヌ素数の無限性」「双子素数の無限性」など）が未解決問題で、うまくいっているのは「 $an + b$ 型素数の無限性（算術級数定理）」ぐらいです。

もっと違ったアプローチが必要というわけですね。

2020-02-04

リーマン面の定義

数学解析学リーマン面

最近、寺杣先生の「リーマン面の理論」という本を勉強しています。

リーマン面の理論

作者:寺杣友秀
発売日: 2019/11/29
メディア: 単行本（ソフトカバー）

「リーマン面」についての勉強を始めたのは、「幾何が専門の人の話についていけるようになりたい」という動機からでした。そんなことを考えているときに上記の本が発売されたので、ちょうどよいタイミングだなと思いました。また、それとは別に「リーマン面」と「数論的な現象」の間に接点があるそうで、これについても理解したいなという思いがあります。

一方、tsujimotterはこれまで位相空間論や多様体の勉強をほとんどしてこなかったので、理解するのにだいぶ苦労しています。進捗は遅そうですが、少しずつでも読み進めようと思っています。

第一段階として、自分自身の理解の確認のためにリーマン面の具体例を構成していきたいと思っています。今回はその前段として「リーマン面の定義」を丁寧にまとめていきたいと思います。

なお、今回の記事では「わかりやすく伝える」という意図はあまりなく、ただただ実直に定義を理解しようという考えで書いています。その点はご理解ください。

2020-01-01

#2020になる数式（マニアック編）：判別式-2020の2次形式

数学素数素数と２次体の整数論日曜数学整数論

2020年最初に作ったアプリが、おかげさまでたくさんの方にみてもらえているようです。

「2020」という数は、

・2つの平方数の和
・3つの平方数の和
・連続する4つの素数の平方数の和
・10連続偶数の平方和

でそれぞれ表せる数らしいので、その性質を可視化するページを作ってみました！#2020になる数式 #大晦日ハッカソン

Interesting properties of 2020.https://t.co/FT2DFTP0XO pic.twitter.com/fxZKJi5Fv9
— tsujimotter (@tsujimotter) 2019年12月31日