19/01/28 16:12:43.62 bL+n3Mh7.net
>>395
任意の n≧2 なる整数nに対して cos(nx) は sin(x) に関する有理係数多項式で表されることはnに関する場合分けをする。
nが奇数のときは、cos(2k+1) n＝2k+1 についてkに関する帰納法でその命題は示せる。
nが偶数のときも、cos(2k) n＝2k についてkに関する帰納法で同様に示せる。
19/01/28 16:12:43.62 bL+n3Mh7.net
>>395
任意の n≧2 なる整数nに対して cos(nx) は sin(x) に関する有理係数多項式で表されることはnに関する場合分けをする。
nが奇数のときは、cos(2k+1) n＝2k+1 についてkに関する帰納法でその命題は示せる。
nが偶数のときも、cos(2k) n＝2k についてkに関する帰納法で同様に示せる。