Download - 折り紙と正多角形と三次方程式 数学カフェ #math_cafe
![Page 1: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/1.jpg)
日曜数学者 辻 順平 @tsujimotter
ウェブサイト http://tsujimotter.info/
折り紙と正多角形と三次方程式
![Page 2: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/2.jpg)
日曜数学者 ってなに?
2
![Page 3: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/3.jpg)
日曜数学者
休日に思いおもいの方法で
数学探究をする人のこと 今日はまさに日曜数学!
3
![Page 4: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/4.jpg)
辻の日曜数学活動
本業のプログラミングを活かしたやり方で、数学的対象を再表現する
その成果を面白おかしく語りまくる
3Dプリンタでゼータ関数を造形(触れるゼータ関数)
高度な概念をブラウザゲーム化(基本領域ゲーム)
4
![Page 5: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/5.jpg)
2015 年の実績(全12件)
プログラマのための数学勉強会(第1回~第3回) 日曜数学会(第1回,第2回)
第8回ニコニコ学会β シンポジウム ノラヤサイエンスバー vol.2(仙台) 5
![Page 6: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/6.jpg)
tsujimotter のノートブック 辻が興味を持った
数学的なトピックについて
熱く語って語りまくるブログ
http://tsujimotter.hatenablog.com
6
![Page 7: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/7.jpg)
今回紹介するデモアプリは
すべて以下のページに置いてあります。
tsujimotter のポートフォリオ
http://tsujimotter.info
7
![Page 8: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/8.jpg)
今日お話ししたいのは
折り紙と三次方程式
8
![Page 9: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/9.jpg)
折り紙との出会い
9
![Page 10: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/10.jpg)
雪の結晶に夢中
正六角形でつくる雪の結晶 10
![Page 11: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/11.jpg)
11
![Page 12: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/12.jpg)
月日は流れて・・・ tsujimotter 大学生の頃
12
![Page 13: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/13.jpg)
作図おもろい 13
![Page 14: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/14.jpg)
作図でできること ざっくりと
14
![Page 15: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/15.jpg)
垂線
頂点
垂線
頂点
1 1
cos が「四則演算」と「ルート」で表現できる(作図可能数)
⇔ 対応する正多角形も作図できる
15
![Page 16: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/16.jpg)
1 1
�1 +p5
4cos
✓2⇡
5
◆=
16
�1
6+
3
q72 (1 + 3
p�3)
6+
3
q72 (1� 3
p�3)
6cos
✓2⇡
7
◆=
![Page 17: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/17.jpg)
正七角形は作図不能! 正五角形は作図可能
定木&コンパスの場合
17
5 7
![Page 18: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/18.jpg)
垂線
頂点
「四則演算」と「ルート」だけで表現できる ⇔ 作図可能
正十七角形の場合
� 1
16+
1
16
p17 +
1
16
q2(17�
p17) +
1
8
r
17 + 3p17�
q2(17�
p17)� 2
q2(17 +
p17)cos
✓2⇡
17
◆=
18
![Page 19: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/19.jpg)
やってみた
19
![Page 20: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/20.jpg)
作図支援ソフトウェア Heptadecagon
『正十七角形を正確に描く、ただそれだけのために作られたソフトウェア』
実演動画: https://www.youtube.com/watch?v=wyjn441NVPE 20
![Page 21: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/21.jpg)
折り紙の話に戻りましょう
21
![Page 22: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/22.jpg)
正七角形は作図不能! 正五角形は作図可能
定木&コンパスの場合
5 7
22
![Page 23: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/23.jpg)
どちらも折ることが可能!!
折り紙の場合
5 7
23
![Page 24: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/24.jpg)
折り紙で折れる図形
定木&コンパスで 作図できる図形
正七角形
正三角形,正五角形,
正十七角形,etc.
24
![Page 25: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/25.jpg)
ダウンロードはこちらから http://tsujimotter.hatenablog.com/entry/2014/07/07/234101 25
![Page 26: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/26.jpg)
正七角形が折れる仕組み
STEP 1: 折り紙公理
STEP 2: 放物線の接線が折れる
STEP 3: 三次方程式が解ける
26
![Page 27: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/27.jpg)
折り紙公理 折り紙によって可能な7つの基本操作
27
![Page 28: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/28.jpg)
1 2 3
4 5 6 7
与えられるもの
得られるもの
28
![Page 29: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/29.jpg)
1 2 3
4 5 6 7
与えられるもの
得られるもの
定木とコンパスによっても作図可能
29
![Page 30: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/30.jpg)
1 2 3
4 5 6 7
与えられるもの
得られるもの
定木とコンパスによって作図不能
30
![Page 31: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/31.jpg)
正七角形が折れる仕組み STEP 1: 折り紙公理
STEP 2: 放物線の接線が折れる
STEP 3: 三次方程式が解ける
31
![Page 32: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/32.jpg)
「放物線の接線」が折れる
ん、どうやって?
折り紙では
32
![Page 33: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/33.jpg)
折り紙で「放物線の接線」が折れる 点を直線に折り合わせるとき,放物線の接線が得られる
折り重ねる
放物線接線
デモアプリ: http://tsujimotter.info/origami/
33
![Page 34: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/34.jpg)
正七角形が折れる仕組み STEP 1: 折り紙公理
STEP 2: 放物線が折れる
STEP 3: 三次方程式が解ける
34
![Page 35: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/35.jpg)
二次方程式の解の公式 二次方程式 の解 は,次の公式で表せる
ax
2 + bx+ c = 0
x =�b±
pb
2 � 4ac
2a
ax
2 + bx+ c = 0
作図可能数を係数に持つ二次方程式を解くことができる
四則演算とルートによって表される
三次方程式のまえに・・・
35
![Page 36: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/36.jpg)
三次方程式が解ける いったいどうやって?
折り紙では
36
![Page 37: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/37.jpg)
こうやって解く
7 37
![Page 38: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/38.jpg)
「折り紙で三次方程式が解けること」
を証明しよう
38
高校数学の範囲で出来ます!
![Page 39: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/39.jpg)
座標を設定する
39
![Page 40: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/40.jpg)
| 点 P と 点 A の距離 | = | 点 P と 直線 LA の距離 |
q(x- b)2 + (y- a)2 = (y- (-a))
∵距離の定義から
∵がんばって変形
4ay = (x- b)240
![Page 41: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/41.jpg)
| 点 P と 点 B の距離 | = | 点 P と 直線 LB の距離 |
∵距離の定義から
q(x- (-d))2 + (y- (-c))2 = (x- d)
∵がんばって変形
-4dx = (y+ c)241
![Page 42: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/42.jpg)
-4dx = (y+ c)2
4ay = (x- b)2
共通接線を持つ条件を使う
42
![Page 43: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/43.jpg)
4ay = (x- b)2
x = b+ 2at
∵ よりy 0 = t
y = at2∵放物線の式に代入
4ay
0 = 2(x- b)
∵ で微分4ay = (x- b)2
s = -at2 - bt
∵ に代入y = tx+ s
43
![Page 44: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/44.jpg)
-4dx = (y+ c)2
∵ で微分4ay = (x- b)2
-4d = 2(y+ c)y 0
∵放物線の式に代入
x = -d/t
2
∵ よりy 0 = t
y = -c- 2d/t∵ に代入y = tx+ s
-s- c-d
t= 0
44
![Page 45: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/45.jpg)
s = -at2 - bt
-s- c-d
t= 0
at2 + bt- c-d
t= 0
∵ を消去s = -at2 - bt
∵両辺に をかけるs = -at2 - bt
at3 + bt2 - ct- d = 0 完成! 45
![Page 46: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/46.jpg)
折り紙と三次方程式 2つの直線上に,2点を同時に折り重ねるとき,
その折り目によって得られる直線の「傾き」が三次方程式の解となる
折り重ねる
傾きが三次方程式の解
デモアプリあり
デモアプリ: http://tsujimotter.info/origami/cubic.html
46
(b, a)
(-d, -c)
![Page 47: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/47.jpg)
a = 1, b = 1, c = 2, d = 1 とおくと・・・
47
![Page 48: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/48.jpg)
✓ =2⇡
7
cos ✓
t = 2 cos
✓2⇡
7
◆
t3 + t2 - 2t- 1 = 0
の解になるわけ
が
48
![Page 49: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/49.jpg)
✓ =2⇡
7
cos ✓
1+ cos ✓+ cos 2✓+ cos 3✓+ cos 4✓+ cos 5✓+ cos 6✓ = 0正七角形の対称性より
cos ✓ = cos 6✓cos 2✓ = cos 5✓cos 3✓ = cos 4✓
1+ 2 cos ✓+ 2 cos 2✓+ 2 cos 3✓ = 0
より∵
1+ 2 cos ✓+ 2(2 cos2 ✓- 1) + 2(4 cos3 ✓- 3 cos ✓) = 0
∵2倍角,3倍角の定理より
∵ とおくt = 2 cos ✓
t3 + t2 - 2t- 1 = 0
∵がんばって計算する
(2 cos ✓)3 + (2 cos ✓)2 - 2(2 cos ✓)- 1 = 0
49
![Page 50: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/50.jpg)
二次方程式の解となる数 三次方程式の解となる数
2 cos
✓2⇡
7
◆
結論 正七角形は折り紙によって折ることが出来る
cos
✓2⇡
5
◆=
折り紙で折れる数 作図できる数
✓ =2⇡
7
cos ✓
50
![Page 51: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/51.jpg)
第8の公理:「 n 重折り」
51
図:3重折りの例 西村保三「2重折り紙による2の5乗根の作図」日本折紙学会 (2012年8月) より引用
『 のとき,一般の n 次方程式を (n - 2) 重折りで解くことができる(リルの方法 1867年)』らしい n � 3
![Page 52: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/52.jpg)
知らないことを知るのは楽しい
数学的知識は 新しいものの見方を提供してくれる
52
![Page 53: 折り紙と正多角形と三次方程式 数学カフェ #math_cafe](https://reader031.vdocuments.net/reader031/viewer/2022013120/587128761a28abe4448b69dd/html5/thumbnails/53.jpg)
参考文献 • ロベルト・ゲレトシュレーガー 著「折紙の数学」森北出版(2002年)定価:2,800円
• 大野栄一 著「定木とコンパスで挑む数学」講談社 BLUE
BACKS(1993年)定価:780 円
• tsujimotter のノートブック,
http://tsujimotter.hatenablog.com
53