問題
次の条件を満たす実数の組が動く範囲を図示せよ.
条件: 行列に対して,行列(,,,は実数)で,となるものが存在する.
出典:名古屋大学 1992年度 前期日程 第2次学力試験 理系 第1問
方針
, という2つの量で見ると,行列 は を 倍, を 倍する形になる。 を同じ座標で考え,2つの倍率が異なる の場合には,平方根になる行列の非対角成分が0になることを直接計算で示す。これにより , がともに実数の平方であることが必要になる。 の場合は で,負の でも90度回転型の行列を使えば平方根を作れるので,この特例を忘れずに加える。
解答
点 に対して とおく。行列 により が に移るとすると であるから である。つまり で見ると, は
と同じ働きをする。
まず の場合を考える。このとき である。 を同じ の座標で表した行列を
とおく。 だから
より が成り立つ。
もし ならば なので, の2つの対角成分は となって等しい。これは に反する。したがって であり, でなければならない。よって が必要である。すなわち が必要である。
逆に ならば , である。, とおき
とすれば,直接計算により
となる。したがって では が必要十分である。
次に の場合を考える。このとき である。 ならば でよい。 のときは とおけば
について
である。よって ではすべての実数 が可能である。
以上より,求める範囲は である。図示すると,2直線 , にはさまれる右向きの閉じた領域に, 軸の負の部分を付け加えたものになる。