円Oに内接する正5角形の作図の手順は
[1]直径ABを引く
[2]ABを垂直二等分線を引き,円Oとの交点をCとする
[3]ABを垂直二等分線を引き,AOとの交点をDとする
[4]Dを中心とする半径DCの円弧を描き,ABとの交点をEとする
[5]Cを中心とする半径CEの円弧を描き,円Oとの交点をFとする
[6]CFが正5角形の1辺の長さとなる
であるが,
DC=√5/2
CE={(5−√5)/2}^1/2=x(1辺の長さ)
になっているというわけである.
===================================
【1】正五角形の作図
江戸時代後期の和算家・平野喜房による作図法を紹介しよう.
[1]直交する縦軸と横軸の交点Oを中心とする半径1も円を描く
[2]点A(0,1),点Z(0,−1),点M(1/2,0),点M’(−1/2,0)とする
[3]点M,M’を中とする半径1/2の円を描く
[4]点Zを中心として,点Zと点Mを結んだ線と半径1/2の円の2つの交点を通る大小の弧を描く
[5]大小の弧と半径1の円との4交点B,C,D,Eと点Aが正五角形の頂点となる
(証)ZM=√5/2,ZE=(√5+1)/2
cos∠AZE=(√5+1)/4→∠AZE=36°,∠AOE=72°
ZD=(√5−1)/2
sin∠ZAD=(√5−1)/4→∠ZAD=18°,∠DOE=∠COE=72°
===================================
【2】補足
辺の長さが1の正五角形の長さをxとする.トレミーの定理
「円に内接する四角形の相対する辺の長さの積の和=対角線の積
AB・CD+AD・BC=AC・BD」
より,1+x=x^2 → x=(√5+1)/2
正五角形ABCDEの対角線ACの中点をMとすると
cos36°=CM/BC=CM=AC/2=(√5+1)/4
cos36°=1−2sin^218° → sin18°=(√5−1)/4
===================================