問題
実数,を係数に含む3次式を考える.の複素数の範囲における因数分解をとする.,,の間にという関係があるとき,以下の問いに答えよ.
(1) をの式で表せ.
(2) ,,がすべて実数であるとする.このときのとりうる値の範囲を求めよ.
(3) (1)で求めたの式をとする.が(2)の範囲を動くとき,関数のグラフをかけ.
方針
は3つの根が を中央とする等差数列になることを表す。そこで と置き,解と係数の関係から ,, を順に決める。根がすべて実数である条件は,中央の根 が実数であることに加え,差 が実数に取れること,すなわち に帰着する。最後は を,許された範囲 または 上で増減を調べて描く。
解答
(1)
より,3つの根は を中央とする等差数列である。したがって,ある複素数 を用いて と書ける。
解と係数の関係を用いる。 であるから, である。まず なので である。
次に
である。これが に等しいから, を代入して すなわち である。
また
したがって であり, である。
(2)
は実数であるから,中央の根 は実数である。残りの2根 がともに実数であるためには, が実数に取れることが必要十分である。よって が条件である。したがって である。
(3)
(1)で求めた関数は であり,定義域は(2)より である。
増減を調べると である。 では なので, の枝は右へ進むにつれて減少し, である。
また でも なので, の枝も右へ進むにつれて減少し, である。したがってグラフは,点 を含んで左上から下がってくる枝と,点 を含んで右下へ下がる枝の2つからなる。 の部分は定義域に含まれない。
別解。 とおき, と平行移動して考える。すると
根が を中央とする等差数列であることは, で見た根が になることと同じである。したがって は で割り切れ,定数項が0でなければならない。よって から を得る。このとき であるから,3根がすべて実数である条件は となり,(2)と同じ範囲を得る。