Evolton

九州大学 2019年度 前期日程 第2次学力試験文系数学 第4問

0でない2つの整式f(x)g(x)が以下の恒等式を満たすとする。f(x2)=(x2+2)g(x)+7g(x3)=x4f(x)3x2g(x)6x22以下の問いに答えよ。

(1) f(x)の次数とg(x)の次数はともに2以下であることを示せ。

(2) f(x)g(x)を求めよ。

難易度5/ 10計算量5/ 10目安18

数と式 恒等式比較、範囲評価

方針

まず次数だけで候補を2次以下に絞る。第1式では左辺の次数が 2degf、右辺の次数が degg+2 になるので、degg=2degf2 が得られる。これを第2式の次数比較に入れると、高次の場合は左辺の次数が右辺の最大次数を上回って矛盾する。2次以下まで落とした後は、f,g を一般の2次式で置き、2つの恒等式を係数比較して一意に決める。

解答

(1) f(x)g(x) は0でないので、それぞれの次数を m=degf,n=degg とおく。第1式 f(x2)=(x2+2)g(x)+7 では、左辺の次数は 2m であり、右辺の最高次項は x2g(x) から出るので次数は n+2 である。したがって 2m=n+2 が成り立つ。特に n=2m2 である。

ここで m3 と仮定する。このとき n=2m24 である。第2式 g(x3)=x4f(x)3x2g(x)6x22 の左辺の次数は 3n=6m6 である。一方、右辺の次数は高くても max(m+4,n+2)=max(m+4,2m) である。 m=3 なら左辺の次数は 12、右辺の次数は高くても 7 で矛盾する。m4 なら max(m+4,2m)=2m であるから、次数の一致には 6m62m が必要である。しかしこれは m32 を意味し、m4 に反する。したがって m3 は不可能であり、degf=m2 である。さらに n=2m2 より degg=n2 も従う。

(2)
(1)より f(x)=Ax2+Bx+C,g(x)=Dx2+Ex+F とおける。第1式に代入すると Ax4+Bx2+C=(x2+2)(Dx2+Ex+F)+7 である。右辺を展開して係数を比較すると A=D,E=0,B=F+2D,C=2F+7 を得る。

次に第2式へ代入する。E=0 なので g(x3)=Dx6+F であり、右辺は x4(Ax2+Bx+C)3x2(Dx2+F)6x22 である。これを整理すると Ax6+Bx5+(C3D)x4(3F+6)x22 である。係数比較により D=A,B=0,C=3D,3F+6=0,F=2 となる。よって F=2,C=2F+7=3 であり、さらに C=3D から D=1,A=1 を得る。また B=0E=0 である。したがって f(x)=x2+3,g(x)=x22 である。

別解

解法2

方針

次数比較で2次以下を示した後、第1式の偶奇性を利用して g を最初から偶関数として置く。未知係数を2個まで減らし、第2式の係数比較を短く行う。

解答

(1)
m=degfn=degg とする。第1式の最高次数を比べると2m=n+2である。特に n=2m2 である。もし m3 なら、第2式の左辺の次数は3n=6m6である。一方、右辺の次数は高くてもmax(m+4,n+2)=max(m+4,2m)2m+1である。m3 では 6m6>2m+1 だから矛盾する。よって m2、さらに n=2m22 である。

(2)
第1式の左辺と定数7は偶関数であり、x2+2 は0にならないから、g(x) も偶関数である。(1)よりg(x)=ux2+vとおける。第1式はf(x2)=ux4+(v+2u)x2+2v+7となるので、文字 X=x2 を用いればf(X)=uX2+(v+2u)X+2v+7である。これを第2式へ代入するとux6+v=ux6+(v+2u)x5+(2v+73u)x4(3v+6)x22を得る。係数比較によりv+2u=0,2v+73u=0,3v6=0だから、v=2u=1 である。したがってf(x)=x2+3,g(x)=x22である。

総評

難度5、目安時間18分。前半は次数比較の不等式処理が得点差になる。第1式から n=2m2 を確定させ、第2式では「右辺で取り得る最高次数」を上から押さえると高次の場合を排除できる。後半の係数比較は標準的だが、x4f(x) の項で Bx5 に出ること、定数項から F=2 が出ることを取り違えやすい。次数の上限を示してから一般形を置く順序を守ると答案が安定する。

冊子PDFで見る九大の数と式の問題で問題集を作る

出典: 九州大学 2019年度 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。