方針
だ円 を 、だ円 を で単位円に対応させる。したがって求める1次変換は、単位円上の回転または反転をはさんだ形になる。(1)では の移る先からその変換の第1列を決め、第2列は直交する単位ベクトルの2通りで出す。(2)では の内積を符号の選択で最大にし、 に帰着して角を最小化する。
解答
(1)
だ円 上の点は と表せる。また、だ円 上の点は と表せる。
したがって、だ円 をだ円 に移す1次変換は、単位円上で長さと直交を保つ変換をはさんでと表される。ここで は単位円を単位円に移す1次変換であり、回転または反転である。
点 は、単位円側では に対応する。これが に移るためには、 の第1列がでなければならない。したがって第2列は、これに直交する単位ベクトルとしての2通りである。
よって求める行列はまたはである。
(2)
(1) の2通りの行列を考える。 が移る点はどちらの場合も である。一方、 が移る点 は または である。
それぞれの内積は または である。 を最小にするには、 を最大にすればよいので、符号の選択により内積を にできる。
またである。したがってである。 とおくと、 であり、分母はである。ここで だから、分母は となる。よって である。これは が大きいほど大きいので、最大は のときである。
したがって であり、角は最小なので余弦は正として である。
単位円を介した2つのだ円の対応
別解
解法2
方針
変換行列の2列を、だ円 の二次形式に関する長さと直交条件から
直接決める。(2)では とおき、
相加相乗平均で余弦を一度に評価する。
解答
(1)
変換行列を とする。 よりだ円 の表示 を使うと、単位円上の
をすべてだ円 へ送る条件から、第2列はしたがって求める行列は(2)
符号を適切に選べば では余弦は0である。それ以外で
とおくと相加相乗平均よりだから等号は のときに成立する。最小角は鋭角なので
総評
だ円を単位円に戻し、回転または反転をはさんで1次変換を整理する問題。難度は高めで、目安時間は25分前後。(1)では第2列が2通りあることを落としやすい。(2)では角を最小にすることを余弦の最大化に言い換え、さらに内積の符号を選べる点を明確にする必要がある。最後の式整理では が決め手になる。 2解法の結論を照合し、条件の必要十分性、端点、符号、定義域、等号成立条件を再確認した。図は論証を補助するものに限定し、縮尺に依存しない式による説明も併記している。