【数列】(単発)三項間漸化式の解を三角関数で表す「チェビシェフ多項式」
三角関数の●倍角の公式と縁が深いチェビシェフ多項式と呼ばれるものがあります。
()
で定まる関数列 について が成り立ちます。
今回はこの事実をもとに高校数学で学ぶ漸化式の解を求めてみましょう。
【予備知識】
高校数学(数学Ⅲまで)の知識があれば大丈夫です。
補題1 cos(nθ)とsin(nθ)からの準備
まずは冒頭で紹介したことに近いものを証明しておきます。
補題1
を実数とする。
で定まる数列 は以下の等式を満たす。
()
また で定まる数列 は以下の等式を満たす。
()
(証明)
, に加法定理を用いることで
, に加法定理を用いることで
を得ます。
(証明終わり)
補題2 限定的な形で三項間漸化式を解く
さて、この補題をもとに漸化式を解いてみましょう。
補題2
なる実数 と数列 について
()
が成り立つとき の一般項は に無関係な実数 および を用いて
と書ける。
(ただし は , を満たす実数とする。)
(証明)
天下り的ですが、数列 に対して
と定めて、
とおきます。
また、計算により
となります。
()
が成り立つとき数列 は , の値により一意に定まることを踏まえると、任意の自然数 について が成り立つと結論付けられます。
(証明終わり)
定理3 より広い条件に一般化
なぜ、補題2を用意したかですが、もちろん補題1の式の形に漸化式の係数を寄せることも一つの狙いですが、高校数学的に言えば「特性方程式(2次方程式)の解(虚数)の絶対値が1のバージョンでまず考える」というような見方もできます。
では絶対値が1ではないときどうするか?という視点に立つことで次のような一般化が可能です。
定理3
を満たす実数 および と数列 について
()
が成り立つとき の一般項は に無関係な実数 および を用いて
と書ける。
(ただし は , を満たす実数とする。)
(証明)
が成り立つことから、特に が成り立ちます。
は
と変形できます。
ここで とおくと
と書きかえられます。
より が成り立つので、補題2 より
( )
と書けます。
以上より
と表されます。
(証明終わり)
(例)
, ,
で定まる数列 について一般項を求めてみましょう。
より、定理3 が に適用できます。
すると
と書けます。
あとは および を求めれば十分です。
そこで , であることから および を求めると
となります。
したがって
となります。
まとめと応用あれこれ(複素数や極限との関連。こっちが本題?)
さて、三角関数のトピックを用いて漸化式を解くことが出来ました。
今回紹介した定理だけでも実は多くの発見があります。
高校数学では今回の 定理3 の形の漸化式であっても「特性方程式 」の解を用いて一般項を求めます。
その際に という条件はいわば「特性方程式の解が虚数」ということに対応します。
さらに実数係数の2次方程式の2つの虚数解は互いに共役な複素数となっていますので、比較的綺麗な形で一般項が表示されます。
右辺の分子分母はそれぞれ虚部しか残らないわけですので が実数であることが即座に分かることはもちろん、複素数と三角関数を結びつける「極形式」を用いると 定理3 の別証明につながる匂いがぷんぷんしていることかと思います。
また、この 定理3 の表示をしていることで極限を調べることが容易になります。
定理3 の数列を利用すると
という不等式が作れます。
この不等式を用いると、たとえば のときは
であることが分かります。
他にもたとえば のときは
となることから
が容易に分かります。
(もちろん極限を調べるだけなら先ほど述べた虚数を用いた一般項の表示からも可能です。)
このように様々な応用ができます(ほかにもいろいろあります)ので、ぜひチェビシェフ多項式で"遊んで"みてはいかがでしょうか。
今回は「漸化式×三角関数」みたいなイメージで書かせてもらいました。
最後までお読みいただきありがとうございます。
それでは次回もよろしくお願いします。