数値解析の問題
を正の整数とし、 を相異なる実数とする。 に対してラグランジュ基底多項式を
で定める。このとき
が成り立つことを証明せよ。
この問題で使うもの
- ラグランジュ補間(説明と入口の問題)
この問題を解けるようになるまで(13 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
左辺は、ある関数を節点 で補間したラグランジュ補間多項式の での値になっています。その補間多項式を別の形で具体的に書き表す方針です。
ヒント 2
の補間多項式を考えます。 とおくと、 は次数 以下で、節点では と同じ値をとります。
ヒント 3
と がともに次数 以下で、節点での値が一致することを確かめ、補間多項式の一意性から を導きましょう。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
が次数 の多項式で、 が で 、 で となることを述べている(1 点)
次数 以下の多項式が 個の点で一致すれば等しいこと(補間多項式の一意性)を、零点の個数の議論で示している(2 点)
左辺の和を の での値とみなし、 が次数 以下で節点で と一致することを示している(2 点)
が次数 以下で、節点で と一致することを確認し、 を結論している(3 点)
を符号まで正しく計算し、 を得ている(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
Step 1: 基底多項式の性質. 節点は相異なるので、 の分母 はすべて でなく、 は次数 の実係数多項式である。また のとき積の中に因子 が現れるので 、 のときは各因子が なので である。
Step 2: 補間多項式の一意性(補題). 次数 以下の多項式 , が を満たせば であることを示す。 は次数 以下の多項式で、相異なる 個の点 で になる。 が零多項式でないとすると、次数 の多項式の相異なる零点は高々 個なので矛盾する。よって 、すなわち である。
Step 3: 2 つの多項式.
とおく。各 は次数 なので は次数 以下の多項式であり、Step 1 より
一方、
とおく。 は最高次の係数が の 次多項式なので、 では の項が打ち消し合い、 は次数 以下の多項式である。また より
Step 4: 一致と代入. と はともに次数 以下で、 個の節点で同じ値をとるので、Step 2 より である。 を代入すると
結論. 以上より
が示された。