ご教授願いたい。
既知の三角関数値cos(2π/5) =((5 ^(1/2))-1)/4とsin(2π/5)=(10+2(5 ^(1/2)))/4から
加法定理を用いてcos(π/5) =((5 ^(1/2))+1)/4とsin(π/5)=(10-2(5 ^(1/2)))/4と
cos(π/10) =(10+2(5 ^(1/2)))/4とsin(π/10)= ((5 ^(1/2))-1)/4と
cos(π/20) =((8+2((10+2(5 ^(1/2)) ^(1/2))) ^(1/2))/4まで導出されている。
以上の三角関数値を既知として、次の三角関数値
sin(π/20)= ((8-2((10+2(5 ^(1/2)) ^(1/2))) ^(1/2))/4を導出して頂きたい。
参考式としとてsin((π/20)+ (π/20))=2 sin(π/20) cos(π/20) = ((5 ^(1/2))-1)/4を記す。