問題
をについての整式とし,はについての恒等式であるとする。
(1) またはであることを示せ。
(2) がで割り切れないならば,はで割り切れることを示せ。
(3) 次数が2であるをすべて求めよ。
方針
解法1(標準解法)
(1) は恒等式に を代入して, が を満たすことを見る。(2) は を代入し, から割って を得る。(3) は とおき, では奇数次の項が消えることに注意して の係数を比較する。最後に得た4候補が実際に次数2で恒等式を満たすことを確認する。
別解(偶数部分と奇数部分に分ける)
整式を偶数部分と奇数部分に分け,恒等式の左辺を平方差として整理する。次数2の場合は定数項ごとに奇数部分の係数を決定する。
解答
解法1(標準解法)
(1)
恒等式 に を代入すると である。よって となるから, である。
(2)
が で割り切れないということは, を意味する。恒等式に を代入すると である。 なので両辺を で割ることができ, を得る。したがって であるから,因数定理より は で割り切れる。
(3)
の次数が2であるから とおく。このとき であり, である。一方, である。係数を比較すると である。 より である。また から または である。 のとき, より である。したがって を得る。 のとき, すなわち より である。したがって を得る。
以上の4つはいずれも で次数が2であり,上の係数条件を満たすので,実際に恒等式を満たす。よって求める整式は である。
別解(偶数部分と奇数部分に分ける)
(1)
を代入すれば
であるから, または である。
(2)
を代入すると
を得る。 が で割り切れないときは なので, である。因数定理により は で割り切れる。
(3)
の偶数部分と奇数部分を
とおく。次数が2であるから
と書ける。恒等式は
となる。最高次項だけを比べれば であり, である。また (1) により である。
したがって
である。 なら より , なら より である。よって
を得る。いずれも上の平方差の式へ代入すれば恒等式を満たす。