数値代入法による恒等式の解法と十分性の確認
数値代入法を使うときは十分性の確認が必要。
数値代入法
数値代入法
恒等式になるように変数の値を定める問題を考えます。解き方には主に係数比較法と数値代入法がありますが,この記事では数値代入法に注目します。まずは簡単な例題を1問。
が恒等式となるような の値を求めよ。
を代入すると,
を代入すると,
を代入すると,
これを解くと,
十分性の確認について
十分性の確認について
例題1の解答において「恒等式ならば 」は分かりましたが,その逆「 なら恒等式」は言えていません。
で与式が成立することは保証していますが,恒等式(つまり任意の実数 について成立すること)であることはまだ保証できていないのです。
そこで,以下のいずれかの対処法が必要になります。
・対処法1:十分性をきちんと確認する
(解答の続き)
実際 をもとの式に代入すると,左辺は となり右辺と一致する。よって,確かに与式は恒等式となっている。
・対処法2:飛び道具を使って十分性を確認する
(解答の続きバージョン2)
「 についての二次式= についての二次式」という等式が異なる三つの について成立するならそれは恒等式である(→後述)。今, のとき という三つの値で等式が成立するので確かに与式は恒等式である。
・対処法3:係数比較法にする
数値代入法ではなく係数比較法を使えば十分性の確認など不要です。
注:対処法2は知識としては絶対知っておくべきですが,記述式の答案としてはあまりオススメできません(飛び道具を使うわりにけっこうな長文を書かないといけないので)。
飛び道具
飛び道具
上の対処法2で用いた飛び道具について,より一般的な形で説明します。
を についての 次式とする。このとき, という等式が異なる 個の について成立するなら,それは恒等式である。
例題1では の場合を用いました。
, を についての 次式とする。
という等式が異なる 個の について成立すると仮定する。
とおくと,仮定より である()。
よって因数定理より,
ここで, と仮定すると は 次の多項式である。
一方 , は 次の多項式であったため, は高々 次の多項式である。
これらは矛盾するため である。よって,
この定理の証明は二次関数の決定とその背景にも登場します。ヴァンデルモンド行列を使うことでも証明できます。
私は係数比較法の方が好きです。