■直観幾何学研究会(その13)

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:水色

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