以前に「多項式の一致の定理」というテーマの中で 点を通る 次関数(のグラフ)が存在するならば一意であることを示しました。
今回は、そもそも「任意の 点に対し、それらの点を通る 次関数は存在するのか」
という疑問を解決しようと思います。
(上記の記事の内容を一部含みますので、合わせて読んでいただければ幸いです。)
【予備知識】
高校数学(数学Ⅱくらい)の知識があれば大丈夫です。
ラグランジュ補間
今回利用するのは次の「ラグランジュ補間」と呼ばれるものです。
つまりは「具体的に構成しちゃえ」という考え方です。
( は総積を与える記号です。総和を与えるΣの積バージョンです。)
定義と称しましたが一応主張を含んでいるので証明をしておくべきですが、証明は に を順次代入していくだけですので、省略します。
というよりも、具体例を観察するのが何よりも理解の近道ですので、まずは3点を通る2次関数を考えましょう。
n=2のとき
(例1)
3点 , に対して「ラグランジュ補間」を与えると以下のようになります。
右辺を整理する前に上式に を代入してみると「ラグランジュ補間の気持ち」が見えてきます。
つまり、 を代入したときに「生き残ってほしいところ以外は0になって消えてくれる」わけです。
やや計算が面倒ですが、右辺を整理します。
これにより、3点を通る2次関数が作れました。
(最初に紹介した多項式の一致の定理により、一意性つまりこれ以外に3点を通る2次関数がないことも分かります。)
一般の に対しても同様だから、これで今回の「任意の 点に対し、それらの点を通る 次関数は存在するのか」はポジティブな結果で解決…と言いたいところですが、実はラグランジュ補間で具体的な関数を構成するだけでは解決していません。
次数の問題
なぜ解決していないのか考えるため3点の場合の別の例を考えます。
(例2)
3点 , に対して「ラグランジュ補間」を与えると以下のようになります。
この式を整理すると
となります。
これでは「任意の3点を通る2次関数がラグランジュ補間で構成できる」は嘘になってしまいます。
そもそも任意の3点というのが無理があります。
2次関数に関しては以下のように視覚的にとらえることが出来ます。
青の3点を通る1次関数のグラフつまり直線(緑)は存在しますが2次関数のグラフつまり放物線(赤)は描けそうにありません。
描けるなら、直線と放物線のグラフは3点で交わることになり、その観点でもあり得なさそうです。
n+1点でn次関数が決定される条件
先ほどの例からも想像がつくかもしれませんが、 個の点から 次関数が決定される必要十分条件は以下のように与えられます。
定理2
を 以上の自然数とする。
相異なる 個の実数 について、
平面上の 個の点 が与えられたとき、これらの点をすべて通る 次関数のグラフが存在する必要十分条件はこれらの点をすべて通る 次以下の関数のグラフが存在しないことである。
当たり前のように思えるかもしれませんが、念のため証明してみましょう。
(証明)
(⇒)
点 をすべて通る 次関数 のグラフが存在するとき、さらにこれらの点をすべて通る 次以下の関数 が存在すると仮定します。
すると方程式 は相異なる 個の実数解 を持ちますが、 次方程式 の解は高々 個であるため不合理が生じます。*1
ゆえにこのとき、点 をすべて通る 次以下の関数のグラフは存在しません。
(⇐)
点 をすべて通る 次以下の関数のグラフが存在しないとき、定義1により定まる はこれらの点を通りますが、 が仮定より 次以下ではないことと構成より 次以下であることから自動的に の次数は となります。
(証明終わり)
これで 次関数の決定条件が分かったとはいえ、具体的に数値から計算で出せるわけではありません。
今度はラグランジュ補間の式の形から条件を作りましょう。
定理3
証明はラグランジュ補間 の の次数が 0 でないようにすればよいだけなので省略します。
さいごに
ラグランジュ補間自体は有名ですが、単なる構成だけではなく定理2や定理3のように存在証明に用いることが出来る道具です。線形代数学との関連もありますので、機会があれば紹介したいなと思います。
それでは最後までお読みいただきありがとうございました。