Evolton

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

自然数nと実数a0,a1,a2,,an (an0)に対して,2つの整式f(x)=k=0nakxk=anxn+an1xn1++a1x+a0f(x)=k=1nkakxk1=nanxn1+(n1)an1xn2++a1を考える。αβを異なる複素数とする。
複素平面上の2点αβを結ぶ線分上にある点γで,f(β)f(α)βα=f(γ)をみたすものが存在するとき,α,β,f(x)は平均値の性質をもつということにする。以下の問いに答えよ。ただし,iは虚数単位とする。

(1) n=2のとき,どのようなαβf(x)も平均値の性質をもつことを示せ。

(2) α=1iβ=1+if(x)=x3+ax2+bx+cが平均値の性質をもつための,
実数a,b,cに関する必要十分条件を求めよ。

(3) α=1i2β=1+i2
f(x)=x7は,平均値の性質をもたないことを示せ。

難易度7/ 10計算量6/ 10目安32

複素数平面微分 平均値の定理、実部虚部比較、反例構成

方針

(1) は2次式について差商を直接計算し、線分の中点で導関数と一致することを示す。(2)では線分 1i から 1+i 上の点を 1+ti と置き、差商と f(1+ti) の実部・虚部を比較する。虚部を0にする条件と実部を一致させる条件を同時に満たすかを見る。(3)も線分上の点を (1+ti)/2 と置き、差商が 1 になることから 7γ6=1 を仮定し、虚部が0になる候補を絞って実部が合わないことを示す。

解答

(1) n=2 のとき f(x)=ux2+vx+w(u0) とおく。すると f(β)f(α)=u(β2α2)+v(βα) であるから、αβ より f(β)f(α)βα=u(α+β)+v である。

一方 f(x)=2ux+v である。ここで γ=α+β2 とおくと、γαβ を結ぶ線分の中点であり、f(γ)=2uα+β2+v=u(α+β)+v である。よってどのような α,β,f(x) も平均値の性質をもつ。

(2) α=1i, β=1+i を結ぶ線分上の点は γ=1+ti(1t1) と表される。

まず差商を計算する。β3α3βα=2,β2α2βα=2,βαβα=1であるから f(β)f(α)βα=2+2a+b である。

一方 f(x)=3x2+2ax+b だから f(1+ti)=3(1+ti)2+2a(1+ti)+b =2a+b+33t2+i(2a+6)t である。これが実数 2a+b+2 に等しいための条件は 2a+b+33t2=2a+b+2 かつ (2a+6)t=0 である。第1式より t2=13 であるから t0 である。したがって第2式から 2a+6=0 すなわち a=3 が必要である。

逆に a=3 なら、t=13 または t=13 は線分上の点を与え、上の2条件をみたす。b,c は差商と導関数の一致条件に制限を与えない。よって必要十分条件は a=3 であり、b,c は任意の実数である。

(3) α=1i2,β=1+i2 である。これはそれぞれ偏角 π4, π4 の絶対値1の複素数であるから α7=β,β7=α である。したがってβ7α7βα=αββα=1である。

線分上の点を γ=1+ti2(1t1) とおく。もし平均値の性質をもつなら f(γ)=7γ6=1 でなければならない。

ところが γ6=(1+ti)68 であり、その虚部は t(t23)(3t21)4 である。1t1 で虚部が0になるのは t=0,t=±13 だけである。 t=0 のとき γ6=18 であり、7γ6=1 ではない。また t=±13 のときは γ6=827 であるから 7γ6=56271 である。したがって線分上に条件をみたす γ は存在せず、α,β,f(x)=x7 は平均値の性質をもたない。

別解

解法2(線分を実数パラメータで表示する)

方針

線分上の点を γ=(α+β)/2+t(βα)/2 (1t1) と表す。(1)は中点で成立する。(2)は γ=1+it と置いて実部・虚部を比較し,(3)は 7γ6=1 の6根の実部が線分の実部と一致しないことを示す。

解答

(1)
n=2 とし f(x)=a2x2+a1x+a0 とする。線分の中点を選ぶとf(β)f(α)βα=a2(α+β)+a1,γ=α+β2,f(γ)=a2(α+β)+a1.よって任意の αβ と2次式で平均値の性質が成立する。

(2)
α=1i, β=1+i を結ぶ線分上の点を γ=1+it (1t1) と表す。このときf(β)f(α)βα=2a+b+2,f(γ)=3(1+it)2+2a(1+it)+b.両者の実部と虚部を比較すると13t2=0,2(3+a)t=0.第1式より t=±1/30 なので a=3 が必要である。逆に a=3 ならこの2点で等式が成立する。したがって必要十分条件は a=3 であり,b,c は任意の実数である。

(3)
与えられた α,β では α7=β, β7=α だから割線の傾きは 1 である。平均値の性質が成り立つなら,線分上の点 γ7γ6=1,Reγ=12を同時に満たす必要がある。一方,7γ6=1 の6根のうち実部が正のものは偏角 ±π/6 の2根だけで,その実部は3276である。これは 1/2 に等しくない。実際,等しいと仮定して3乗すれば 27=56 となり矛盾する。よって線分上に該当する γ は存在せず,平均値の性質をもたない。

総評

複素数平面上の線分に対して、差商と導関数を直接比較する問題。目安時間は32分。(1)は中点を選べばよいことを計算で示す基本確認で、(2)以降の方針にもなっている。(2)では線分上の点を 1+ti と1変数化し、実部と虚部の条件を分けると必要十分性まで見通しやすい。(3)は候補を探すのではなく、7γ6=1 が必要だと仮定し、虚部0の候補を有限個に絞って実部で否定するのが堅い。

冊子PDFで見る九大の複素数平面の問題で問題集を作る

出典: 九州大学 2021年度 一般選抜(前期日程)数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。