■同じ円に内接するいくつかの正多角形(その10)
a:正七角形の1辺の長さ
b:ひとつおきの対角線の長さ
c:ふたつおきの対角線の長さ
R:外接円の半径
正七角形の中心角は2π/7であるが,ここではφ=π/14とおく.
a=2Rcos5φ
b=2Rcos3φ
c=2Rcosφ
とすると,
1/a=1/b+1/c
a+b+c=c^2/a
1/a^2+1/b^2+1/c^2=2/R^2
b^2/a^2+c^2/b^2+a^2/c^2=5
が成り立つ.
a:白,b:黄,c:水色
===================================