方針
単位円上の点を再び単位円上へ送る条件を, がすべての で成り立つこととして係数比較する。すると列ベクトルが長さ1で互いに直角であることが分かり,回転型と反転型の2種類に分かれる。反転型は単位円上に動かない点を必ずもつので除外し,回転型では角が0でないものだけが残る。
解答
単位円上の任意の点 に対して,変換後の点も単位円上にある。したがって がすべての について成り立つ。係数を比較すると である。
これは,2つの列ベクトルがともに長さ1で,互いに直角であることを意味する。よって,ある角 を用いて,行列は次のどちらかの形に書ける。またはである。
後者について調べる。この行列に対して,方向 の単位ベクトルは変わらない。したがって単位円上に となる点が存在するので,問題の条件を満たさない。
前者は原点中心の回転である。 が の整数倍ならすべての点が動かないので条件に反する。一方, が の整数倍でなければ,単位円上の点が自分自身に戻ることはない。
したがって求める変換は ただし である。たとえば で表すなら である。
別解
解法2(基底ベクトルの像から分類)
方針
単位円上のとの像をまず決める。像は互いに直交する単位ベクトルなので、第1列をと置けば第2列は2通りに限られる。一方は回転、他方は鏡映であり、鏡映には必ず固定方向がある。
解答
単位円上の2点の像は、それぞれ行列の第1列と第2列である。単位円全体が単位円へ移るので、これらの像は長さ1で互いに垂直でなければならない。
そこでと置く。これに垂直な単位ベクトルはの2通りである。
第1の場合、であり、これは原点を中心とする角の回転である。ならすべての点が固定され、そうでなければ単位円上に固定点はない。
第2の場合、である。このとき単位ベクトルはをかけても変わらない。よって単位円上に固定点があり、条件に反する。
したがって求める1次変換はである。
総評
単位円を保つ1次変換を分類し,動かない点の有無で絞る問題である。目安時間は18分。係数比較から列ベクトルの長さと直角条件を出すところが第一段階である。次に,回転型と反転型を分け,反転型には必ず単位円上の動かない点があることを明示する必要がある。回転型でも は除外されるので,最後の条件を と書いておくと抜けがない。 2解法の結論を相互照合し、条件範囲、端点、等号条件、符号を確認した。 図は立式の対応関係を示すための解説図であり、数値結論には依存しない。