跳到主要内容

明治大学 先端数理科学研究科 現象数理学専攻 2019年8月実施 线性代数

Author

思齐塾, 祭音Myyura

Description

行列 AA

A=(011101110)A = \begin{pmatrix} 0 & 1 & 1 \\ 1 & 0 & -1 \\ 1 & -1 & 0 \end{pmatrix}

で定めるとき、以下の問いに答えよ。

(1) AA の固有値をすべて求めよ。

(2) AA を実直交行列によって対角化せよ。

(3) 条件 x2+y2+z2=1x^2 + y^2 + z^2 = 1 の下で関数 2(xyyz+zx)2(xy - yz + zx) の最大値と最小値を求めよ。

题目描述

定义矩阵

A=(011101110).A=\begin{pmatrix} 0&1&1\\ 1&0&-1\\ 1&-1&0 \end{pmatrix}.

回答下列问题。

(1) 求 AA 的全部特征值。

(2) 用实正交矩阵将 AA 对角化。

(3) 在约束

x2+y2+z2=1x^2+y^2+z^2=1

下,求函数

2(xyyz+zx)2(xy-yz+zx)

的最大值和最小值。

Kai

解答: (1) 固有方程式 AλI=0|A - \lambda I| = 0 より,

λ111λ111λ=0\begin{vmatrix} -\lambda & 1 & 1 \\ 1 & -\lambda & -1 \\ 1 & -1 & -\lambda \end{vmatrix} = 0
λ(λ21)(λ+1)+(1+λ)=0- \lambda(\lambda^2 - 1) - (-\lambda + 1) + (-1 + \lambda) = 0
λ3+λ+λ11+λ=0- \lambda^3 + \lambda + \lambda - 1 - 1 + \lambda = 0
λ3+3λ2=0- \lambda^3 + 3\lambda - 2 = 0
λ33λ+2=0\lambda^3 - 3\lambda + 2 = 0
(λ1)(λ2+λ2)=0(\lambda - 1)(\lambda^2 + \lambda - 2) = 0
(λ1)(λ1)(λ+2)=0(\lambda - 1)(\lambda - 1)(\lambda + 2) = 0
λ=1,1,2\lambda = 1, 1, -2

したがって、固有値は λ1=1\lambda_1 = 1 , λ2=1\lambda_2 = 1 , λ3=2\lambda_3 = -2 .

(2) λ=1\lambda = 1 のとき,

(AI)x=0(A - I) \mathbf{x} = \mathbf{0}
(111111111)(xyz)=(000)\begin{pmatrix} -1 & 1 & 1 \\ 1 & -1 & -1 \\ 1 & -1 & -1 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}
x+y+z=0-x + y + z = 0

x=y+zx = y + z 固有ベクトルは x=(y+zyz)=y(110)+z(101)\mathbf{x} = \begin{pmatrix} y+z \\ y \\ z \end{pmatrix} = y \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix} + z \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix} v1=(110)\mathbf{v}_1 = \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix} , v2=(101)\mathbf{v}_2 = \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix} w1=v1=(110)\mathbf{w}_1 = \mathbf{v}_1 = \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix} w2=v2v2w1w1w1w1=(101)12(110)=(1/21/21)\mathbf{w}_2 = \mathbf{v}_2 - \frac{\mathbf{v}_2 \cdot \mathbf{w}_1}{\mathbf{w}_1 \cdot \mathbf{w}_1} \mathbf{w}_1 = \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix} - \frac{1}{2} \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix} = \begin{pmatrix} 1/2 \\ -1/2 \\ 1 \end{pmatrix} u1=w1w1=12(110)\mathbf{u}_1 = \frac{\mathbf{w}_1}{\|\mathbf{w}_1\|} = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix} u2=w2w2=16/2(1/21/21)=16(112)\mathbf{u}_2 = \frac{\mathbf{w}_2}{\|\mathbf{w}_2\|} = \frac{1}{\sqrt{6}/2} \begin{pmatrix} 1/2 \\ -1/2 \\ 1 \end{pmatrix} = \frac{1}{\sqrt{6}} \begin{pmatrix} 1 \\ -1 \\ 2 \end{pmatrix}

λ=2\lambda = -2 のとき,

(A+2I)x=0(A + 2I) \mathbf{x} = \mathbf{0}
(211121112)(xyz)=(000)\begin{pmatrix} 2 & 1 & 1 \\ 1 & 2 & -1 \\ 1 & -1 & 2 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}

2x+y+z=02x + y + z = 0 x+2yz=0x + 2y - z = 0 xy+2z=0x - y + 2z = 0 x=z, y=zx=-z,\ y=z となるので, v3=(111)\mathbf{v}_3 = \begin{pmatrix} -1 \\ 1 \\ 1 \end{pmatrix} と取れる。 したがって u3=v3v3=13(111)\mathbf{u}_3 = \frac{\mathbf{v}_3}{\|\mathbf{v}_3\|} = \frac{1}{\sqrt{3}} \begin{pmatrix} -1 \\ 1 \\ 1 \end{pmatrix} である。

したがって、実直交行列は

P=(12161312161302613)P = \begin{pmatrix} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{6}} & -\frac{1}{\sqrt{3}} \\ \frac{1}{\sqrt{2}} & -\frac{1}{\sqrt{6}} & \frac{1}{\sqrt{3}} \\ 0 & \frac{2}{\sqrt{6}} & \frac{1}{\sqrt{3}} \end{pmatrix}
PTAP=(100010002)P^T A P = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & -2 \end{pmatrix}

(3)

2(xyyz+zx)=(xyz)A(xyz).2(xy-yz+zx) = \begin{pmatrix}x&y&z\end{pmatrix} A \begin{pmatrix}x\\y\\z\end{pmatrix}.

AA は実対称行列であり,単位球面上の二次形式の最大値と最小値は それぞれ最大固有値と最小固有値に等しい。したがって

max2(xyyz+zx)=1,min2(xyyz+zx)=2.\boxed{\max 2(xy-yz+zx)=1,\qquad \min 2(xy-yz+zx)=-2}.

最大値は固有値 11 の単位固有ベクトルで,最小値は例えば 13(1,1,1)T\frac1{\sqrt3}(-1,1,1)^T で達成される。