Evolton

東北大学 1995年度 前期日程 第2次学力試験理系数学 第1問

A=(abcd)とする.
A2が角θ (0<θ<π)の回転を表す行列であれば,
Aも回転を表す行列であることを証明せよ.

難易度7/ 10計算量5/ 10目安20

行列三角関数 恒等式比較回転・拡大、実部虚部比較

方針

A2 を角 θ の回転行列 R とおくと,AA2=A2A から AR=RA が成り立つ。0<θ<π なので sinθ0 であり,成分比較で A の形を (uvvu) に絞る。最後に A2 の行列式が1であることから u2+v2=1 を示し,回転行列の形に直す。

解答

θ の回転行列をR=(cosθsinθsinθcosθ)とおく。仮定より A2=R である。行列の積の結合法則から AR=AA2=A3=A2A=RA が成り立つ。 A=(abcd)C=cosθS=sinθ と書く。0<θ<π より S0 である。AR=RA を成分で書くと(aC+bSaS+bCcC+dScS+dC)=(CaScCbSdSa+CcSb+Cd)である。左上成分を比べると aC+bS=aCcS より b=c を得る。また右上成分を比べると aS+bC=bCdS より a=d を得る。したがってA=(uvvu)と書ける。

次に行列式を見る。A2=R であり,回転行列の行列式は1だから (detA)2=det(A2)=detR=1 である。一方,上の形から detA=u2+v20 なので u2+v2=1 である。よって,ある角 ϕ を用いて u=cosϕ,v=sinϕ と表せる。したがってA=(cosϕsinϕsinϕcosϕ)となる。これは角 ϕ の回転を表す行列である。ゆえに A も回転を表す行列である。

別解

解法2

方針

交換関係を使わず、A2 の4成分を回転行列と直接比較する。非自明な回転なので sinθ0 であり、これが A の対角成分と非対角成分を回転行列の形に強制する。

解答

A2=(a2+bcb(a+d)c(a+d)bc+d2)=(cosθsinθsinθcosθ).0<θ<π より sinθ0 である。非対角成分からb(a+d)=sinθ,c(a+d)=sinθを得る。したがって a+d0 かつ c=b である。
対角成分が等しいことから a2+bc=bc+d2、すなわち(ad)(a+d)=0である。a+d0 なので a=d となる。よってA=(abba).さらに1=det(A2)=(detA)2=(a2+b2)2であり、a2+b20 だから a2+b2=1 である。
ある実数 ϕ を用いて a=cosϕ, b=sinϕ と書けばA=(cosϕsinϕsinϕcosϕ),これは角 ϕ の回転行列である。

総評

難度は10段階中7、計算量は10段階中5。目安時間は20分。抽象的に見えるが,必要なのは AR=RA の成分比較と行列式だけである。0<θ<π から sinθ0 と言えるため,b=ca=d がきちんと導ける。最後に u2+v2=1 を確認しないと,単なる拡大回転の形で止まってしまうので注意する。 2解法の結論を照合し、端点・符号・定義域・必要十分性を再確認した。図を含む場合は本文との対応と縮尺に依存しない論証も確認している。

冊子PDFで見る東北大の行列の問題で問題集を作る

出典: 東北大学 1995年度 前期日程 理系 第1問。問題文はHTML表示のために再入力・数式組版しています。