一、矩阵基础

1. 常用恒等式

λR\lambda \in \mathbb{R}(或 C\mathbb{C}),AA 为方阵,则

(λI+A)n=k=0n(nk)(λI)nkAk=k=0n(nk)λnkAk.(\lambda I + A)^n = \sum_{k=0}^{n} \binom{n}{k} (\lambda I)^{n-k} A^k = \sum_{k=0}^{n} \binom{n}{k} \lambda^{\,n-k} A^k.

这是因为 λI\lambda IAA 总是可交换。


2. 矩阵的转置

A=(aij)m×n,A = (a_{ij})_{m \times n},

若矩阵 B=(bij)n×mB = (b_{ij})_{n \times m} 满足

bij=aji,b_{ij} = a_{ji},

则称 BBAA 的转置,记为 ATA^T


3. 转置的性质

A,BA,B 为适当阶矩阵,kk 为常数,则:

  1. (AT)T=A(A^T)^T = A
  2. (A+B)T=AT+BT(A+B)^T = A^T + B^T
  3. (kA)T=kAT(kA)^T = kA^T
  4. (AB)T=BTAT(AB)^T = B^T A^T

进一步可推广为:

  1. (ABC)T=CTBTAT(ABC)^T = C^T B^T A^T
  2. (A1A2Ak)T=AkTA2TA1T(A_1A_2\cdots A_k)^T = A_k^T \cdots A_2^T A_1^T

特别地,若 AA 为方阵,则

(Ak)T=(AT)k.(A^k)^T = (A^T)^k.

4. 对称矩阵与反对称矩阵

4.1 定义

AA 为方阵。

  • AT=AA^T = A,则称 AA对称矩阵
  • AT=AA^T = -A,则称 AA反对称矩阵(也常称斜对称矩阵)。

对应到元素:

  • 对称矩阵:aij=ajia_{ij} = a_{ji}
  • 反对称矩阵:aij=ajia_{ij} = -a_{ji},特别地,主对角线元素满足 aii=0a_{ii}=0

4.2 基本性质

  • 对称矩阵、反对称矩阵都必须是方阵;
  • 对称矩阵的线性组合仍为对称矩阵;
  • 反对称矩阵的线性组合仍为反对称矩阵。

4.3 乘积不一定保持对称或反对称

即使 A,BA,B 都是对称矩阵,ABAB 也未必仍是对称矩阵。

但若 A,BA,B 都是对称矩阵,则

(AB)T=BTAT=BA.(AB)^T = B^T A^T = BA.

因此

AB 为对称矩阵    AB=BA.AB \text{ 为对称矩阵} \iff AB = BA.

4.4 任意方阵的分解

任意方阵 AA 都可以唯一分解为对称矩阵与反对称矩阵之和:

A=12(A+AT)+12(AAT).A = \frac12(A+A^T) + \frac12(A-A^T).

其中

B=12(A+AT),C=12(AAT),B = \frac12(A+A^T), \qquad C = \frac12(A-A^T),

满足

BT=B,CT=C.B^T = B, \qquad C^T = -C.

4.5 由非方阵构造对称矩阵

AAm×nm\times n 矩阵,则

ATARn×n,AATRm×mA^T A \in \mathbb{R}^{n\times n}, \qquad AA^T \in \mathbb{R}^{m\times m}

都是对称矩阵,因为

(ATA)T=AT(AT)T=ATA,(A^T A)^T = A^T (A^T)^T = A^T A, (AAT)T=(AT)TAT=AAT.(AA^T)^T = (A^T)^T A^T = AA^T.

二、线性方程组与高斯消元

1. 方程组的分类

齐次线性方程组

AX=0AX = 0

非齐次线性方程组

AX=b,b0AX = b, \qquad b \ne 0

这里 b0b\ne 0 表示 bb 中至少有一个分量不为零。


2. 方程组的解

若列向量

X=(x1x2xn)X = \begin{pmatrix} x_1\\x_2\\\vdots\\x_n \end{pmatrix}

满足

AX=b,AX = b,

则称 XX 为方程组 AX=bAX=b 的一个解。


3. 初等变换

矩阵的行初等变换包括:

  1. 交换两行;
  2. 用一个非零数乘某一行;
  3. 将某一行的若干倍加到另一行。

矩阵的列初等变换定义类似。

解线性方程组时,通常只对增广矩阵作行初等变换


4. 行阶梯形与简化行阶梯形

行阶梯形矩阵

一个矩阵称为行阶梯形矩阵,若满足:

  1. 零行都在非零行的下面;
  2. 每个非零行的第一个非零元(主元)所在列,严格位于上一行主元所在列的右边。

简化行阶梯形矩阵

若在行阶梯形基础上进一步满足:

  1. 每个非零行的主元都为 11
  2. 每个主元所在列的其余元素都为 00

则称为简化行阶梯形矩阵。


5. 用高斯消元求解方程组

求解线性方程组的基本思路:

  • 将增广矩阵化为行阶梯形矩阵;
  • 再根据需要继续化为简化行阶梯形矩阵;
  • 由此读出解。

判定有解的条件

设系数矩阵为 AA,增广矩阵为 (Ab)(A\mid b),则

AX=b 有解    r(A)=r(Ab).AX=b \text{ 有解} \iff r(A)=r(A\mid b).

进一步:

  • r(A)=r(Ab)=nr(A)=r(A\mid b)=n,则有唯一解;
  • r(A)=r(Ab)<nr(A)=r(A\mid b)<n,则有无穷多解;
  • r(A)<r(Ab)r(A)<r(A\mid b),则无解。

特别地,齐次方程组

AX=0AX=0

总至少有零解。


三、矩阵等价与初等矩阵

1. 矩阵等价

A,BA,B 为同型矩阵。若 AA 经过有限次初等变换可以变成 BB,则称 AABB 等价,记作

AB.A \sim B.

若只经过行初等变换,则称 A,BA,B 行等价
若只经过列初等变换,则称 A,BA,B 列等价

矩阵等价满足:

  1. 反身性:AAA\sim A
  2. 对称性:ABBAA\sim B \Rightarrow B\sim A
  3. 传递性:AB, BCACA\sim B,\ B\sim C \Rightarrow A\sim C

2. 初等矩阵

单位矩阵经过一次初等变换得到的矩阵称为初等矩阵

左乘与右乘的作用

  • 初等矩阵左乘矩阵:对应行初等变换;
  • 初等矩阵右乘矩阵:对应列初等变换。

3. 初等矩阵的逆

初等矩阵一定可逆,且逆矩阵仍为同类初等矩阵:

  • 交换两行对应的初等矩阵的逆仍是它本身;
  • 将第 ii 行乘以 c0c\ne 0 的初等矩阵,其逆为将第 ii 行乘以 1c\frac1c
  • 将第 jj 行的 cc 倍加到第 ii 行的初等矩阵,其逆为将第 jj 行的 c-c 倍加到第 ii 行。

四、逆矩阵

1. 定义

AAnn 阶方阵。若存在 nn 阶方阵 BB,使得

AB=BA=I,AB=BA=I,

则称 AA 可逆,BB 称为 AA 的逆矩阵,记为 A1A^{-1}


2. 基本性质

  1. 逆矩阵若存在,则唯一;
  2. (A1)1=A(A^{-1})^{-1} = A
  3. (AB)1=B1A1(AB)^{-1} = B^{-1}A^{-1}
  4. (AT)1=(A1)T(A^T)^{-1} = (A^{-1})^T

3. 可逆的充要条件

nn 阶方阵 AA,下列命题等价:

  1. AA 可逆;
  2. AX=0AX=0 只有零解;
  3. 对任意 bb,方程组 AX=bAX=b 有唯一解;
  4. AA 与单位矩阵 II 行等价;
  5. AA 可以表示为若干初等矩阵的乘积;
  6. r(A)=nr(A)=n
  7. det(A)0\det(A)\ne 0

4. 伴随增广矩阵法求逆

A 可逆    (AI)行初等变换(IA1).A \text{ 可逆} \iff (A\mid I)\xrightarrow{\text{行初等变换}} (I\mid A^{-1}).

这是求逆矩阵的常用方法之一。


五、特殊矩阵

1. 幂等矩阵

A2=A,A^2=A,

则称 AA幂等矩阵

由此可得,对于任意正整数 k1k\ge 1

Ak=A.A^k=A.

2. 幂零矩阵

若存在正整数 kk,使得

Ak=0,A^k=0,

且对所有 1l<k1\le l<k 都有 Al0A^l\ne 0,则称 AA 为**kk 阶幂零矩阵**。


3. 矩阵等比和公式

AA 为方阵,则有

(I+A+A2++Ak)(IA)=IAk+1.(I+A+A^2+\cdots+A^k)(I-A)=I-A^{k+1}.

若再满足 IAI-A 可逆,则

I+A++Ak=(IAk+1)(IA)1.I+A+\cdots +A^k = (I-A^{k+1})(I-A)^{-1}.

六、分块矩阵

1. 分块矩阵的乘法原则

分块矩阵能否相乘,关键取决于对应分块的尺寸是否匹配。
通常要求:

  • 左矩阵的列分块方式与右矩阵的行分块方式一致。

2. 分块转置

A=(A11A12A21A22),A=\begin{pmatrix} A_{11}&A_{12}\\ A_{21}&A_{22} \end{pmatrix},

AT=(A11TA21TA12TA22T).A^T= \begin{pmatrix} A_{11}^T&A_{21}^T\\ A_{12}^T&A_{22}^T \end{pmatrix}.

3. 分块对角矩阵的逆

D=(A100Am)D= \begin{pmatrix} A_1&&0\\ &\ddots&\\ 0&&A_m \end{pmatrix}

且每个 AiA_i 都可逆,则

D1=(A1100Am1).D^{-1}= \begin{pmatrix} A_1^{-1}&&0\\ &\ddots&\\ 0&&A_m^{-1} \end{pmatrix}.

七、行列式

1. 定义与记号

nn 阶矩阵 AA 的行列式记为

det(A)A.\det(A) \quad \text{或} \quad |A|.

对低阶情形:

  • n=1n=1 时,det(A)=a11\det(A)=a_{11}
  • n=2n=2 时,
det(A)=a11a12a21a22=a11a22a12a21.\det(A)= \begin{vmatrix} a_{11}&a_{12}\\ a_{21}&a_{22} \end{vmatrix} = a_{11}a_{22}-a_{12}a_{21}.

2. 三阶行列式

2.1 展开公式

a11a12a13a21a22a23a31a32a33=a11a22a33+a12a23a31+a13a21a32a11a23a32a12a21a33a13a22a31.\begin{vmatrix} a_{11}&a_{12}&a_{13}\\ a_{21}&a_{22}&a_{23}\\ a_{31}&a_{32}&a_{33} \end{vmatrix} = a_{11}a_{22}a_{33} +a_{12}a_{23}a_{31} +a_{13}a_{21}a_{32} -a_{11}a_{23}a_{32} -a_{12}a_{21}a_{33} -a_{13}a_{22}a_{31}.

2.2 按第一行展开

det(A)=a11a22a23a32a33a12a21a23a31a33+a13a21a22a31a32.\begin{aligned} \det(A) &= a_{11} \begin{vmatrix} a_{22}&a_{23}\\ a_{32}&a_{33} \end{vmatrix} - a_{12} \begin{vmatrix} a_{21}&a_{23}\\ a_{31}&a_{33} \end{vmatrix} + a_{13} \begin{vmatrix} a_{21}&a_{22}\\ a_{31}&a_{32} \end{vmatrix}. \end{aligned}

3. 余子式与代数余子式

nn 阶行列式中元素 aija_{ij}

  • 划去第 ii 行第 jj 列后得到的 (n1)(n-1) 阶行列式称为 aija_{ij}余子式,记为 MijM_{ij}
Aij=(1)i+jMijA_{ij}=(-1)^{i+j}M_{ij}

称为 aija_{ij}代数余子式


4. 行列式的性质

4.1 按任一行(列)展开

行列式可按任意一行或任意一列展开,结果相同。


4.2 两行(列)相同则行列式为零

若行列式中有两行(或两列)完全相同,则行列式为 00

推广:若两行(或两列)成比例,则行列式也为 00


4.3 某一行(列)可拆分时,行列式可拆分

若某一行是两个向量之和,则行列式可拆成两个行列式之和。
这体现了行列式对每一行(每一列)的线性性。


4.4 行初等变换对行列式的影响

nn 阶矩阵 AA

  1. 某一行乘以 kk,则行列式也乘以 kk
  2. 某一行加上另一行的 kk 倍,行列式不变;
  3. 交换两行,行列式变号。

特别注意:

det(kA)=kndet(A),\det(kA)=k^n\det(A),

一般不等于 kdet(A)k\det(A)


4.5 三角矩阵的行列式

AA 为上三角矩阵、下三角矩阵或对角矩阵,则

det(A)=a11a22ann.\det(A)=a_{11}a_{22}\cdots a_{nn}.

5. 行列式与可逆性

nn 阶方阵 AA

A 可逆    det(A)0.A \text{ 可逆} \iff \det(A)\ne 0.

6. 乘法与转置

A,BA,B 为同阶方阵,则

det(AB)=det(A)det(B),\det(AB)=\det(A)\det(B), det(AT)=det(A).\det(A^T)=\det(A).

AA 可逆,则

det(A1)=1det(A).\det(A^{-1})=\frac{1}{\det(A)}.

7. 克拉默法则

AA 为可逆方阵,则线性方程组

AX=bAX=b

有唯一解,且

xj=det(Aj)det(A),j=1,2,,n,x_j=\frac{\det(A_j)}{\det(A)}, \qquad j=1,2,\dots,n,

其中 AjA_j 表示把 AA 的第 jj 列换成 bb 所得矩阵。

克拉默法则更适合理论分析,一般不用于高阶实际计算。


八、伴随矩阵

1. 定义

由矩阵 A=(aij)A=(a_{ij}) 的代数余子式构成矩阵

(A11A12A1nA21A22A2nAn1An2Ann)\begin{pmatrix} A_{11}&A_{12}&\cdots&A_{1n}\\ A_{21}&A_{22}&\cdots&A_{2n}\\ \vdots&\vdots&\ddots&\vdots\\ A_{n1}&A_{n2}&\cdots&A_{nn} \end{pmatrix}

其转置称为 AA伴随矩阵,记为 AA^*


2. 基本公式

AA=AA=det(A)I.AA^* = A^*A = \det(A)I.

AA 可逆,则

A1=1det(A)A.A^{-1}=\frac{1}{\det(A)}A^*.

九、矩阵的秩

1. 定义

若矩阵 AA 存在一个 rr 阶子式不为零,而所有 r+1r+1 阶子式都为零,则称 rr 为矩阵 AA,记为

r(A)R(A).r(A) \quad \text{或} \quad R(A).

2. 基本性质

AAm×nm\times n 矩阵,则:

  1. 0r(A)min{m,n}0\le r(A)\le \min\{m,n\}
  2. r(A)=0    A=0r(A)=0 \iff A=0
  3. r(AT)=r(A)r(A^T)=r(A)
  4. 初等变换不改变矩阵的秩;
  5. 对行阶梯形矩阵,其秩等于非零行数。

3. 与线性方程组的关系

对于非齐次方程组 AX=bAX=b

AX=b 有解    r(A)=r(Ab).AX=b \text{ 有解} \iff r(A)=r(A\mid b).

若未知数个数为 nn,则:

  • r(A)=r(Ab)=nr(A)=r(A\mid b)=n:唯一解;
  • r(A)=r(Ab)<nr(A)=r(A\mid b)<n:无穷多解;
  • r(A)<r(Ab)r(A)<r(A\mid b):无解。

4. 标准形

任意 m×nm\times n 矩阵 AA,若 r(A)=rr(A)=r,则存在可逆矩阵 P,QP,Q,使得

PAQ=(Ir000).PAQ= \begin{pmatrix} I_r&0\\ 0&0 \end{pmatrix}.

这称为矩阵的标准形。

因此:

AB    r(A)=r(B).A \sim B \iff r(A)=r(B).

5. 分块对角矩阵的秩

M=(A00B),M= \begin{pmatrix} A&0\\ 0&B \end{pmatrix},

r(M)=r(A)+r(B).r(M)=r(A)+r(B).

十、空间解析几何基础

1. 向量及其线性运算

在三维空间中,

a=(a1,a2,a3)\vec a=(a_1,a_2,a_3)

可写为

a=a1i+a2j+a3k,\vec a = a_1\vec i + a_2\vec j + a_3\vec k,

其中

i=(1,0,0),j=(0,1,0),k=(0,0,1).\vec i=(1,0,0),\quad \vec j=(0,1,0),\quad \vec k=(0,0,1).

向量可以进行加法、减法与数乘。


2. 向量的模与方向余弦

a=a12+a22+a32.\|\vec a\|=\sqrt{a_1^2+a_2^2+a_3^2}.

a0\vec a\ne 0,它与三坐标轴正向的夹角分别为 α,β,γ\alpha,\beta,\gamma,则

cosα=a1a,cosβ=a2a,cosγ=a3a.\cos\alpha=\frac{a_1}{\|\vec a\|},\qquad \cos\beta=\frac{a_2}{\|\vec a\|},\qquad \cos\gamma=\frac{a_3}{\|\vec a\|}.

并且

cos2α+cos2β+cos2γ=1.\cos^2\alpha+\cos^2\beta+\cos^2\gamma=1.

单位向量为

ea=aa.\vec e_a=\frac{\vec a}{\|\vec a\|}.

3. 向量平行

b=λa\vec b=\lambda \vec a

表示 a,b\vec a,\vec b 平行。

a=(a1,a2,a3),b=(b1,b2,b3),\vec a=(a_1,a_2,a_3),\quad \vec b=(b_1,b_2,b_3),

ab    λ, b=λa.\vec a \parallel \vec b \iff \exists \lambda,\ \vec b=\lambda \vec a.

写成分量形式时,应理解为对应分量成比例;若某个 ai=0a_i=0,则必须有对应 bi=0b_i=0


4. 向量的内积、外积与混合积

4.1 内积

ab=a1b1+a2b2+a3b3.\vec a\cdot \vec b = a_1b_1+a_2b_2+a_3b_3.

并且

ab=abcosθ,\vec a\cdot \vec b = \|\vec a\|\,\|\vec b\|\cos\theta,

其中 θ\thetaa,b\vec a,\vec b 的夹角。

因此:

  • ab    ab=0\vec a \perp \vec b \iff \vec a\cdot \vec b=0
  • 投影公式为
projua=auu.\operatorname{proj}_{\vec u}\vec a = \frac{\vec a\cdot \vec u}{\|\vec u\|}.

u\vec u 为单位向量,则投影简化为 au\vec a\cdot \vec u


4.2 外积

向量 a,b\vec a,\vec b 的外积记作 a×b\vec a\times \vec b,它是一个向量,满足:

  1. 方向垂直于 a,b\vec a,\vec b 所在平面;
  2. 方向由右手法则确定;
  3. 模为
a×b=absinθ.\|\vec a\times \vec b\| = \|\vec a\|\,\|\vec b\|\sin\theta.

性质

  1. a×a=0\vec a\times \vec a=\vec 0
  2. a×0=0\vec a\times \vec 0=\vec 0
  3. a×b=b×a\vec a\times \vec b = -\vec b\times \vec a
  4. (λa)×(μb)=λμ(a×b)(\lambda \vec a)\times (\mu \vec b)=\lambda\mu(\vec a\times \vec b)
  5. a×(b+c)=a×b+a×c\vec a\times (\vec b+\vec c)=\vec a\times \vec b+\vec a\times \vec c

坐标公式

a=(a1,a2,a3),b=(b1,b2,b3),\vec a=(a_1,a_2,a_3),\qquad \vec b=(b_1,b_2,b_3),

a×b=(a2b3a3b2)i+(a3b1a1b3)j+(a1b2a2b1)k.\vec a\times \vec b = (a_2b_3-a_3b_2)\vec i + (a_3b_1-a_1b_3)\vec j + (a_1b_2-a_2b_1)\vec k.

也可写成形式记号:

a×b=ijka1a2a3b1b2b3.\vec a\times \vec b= \begin{vmatrix} \vec i&\vec j&\vec k\\ a_1&a_2&a_3\\ b_1&b_2&b_3 \end{vmatrix}.

4.3 混合积

定义

[abc]=(a×b)c.[\vec a\,\vec b\,\vec c] = (\vec a\times \vec b)\cdot \vec c.

a=(a1,a2,a3),b=(b1,b2,b3),c=(c1,c2,c3),\vec a=(a_1,a_2,a_3),\quad \vec b=(b_1,b_2,b_3),\quad \vec c=(c_1,c_2,c_3),

(a×b)c=a1a2a3b1b2b3c1c2c3.(\vec a\times \vec b)\cdot \vec c = \begin{vmatrix} a_1&a_2&a_3\\ b_1&b_2&b_3\\ c_1&c_2&c_3 \end{vmatrix}.

几何意义

(a×b)c|(\vec a\times \vec b)\cdot \vec c|

等于以 a,b,c\vec a,\vec b,\vec c 为棱的平行六面体体积。

共面判定

[abc]=0    a,b,c 共面.[\vec a\,\vec b\,\vec c]=0 \iff \vec a,\vec b,\vec c \text{ 共面}.

5. 平面方程

5.1 点法式

若平面过点 M0(x0,y0,z0)M_0(x_0,y_0,z_0),法向量为

n=(A,B,C),\vec n=(A,B,C),

则平面方程为

A(xx0)+B(yy0)+C(zz0)=0.A(x-x_0)+B(y-y_0)+C(z-z_0)=0.

5.2 一般式

平面的一般式为

Ax+By+Cz+D=0.Ax+By+Cz+D=0.

法向量为

n=(A,B,C).\vec n=(A,B,C).

5.3 截距式

若平面分别与三坐标轴交于 (a,0,0),(0,b,0),(0,0,c)(a,0,0),(0,b,0),(0,0,c),则其方程为

xa+yb+zc=1.\frac{x}{a}+\frac{y}{b}+\frac{z}{c}=1.

5.4 点到平面的距离

M0(x0,y0,z0)M_0(x_0,y_0,z_0) 到平面

Ax+By+Cz+D=0Ax+By+Cz+D=0

的距离为

d=Ax0+By0+Cz0+DA2+B2+C2.d=\frac{|Ax_0+By_0+Cz_0+D|}{\sqrt{A^2+B^2+C^2}}.

6. 直线方程

6.1 点向式(对称式)

若直线过点 M0(x0,y0,z0)M_0(x_0,y_0,z_0),方向向量为

s=(m,n,p),\vec s=(m,n,p),

则直线方程可写为

xx0m=yy0n=zz0p.\frac{x-x_0}{m}=\frac{y-y_0}{n}=\frac{z-z_0}{p}.

若某个分量为零,则相应式子应改写成对应坐标恒等于某常数。


6.2 参数式

{x=x0+mt,y=y0+nt,z=z0+pt.\begin{cases} x=x_0+mt,\\ y=y_0+nt,\\ z=z_0+pt. \end{cases}

6.3 点到直线的距离

设点 M0M_0 到直线 ll 的距离为 dd,直线上一点为 M1M_1,方向向量为 s\vec s,则

d=M1M0×ss.d=\frac{\|\overrightarrow{M_1M_0}\times \vec s\|}{\|\vec s\|}.

7. 空间位置关系

7.1 两平面的夹角

两个平面的夹角等于它们法向量的夹角(通常取锐角):

cosθ=A1A2+B1B2+C1C2A12+B12+C12A22+B22+C22.\cos\theta = \frac{|A_1A_2+B_1B_2+C_1C_2|} {\sqrt{A_1^2+B_1^2+C_1^2}\sqrt{A_2^2+B_2^2+C_2^2}}.

平行与重合

平面

A1x+B1y+C1z+D1=0,A2x+B2y+C2z+D2=0A_1x+B_1y+C_1z+D_1=0,\qquad A_2x+B_2y+C_2z+D_2=0
  • 平行:
A1A2=B1B2=C1C2D1D2;\frac{A_1}{A_2}=\frac{B_1}{B_2}=\frac{C_1}{C_2}\ne \frac{D_1}{D_2};
  • 重合:
A1A2=B1B2=C1C2=D1D2.\frac{A_1}{A_2}=\frac{B_1}{B_2}=\frac{C_1}{C_2}= \frac{D_1}{D_2}.

7.2 两直线的夹角

若两直线的方向向量分别为

s1=(m1,n1,p1),s2=(m2,n2,p2),\vec s_1=(m_1,n_1,p_1),\qquad \vec s_2=(m_2,n_2,p_2),

则夹角满足

cosθ=m1m2+n1n2+p1p2m12+n12+p12m22+n22+p22.\cos\theta = \frac{|m_1m_2+n_1n_2+p_1p_2|} {\sqrt{m_1^2+n_1^2+p_1^2}\sqrt{m_2^2+n_2^2+p_2^2}}.

若再取两直线上一点 M1,M2M_1,M_2,则

[s1s2M1M2]=0[\vec s_1\,\vec s_2\,\overrightarrow{M_1M_2}]=0

是两直线共面的判定条件。


7.3 直线与平面的夹角

设直线方向向量为 (m,n,p)(m,n,p),平面法向量为 (A,B,C)(A,B,C),则直线与平面的夹角 θ\theta 满足

sinθ=Am+Bn+CpA2+B2+C2m2+n2+p2.\sin\theta = \frac{|Am+Bn+Cp|} {\sqrt{A^2+B^2+C^2}\sqrt{m^2+n^2+p^2}}.

7.4 平面束

过两个平面

Π1:A1x+B1y+C1z+D1=0,\Pi_1: A_1x+B_1y+C_1z+D_1=0, Π2:A2x+B2y+C2z+D2=0\Pi_2: A_2x+B_2y+C_2z+D_2=0

的交线的所有平面可表示为

λ(A1x+B1y+C1z+D1)+μ(A2x+B2y+C2z+D2)=0,\lambda(A_1x+B_1y+C_1z+D_1)+\mu(A_2x+B_2y+C_2z+D_2)=0,

其中 λ,μ\lambda,\mu 不同时为零。

常写成

Π1+λΠ2=0.\Pi_1+\lambda \Pi_2=0.

十一、nn 维向量空间

1. 基本概念

  • 分量为实数的向量称为实向量;
  • Rn\mathbb{R}^n 称为 nn 维实向量空间。

2. 向量组的线性相关与线性无关

设向量组为

α1,α2,,αm.\alpha_1,\alpha_2,\dots,\alpha_m.

若存在不全为零的数 k1,,kmk_1,\dots,k_m,使

k1α1++kmαm=0,k_1\alpha_1+\cdots+k_m\alpha_m=0,

则称其线性相关;否则称线性无关


3. 线性相关的等价命题

A=(α1,α2,,αm)A=(\alpha_1,\alpha_2,\dots,\alpha_m),则以下命题等价:

  1. α1,,αm\alpha_1,\dots,\alpha_m 线性相关;
  2. 齐次方程组 AX=0AX=0 有非零解;
  3. r(A)<mr(A)<m

m=nm=n,则还等价于

det(A)=0.\det(A)=0.

4. 线性表示与秩

L(α1,α2,,αm)L(\alpha_1,\alpha_2,\dots,\alpha_m)

为向量组的全部线性组合所成集合。

向量 β\beta 能由 α1,,αm\alpha_1,\dots,\alpha_m 线性表示,当且仅当方程组

AX=βAX=\beta

有解,也即

r(A)=r(Aβ).r(A)=r(A\mid \beta).

5. 极大无关组与向量组的秩

  • 一个向量组中,线性无关且不能再加入原组中其它向量而保持线性无关的向量子组,称为极大无关组
  • 极大无关组所含向量个数称为该向量组的

性质:

  1. 极大无关组不唯一;
  2. 向量组的秩唯一;
  3. 行秩 = 列秩 = 矩阵的秩。

十二、基、维数与坐标

1. 基

Rn\mathbb{R}^n 中,若向量组

α1,α2,,αn\alpha_1,\alpha_2,\dots,\alpha_n

线性无关,则它构成 Rn\mathbb{R}^n 的一组基。

标准基为

e1=(1,0,,0),e2=(0,1,,0),,en=(0,0,,1).e_1=(1,0,\dots,0),\quad e_2=(0,1,\dots,0),\quad \dots,\quad e_n=(0,0,\dots,1).

2. 过渡矩阵

若两组基满足

(β1,β2,,βn)=(α1,α2,,αn)P,(\beta_1,\beta_2,\dots,\beta_n) = (\alpha_1,\alpha_2,\dots,\alpha_n)P,

PP 称为从基 α\alpha 到基 β\beta 的过渡矩阵。

若向量 xx 在两组基下的坐标分别为 X,YX,Y,则有

X=PYY=P1X,X = PY \quad \text{或} \quad Y=P^{-1}X,

具体形式取决于坐标列向量的约定方式,但本质都是基变换。


十三、线性方程组解的结构

1. 齐次线性方程组

对于

AX=0,AX=0,

有:

  • r(A)=nr(A)=n,则只有零解;
  • r(A)<nr(A)<n,则有非零解。

r(A)=r<nr(A)=r<n,则其基础解系含有

nrn-r

个线性无关解向量。

通解可写成

X=k1η1+k2η2++ksηs,s=nr(A).X = k_1\eta_1+k_2\eta_2+\cdots+k_s\eta_s, \qquad s=n-r(A).

2. 非齐次线性方程组

对于

AX=b,AX=b,

η0\eta_0 是一个特解,而

ξ1,,ξs\xi_1,\dots,\xi_s

是导出组 AX=0AX=0 的基础解系,则通解为

X=η0+k1ξ1++ksξs.X=\eta_0+k_1\xi_1+\cdots+k_s\xi_s.

即:

非齐次方程组的任一解 = 一个特解 + 对应齐次方程组的任一解。


十四、特征值与特征向量

1. 定义

若存在数 λ\lambda 与非零向量 α\alpha,使得

Aα=λα,A\alpha = \lambda \alpha,

则称 λ\lambda 为矩阵 AA 的特征值,α\alpha 为对应于 λ\lambda 的特征向量。


2. 求法

先解特征方程

det(λIA)=0,\det(\lambda I-A)=0,

求出全部特征值;

再对每个特征值 λi\lambda_i 解方程组

(λiIA)X=0,(\lambda_i I-A)X=0,

求出对应特征向量。


3. 几何重数与代数重数

  • 代数重数:特征值作为特征多项式根的重数;
  • 几何重数:对应特征子空间的维数。

总有

几何重数代数重数.\text{几何重数}\le \text{代数重数}.

4. 特征值与迹、行列式

AA 的全部特征值为 λ1,,λn\lambda_1,\dots,\lambda_n,则

tr(A)=λ1++λn,\operatorname{tr}(A)=\lambda_1+\cdots+\lambda_n, det(A)=λ1λ2λn.\det(A)=\lambda_1\lambda_2\cdots\lambda_n.

因此若 AA 可逆,则 00 不是它的特征值。


5. 一些常见结论

行和相等时

若矩阵每一行元素和都等于同一个数 ss,则

(111)\begin{pmatrix} 1\\1\\\vdots\\1 \end{pmatrix}

是特征向量,对应特征值为 ss

与逆矩阵的关系

AA 可逆,且 Aα=λαA\alpha=\lambda\alpha,则

A1α=1λα.A^{-1}\alpha=\frac{1}{\lambda}\alpha.

AAA1A^{-1} 具有相同的特征向量,对应特征值互为倒数。


十五、矩阵的相似与对角化

1. 相似的定义

若存在可逆矩阵 PP,使

P1AP=B,P^{-1}AP=B,

则称 AABB 相似,记作

AB.A\sim B.

2. 相似的性质

相似关系满足:

  1. 反身性;
  2. 对称性;
  3. 传递性。

并且相似矩阵有相同的:

  • 特征值;
  • 特征多项式;
  • 行列式;
  • 迹。

3. 相似对角化

矩阵 AA 可相似对角化,指存在可逆矩阵 PP 使

P1AP=ΛP^{-1}AP=\Lambda

其中 Λ\Lambda 为对角矩阵。

充要条件

nn 阶矩阵 AA 可相似对角化的充要条件是:

A 有 n 个线性无关的特征向量.A \text{ 有 } n \text{ 个线性无关的特征向量}.

AAnn 个互异特征值,则一定可相似对角化。

更一般地,AA 可相似对角化当且仅当每个特征值的几何重数等于其代数重数。


十六、内积空间与正交化

1. Rn\mathbb{R}^n 中的内积

α=(a1,,an),β=(b1,,bn),\alpha=(a_1,\dots,a_n),\qquad \beta=(b_1,\dots,b_n),

定义内积为

(α,β)=a1b1++anbn.(\alpha,\beta)=a_1b_1+\cdots+a_nb_n.

范数定义为

α=(α,α).\|\alpha\|=\sqrt{(\alpha,\alpha)}.

2. 柯西—施瓦茨不等式

(α,β)2α2β2,(\alpha,\beta)^2 \le \|\alpha\|^2\|\beta\|^2,

当且仅当 α,β\alpha,\beta 线性相关时取等号。


3. 正交向量组

(αi,αj)=0(ij),(\alpha_i,\alpha_j)=0 \quad (i\ne j),

则称向量组两两正交。

性质:

  • 非零正交向量组一定线性无关;
  • 若每个向量模都为 11,则称为标准正交向量组。

4. Gram-Schmidt 正交化

对线性无关向量组 α1,,αs\alpha_1,\dots,\alpha_s,定义:

β1=α1,\beta_1=\alpha_1, β2=α2(α2,β1)(β1,β1)β1,\beta_2=\alpha_2-\frac{(\alpha_2,\beta_1)}{(\beta_1,\beta_1)}\beta_1, β3=α3(α3,β1)(β1,β1)β1(α3,β2)(β2,β2)β2,\beta_3=\alpha_3-\frac{(\alpha_3,\beta_1)}{(\beta_1,\beta_1)}\beta_1-\frac{(\alpha_3,\beta_2)}{(\beta_2,\beta_2)}\beta_2,

一般地,

βs=αsi=1s1(αs,βi)(βi,βi)βi.\beta_s=\alpha_s-\sum_{i=1}^{s-1}\frac{(\alpha_s,\beta_i)}{(\beta_i,\beta_i)}\beta_i.

再单位化:

γi=βiβi,\gamma_i=\frac{\beta_i}{\|\beta_i\|},

可得到标准正交组。


十七、正交矩阵与实对称矩阵

1. 正交矩阵

AA 满足

ATA=AAT=I,A^TA=AA^T=I,

则称 AA 为正交矩阵。

性质:

  1. A1=ATA^{-1}=A^T
  2. det(A)=±1\det(A)=\pm 1
  3. 正交矩阵的列向量组(行向量组)是标准正交组;
  4. 两个正交矩阵的乘积仍为正交矩阵。

2. 实对称矩阵的性质

AT=AA^T=A,则 AA 为实对称矩阵。

重要结论

  1. 实对称矩阵的特征值都为实数;
  2. 对应不同特征值的特征向量彼此正交;
  3. 任一实对称矩阵都能被正交对角化。

即存在正交矩阵 CC,使

CTAC=Λ,C^TAC=\Lambda,

其中 Λ\Lambda 为对角矩阵。


3. 实对称矩阵正交对角化步骤

  1. 求特征值;
  2. 对每个特征值求特征子空间的基;
  3. 对重根对应的特征向量组做正交化并单位化;
  4. 将得到的标准正交特征向量依次排成矩阵 CC 的列;
CTAC=Λ.C^TAC=\Lambda.

十八、二次型

1. 二次型的矩阵表示

二次型一般写成

f(x1,,xn)=i=1nj=1naijxixj.f(x_1,\dots,x_n)=\sum_{i=1}^n\sum_{j=1}^n a_{ij}x_ix_j.

X=(x1x2xn),X= \begin{pmatrix} x_1\\x_2\\\vdots\\x_n \end{pmatrix},

则可写成

f(X)=XTAX.f(X)=X^TAX.

其中可总取 AA 为对称矩阵。


2. 合同变换

若作可逆线性变换

X=CY,X=CY,

f(X)=YT(CTAC)Y.f(X)=Y^T(C^TAC)Y.

若存在可逆矩阵 CC 使

B=CTAC,B=C^TAC,

则称矩阵 A,BA,B 合同


3. 标准形与规范形

任一实二次型都可经可逆线性变换化为标准形

d1y12+d2y22++dnyn2.d_1y_1^2+d_2y_2^2+\cdots+d_ny_n^2.

进一步可化为规范形

y12++yp2yp+12yr2.y_1^2+\cdots+y_p^2-y_{p+1}^2-\cdots-y_r^2.

其中:

  • rr 为二次型的秩;
  • pp 为正惯性指数;
  • rpr-p 为负惯性指数。

惯性指数在合同变换下不变。


4. 用正交变换化为标准形

AA 为实对称矩阵,则二次型

f(X)=XTAXf(X)=X^TAX

可通过正交变换化为标准形。
这本质上来自实对称矩阵的正交对角化。


十九、正定二次型

1. 定义

若对任意非零向量 XX,都有

XTAX>0,X^TAX>0,

则称 f(X)=XTAXf(X)=X^TAX正定二次型AA正定矩阵

这里默认 AA 为实对称矩阵。


2. 正定的等价条件

对实对称矩阵 AA,以下命题等价:

  1. AA 正定;
  2. AA 的特征值全为正;
  3. 二次型的正惯性指数为 nn
  4. AA 与单位矩阵 II 合同;
  5. 存在可逆矩阵 PP,使
A=PTP;A=P^TP;
  1. AA 的所有顺序主子式都大于 00

3. 顺序主子式

nn 阶矩阵 A=(aij)A=(a_{ij}),定义

Pk=a11a12a1ka21a22a2kak1ak2akk,k=1,2,,n.P_k= \begin{vmatrix} a_{11}&a_{12}&\cdots&a_{1k}\\ a_{21}&a_{22}&\cdots&a_{2k}\\ \vdots&\vdots&\ddots&\vdots\\ a_{k1}&a_{k2}&\cdots&a_{kk} \end{vmatrix}, \qquad k=1,2,\dots,n.

这些 PkP_k 称为 AA 的顺序主子式。

正定矩阵判定准则之一:

A 正定    Pk>0(k=1,2,,n).A \text{ 正定} \iff P_k>0 \quad (k=1,2,\dots,n).

4. 负定、半正定、半负定、不定

对二次型 f(X)=XTAXf(X)=X^TAX

  • 若对任意非零 XXf(X)<0f(X)<0,则为负定
  • 若对任意 XXf(X)0f(X)\ge 0,则为半正定
  • 若对任意 XXf(X)0f(X)\le 0,则为半负定
  • 以上都不满足,则为不定

二十、Rayleigh 商

对实对称矩阵 AA 及非零向量 xx,定义 Rayleigh 商

RA(x)=xTAxxTx.R_A(x)=\frac{x^TAx}{x^Tx}.

AA 的特征值满足

λminλmax,\lambda_{\min}\le \lambda_{\max},

λminxTAxxTxλmax.\lambda_{\min} \le \frac{x^TAx}{x^Tx} \le \lambda_{\max}.

并且

λmin=minx0xTAxxTx,λmax=maxx0xTAxxTx.\lambda_{\min}=\min_{x\ne 0}\frac{x^TAx}{x^Tx}, \qquad \lambda_{\max}=\max_{x\ne 0}\frac{x^TAx}{x^Tx}.

二十一、二次曲面与空间曲线(提纲整理)

原笔记这一部分更偏“课堂速记”,存在不少未展开的中间步骤。这里仅保留有明确定义与可直接复习的核心部分。

1. 柱面

若曲面方程缺少一个变量,则母线平行于对应坐标轴:

  • F(x,y)=0F(x,y)=0:母线平行于 zz 轴;
  • F(x,z)=0F(x,z)=0:母线平行于 yy 轴;
  • F(y,z)=0F(y,z)=0:母线平行于 xx 轴。

常见例子:

  • 椭圆柱面:
x2a2+y2b2=1;\frac{x^2}{a^2}+\frac{y^2}{b^2}=1;
  • 双曲柱面:
x2a2y2b2=1;\frac{x^2}{a^2}-\frac{y^2}{b^2}=1;
  • 抛物柱面:
x2=2pyy2=2px.x^2=2py \quad \text{或} \quad y^2=2px.

2. 旋转曲面

平面曲线绕一条定直线旋转一周所成曲面称为旋转曲面。

常见例子:

  • 圆锥面;
  • 旋转抛物面;
  • 球面。

3. 空间曲线的参数方程

空间曲线常可写成

{x=x(t),y=y(t),z=z(t).\begin{cases} x=x(t),\\ y=y(t),\\ z=z(t). \end{cases}

例如圆柱螺线:

{x=acost,y=asint,z=bt.\begin{cases} x=a\cos t,\\ y=a\sin t,\\ z=bt. \end{cases}

4. 二次曲面分类(只保留课堂中出现的核心类型)

标准化后常见类型包括:

  • 椭球面;
  • 球面;
  • 单叶双曲面;
  • 双叶双曲面;
  • 椭圆抛物面;
  • 双曲抛物面;
  • 旋转抛物面。