跳到主要内容

東京大学 新領域創成科学研究科 複雑理工学専攻 2025年8月実施 専門基礎科目 2.1 線形代数

Author​

犬 (finalized by 祭音Myyura with assistance from GPT 6 Astra)

Description​

以下の問に答えよ。問3(4) 以外は、導出の過程を省略し、答えのみ示せ。

問1​

実数 aa に対して

A=(1a1a1111a)A=\begin{pmatrix}1&a&1\\a&1&1\\1&1&a\end{pmatrix}

とする。(1) det⁡A\det A を aa を用いて表せ。(2) rank⁡A=2\operatorname{rank}A=2 となる aa を求めよ。

問2​

実数 bb に対して

B=(3b1b31114)B=\begin{pmatrix}3&b&1\\b&3&1\\1&1&4\end{pmatrix}

とする。

(1) BB が正定値行列(すべての固有値が正の実数)となるための bb の条件を示せ。

以下、b=0b=0 とする。

(2) BB のすべての固有値と対応する固有ベクトルを求めよ。

(3) qT=(−6,6,0)\boldsymbol q^{\mathsf T}=(-6,6,0) とする。T\mathsf T は転置を表す。xTBx+qTx\boldsymbol x^{\mathsf T}B\boldsymbol x+\boldsymbol q^{\mathsf T}\boldsymbol x の最小値と、それを与える実ベクトル x\boldsymbol x を求めよ。

問3​

巡回行列 CC とベクトル pm\boldsymbol p_m を

C=(0001100001000010),pm=(1ωmω2mω3m),ω=e−2πi/4C=\begin{pmatrix}0&0&0&1\\1&0&0&0\\0&1&0&0\\0&0&1&0\end{pmatrix},\qquad \boldsymbol p_m=\begin{pmatrix}1\\\omega^m\\\omega^{2m}\\\omega^{3m}\end{pmatrix},\qquad \omega=e^{-2\pi i/4}

とする。mm は整数、ee は自然対数の底、ii は虚数単位である。

(1) ω4m\omega^{4m} を求めよ。

(2) 複素数 λ\lambda に対して Cpm=λpmC\boldsymbol p_m=\lambda\boldsymbol p_m とする。λ\lambda を ω,m\omega,m を用いて表せ。

(3) CC のすべての固有値と対応する固有ベクトルを 1,−1,i,−i1,-1,i,-i のみを用いて表せ。

(4) 次の 5×55\times5 巡回行列 DD のすべての固有値は αcos⁡β\alpha\cos\beta の形で表せる。α,β\alpha,\beta を求め、導出の過程も示せ。

D=(0100110100010100010110010).D=\begin{pmatrix} 0&1&0&0&1\\1&0&1&0&0\\0&1&0&1&0\\0&0&1&0&1\\1&0&0&1&0 \end{pmatrix}.

题目描述​

除问3(4) 外均省略推导,只写答案。

问1 对实数 aa 定义 A=(1a1a1111a)A=\begin{pmatrix}1&a&1\\a&1&1\\1&1&a\end{pmatrix}。(1) 用 aa 表示 det⁡A\det A;(2) 求使 rank⁡A=2\operatorname{rank}A=2 的 aa。

问2 对实数 bb 定义 B=(3b1b31114)B=\begin{pmatrix}3&b&1\\b&3&1\\1&1&4\end{pmatrix}。(1) 求使 BB 正定,即所有特征值为正实数的 bb 的条件。以下令 b=0b=0。(2) 求所有特征值及对应的特征向量;(3) 令 qT=(−6,6,0)\boldsymbol q^{\mathsf T}=(-6,6,0),求 xTBx+qTx\boldsymbol x^{\mathsf T}B\boldsymbol x+\boldsymbol q^{\mathsf T}\boldsymbol x 的最小值及达到该值的实向量 x\boldsymbol x,T\mathsf T 表示转置。

问3 定义

C=(0001100001000010),pm=(1,ωm,ω2m,ω3m)T,ω=e−2πi/4,m∈Z.C=\begin{pmatrix}0&0&0&1\\1&0&0&0\\0&1&0&0\\0&0&1&0\end{pmatrix},\quad \boldsymbol p_m=(1,\omega^m,\omega^{2m},\omega^{3m})^{\mathsf T},\quad \omega=e^{-2\pi i/4},\quad m\in\mathbb Z.

ee 为自然对数的底,ii 为虚数单位。

(1) 求 ω4m\omega^{4m};(2) 若 Cpm=λpmC\boldsymbol p_m=\lambda\boldsymbol p_m,将 λ\lambda 用 ω,m\omega,m 表示;(3) 仅使用 1,−1,i,−i1,-1,i,-i 表示 CC 的所有特征值及相应特征向量;(4) 矩阵

D=(0100110100010100010110010)D=\begin{pmatrix}0&1&0&0&1\\1&0&1&0&0\\0&1&0&1&0\\0&0&1&0&1\\1&0&0&1&0\end{pmatrix}

的所有特征值均可表示为 αcos⁡β\alpha\cos\beta,求 α,β\alpha,\beta 并写出推导。

Kai​

問1​

(1)det⁡A=−(a−1)2(a+2),(2)a=−2.\text{(1)}\quad\det A=-(a-1)^2(a+2),\qquad \text{(2)}\quad a=-2.

問2​

(1)−52<b<3.\text{(1)}\quad-\frac52<b<3.

(2) 対応する固有空間は次のとおりである。固有ベクトルは各空間の零でないベクトルである。

λ固有空間2span⁡{(1,1,−1)T}3span⁡{(1,−1,0)T}5span⁡{(1,1,2)T}\begin{array}{c|c} \lambda&\text{固有空間}\\\hline 2&\operatorname{span}\{(1,1,-1)^{\mathsf T}\}\\ 3&\operatorname{span}\{(1,-1,0)^{\mathsf T}\}\\ 5&\operatorname{span}\{(1,1,2)^{\mathsf T}\} \end{array}
(3)min⁡=−6,x=(1−10).\text{(3)}\quad\min=-6,\qquad \boldsymbol x=\begin{pmatrix}1\\-1\\0\end{pmatrix}.

問3​

(1)ω4m=1,(2)λ=ω−m=ω3m.\text{(1)}\quad\omega^{4m}=1,\qquad \text{(2)}\quad\lambda=\omega^{-m}=\omega^{3m}.

(3) 各固有値に対する固有ベクトルの一例は

λ固有ベクトル1(1,1,1,1)Ti(1,−i,−1,i)T−1(1,−1,1,−1)T−i(1,i,−1,−i)T\begin{array}{c|c} \lambda&\text{固有ベクトル}\\\hline 1&(1,1,1,1)^{\mathsf T}\\ i&(1,-i,-1,i)^{\mathsf T}\\ -1&(1,-1,1,-1)^{\mathsf T}\\ -i&(1,i,-1,-i)^{\mathsf T} \end{array}

である。

(4) ζ=e2πi/5\zeta=e^{2\pi i/5} とし、vk=(1,ζk,ζ2k,ζ3k,ζ4k)T\boldsymbol v_k=(1,\zeta^k,\zeta^{2k},\zeta^{3k},\zeta^{4k})^{\mathsf T} とおく。添字を巡回させれば、隣接する成分の和から

Dvk=(ζk+ζ−k)vk=2cos⁡2πk5 vk.D\boldsymbol v_k=(\zeta^k+\zeta^{-k})\boldsymbol v_k =2\cos\frac{2\pi k}{5}\,\boldsymbol v_k.

v0,…,v4\boldsymbol v_0,\ldots,\boldsymbol v_4 は互いに直交する零でないベクトルなので、これで全固有値を得る。したがって

α=2,β=2πk5(k=0,1,2,3,4).\boxed{\alpha=2,\qquad\beta=\frac{2\pi k}{5}\quad(k=0,1,2,3,4)}.