■正多角形の作図法則(その66)
同じ円に内接する正五角形、正六角形、正十角形から1辺ずつ取り三角形を作ると
それは直角三角形である。
===================================
(証)単位円の中心角αの弦の長さdは余弦定理より
d=√(2-2cosα)
単位円に内接する正五角形、正六角形、正十角形の辺は
それぞれ、1/2・√(10-2√5)、1、(√5-1)/2
ここで、
1+(6-2√5)/4=(10-2√5)/4
===================================