跳到主要内容

東北大学 環境科学研究科 エネルギー環境群 2022年8月実施 基礎科目 数学2

Author​

Miyake

Description​

以下の問いに答えよ。

(1)​

R3\mathbb R^3 のベクトル

a1=(113),a2=(531),a3=(21−1),b=(b1b2b3)\boldsymbol a_1=\begin{pmatrix}1\\1\\3\end{pmatrix},\quad \boldsymbol a_2=\begin{pmatrix}5\\3\\1\end{pmatrix},\quad \boldsymbol a_3=\begin{pmatrix}2\\1\\-1\end{pmatrix},\quad \boldsymbol b=\begin{pmatrix}b_1\\b_2\\b_3\end{pmatrix}

について、以下の問いに答えよ。

(1-1) a1,a2\boldsymbol a_1,\boldsymbol a_2 の組は一次独立であることを示せ。

(1-2) a1,a2,a3\boldsymbol a_1,\boldsymbol a_2,\boldsymbol a_3 の組は一次従属であることを示せ。

(1-3) b\boldsymbol b が a1,a2,a3\boldsymbol a_1,\boldsymbol a_2,\boldsymbol a_3 の一次結合として表せるための条件を求めよ。

(2)​

連立方程式

{x1+2x2−2x3+3x4=2,2x1+4x2−3x3−2x4=3,−x1−2x2+2x3+x4=2,−2x1−4x2+4x3−6x4=−4\begin{cases} x_1+2x_2-2x_3+3x_4=2,\\ 2x_1+4x_2-3x_3-2x_4=3,\\ -x_1-2x_2+2x_3+x_4=2,\\ -2x_1-4x_2+4x_3-6x_4=-4 \end{cases}

について、以下の問いに答えよ。

(2-1) 連立方程式の解が存在することを rank(階数)を用いて示せ。

(2-2) 連立方程式の解の自由度を示せ。

(2-3) 連立方程式の解を求めよ。

(3)​

2次形式 f=3x2+4y2+3z2+2xy+2yz+4xzf=3x^2+4y^2+3z^2+2xy+2yz+4xz について、以下の問いに答えよ。

(3-1) ff は対称行列 AA を用いて

f=(x y z)A(xyz)f=(x\ y\ z)A\begin{pmatrix}x\\y\\z\end{pmatrix}

と表せる。対称行列 AA を示せ。

(3-2) 対称行列 AA は直交行列 PP により対角化できる。直交行列 PP を求めよ。

(3-3) 2次形式 ff を標準形にせよ。

(3-4) 2次形式 ff はどのような図形を表すか答えよ。

(3-5) x2+y2+z2=1x^2+y^2+z^2=1 のとき、ff の最大値および最小値を求めよ。

题目描述​

回答以下问题。

(1) 对 R3\mathbb R^3 中的向量

a1=(113),a2=(531),a3=(21−1),b=(b1b2b3),\boldsymbol a_1=\begin{pmatrix}1\\1\\3\end{pmatrix},\quad \boldsymbol a_2=\begin{pmatrix}5\\3\\1\end{pmatrix},\quad \boldsymbol a_3=\begin{pmatrix}2\\1\\-1\end{pmatrix},\quad \boldsymbol b=\begin{pmatrix}b_1\\b_2\\b_3\end{pmatrix},

回答以下问题。

(1-1) 证明向量组 a1,a2\boldsymbol a_1,\boldsymbol a_2 线性无关。

(1-2) 证明向量组 a1,a2,a3\boldsymbol a_1,\boldsymbol a_2,\boldsymbol a_3 线性相关。

(1-3) 求 b\boldsymbol b 能表示为 a1,a2,a3\boldsymbol a_1,\boldsymbol a_2,\boldsymbol a_3 的线性组合的条件。

(2) 对联立方程组

{x1+2x2−2x3+3x4=2,2x1+4x2−3x3−2x4=3,−x1−2x2+2x3+x4=2,−2x1−4x2+4x3−6x4=−4,\begin{cases} x_1+2x_2-2x_3+3x_4=2,\\ 2x_1+4x_2-3x_3-2x_4=3,\\ -x_1-2x_2+2x_3+x_4=2,\\ -2x_1-4x_2+4x_3-6x_4=-4, \end{cases}

回答以下问题。

(2-1) 使用秩(rank)证明方程组存在解。

(2-2) 指出方程组解的自由度。

(2-3) 求方程组的解。

(3) 对二次型 f=3x2+4y2+3z2+2xy+2yz+4xzf=3x^2+4y^2+3z^2+2xy+2yz+4xz,回答以下问题。

(3-1) 二次型 ff 可用对称矩阵 AA 表示为

f=(x y z)A(xyz).f=(x\ y\ z)A\begin{pmatrix}x\\y\\z\end{pmatrix}.

写出对称矩阵 AA。

(3-2) 对称矩阵 AA 可通过正交矩阵 PP 对角化,求正交矩阵 PP。

(3-3) 将二次型 ff 化为标准形。

(3-4) 回答二次型 ff 表示何种图形。

(3-5) 当 x2+y2+z2=1x^2+y^2+z^2=1 时,求二次型 ff 的最大值与最小值。

Kai​

(1)​

(1-1)​

A,B∈RA,B \in \boldsymbol{R} について

Aa1+Ba2=0\begin{aligned} A \boldsymbol{a}_1 + B \boldsymbol{a}_2 = \boldsymbol{0} \end{aligned}

が成り立つとすると、

A+5B=0,  A+3B=0,  3A+B=0\begin{aligned} A+5B=0, \ \ A+3B=0, \ \ 3A+B=0 \end{aligned}

となり、 A=B=0A=B=0 を得るので、 a1,a2\boldsymbol{a}_1, \boldsymbol{a}_2 は一次独立である。

(1-2)​

a3=−12a1+12a2\begin{aligned} \boldsymbol{a}_3 = - \frac{1}{2} \boldsymbol{a}_1 + \frac{1}{2} \boldsymbol{a}_2 \end{aligned}

が成り立つので、 a1,a2,a3\boldsymbol{a}_1, \boldsymbol{a}_2, \boldsymbol{a}_3 は一次従属である。

(1-3)​

(1-1), (1-2) より、 b\boldsymbol{b} が a1,a2,a3\boldsymbol{a}_1, \boldsymbol{a}_2, \boldsymbol{a}_3 の一次結合で表せるということは、 b\boldsymbol{b} が a1,a2\boldsymbol{a}_1, \boldsymbol{a}_2 の一次結合で表せるということである。

A,B∈RA,B \in \boldsymbol{R} について

b=Aa1+Ba2\begin{aligned} \boldsymbol{b} = A \boldsymbol{a}_1 + B \boldsymbol{a}_2 \end{aligned}

が成り立つとすると、

b1=A+5B,  b2=A+3B,  b3=3A+B\begin{align} b_1=A+5B, \ \ b_2=A+3B, \ \ b_3=3A+B \tag{i} \end{align}

となるが、(ii) の1,2番目の式から

A=−3b1+5b22,  B=b1−b22\begin{aligned} A = \frac{-3b_1+5b_2}{2}, \ \ B = \frac{b_1-b_2}{2} \end{aligned}

となり、これを (ii) の3番目の式に代入すると、

−4b1+7b2=b3\begin{aligned} -4b_1 + 7b_2 = b_3 \end{aligned}

を得る。 これが求める条件である。

(2)​

以下の(2)、(3)は本稿で補った解答である。

(2-1)​

係数行列を CC、右辺を d\boldsymbol d とする。拡大係数行列を行基本変形すると

(C∣d)∼(120013001070001100000).\left(C\mid\boldsymbol d\right) \sim \left(\begin{array}{rrrr|r} 1&2&0&0&13\\ 0&0&1&0&7\\ 0&0&0&1&1\\ 0&0&0&0&0 \end{array}\right).

従って rank⁡C=rank⁡(C∣d)=3\operatorname{rank}C=\operatorname{rank}(C\mid\boldsymbol d)=3 であり、解は存在する。

(2-2)​

未知数は4個なので、解の自由度は 4−rank⁡C=14-\operatorname{rank}C=\boxed{1}。

(2-3)​

x2=tx_2=t を自由変数とすれば

(x1,x2,x3,x4)=(13−2t,t,7,1),t∈R.\boxed{(x_1,x_2,x_3,x_4)=(13-2t,t,7,1),\quad t\in\mathbb R.}

(3)​

(3-1)​

対称行列の非対角要素は交差項の係数の半分なので

A=(312141213).\boxed{A=\begin{pmatrix}3&1&2\\1&4&1\\2&1&3\end{pmatrix}.}

(3-2)​

特性方程式は

det⁡(λI−A)=(λ−1)(λ−3)(λ−6)=0.\det(\lambda I-A)=(\lambda-1)(\lambda-3)(\lambda-6)=0.

各固有値に対する正規直交固有ベクトルを列に並べて

P=(−1/21/61/30−2/61/31/21/61/3)\boxed{P=\begin{pmatrix} -1/\sqrt2&1/\sqrt6&1/\sqrt3\\ 0&-2/\sqrt6&1/\sqrt3\\ 1/\sqrt2&1/\sqrt6&1/\sqrt3 \end{pmatrix}}

とすれば、PTP=IP^{\mathsf T}P=I、PTAP=diag⁡(1,3,6)P^{\mathsf T}AP=\operatorname{diag}(1,3,6)。

(3-3)​

(x,y,z)T=P(u,v,w)T(x,y,z)^{\mathsf T}=P(u,v,w)^{\mathsf T} と変換すると

f=u2+3v2+6w2.\boxed{f=u^2+3v^2+6w^2.}

(3-4)​

二次形式 ff だけでは等位面の値が指定されていない。f=cf=c の図形として解釈すると、c>0c>0 では

u2c+v2c/3+w2c/6=1\frac{u^2}{c}+\frac{v^2}{c/3}+\frac{w^2}{c/6}=1

となり、原点を中心とする楕円体である。主軸方向は PP の各列、半軸長は c,c/3,c/6\sqrt c,\sqrt{c/3},\sqrt{c/6} である。c=0c=0 では原点のみ、c<0c<0 では実点をもたない。

(3-5)​

直交変換により u2+v2+w2=1u^2+v^2+w^2=1 なので

1≤u2+3v2+6w2≤6.1\le u^2+3v^2+6w^2\le6.

従って

min⁡f=1,max⁡f=6.\boxed{\min f=1,\qquad\max f=6.}

最小値は (x,y,z)=±(−1,0,1)/2(x,y,z)=\pm(-1,0,1)/\sqrt2、最大値は (x,y,z)=±(1,1,1)/3(x,y,z)=\pm(1,1,1)/\sqrt3 で達成される。

Reference​