■正17角形の作図とガウスの公式

cos2π/17=-1/16+1/16・√17+1/16・(34-2√17)^1/2+1/8・(17+3√17-(34-2√17)^1/2-2(34+2√17)^1/2)^1/2

はガウスが18歳のとき発見した式である

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

ガウスのこの公式には多くの親類がいる

sin2π/7+sin4π/7+sin8π/7=1/2・√7

cos2π/13+cos6π/13+cos18π/13=1/4・(-1+√13)

sin2π/13+sin6π/13+sin18π/13=1/4・(26-6√13)^1/2

これらについてはコラム「正十七角形と原始根」、「原始根とガウス和」参照

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