跳到主要内容

名古屋大学 情報科学研究科 情報システム学専攻 2015年8月実施 解析・線形代数 [2]

Author​

思齐塾, 祭音Myyura

Description​

次の2次形式について、以下の問いに答えよ。ただし、 x=(xy)x = \begin{pmatrix} x \\ y \end{pmatrix} , x′=(x′y′)x' = \begin{pmatrix} x' \\ y' \end{pmatrix} とし、 tx^t x で xx の転置を表す。

Q(x,y)=x2−23xy−y2(1)Q(x, y) = x^2 - 2\sqrt{3}xy - y^2 \quad (1)

(a) 式(1)は、対称行列 AA を用いて Q(x,y)=txAxQ(x, y) = {}^t xAx と表せる。 AA のすべての固有値を求めよ。

(b) (a) の AA を対角化する直交行列を求め、 AA を対角化せよ。

(c) 式(1)は、ある線形変換 x=Ux′x = Ux' により標準形、すなわち、 x′y′x'y' の項を含まない2次形式で表せる。式(1)を標準形に直せ。

(d) Q(x,y)=2Q(x, y) = 2 の概形を図示せよ。

出典:名古屋大学 入学試験問題

题目描述​

给定二次型

Q(x,y)=x2−23xy−y2.(1)Q(x,y)=x^2-2\sqrt3xy-y^2. \tag{1}

记

x=(xy),x′=(x′y′),\boldsymbol x=\begin{pmatrix}x\\y\end{pmatrix}, \qquad \boldsymbol x'=\begin{pmatrix}x'\\y'\end{pmatrix},

并用 Tx{}^{\mathsf T}\boldsymbol x 表示 x\boldsymbol x 的转置。

  1. 式 (1) 可由某个实对称矩阵 AA 写成

    Q(x,y)=TxAx.Q(x,y)={}^{\mathsf T}\boldsymbol x A\boldsymbol x.

    求 AA 的全部特征值;

  2. 求一个使 AA 对角化的正交矩阵,并写出对角化结果;

  3. 通过某个线性变换 x=Ux′\boldsymbol x=U\boldsymbol x',把式 (1) 化为不含 x′y′x'y' 项的标准形;

  4. 画出曲线 Q(x,y)=2Q(x,y)=2 的大致形状。

Kai​

( a ) 二次形式 Q(x,y)Q(x,y) は

Q(x,y)=txAxQ(x,y)={}^{t}xAx

と表され,対応する対称行列は

A=(1−3−3−1)A= \begin{pmatrix} 1 & -\sqrt{3}\\ -\sqrt{3} & -1 \end{pmatrix}

である.

AA の固有値を求めるために特性方程式

det⁡(A−λI)=0\det(A-\lambda I)=0

を計算すると,

det⁡(A−λI)=∣1−λ−3−3−1−λ∣=(1−λ)(−1−λ)−3=λ2−4\begin{aligned} \det(A-\lambda I) &= \begin{vmatrix} 1-\lambda & -\sqrt{3}\\ -\sqrt{3} & -1-\lambda \end{vmatrix} \\ &=(1-\lambda)(-1-\lambda)-3 \\ &=\lambda^2-4 \end{aligned}

となる.よって,

λ1=2,λ2=−2\lambda_1=2,\qquad \lambda_2=-2

を得る.

( b ) λ1=2\lambda_1=2 に対応する固有ベクトル v1v_1 は

(A−2I)v1=0(A-2I)v_1=0

より,

(−1−3−3−3)(x1y1)=(00)\begin{pmatrix} -1 & -\sqrt{3}\\ -\sqrt{3} & -3 \end{pmatrix} \begin{pmatrix} x_1\\ y_1 \end{pmatrix} = \begin{pmatrix} 0\\ 0 \end{pmatrix}

を解くことで求められる.

−x1−3y1=0-x_1-\sqrt{3}y_1=0

より,

v1=(−31)v_1= \begin{pmatrix} -\sqrt{3}\\ 1 \end{pmatrix}

ととれる.正規化すると,

u1=12(−31)u_1=\frac12 \begin{pmatrix} -\sqrt{3}\\ 1 \end{pmatrix}

である.

同様に, λ2=−2\lambda_2=-2 に対応する固有ベクトル v2v_2 は

(A+2I)v2=0(A+2I)v_2=0

すなわち,

(3−3−31)(x2y2)=(00)\begin{pmatrix} 3 & -\sqrt{3}\\ -\sqrt{3} & 1 \end{pmatrix} \begin{pmatrix} x_2\\ y_2 \end{pmatrix} = \begin{pmatrix} 0\\ 0 \end{pmatrix}

より,

3x2−3y2=03x_2-\sqrt{3}y_2=0

を満たす.したがって,

v2=(13)v_2= \begin{pmatrix} 1\\ \sqrt{3} \end{pmatrix}

ととれ,正規化すると

u2=12(13)u_2=\frac12 \begin{pmatrix} 1\\ \sqrt{3} \end{pmatrix}

となる.

以上より,直交行列

U=(−32121232)U= \begin{pmatrix} -\frac{\sqrt{3}}{2} & \frac12\\ \frac12 & \frac{\sqrt{3}}{2} \end{pmatrix}

を用いれば,

UTAU=(200−2)U^{T}AU= \begin{pmatrix} 2 & 0\\ 0 & -2 \end{pmatrix}

と対角化される.

( c ) この直交変換による標準形は

Q=2(x′)2−2(y′)2Q=2(x')^2-2(y')^2

である.

( d ) Q(x,y)=2Q(x,y)=2 は

2(x′)2−2(y′)2=22(x')^2-2(y')^2=2

すなわち,

(x′)2−(y′)2=1(x')^2-(y')^2=1

と書ける.これは双曲線を表す.

元の xyxy 座標では、頂点は ±(−3/2,1/2)\pm(-\sqrt3/2,1/2) であり、漸近線は

y=(−3+2)x,y=(−3−2)xy=(-\sqrt3+2)x,\qquad y=(-\sqrt3-2)x

である。

元のxy座標における双曲線と漸近線