16/03/23 03:32:07.35 EtMo69Rl.net
>>872
任意の自然数nに対して
cos(nθ)=f(cosθ)，sin(nθ)=g(cosθ)sinθ
（ただし、f(x)，g(x)は整数係数の多項式）と表せることが
加法定理を用いて数学的帰納法で示せるので、
sin1°=cos89°=f(cos1°)
（ただし、f(x)整数係数の多項式）と表せる。
各nに対応するf(x)は、チェビシェフの多項式ってやつ。
16/03/23 03:32:07.35 EtMo69Rl.net
>>872
任意の自然数nに対して
cos(nθ)=f(cosθ)，sin(nθ)=g(cosθ)sinθ
（ただし、f(x)，g(x)は整数係数の多項式）と表せることが
加法定理を用いて数学的帰納法で示せるので、
sin1°=cos89°=f(cos1°)
（ただし、f(x)整数係数の多項式）と表せる。
各nに対応するf(x)は、チェビシェフの多項式ってやつ。