■正多角形の作図法則(その66)

同じ円に内接する正五角形、正六角形、正十角形から1辺ずつ取り三角形を作ると

それは直角三角形である。

===================================

(証)単位円の中心角αの弦の長さdは余弦定理より

d=√(2-2cosα)

単位円に内接する正五角形、正六角形、正十角形の辺は

それぞれ、1/2・√(10-2√5)、1、(√5-1)/2

ここで、

1+(6-2√5)/4=(10-2√5)/4

===================================