19/02/02 18:04:47.68 N1/kYT9Q.net
(>>790の続き)
同様に考えて、加法定理、2倍角の公式、三平方の定理を適用して、
cos( (k＋2)θ ) を計算すると、
cos( (k＋2)θ )＝cos(kθ)cos(2θ)－sin(kθ)sin(2θ)
＝g(sin(θ))cos(θ)・cos(2θ)－f(sin(θ))sin(θ)・sin(2θ)
＝g(sin(θ))cos(θ)・(1－2sin^2(θ))－f(sin(θ))・2sin^2(θ))cos(θ)
＝( g(sin(θ))(1－2sin^2(θ))－2f(sin(θ))sin^2(θ)) )cos(θ)
となる。また、f,g∈Q[X] から、g(X))(1－2X^2)－2f(X)・X^2∈Q[X]。従って、h_2∈Q[X] を (h_2)(X)＝g(X))(1－2X^2)－2f(X)・X^2 とおけば、
cos( (k＋2)θ )＝(h_2)(sin(θ))cos(θ) となる。ここに、kは3以上の奇数としているから、k+2 は3以上の奇数である。故に、P(k+2) となる。
kは3以上の奇数と仮定されているから、kに関する帰納法が適用出来て、帰納法により任意の3以上の奇数kについて P(k) となる。