>>900の続き
続き。
cos(π/20) =(1/16) *((6^(1/2)+2^(1/2))(10+2*5^(1/2)) ^(1/2)+(6^(1/2)-2^(1/2))(5^(1/2)-1))
の導出方法をご教示頂きたい。