MathLabs

第2問

P1(x)=x2−2P_1(x) = x^2 - 2 とし、Pj(x)=P1(Pj−1(x))P_j(x) = P_1(P_{j-1}(x))(j=2,3,…j = 2, 3, \ldots)と定める。任意の正の整数nnについて、方程式Pn(x)=xP_n(x) = xの根がすべて実数で、互いに異なることを証明せよ。
ステップ 2/6: 帰納法:置換により反復全体が線形化される
ざっくり言うと

P1P_1 の1回の反復が角度を単に2倍にするだけだとわかれば、nn 回の反復は角度をnn回続けて2倍にすることにほかならない。一見非線形に見える漸化式x2−2x^2-2は、実は極めて単純な操作θ↦2θ\theta\mapsto 2\thetaの変装にすぎない。

Pn(2cos⁡θ)=2cos⁡(2nθ)P_n(2\cos\theta) = 2\cos(2^n\theta)
詳しい解説

nnに関する帰納法を用いる。基底の場合はステップ1で示され、帰納段階ではPn(2cos⁡θ)=P1(Pn−1(2cos⁡θ))=P1(2cos⁡(2n−1θ))=2cos⁡(2⋅2n−1θ)=2cos⁡(2nθ)P_{n}(2\cos\theta)=P_1\big(P_{n-1}(2\cos\theta)\big)=P_1\big(2\cos(2^{n-1}\theta)\big)=2\cos(2\cdot 2^{n-1}\theta)=2\cos(2^n\theta)を得る。したがって、すべてのPn(2cos⁡θ)=2cos⁡(2nθ)P_n(2\cos\theta)=2\cos(2^n\theta)についてn≥1n\ge1が成り立つ。