加法定理を用いてcos(2π/5) =((5 ^(1/2))-1)/4から
cos(π/5) =((5 ^(1/2))+1)/4を導出して頂きたい。
加法定理を素直に適用するとcos(π/5) =((5^(1/2)+3)/8) ^(1/2)が出てくる。
数値計算では両式ともcos(π/5)= 0.80901699437495に等しい。