48. ✓ =
2⇡
7
cos ✓
t = 2 cos
✓
2⇡
7
◆
t3
+ t2
- 2t - 1 = 0
の解になるわけ
が
48
49. ✓ =
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
50. 二次方程式の解となる数
三次方程式の解となる数
2 cos
✓
2⇡
7
◆
結論 正七角形は折り紙によって折ることが出来る
cos
✓
2⇡
5
◆
=
折り紙で折れる数 作図できる数
✓ =
2⇡
7
cos ✓
50