SlideShare a Scribd company logo
1 of 67
Download to read offline
時計の世界の整数論
日曜数学者
辻順平(@tsujimotter)
http://tsujimotter.info
第2回 プログラマのための数学勉強会
(2015 年 3 月 27 日)
2015/3/31 1
日曜数学(者)とは
興味の赴くままに「趣味として」
数学を探究する行為(人)
一番「熱い」と思う対象について学ぶ・話す
2015/3/31 2
整数論
2015/3/31 3
きっかけ
カール・フリードリヒ・ガウス
2015/3/31 4
Disquisitiones Arithmeticae (D.A.)
日本語訳では “ガウス整数論”
2015/3/31 5
0 1
2
3
4
56
7
8
9
10
11 時間時計
0
1
23
4
5 時間時計
時計の世界の整数論
「そのような日々の中で,
私はゆくりなくあるすばらしいアリトメティカの真理に出会ったの
である.(中略)
やがて私はついに望みどおりの成功を収めたが,
そのころにはこのような研究の魅力にすっかり取り付かれてしまい,
もう立ち去ることはできなかった.」
高瀬正仁訳「ガウス整数論」 (緒言より抜粋)
2015/3/31 6
気になる!
2015/3/31 7
理解したい!!
2015/3/31 8
「時計の世界の整数論」の概観
STEP 1:
時計の世界のキソ知識
STEP 2:
時計の世界の中の法則
• フェルマーの小定理
• 原始根定理
• オイラーの基準
STEP 3:
2つ時計の世界をつなぐ法則
• 平方剰余の相互法則
ガウスが見つけた整数論の真理
• 時計の世界とは
• 足し算/掛け算ができる
• べき乗の表を作る
2015/3/31 9
整数論の2通りの愉しみ方
「芸術」のように愉しむ
背景や美しさを理解して鑑賞する
「パズルゲーム」のように愉しむ
手を動かして遊ぶ
2015/3/31 10
「時計の世界の整数論」の概観
STEP 1:
時計の世界のキソ知識
• 時計の世界とは
• 足し算/掛け算ができる
• べき乗の表を作る
STEP 2:
時計の世界の中の法則
• フェルマーの小定理
• 原始根定理
• オイラーの基準
STEP 3:
2つ時計の世界をつなぐ法則
• 平方剰余の相互法則
ガウスが見つけた整数論の真理
手を動かして
法則を見つけよう!
美しい法則を
鑑賞しよう!
2015/3/31 11
「時計の世界の整数論」の概観
STEP 1:
時計の世界のキソ知識
• 時計の世界とは
• 足し算/掛け算ができる
• べき乗の表を作る
STEP 2:
時計の世界の中の法則
• フェルマーの小定理
• 原始根定理
• オイラーの基準
STEP 3:
2つ時計の世界をつなぐ法則
• 平方剰余の相互法則
ガウスが見つけた整数論の真理
手を動かして
法則を見つけよう!
美しい法則を
鑑賞しよう!
2015/3/31 12
時計の世界とは
…, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, …
一直線上に数が並ぶ
一般的な整数の世界では・・・
2015/3/31 13
0
1
23
4
5
6
78
9
10
11
1213
14
15
16
1718
19
螺旋状に数を巻き付ける
2015/3/31 14
0
1
23
4
5
6
78
9
10
11
1213
14
15
16
1718
19
「時計の世界」完成!
2015/3/31 15
0
1
23
4
5
6
78
9
10
11
1213
14
15
16
1718
19
同じ時間に位置する数は合同の関係にある
例:5 時間時計において 1 と 6 は同じ時間を指している
⇔ 5 時間時計において 1 と 6 は合同である
⇔ 1 ≡ 6 mod 5
2015/3/31 16
0
1
23
4
5
6
78
9
10
11
1213
14
15
16
1718
19
1 ≡ 6 ≡ 11 ≡ 16 mod 5
2015/3/31 17
0
1
23
4
合同な数は「同じもの」とみなして最も小さい数で代表して考えてよい
例: 5 時間時計では,{0, 1, 2, 3, 4} の数だけ考える
時計の世界 = 整数のミニチュア
2015/3/31 18
足し算/掛け算ができる!
時計の世界の「足し算」
0
1
23
4
0
1
23
4
0
1
23
4
+ ≡
1 + 3 ≡ 4 (mod 5)
2015/3/31 19
時計の世界の「足し算」
0
1
23
4
0
1
23
4
0
1
23
4
+ ≡
3 + 4 ≡ 2 (mod 5)
(7) があるつもりで・・・
2015/3/31 20
時計の世界の「掛け算」
0
1
23
4
0
1
23
4
0
1
23
4
× ≡
3 × 2 ≡ 1 (mod 5)
(6)
があるつもりで・・・
2015/3/31 21
0
1
23
4
0
1
23
4
0
1
23
4
× ≡
3 × 3 ≡ 4 (mod 5)
(9)
時計の世界の「掛け算」
2015/3/31 22
0
1
23
4
0
1
23
4
の 2 乗 ≡
32 ≡ 4 (mod 5)
(9)
時計の世界の「掛け算」
2015/3/31 23
0
1
23
4
0
1
23
4
の 2 乗 × ≡
32 × 3 ≡ 2 (mod 5)
0
1
23
4
時計の世界の「掛け算」
2015/3/31 24
0
1
23
4
0
1
23
4
× ≡
4 × 3 ≡ 2 (mod 5)
0
1
23
4
(12)
時計の世界の「掛け算」
2015/3/31 25
時計の世界の「掛け算」
0
1
23
4
0
1
23
4
の 3 乗 ≡
33 ≡ 2 (mod 5)
2015/3/31 26
n n1 n2 n3 n4
3 3 4 2 1
33 ≡ 2 (mod 5)31 ≡ 3 (mod 5)
32 ≡ 4 (mod 5)
34 ≡ 1 (mod 5)
べき乗を並べて表を作る
2015/3/31 27
n n1 n2 n3 n4
1 1 1 1 1
3 3 4 2 1
べき乗を並べて表を作る
2015/3/31 28
n n1 n2 n3 n4
1 1 1 1 1
2 2 4 3 1
3 3 4 2 1
4 4 1 4 1
べき乗を並べて表を作る
2015/3/31 29
0
1
23
4
5 時間時計 の世界
n n1 n2 n3 n4
1 1 1 1 1
2 2 4 3 1
3 3 4 2 1
4 4 1 4 1
2015/3/31 30
5 時間時計
n n1 n2 n3 n4 n5 n6
1 1 1 1 1 1 1
2 2 4 1 2 4 1
3 3 2 6 4 5 1
4 4 2 1 4 2 1
5 5 4 6 2 3 1
6 6 1 6 1 6 1
7 時間時計 の世界
2015/3/31 31
0
1
2
34
5
6
7 時間時計
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
11 時間時計 の世界
2015/3/31 32
0 1
2
3
4
56
7
8
9
10
11 時間時計
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12
1 1 1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 3 6 12 11 9 5 10 7 1
3 3 9 1 3 9 1 3 9 1 3 9 1
4 4 3 12 9 10 1 4 3 12 9 10 1
5 5 12 8 1 5 12 8 1 5 12 8 1
6 6 10 8 9 2 12 7 3 5 4 11 1
7 7 10 5 9 11 12 6 3 8 4 2 1
8 8 12 5 1 8 12 5 1 8 12 5 1
9 9 3 1 9 3 1 9 3 1 9 3 1
10 10 9 12 3 4 1 10 9 12 3 4 1
11 11 4 5 3 7 12 2 9 8 10 6 1
12 12 1 12 1 12 1 12 1 12 1 12 1
13 時間時計 の世界
2015/3/31 33
「時計の世界の整数論」の概観
STEP 1:
時計の世界のキソ知識
• 時計の世界とは
• 足し算/掛け算ができる
• べき乗の表を作る
STEP 2:
時計の世界の中の法則
• フェルマーの小定理
• 原始根定理
• オイラーの基準
STEP 3:
2つ時計の世界をつなぐ法則
• 平方剰余の相互法則
ガウスが見つけた整数論の真理
手を動かして
法則を見つけよう!
美しい法則を
鑑賞しよう!
2015/3/31 34
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
つじのほうそく:
1 のべき乗はすべて 1
たとえばこんな法則が・・・
2015/3/31 35
問題
5 時間時計, 7 時間時計, 11 時間時計, 13 時間時計, 17 時間時計, …
の世界で「できる限り多くの法則」を見つけてみましょう(2分間)
怪しいところを見つけたら,○で印をつけてみましょう
資料をお持ちの方は,そちらを使ってください。
Webで観ている方は,http://tsujimotter.info/maths4pg/2/
にある表を使ってください。
2015/3/31 36
解答へ Go!!
2015/3/31 37
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
解答例
2015/3/31 38
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
n10 が
すべて
1に合同フェルマーの小定理:
p が素数のとき 𝑛𝑛 ≢ 0 (mod 𝑝𝑝) である n に対して
𝑛𝑛𝑝𝑝−1 ≡ 1 mod 𝑝𝑝
2015/3/31 39
解 (1)
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
原始根定理:
𝑝𝑝 が素数のとき 𝑛𝑛1, 𝑛𝑛2, 𝑛𝑛3, … , 𝑛𝑛𝑝𝑝−1 (mod 𝑝𝑝) の列が
1, 2, 3, … , 𝑝𝑝 − 1 のすべての数を通るような
数 𝑛𝑛(原始根)が存在する。
1つの行に 1 から 10 までのすべての数が登場
2015/3/31 40
解 (2)
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
0
1
2
3
9
4
56
7
8
10 21
22
23
24
25
26
27
28
29
210
原始根のべき乗によって,0 以外のすべての数を巡回できる!
原始根 n = 2
2015/3/31 41
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
2015/3/31 42
解 (3)
n2 列(超重要!)
n2 列 に{1, 3, 4, 5, 9} のみが現れる
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
2015/3/31 43
解 (3)
n5 列(オイラーの基準)
オイラーの基準が
1 となるような
n は {1, 3, 4, 5, 9} だけ
一致!
n2 列 に{1, 3, 4, 5, 9} のみが現れる
0 1
2
3
4
56
7
8
9
(-1)
11 時間時計
0
1
23
5 時間時計
(-1)
4 ≡ -1 (mod 5)
10 ≡ -1 (mod 11)
ちょっと寄り道
2015/3/31 44
オイラーの基準
より p 時間時計で (-1) は n2 列に存在する ⇔ p は 4N + 1 型
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 (-1) 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 (-1) 5 8 4 2 1
7 7 5 2 3 (-1) 4 6 9 8 1
8 8 9 6 4 (-1) 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
(-1) (-1) 1 (-1) 1 (-1) 1 (-1) 1 (-1) 1
n2 列に (-1) が存在しない
2015/3/31 45
n5 列(オイラーの基準)n2 列
(11 – 1) / 2 = 奇数 ⇔
11 は 4N+3 型
11時間時計の場合:
n n1 n2 n3 n4
1 1 1 1 1
2 2 (-1) 3 1
3 3 (-1) 2 1
(-1) (-1) 1 (-1) 1
2015/3/31 46
n2 列に (-1) が存在する
n2 列
(5 – 1) / 2 = 偶数 ⇔
5 は 4N+1 型
5 時間時計の場合: N(5-1)/2 列(オイラーの基準)
•5 = 22 + 12
•13 = 32 + 22
•17 = 42 + 12
•29 = 52 + 22
•7
•11
•19
•23
フェルマーの
二平方定理 素数 p が二平方の和で表せる ⇔ p は 4N + 1 型
2015/3/31 47
4N+3 型4N+1 型
オイラーの基準
より p 時間時計で (-1) は n2 列に存在する ⇔ p は 4N + 1 型
フェルマーの
二平方定理 素数 p が二平方の和で表せる ⇔ p は 4N + 1 型
2015/3/31 48
深い関係!
ちょっと寄り道
「時計の世界の整数論」の概観
STEP 1:
時計の世界のキソ知識
• 時計の世界とは
• 足し算/掛け算ができる
• べき乗の表を作る
STEP 2:
時計の世界の中の法則
• フェルマーの小定理
• 原始根定理
• オイラーの基準
STEP 3:
2つ時計の世界をつなぐ法則
• 平方剰余の相互法則
ガウスが見つけた整数論の真理
手を動かして
法則を見つけよう!
美しい法則を
鑑賞しよう!
2015/3/31 49
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
ここまでは,1つの時計の世界で完結する話
2015/3/31 50
n n1 n2 n3 n4
1 1 1 1 1
2 2 4 3 1
3 3 4 2 1
4 4 1 4 1
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
最後は,2つの時計の世界を「結ぶ」法則
2015/3/31 51
5 時間時計 の世界 11 時間時計 の世界
n n1 n2 n3 n4 n5 n6 n7 n8 n9 n10
1 1 1 1 1 1 1 1 1 1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1 3 9 5 4 1
4 4 5 9 3 1 4 5 9 3 1
5 5 3 4 9 1 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1 9 4 3 5 1
10 10 1 10 1 10 1 10 1 10 1
1 ≡ 11
n n1 n2 n3 n4
1 1 1 1 1
2 2 4 3 1
3 3 4 2 1
4 4 1 4 1
5 時間時計 の世界で n2 列に 11 (≡1) がある
⇔ 11 時間時計 の世界で n2 列に 5 がある
2015/3/31 52
2015/3/31 53
5 時間時計 の世界で n2 列に 11 (≡1) がある
⇔ 11 時間時計 の世界で n2 列に 5 がある
5 時間時計 の世界で n2 列に 7 (≡2) がない
⇔ 7 時間時計 の世界で n2 列に 5 がない
5 時間時計 の世界で n2 列に 11 (≡1) がある
⇔ 11 時間時計 の世界で n2 列に 5 がある
5 時間時計 の世界で n2 列に 7 (≡2) がない
⇔ 7 時間時計 の世界で n2 列に 5 がない
2015/3/31 54
7 時間時計 の世界で n2 列に 11 (≡4) がある
⇔ 11 時間時計 の世界で n2 列に 7 がない
ひっくり返る!ちょっとした例外?
平方剰余の相互法則
5 時間時計 の世界で n2 列に 11 (≡1) がある
⇔ 11 時間時計 の世界で n2 列に 5 がある
5 時間時計 の世界で n2 列に 7 (≡2) がない
⇔ 7 時間時計 の世界で n2 列に 5 がない
2015/3/31 55
4N+1型
4N+1型
4N+3型
4N+3型
7 時間時計 の世界で n2 列に 11 (≡4) がある
⇔ 11 時間時計 の世界で n2 列に 7 がない4N+3型
4N+3型
両方 4n+3型のとき
ひっくり返る!
平方剰余の相互法則のイメージ
0
1
23
4
0 1
2
3
4
56
7
8
9
10
(11)
相互法則!
11 時間時計で 5 が n2 列にある5 時間時計で 11 が n2 列にある
平方剰余 平方剰余
2015/3/31 56
0
1
23
4
5
(270329)
相互法則!
270329 時間時計で 5 が n2 列にある5 時間時計で 270329(≡4) が n2 列にある
平方剰余平方剰余
平方剰余の相互法則を使うと・・・
2015/3/31 57
「ドヤ!!」
と言っていることでしょう
2015/3/31 58
まとめ
STEP 1:
時計の世界のキソ知識
• 時計の世界とは
• 足し算/掛け算ができる
• べき乗の表を作る
STEP 2:
時計の世界の中の法則
• フェルマーの小定理
• 原始根定理
• オイラーの基準
STEP 3:
2つ時計の世界をつなぐ法則
• 平方剰余の相互法則
ガウスが見つけた整数論の真理
手を動かして
法則を見つけよう!
美しい法則を
鑑賞しよう!
2015/3/31 59
「芸術」のように愉しむ
背景や美しさを理解して鑑賞する
「パズルゲーム」のように愉しむ
手を動かして遊ぶ
2015/3/31 60
先に進みたい方へ
• 加藤和也 著「数論への招待」丸善出版
• 加藤和也 著「素数の歌が聞こえる」ぷねうま舎
• kamiyama2 さん「ゆっくり整数論(ニコニコ動画)」
http://www.nicovideo.jp/watch/sm24669239
シリーズ12回で「平方剰余の相互法則」を証明する
• TSKiさん「美的数学のすすめ」
http://biteki-math.hatenablog.com/
2015/3/31 61
もっと先に進みたい方へ
• 青木昇 著「素数と2次体の整数論」共立出版
• 加藤 和也, 斎藤 毅, 黒川 信重 著「数論Ⅰ Fermatの夢と類体論」
岩波書店
• 高木貞二 著「初等整数論講義」共立出版
• ガウス著,高瀬正仁 訳「ガウス整数論」朝倉書店
2015/3/31 62
関連記事(tsujimotterのノートブック)
• 「フェルマーの二平方定理」
http://tsujimotter.hatenablog.com/entry/2014/03/21/025930
• 「平方剰余の第一補充則から二平方定理を導く」
http://tsujimotter.hatenablog.com/entry/quadratic-residue-and-sum-of-two-squares
• 「続・二平方定理 (オイラーの 6n+1 定理)」
http://tsujimotter.hatenablog.com/entry/euler-6n-plus-1-theorem
• 「循環小数(1): フェルマーの小定理」
http://tsujimotter.hatenablog.com/entry/2014/04/08/212954
2015/3/31 63
2015/3/31 64
整数論を一緒に愉しみませんか?
tsujimotter からのメッセージ
日曜数学者
辻順平(@tsujimotter)
http://tsujimotter.info
以下,補足スライド
2015/3/31 65
補足:平方剰余の定義
• p 時間時計において n2 の列に a が存在する
⇔ a は p の平方剰余
⇔
𝑎𝑎
𝑝𝑝
= 1
• p 時間時計において n2 の列に a が存在しない
⇔ a は p の平方非剰余
⇔
𝑎𝑎
𝑝𝑝
= −1
2015/3/31 66
補足:平方剰余の相互法則
𝑝𝑝, 𝑞𝑞 を相異なる奇素数としたとき,以下が成り立つ
𝑝𝑝
𝑞𝑞
= −1
𝑝𝑝−1
2
⋅
𝑞𝑞−1
2
𝑞𝑞
𝑝𝑝
𝑝𝑝
𝑞𝑞
=
𝑞𝑞
𝑝𝑝
𝑝𝑝
𝑞𝑞
= −
𝑞𝑞
𝑝𝑝
2015/3/31 67
𝑝𝑝 または 𝑞𝑞 のいずれかが 4𝑛𝑛 + 1 型の場合: 𝑝𝑝 と 𝑞𝑞 のどちらも 4𝑛𝑛 + 3 型の場合:

More Related Content

What's hot

パターン認識と機械学習入門
パターン認識と機械学習入門パターン認識と機械学習入門
パターン認識と機械学習入門
Momoko Hayamizu
 
5分でわかるベイズ確率
5分でわかるベイズ確率5分でわかるベイズ確率
5分でわかるベイズ確率
hoxo_m
 
プログラミングコンテストでの乱択アルゴリズム
プログラミングコンテストでの乱択アルゴリズムプログラミングコンテストでの乱択アルゴリズム
プログラミングコンテストでの乱択アルゴリズム
Takuya Akiba
 
勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは
Takuya Akiba
 
Rによる特徴抽出 第48回R勉強会@東京(#TokyoR)
Rによる特徴抽出 第48回R勉強会@東京(#TokyoR)Rによる特徴抽出 第48回R勉強会@東京(#TokyoR)
Rによる特徴抽出 第48回R勉強会@東京(#TokyoR)
Keiku322
 

What's hot (20)

パターン認識と機械学習入門
パターン認識と機械学習入門パターン認識と機械学習入門
パターン認識と機械学習入門
 
実践・最強最速のアルゴリズム勉強会 第二回講義資料(ワークスアプリケーションズ & AtCoder)
実践・最強最速のアルゴリズム勉強会 第二回講義資料(ワークスアプリケーションズ & AtCoder)実践・最強最速のアルゴリズム勉強会 第二回講義資料(ワークスアプリケーションズ & AtCoder)
実践・最強最速のアルゴリズム勉強会 第二回講義資料(ワークスアプリケーションズ & AtCoder)
 
区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)
区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)
区間分割の仕方を最適化する動的計画法 (JOI 2021 夏季セミナー)
 
5分でわかるベイズ確率
5分でわかるベイズ確率5分でわかるベイズ確率
5分でわかるベイズ確率
 
WUPC2012
WUPC2012WUPC2012
WUPC2012
 
充足可能性問題のいろいろ
充足可能性問題のいろいろ充足可能性問題のいろいろ
充足可能性問題のいろいろ
 
実践・最強最速のアルゴリズム勉強会 第一回 講義資料(ワークスアプリケーションズ & AtCoder)
実践・最強最速のアルゴリズム勉強会 第一回 講義資料(ワークスアプリケーションズ & AtCoder)実践・最強最速のアルゴリズム勉強会 第一回 講義資料(ワークスアプリケーションズ & AtCoder)
実践・最強最速のアルゴリズム勉強会 第一回 講義資料(ワークスアプリケーションズ & AtCoder)
 
指数時間アルゴリズム入門
指数時間アルゴリズム入門指数時間アルゴリズム入門
指数時間アルゴリズム入門
 
Binary indexed tree
Binary indexed treeBinary indexed tree
Binary indexed tree
 
双対性
双対性双対性
双対性
 
色々なダイクストラ高速化
色々なダイクストラ高速化色々なダイクストラ高速化
色々なダイクストラ高速化
 
RMQ クエリ処理
RMQ クエリ処理RMQ クエリ処理
RMQ クエリ処理
 
Granger因果による 時系列データの因果推定(因果フェス2015)
Granger因果による時系列データの因果推定(因果フェス2015)Granger因果による時系列データの因果推定(因果フェス2015)
Granger因果による 時系列データの因果推定(因果フェス2015)
 
プログラミングコンテストでの乱択アルゴリズム
プログラミングコンテストでの乱択アルゴリズムプログラミングコンテストでの乱択アルゴリズム
プログラミングコンテストでの乱択アルゴリズム
 
最大流 (max flow)
最大流 (max flow)最大流 (max flow)
最大流 (max flow)
 
勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは
 
プログラマのための線形代数再入門
プログラマのための線形代数再入門プログラマのための線形代数再入門
プログラマのための線形代数再入門
 
AlphaGo Zero 解説
AlphaGo Zero 解説AlphaGo Zero 解説
AlphaGo Zero 解説
 
多倍長整数の乗算と高速フーリエ変換
多倍長整数の乗算と高速フーリエ変換多倍長整数の乗算と高速フーリエ変換
多倍長整数の乗算と高速フーリエ変換
 
Rによる特徴抽出 第48回R勉強会@東京(#TokyoR)
Rによる特徴抽出 第48回R勉強会@東京(#TokyoR)Rによる特徴抽出 第48回R勉強会@東京(#TokyoR)
Rによる特徴抽出 第48回R勉強会@東京(#TokyoR)
 

Viewers also liked

Dal001 sql server 2017 事始め ~ 進化を続ける sql server の最新情報を一挙紹介
Dal001 sql server 2017 事始め ~ 進化を続ける sql server の最新情報を一挙紹介Dal001 sql server 2017 事始め ~ 進化を続ける sql server の最新情報を一挙紹介
Dal001 sql server 2017 事始め ~ 進化を続ける sql server の最新情報を一挙紹介
Masayuki Ozawa
 
今さら聞けないカーネル法とサポートベクターマシン
今さら聞けないカーネル法とサポートベクターマシン今さら聞けないカーネル法とサポートベクターマシン
今さら聞けないカーネル法とサポートベクターマシン
Shinya Shimizu
 

Viewers also liked (13)

フーリエ変換と画像圧縮の仕組み
フーリエ変換と画像圧縮の仕組みフーリエ変換と画像圧縮の仕組み
フーリエ変換と画像圧縮の仕組み
 
エニグマ暗号とは何だったのか
エニグマ暗号とは何だったのかエニグマ暗号とは何だったのか
エニグマ暗号とは何だったのか
 
証明プログラミング入門2
証明プログラミング入門2証明プログラミング入門2
証明プログラミング入門2
 
やさしい整数論
やさしい整数論やさしい整数論
やさしい整数論
 
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg 「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
「五次方程式が代数的に解けないわけ」第3回プログラマのための数学勉強会 #maths4pg
 
20170920_FinSumWorkshop_ZaisanNet
20170920_FinSumWorkshop_ZaisanNet20170920_FinSumWorkshop_ZaisanNet
20170920_FinSumWorkshop_ZaisanNet
 
為替と株の予測の話
為替と株の予測の話為替と株の予測の話
為替と株の予測の話
 
Dal001 sql server 2017 事始め ~ 進化を続ける sql server の最新情報を一挙紹介
Dal001 sql server 2017 事始め ~ 進化を続ける sql server の最新情報を一挙紹介Dal001 sql server 2017 事始め ~ 進化を続ける sql server の最新情報を一挙紹介
Dal001 sql server 2017 事始め ~ 進化を続ける sql server の最新情報を一挙紹介
 
Azure Virtual Machines設計の勘所 | Microsoft Tech Summit 2017
Azure Virtual Machines設計の勘所 | Microsoft Tech Summit 2017Azure Virtual Machines設計の勘所 | Microsoft Tech Summit 2017
Azure Virtual Machines設計の勘所 | Microsoft Tech Summit 2017
 
Deep Learningを用いたロボット制御
Deep Learningを用いたロボット制御Deep Learningを用いたロボット制御
Deep Learningを用いたロボット制御
 
基底変換、固有値・固有ベクトル、そしてその先
基底変換、固有値・固有ベクトル、そしてその先基底変換、固有値・固有ベクトル、そしてその先
基底変換、固有値・固有ベクトル、そしてその先
 
[Japan Tech summit 2017] SEC 003
[Japan Tech summit 2017] SEC 003[Japan Tech summit 2017] SEC 003
[Japan Tech summit 2017] SEC 003
 
今さら聞けないカーネル法とサポートベクターマシン
今さら聞けないカーネル法とサポートベクターマシン今さら聞けないカーネル法とサポートベクターマシン
今さら聞けないカーネル法とサポートベクターマシン
 

Similar to 「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg

Similar to 「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg (9)

平方剰余
平方剰余平方剰余
平方剰余
 
競技プログラミング練習会2015 Normal 第1回
競技プログラミング練習会2015 Normal 第1回競技プログラミング練習会2015 Normal 第1回
競技プログラミング練習会2015 Normal 第1回
 
変革のためのスタートアップ思考 (2) / スタートアップの考え方を新規事業創出とスタートアップ連携に活かす
変革のためのスタートアップ思考 (2) / スタートアップの考え方を新規事業創出とスタートアップ連携に活かす変革のためのスタートアップ思考 (2) / スタートアップの考え方を新規事業創出とスタートアップ連携に活かす
変革のためのスタートアップ思考 (2) / スタートアップの考え方を新規事業創出とスタートアップ連携に活かす
 
サムライ インドガチインターン 詳細資料
サムライ インドガチインターン 詳細資料サムライ インドガチインターン 詳細資料
サムライ インドガチインターン 詳細資料
 
「現実世界に活かす数学」 (麻布高等学校、教養総合、数学講義 5 回目)
「現実世界に活かす数学」 (麻布高等学校、教養総合、数学講義 5 回目)「現実世界に活かす数学」 (麻布高等学校、教養総合、数学講義 5 回目)
「現実世界に活かす数学」 (麻布高等学校、教養総合、数学講義 5 回目)
 
2016-ShowNet-ワイヤレスネットワーク
2016-ShowNet-ワイヤレスネットワーク2016-ShowNet-ワイヤレスネットワーク
2016-ShowNet-ワイヤレスネットワーク
 
トーナメントは運か実力か
トーナメントは運か実力かトーナメントは運か実力か
トーナメントは運か実力か
 
Report 130710
Report 130710Report 130710
Report 130710
 
Report 130710
Report 130710Report 130710
Report 130710
 

More from Junpei Tsuji

More from Junpei Tsuji (20)

素因数分解しようぜ! #日曜数学会
素因数分解しようぜ! #日曜数学会素因数分解しようぜ! #日曜数学会
素因数分解しようぜ! #日曜数学会
 
モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会
モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会 モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会
モンテカルロ法を用いた素数大富豪素数問題の評価 #素数大富豪研究会
 
ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会
ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会
ピタゴラス数とヒルベルトの定理90 #3分で数学を語る会
 
五次方程式はやっぱり解ける #日曜数学会
五次方程式はやっぱり解ける #日曜数学会五次方程式はやっぱり解ける #日曜数学会
五次方程式はやっぱり解ける #日曜数学会
 
第18回日曜数学会オンライン・オープニング資料
第18回日曜数学会オンライン・オープニング資料第18回日曜数学会オンライン・オープニング資料
第18回日曜数学会オンライン・オープニング資料
 
「にじたい」へのいざない #ロマンティック数学ナイト
「にじたい」へのいざない #ロマンティック数学ナイト「にじたい」へのいざない #ロマンティック数学ナイト
「にじたい」へのいざない #ロマンティック数学ナイト
 
ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会
ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会 ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会
ラマヌジャンやっぱりやばいじゃん - 第15回 #日曜数学会
 
x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!
x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!
x^2 + ny^2 の形で表せる素数 - めざせプライムマスター!
 
x^2+ny^2の形で表せる素数の法則と類体論
x^2+ny^2の形で表せる素数の法則と類体論x^2+ny^2の形で表せる素数の法則と類体論
x^2+ny^2の形で表せる素数の法則と類体論
 
オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会
オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会
オイラー先生のおしゃれな素数判定 - 第14回 #日曜数学会
 
萩の月問題 - 第14回 #日曜数学会
萩の月問題 - 第14回 #日曜数学会萩の月問題 - 第14回 #日曜数学会
萩の月問題 - 第14回 #日曜数学会
 
合同数問題と保型形式
合同数問題と保型形式合同数問題と保型形式
合同数問題と保型形式
 
私の好きな関数とのなれそめ #ロマンティック数学ナイト
私の好きな関数とのなれそめ #ロマンティック数学ナイト私の好きな関数とのなれそめ #ロマンティック数学ナイト
私の好きな関数とのなれそめ #ロマンティック数学ナイト
 
ベルヌーイ数とお友達になろう #ロマンティック数学ナイト
ベルヌーイ数とお友達になろう #ロマンティック数学ナイト ベルヌーイ数とお友達になろう #ロマンティック数学ナイト
ベルヌーイ数とお友達になろう #ロマンティック数学ナイト
 
五次方程式は解けない - 第12回 #日曜数学会
五次方程式は解けない - 第12回 #日曜数学会五次方程式は解けない - 第12回 #日曜数学会
五次方程式は解けない - 第12回 #日曜数学会
 
「ガロア表現」を使って素数の分解法則を考える #mathmoring
「ガロア表現」を使って素数の分解法則を考える #mathmoring「ガロア表現」を使って素数の分解法則を考える #mathmoring
「ガロア表現」を使って素数の分解法則を考える #mathmoring
 
連分数マジック - 第3回 #日曜数学会 in 札幌
連分数マジック - 第3回 #日曜数学会 in 札幌連分数マジック - 第3回 #日曜数学会 in 札幌
連分数マジック - 第3回 #日曜数学会 in 札幌
 
素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」
素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」
素数は孤独じゃない(番外編) 第13回 数学カフェ「素数!!」
 
ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」
ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」
ゼータへ続く素数の階段物語 第13回 数学カフェ「素数!!」
 
非正則素数チェッカー #日曜数学会
非正則素数チェッカー #日曜数学会非正則素数チェッカー #日曜数学会
非正則素数チェッカー #日曜数学会
 

Recently uploaded

TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationTokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
YukiTerazawa
 
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
koheioishi1
 

Recently uploaded (7)

生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
 
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
 
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationTokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
 
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptUniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
 
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
 
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
 
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
 

「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg