二次形式と素数で遊ぼう - 第2回 #日曜数学会
TRANSCRIPT
問題 • 素数 個のサイコロがあります。
• このサイコロを2つの正方形に並べて分けてみましょう。
• どんな のとき,2つの正方形に分けることができるかな?
p = 13
p = 13
p = 13
3
フェルマーの二平方定理
簡単
むずい
(偶数)2 = 4k’ (奇数)2 = 4k’’ + 1 より右辺はどうやっても 4k+3 にならない
p = 4k+ 1 () p = x
2 + y
2
((=)
(=))
(証明)
8
p = 8k+ 1, 8k+ 3 () p = x
2 + 2y
2
p = 3k+ 1 () p = x
2 + 3y
2
p = 4k+ 1 () p = x
2 + y
2
15
正方形2つ正方形
正方形3つ正方形
p = 40k+ 1, 40k+ 9,
40k+ 11, 40k+ 19
() p = x
2 + 10y
2
p = 7k+ 1,
7k+ 2, 7k+ 4
() p = x
2 + 7y
2
p = 24k+ 1, 24k+ 7 () p = x
2 + 6y
2
p = 20k+ 1, 20k+ 9 () p = x
2 + 5y
2
16
多くの に対して※
が表現する素数の条件は 素数を で割った余りによって表せる
※ に対応するヒルベルト類体が のアーベル拡大であるとき(∵ 類体論より)
x
2 + ny
2
n
4n
Q(p-n)/Q
二次形式
17
Q(p-n)/Q
「56 で割った余り」では区別できない
p = 56k+ 1, 56k+ 9, 56k+ 15,
56k+ 23, 56k+ 25 or 56k+ 39
()
8<
:
p = x
2 + 14y
2
or
p = 2x
2 + 14y
2
9=
;
アタリ
ハズレ
例外:
18
Demo app is here !!
Primes of the form x2 + ny2. http://tsujimotter.info/works/primes-‐of-‐the-‐form/
26