方針
この行列は、どのベクトルも同じ倍率 で長さを変え、同じ角だけ向きを変える形である。(1)で倍率を求め、(2)では有限個のべきの中に同じものが現れることから、ある正の整数乗が単位行列になると見る。すると倍率のべきが1になるので倍率は1であり、回転行列になる。(3)は回転を2回で単位行列に戻す条件を調べる。
解答
(1) とおく。ただし である。このとき であるから となる。右辺を展開すると である。したがって である。
(2) なので であり、 は逆行列をもつ。集合 が有限なら、ある整数 について である。両辺に の逆行列を掛けると となる。
(1) より、 を1回作用させるとベクトルの長さは 倍になる。したがって では長さの倍率が でなければならない。 だから である。よって となるので、ある実数 を用いて と書ける。したがってであり、これは原点のまわりの回転を表す行列である。
(3)
要素が2個であるためには、 かつ でなければならない。(2)より は回転行列であるから、回転角を とすると、 は が1回転の整数倍であることを意味する。さらに だから、回転角は半回転である。すなわち である。よって である。
別解
解法2:複素数の掛け算として調べる
方針
ベクトル を複素数 とみなすと、 は を掛ける操作である。絶対値と偏角の性質から倍率と回転を読み、有限性を複素数の累乗で判定する。
解答
(1)
を複素数 とみなす。 の作用はに一致する。したがって絶対値の積の性質から(2)
とおく。集合が有限なら、ある について である。 なので絶対値を取るとであり、 となる。よってと書け、 は原点中心の回転を表す。
(3)
集合の要素が2個なら複素数では だから に限る。したがって
総評
難度は10段階中6、計算量は10段階中5。計算自体は短いが、有限集合という条件を「同じべきが2回現れる」と言い換えるところが要点である。(2)で が逆行列をもつこと、(3)で を忘れないことが失点防止になる。試験場では15分前後で、倍率と回転角を分けて整理すると見通しがよい。