今回はシリーズ物から離れまして、〇次関数と書かれるものについて考えます。
高校数学で初めて学ぶ関数といえば2次関数です。
2次関数を学ぶ上で練習問題として出てくるのが「3点が与えられ、その3点を通る放物線の式を答える問題」です。
2次関数の話から
(例)
2次関数 のグラフが3点 を通るとき、 の値を求めよ。
この問題の答えは
,
つまり
となり、当然ながら答えはただ一つに定まります。
もちろん2点だけなら、 なども通りますから、不十分です。
これは必然なのでしょうか?
つまり3点を通る2次関数はただ一つなのでしょうか?
そして
2次に対して3点ですから、
次に対して 点なのか?
というのがさらなる疑問になります。
今回はこれを多項式を用いて解決します。
【予備知識】
高校数学(数学ⅡBくらい)の知識があれば大丈夫です。
一般化と証明
まず、今回の疑問を定式化します。
2次関数でいうと、次のことが成り立つことを示すことになります。
2次関数 と異なる3実数 について
かつ かつ ならば
すべての実数 について が成り立つ。
さらにこれを一般化すると以下のようになります。
定理(多項式の一致の定理)
次以下の関数 , と異なる 個の実数 について
, , … , ならば
任意の実数 について が成り立つ。
早速ですが証明に移りましょう。
(証明)
とおきます。
, は 次以下の関数ですので、 は 次以下の関数になります。
また , , … , より、
, , … , となります。
ここで因数定理により、 は
個の相異なる1次式 , , ... , を因数に持ちます。
したがって は整式 を用いて
と書けます。
しかし、 は 次以下であることから恒等的に となります。
したがって任意の実数 について となります。
すなわち任意の実数 について が成り立ちます。
(証明終わり)
これにより、 点から定まる 次関数はただ一つということが結論付けられます。*1
部分分数分解への応用
さて、このまま終わってもよいのですが、高校数学でも多用する「部分分数分解」に多項式の一致の定理が応用できますので、最後に紹介しておこうと思います。
(例題)
でも でも でもない任意の実数 について
が成り立つような実数 , , を求めよ。
いわゆる「恒等式」の問題です。
このままでは多項式ではないので両辺に をかけます。
となります。
ここから、右辺の2次(以下)の式を展開して , のそれぞれの係数,、定数項を比較することで , , を求めることが出来ますが、今回は多項式の一致の定理を用いましょう。
すると、3つの異なる値を代入して左辺と右辺が同じ値をとれば、両辺は一致することになります。
そこで代入する3つの値を選ぶのですが、元の式の分母を考えると、通常であれば の3つの値は代入してはいけません。
しかし、今回はあえてこの3つの値を
に代入します。
すると、
となり、簡単に
が得られます。
これでよいのか?と疑問が残りますが、多項式の一致の定理により
は でも でも でもない任意の実数 で成り立つことになりますので、
もちろん
も でも でも でもない任意の実数 でも成り立ちます。
よって大丈夫です。
流れをまとめると
多項式の等式が で成り立つ
↓
(多項式の一致の定理)
↓
多項式の等式がすべての実数 で成り立つ
↓
多項式の等式が でも でも でもないすべての実数 で成り立つ
↓
分数式の等式が でも でも でもないすべての実数 で成り立つ
となっており、本来は の範囲外であるはぐれ者の が結果に活躍しています。
もちろん実用的とは言えませんが、なぜ分母が0になるものを代入しても部分分数分解が実行できるか、の1つの解決にもなっています。*2
さいごに
部分分数分解以外にも多項式の一致の定理は応用例があります。
たとえば、それこそ複素関数論で出てくる一致の定理の多項式バージョンとして述べるなら、「ある区間で一致する 次関数は実数全体で一致する」なども言えます。
さて、今回は単発の記事ということで多項式の一致の定理を扱わせてもらいました。時折、このような形で単発のライトな記事を投稿していきたいと思っています。
それでは最後まで読んでいただいてありがとうございました。