跳到主要内容

東京工業大学 情報理工学院 情報工学系 2016年8月実施 午前 1.

Author​

祭音Myyura (co-authored with GPT 5.6 SOL)

Description​

  1. 次の行列式が 00 となる xx を求めよ。
∣11011x1213231x250∣.\begin{vmatrix}1&1&0&1\\1&x&1&2\\1&3&2&3\\1&x^2&5&0\end{vmatrix}.
  1. A=(2225)A=\begin{pmatrix}2&2\\2&5\end{pmatrix} について、(a) 対角化する正規直交行列 UU、(b) 任意の自然数 nn に対する AnA^n を求めよ。
  2. 点 P0(x0,y0,z0)P_0(x_0,y_0,z_0) と、この点を通らない直線 x−x1u=y−y1v=z−z1w\frac{x-x_1}{u}=\frac{y-y_1}{v}=\frac{z-z_1}{w} を含む平面を考える。(a) P0P_0 を含む任意の平面の方程式、(b) それが (x1,y1,z1)(x_1,y_1,z_1) を含む条件、(c) 直線と平行になる条件を書き、(d) 求める平面が次式で表されることを示せ。
∣x−x0y−y0z−z0x1−x0y1−y0z1−z0uvw∣=0.\begin{vmatrix}x-x_0&y-y_0&z-z_0\\x_1-x_0&y_1-y_0&z_1-z_0\\u&v&w\end{vmatrix}=0.
  1. H=(hij)H=(h_{ij}) が実対称行列のとき、Q(x)=∑i,j=1nhijxixjQ(x)=\sum_{i,j=1}^nh_{ij}x_ix_j の ∑ixi2=1\sum_i x_i^2=1 の下での最大値が、HH の最大固有値に等しいことを証明せよ。

题目描述​

求含参数行列式的零点、对称矩阵的正交对角化及幂;依次建立经过一点且包含给定直线的平面条件与行列式方程;证明单位球面上二次型的最大值等于最大特征值。

Kai​

1)​

行列式を展開すると −12(x−2)-12(x-2) である。したがって x=2\boxed{x=2}。

2)​

固有値は 1,61,6、対応する単位固有ベクトルはそれぞれ 15(2,−1)T\frac1{\sqrt5}(2,-1)^T, 15(1,2)T\frac1{\sqrt5}(1,2)^T である。よって

U=15(21−12),UTAU=diag⁡(1,6).U=\frac1{\sqrt5}\begin{pmatrix}2&1\\-1&2\end{pmatrix},\qquad U^TAU=\operatorname{diag}(1,6).

したがって

An=15(4+6n2(6n−1)2(6n−1)1+4⋅6n).\boxed{A^n=\frac15\begin{pmatrix}4+6^n&2(6^n-1)\\2(6^n-1)&1+4\cdot6^n\end{pmatrix}}.

3)​

(a) 法線ベクトル (a,b,c)≠(0,0,0)(a,b,c)\ne(0,0,0) を用いて

a(x−x0)+b(y−y0)+c(z−z0)=0.a(x-x_0)+b(y-y_0)+c(z-z_0)=0.

(b) a(x1−x0)+b(y1−y0)+c(z1−z0)=0a(x_1-x_0)+b(y_1-y_0)+c(z_1-z_0)=0。

(c) au+bv+cw=0au+bv+cw=0。

(d) P1−P0P_1-P_0 と (u,v,w)(u,v,w) は、P0P_0 が直線上にないので線形独立である。求める平面の法線は両者の外積であり、点 (x,y,z)(x,y,z) が平面上にある条件はその外積と (x−x0,y−y0,z−z0)(x-x_0,y-y_0,z-z_0) の内積が 00 となることである。これは問題の行列式に等しい。

4)​

実対称行列の直交対角化 H=Udiag⁡(λ1,…,λn)UTH=U\operatorname{diag}(\lambda_1,\ldots,\lambda_n)U^T を用い、y=UTxy=U^Tx とおく。∑iyi2=1\sum_i y_i^2=1 であるから

Q(x)=∑iλiyi2≤λmax⁡∑iyi2=λmax⁡.Q(x)=\sum_i\lambda_i y_i^2\le\lambda_{\max}\sum_i y_i^2=\lambda_{\max}.

最大固有値に対応する単位固有ベクトルを xx に取れば等号が成立する。