Evolton

名古屋大学 2023年度 前期日程 一般選抜理系数学 第1問

実数係数の4次方程式x4px3+qx2rx+s=0は相異なる複素数
ααββを解に持ち,
それらは全て複素数平面において,点1を中心とする半径1の円周上にあるとする。
ただし,αβはそれぞれαβと共役な複素数を表す。

(1) α+α=ααを示せ。

(2) t=α+αu=β+βとおく。
pqrsをそれぞれtuで表せ。

(3) 座標平面において,点(p,s)のとりうる範囲を図示せよ。

難易度5/ 10計算量4/ 10目安20

複素数平面図形と方程式 複素数の極形式、対称式の利用、範囲評価、図形的解釈

方針

円周条件 z1=1 を展開すると,各共役対について「和=積」が得られる。すると4次式は (x2tx+t)(x2ux+u) と分解でき,係数比較で p,q,r,s が出る。(3) は t,u がともに 0<t,u<4 にあり,かつ tu であることから,p=t+us=tu の範囲を求める。相加相乗平均と (4t)(4u)>0 が境界の式を与える。

解答

(1) α は点1を中心とする半径1の円周上にあるので α1=1 である。両辺を2乗すると (α1)(α1)=1 である。展開して αααα+1=1 となるから α+α=αα である。

(2) t=α+αu=β+β とおく。(1)より αα=t,ββ=u である。したがって,4次方程式の左辺は(xα)(xα)(xβ)(xβ)=(x2tx+t)(x2ux+u)と表される。展開すると(x2tx+t)(x2ux+u)=x4(t+u)x3+(tu+t+u)x22tux+tuである。これを x4px3+qx2rx+s と比較して p=t+u,q=tu+t+u,r=2tu,s=tu を得る。

(3) α が円 z1=1 上にあり,αα であるから,α は実数ではない。円周上の点を α=1+cosθ+isinθ と書くと,sinθ0 であり,t=α+α=2+2cosθ だから 0<t<4 である。同様に 0<u<4 である。また t=u なら2つの2次式 x2tx+tx2ux+u が一致し,4つの解が相異なることに反する。したがって tu である。 p=t+u,s=tu より,まず 0<p<8,s>0 である。また相加相乗平均より s=tu(t+u2)2=p24 であるが,tu なので等号は成り立たず s<p24 である。

さらに t<4u<4 より (4t)(4u)>0 である。これを p,s で表すと 164(t+u)+tu>0 すなわち s>4p16 である。

以上より,点 (p,s) のとりうる範囲は 0<p<8,max(0,4p16)<s<p24 である。したがって座標平面では,放物線 s=p2/4 の下側,かつ s=0s=4p16 の上側にある開領域を図示すればよい。境界はすべて含まない。

別解

別解(逆に2次方程式の根の範囲を課す)

方針

t,uz2pz+s=0 の2根であると逆に見る。『相異なる2根がともに (0,4) にある』ための判別式・和・積・z=4 での符号条件を (p,s) の不等式に直し,必要十分性を確認する。

解答

(1)
α1=1 を2乗すると(α1)(α1)=1,したがってα+α=αα.(2)t=α+αu=β+β とすれば(xα)(xα)=x2tx+tであり,β の組も同様である。よって展開・係数比較からp=t+u,q=tu+t+u,r=2tu,s=tu.(3)
円周上の非実数点について 0<t<40<u<4 であり,4根が相異なるので tu である。ここで t,uz2pz+s=0の2根である。

相異なる実根である条件はp24s>0,両方が正である条件は p>0,s>0 である。また(4t)(4u)=164p+s>0.これと p=t+u<8 を合わせれば,t,u が両方4より大きい可能性は除かれ,両方とも4より小さい。逆にこれらの不等式を満たせば,2根は相異なり 0<t,u<4 となる。

したがって必要十分条件は0<p<8,s>0,s>4p16,s<p24.すなわちmax(0,4p16)<s<p24(0<p<8)であり,境界はいずれも含まない。図示すると標準解法の図の開領域になる。

総評

目安時間は20分。円周条件から共役対の和と積が一致すること,非実数条件により 0<t,u<4 となることが核である。相加相乗平均による順方向の導出と,z2pz+s の2根を区間 (0,4) に入れる逆方向の判定で領域の必要十分性を確認し,開境界を図示した。

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

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