跳到主要内容

九州大学 工学府 機械系専攻 2017年度 数学 問2

Author​

祭音Myyura (refined with GPT 6 Astra)

Description​

a,b,c\boldsymbol a,\boldsymbol b,\boldsymbol c を零ベクトルでない nn 次元列ベクトルとする。n×nn\times n 行列 KK を K=aaTK=\boldsymbol a\boldsymbol a^{\mathsf T} と定義する。スカラー p,q,r,sp,q,r,s をそれぞれ p=aTap=\boldsymbol a^{\mathsf T}\boldsymbol a、q=aTbq=\boldsymbol a^{\mathsf T}\boldsymbol b、r=aTcr=\boldsymbol a^{\mathsf T}\boldsymbol c、s=bTcs=\boldsymbol b^{\mathsf T}\boldsymbol c と定義する。以下の問いに答えよ。(50点)

  1. Ka=κ1aK\boldsymbol a=\kappa_1\boldsymbol a を満たすスカラー κ1\kappa_1 を、p,q,r,sp,q,r,s のうち必要なものを用いて表せ。
  2. (b+c)TK(a+c)(\boldsymbol b+\boldsymbol c)^{\mathsf T}K(\boldsymbol a+\boldsymbol c) を、p,q,r,sp,q,r,s のうち必要なものを用いて表せ。
  3. [aTcT][ab]\begin{bmatrix}\boldsymbol a^{\mathsf T}\\\boldsymbol c^{\mathsf T}\end{bmatrix}\begin{bmatrix}\boldsymbol a&\boldsymbol b\end{bmatrix} を、p,q,r,sp,q,r,s のうち必要なものを用いて表せ。
  4. cT([ab][aTcT]−K)b\boldsymbol c^{\mathsf T}\left(\begin{bmatrix}\boldsymbol a&\boldsymbol b\end{bmatrix}\begin{bmatrix}\boldsymbol a^{\mathsf T}\\\boldsymbol c^{\mathsf T}\end{bmatrix}-K\right)\boldsymbol b を、p,q,r,sp,q,r,s のうち必要なものを用いて表せ。
  5. KK のランクを求めよ。

题目描述​

对外积矩阵 K=aaTK=\boldsymbol a\boldsymbol a^{\mathsf T},利用给定的四个内积 p,q,r,sp,q,r,s 计算特征值、三个矩阵乘积及秩。

Kai​

(1)​

Ka=a(aTa)=pa⟹κ1=p.K\boldsymbol a=\boldsymbol a(\boldsymbol a^{\mathsf T}\boldsymbol a)=p\boldsymbol a \quad\Longrightarrow\quad\boxed{\kappa_1=p}.

(2)​

(b+c)Ta aT(a+c)=(q+r)(p+r).(\boldsymbol b+\boldsymbol c)^{\mathsf T}\boldsymbol a\, \boldsymbol a^{\mathsf T}(\boldsymbol a+\boldsymbol c) =\boxed{(q+r)(p+r)}.

(3)​

(pqrs).\boxed{\begin{pmatrix}p&q\\r&s\end{pmatrix}}.

(4)​

括弧内は aaT+bcT−K=bcT\boldsymbol a\boldsymbol a^{\mathsf T}+\boldsymbol b\boldsymbol c^{\mathsf T}-K=\boldsymbol b\boldsymbol c^{\mathsf T} なので

cTb cTb=s2.\boldsymbol c^{\mathsf T}\boldsymbol b\, \boldsymbol c^{\mathsf T}\boldsymbol b=\boxed{s^2}.

(5)​

KX=a(aTX)KX=\boldsymbol a(\boldsymbol a^{\mathsf T}X) より、像は span⁡{a}\operatorname{span}\{\boldsymbol a\} に含まれる。また a≠0\boldsymbol a\ne0 より p>0p>0、Ka=pa≠0K\boldsymbol a=p\boldsymbol a\ne0 なので像の次元は1。従って rank⁡K=1\boxed{\operatorname{rank}K=1}。