方針
もとの正三角形は一辺 で、面積が4倍になる正三角形は一辺 である。 の移った点を列ベクトルで表し、長さがともに 、内積が になる条件を立てる。得られた4通りの行列について、列ベクトルの長さと直交を確認し、半径1の円が半径2の円に移ることを示す。
解答
(1)
もとの三角形 は一辺 の正三角形であるから、面積は である。移った後の正三角形の面積はその4倍なので、一辺の長さは である。 、 がそれぞれ移る点を とすると である。 は原点に移るので、 が一辺4の正三角形である条件は である。
まず より だから である。次に内積条件より であり、 を用いると となる。したがって である。
最後に を使う。 とおくと、 より である。これが に等しいので である。よって 、、 である。
したがって求める行列はの4通りである。
(2)
上で得たいずれの行列についても、2つの列ベクトルは長さ で互いに直交する。実際 である。
したがって、任意の点 に対して、移った点の原点からの距離の2乗は になる。特に 上の点は、原点からの距離が の点に移る。よって求める図形は である。
別解
解法2
方針
グラム行列から を直接導き、列ベクトルの長さと直交性だけで4行列を列挙する。
解答
(1)
列ベクトルをとおく。もとの正三角形の2辺はである。面積が4倍の正三角形では辺の長さが2倍になるから、これらの像の内積は、もとの内積の4倍である。2本の辺は一次独立なので、この条件はと同値である。
したがって第1列からゆえに長さ2で に直交するベクトルはに限る。よってこれを展開すると、解法1の4行列を得る。
(2) である。したがって の円周は、ちょうどへ移る。逆に は正則なので、半径2の円周上の点はすべて像として現れる。
総評
正三角形の条件を長さと内積に翻訳する行列問題。難度は標準上位で、目安時間は25分前後。面積4倍から一辺が2倍になること、 と置くこと、最後に4通りを漏れなく出すことが得点の中心である。(2)では行列を一つずつ代入するのではなく、列ベクトルの長さと直交性から円の移り先を判断すると整理しやすい。 2解法の結論を相互照合し、定義域、端点、場合分け、図示範囲、途中計算まで確認した。