正七角形と直角三角形

正七角形の対角線は

直角三角形で表すことが出来る…

知られているものでは、

1/a +1/b  =1/c

という式がある

長い対角線:a=2.2469796037175 

短い対角線:b=1.8019377358048 

‪√‬短い対角線:‪√‬b=1.3423627304123

辺:c=1とする

三平方の定理で、

a^2=b^2+‪√‬b^2

計算機で計算してみるのも良いかもしれない

不思議だ…