跳转到内容

3.1 向量及其线性运算

[美] David C. Lay、Steven R. Lay 等著,刘深泉等译机械工业出版社《线性代数及其应用(原书第5版)》大学本科 · 教材双语助读 (Alt+Y)

在平面解析几何中,通过坐标法把平面上的点与一对有序的数对应起来,把平面上的图形和方程对应起来,从而可以用代数方法来研究几何问题。空间解析几何也是按照类似的方法建立起来的,通过坐标法把空间上的点与一个有序的三元数组对应起来,把几何空间的性质数量化,把几何问题转化为代数问题,从而可以用代数方法来研究几何问题。自然界中有一类量要用大小和方向两个要素来描述,这类量叫向量,将向量法和坐标法结合能使某些几何问题迎刃而解。

本章先引入向量的概念,根据向量的线性运算建立空间坐标系,然后利用坐标讨论向量的运算,并介绍空间直线与平面的内容。本节包括向量的概念、向量的线性运算;向量的共线、共面问题;向量、点、坐标之间的一一对应。

定义 1 向量与模

既有大小、又有方向的量称为向量或矢量。

在几何上,向量可以用一个有向线段来表示。设给定空间两点 A, B,以 A 为起点,B 为终点,这就确定了向量的方向,而 A, B 两点间直线段的长度确定了向量的大小,这个向量记作 overrightarrowAB。向量 overrightarrowAB 的大小也称为 overrightarrowAB 的长度或模,记作 |overrightarrowAB|。

通常用黑体希腊字母 α, β, γ, … 或小写黑体拉丁字母 a, b, c, … 表示向量。

自由向量

解析几何中所说的向量只考虑它的大小和方向而不计较它的起点的位置,因此它可以平行移动,这种向量称为自由向量。

图 3.1 相等向量与相反向量示意图

如果两个向量 α 和 β 的大小相等,方向相同,则称这两个向量相等,记作 α = β。

如果两个向量 α 和 β 的大小相等,方向相反,则称 β 是 α 的负向量,记作 β = -α。显然 overrightarrowBA = -overrightarrowAB,如图 3.1 所示。

长度为 0 的向量称为零向量,即起点与终点重合的向量,记作 0,它的方向可以看作是任意的。

长度为 1 的向量叫作单位向量。任意非零向量 α 的单位向量为

α₀ = (α)/(|α|)

故 α = |α|α₀。

两个非零向量如果它们的方向相同或者相反,就称这两个向量平行,记作 α // β。由于零向量的方向可以看作是任意的,因此可以认为零向量与任何向量都平行。

当两个平行向量的起点放在同一点时,它们的终点和公共起点应在一条直线上,因此,两向量平行,又称两向量共线。

设有 k (k ≥ 3) 个向量,当把它们的起点放在同一点时,如果 k 个终点和公共起点在一个平面上,就称这 k 个向量共面。

在物理中,一个质点从点 O 出发经过位移 α 到达点 A,再从点 A 经过位移 β 到达点 B,其结果等于从点 O 出发位移到点 B。这个位移 overrightarrowOB 称为位移 α 与 β 的和。

定义 2 向量加法的三角形法则

设有两个向量 α 和 β,任取一点 O 作向量 overrightarrowOA = α,再以 A 为起点作向量 overrightarrowAB = β,连接 OB,则向量 overrightarrowOB = γ,称为向量 α 与 β 的和,记为 α + β,即

γ = α + β

这样作出两个向量之和的方法叫作向量相加的三角形法则。

图 3.2 向量加法的三角形法则

定义 3 向量加法的平行四边形法则

从一点 O 作向量 overrightarrowOA = α, overrightarrowOB = β,再以 OA, OB 为邻边作平行四边形 OACB,称向量 overrightarrowOC = γ 为向量 α 与 β 的和,记作

γ = overrightarrowOC = overrightarrowOA + overrightarrowOB = α + β

这称为向量加法的平行四边形法则。

图 3.3 向量加法的平行四边形法则

向量的加法性质

(1) 交换律:α + β = β + α;

(2) 结合律:(α + β) + γ = α + (β + γ);

(3) 零向量律:α + 0 = 0 + α = α;

(4) 逆元素律:α + (-α) = (-α) + α = 0。

图 3.4 向量加法结合律空间示意图

由于向量的加法满足结合律,三个向量 α, β, γ 之和可简记为 α + β + γ,而不必用括号来表示运算的顺序。n 个向量 α₁, α₂, …, αₙ (n ≥ 3) 之和简记为

∑ᵢ=1ⁿ αᵢ = α₁ + α₂ + … + αₙ

并按向量相加的三角形法则,可得 n 个向量相加的多边形法则:作 overrightarrowOA₁ = α₁,再由点 A₁ 作 overrightarrowA₁ A₂ = α₂, …,最后由 αₙ-1 的终点 Aₙ-1 作 overrightarrowAₙ-1 Aₙ = αₙ,则向量

overrightarrowOAₙ = ∑ᵢ=1ⁿ αᵢ

例如在图 3.5 中,β = α₁ + α₂ + … + α₅。

图 3.5 向量加法的多边形法则

定义 4 向量的减法

向量 α 和 β 的差(减法)规定为

α - β = α + (-β)

按三角形法则,当向量 α 与 β 的起点重合时,由 β 的终点指向 α 的终点的向量即为 α - β。

图 3.6 向量减法三角形法则

定义 5 向量的数乘

向量 α 与实数 λ 相乘是一个向量,记作 λα。它的模为

|λα| = |λ||α|

当 λ > 0 时它的方向与 α 相同;当 λ < 0 时与 α 相反;当 λ = 0 时,|λα| = 0,即 λα = 0,这时它的方向可以是任意的。

由上述定义可知:λα = 0 的充分必要条件是 α = 0 或 λ = 0。特别地,当 λ = -1 时,有 (-1)α = -α。

向量数乘的性质

(1) 1 · α = α;

(2) k(lα) = (kl)α, ∀ k, l ∈ ℝ;

(3) (k+l)α = kα + lα;

(4) k(α + β) = kα + kβ。

向量加法与数乘统称为向量的线性运算。

定理 1 两向量共线的充要条件

两个向量 α, β 共线的充分必要条件是存在不全为零的数 λ, μ,使

λα + μβ = 0
证明

必要性:若 α ≠ 0,则 |α| ≠ 0。由于 α, β 共线,取 |λ| = (|β|)/(|α|),当 β 与 α 同向时 λ 取正值,当 β 与 α 反向时 λ 取负值,即有 β = λα。这是因为此时 β 与 λα 同向,且

|λα| = |λ||α| = (|β|)/(|α|)|α| = |β|

取 μ = -1,则 λα + μβ = 0。若 α = 0,则显然有 1 · α + 0 · β = 0。

充分性:设存在不全为零的数 λ, μ,使 λα + μβ = 0。不妨设 λ ≠ 0,则 α = -(μ)/(λ)β。由数乘的定义可知,α 与 β 共线。

定理 2 三向量共面的充要条件

三个向量 α, β, γ 共面的充分必要条件是存在不全为零的数 k₁, k₂, k₃,使

k₁α + k₂β + k₃γ = 0

图 3.7 共面向量的分解定理

证明

必要性:若 α, β, γ 中有两个共线,不妨设 α // β,由定理1 可知,存在不全为零的数 k₁, k₂ 使 k₁α + k₂β = 0,故 k₁α + k₂β + 0 · γ = 0 成立,其中 k₁, k₂, 0 仍不全为零。

若 α, β, γ 均不共线,但 α, β, γ 共面,由三角形法则及数乘定义可知(图 3.7)

γ = k₁α + k₂β, k₁, k₂ ∈ ℝ

于是成立

k₁α + k₂β - γ = 0

其中 k₁, k₂, -1 不全为零。

充分性:若存在不全为零的数 k₁, k₂, k₃,使 k₁α + k₂β + k₃γ = 0。不妨设 k₃ ≠ 0,则

γ = -(k₁)/(k₃)α - (k₂)/(k₃)β

这说明 γ 是以 -(k₁)/(k₃)α, -(k₂)/(k₃)β 为边的平行四边形的对角线,故 α, β, γ 共面。

推论 共面向量分解定理

设向量 α, β 不共线,若 α, β, γ 共面,则存在唯一的实数组 k₁, k₂,使

γ = k₁α + k₂β

图 3.8 平行四边形对角线向量分解

例 1 平行四边形中点向量

在平行四边形 ABCD 中,设 overrightarrowAB = α, overrightarrowAD = β。试用 α, β 表示向量 overrightarrowMA, overrightarrowMB, overrightarrowMC 和 overrightarrowMD,这里 M 是平行四边形对角线的交点(图 3.8)。

解

由于平行四边形的对角线互相平分,所以

α + β = overrightarrowAC = 2overrightarrowAM

即

-(α + β) = 2overrightarrowMA

于是

overrightarrowMA = -1/2(α + β)

因为 overrightarrowMC = -overrightarrowMA,所以

overrightarrowMC = 1/2(α + β)

又因 -α + β = overrightarrowBD = 2overrightarrowMD,所以

overrightarrowMD = 1/2(-α + β)

由于 overrightarrowMB = -overrightarrowMD,所以

overrightarrowMB = 1/2(α - β)

图 3.9 三角形中线向量表示

例 2 三角形中线向量

设 triangle ABC 中,D 是 BC 边的中点(图 3.9),证明:

overrightarrowAD = 1/2(overrightarrowAB + overrightarrowAC)
证明

由三角形法则可知,

overrightarrowAD = overrightarrowAB + overrightarrowBD (3.1)overrightarrowAD = overrightarrowAC + overrightarrowCD (3.2)

由于 D 是 BC 边的中点,故 overrightarrowBD = -overrightarrowCD。式 (3.1) 与式 (3.2) 两边同时相加,得

2overrightarrowAD = overrightarrowAB + overrightarrowAC

即

overrightarrowAD = 1/2(overrightarrowAB + overrightarrowAC)
定义 6 空间直角坐标系

在空间取定一点 O 称为原点,再取过 O 点的三条两两相互垂直的有向直线,这三条有向直线的正向单位向量分别为 i, j, k,三条有向直线称为坐标轴,依次记为 x 轴、y 轴、z 轴。这样就建立起空间直角坐标系,称为 Oxyz 坐标系。

通常把 x 轴和 y 轴配置在水平面上,而 z 轴则是铅垂线;它们的正向通常符合右手规则,即以右手握住 z 轴,当右手的四个手指从 x 轴正向以 (π)/(2) 角度转向 y 轴正向时,大拇指的指向就是 z 轴的正向。

三条坐标轴中的任意两条可以确定一个平面,这样定出的三个平面统称为坐标面。x 轴和 y 轴所确定的坐标面叫作 xOy 平面,另两个由 y 轴和 z 轴和由 z 轴及 x 轴所确定的坐标面,分别叫作 yOz 平面和 zOx 平面。

三个坐标面把空间分成八个部分,每一部分叫作一个卦限。含有 x 轴、y 轴与 z 轴正半轴的那个卦限叫作第一卦限,表示为 I (+,+,+);含有 x 轴负半轴、y 轴与 z 轴正半轴的那个卦限叫作第二卦限,表示为 II (-,+,+);类似地,八个卦限可分别表示为:

&I(+,+,+), II(-,+,+), III(-,-,+), IV(+,-,+), &V(+,+,-), VI(-,+,-), VII(-,-,-), VIII(+,-,-)

图 3.10 空间直角坐标系与向量坐标分解

任给一个向量 r,对应有空间一点 M,使 r = overrightarrowOM。以 OM 为对角线、三条坐标轴为棱作长方体 RHMK-OPNQ,如图 3.10 所示,有

r = overrightarrowOM = overrightarrowOP + overrightarrowPN + overrightarrowNM = overrightarrowOP + overrightarrowOQ + overrightarrowOR

设

overrightarrowOP = xi, overrightarrowOQ = yj, overrightarrowOR = zk

则

r = overrightarrowOM = xi + yj + zk

上式称为向量 r 的坐标分解式,xi, yj, zk 称为向量 r 沿三个坐标轴方向的分向量。

给定向量 r,就确定了点 M 及 overrightarrowOP, overrightarrowOQ, overrightarrowOR 三个分向量,进而确定了 x, y, z 三个有序数;反之,给定三个有序数 x, y, z,也确定了向量 r 与点 M。于是点 M、向量 r 与三个有序数 x, y, z 之间有一一对应关系:

M longleftrightarrow r = overrightarrowOM = xi + yj + zk longleftrightarrow (x, y, z)

据此,定义:有序数 x, y, z 称为向量 r 在直角坐标系 Oxyz 中的坐标,记作 r = (x, y, z);有序数 x, y, z 也称为点 M 在直角坐标系 Oxyz 中的坐标,记作 M(x, y, z)。

向量 r = overrightarrowOM 称为点 M 关于原点 O 的向径。上述定义表明,一个点与该点的向径有相同的坐标。记号 (x, y, z) 既表示点 M,又表示向量 overrightarrowOM。

三个单位向量 i, j, k 的坐标为

i = (1, 0, 0), j = (0, 1, 0), k = (0, 0, 1)

四、利用坐标进行向量的线性运算

Section titled “四、利用坐标进行向量的线性运算”

利用向量的坐标,可得向量的加法、减法以及向量与数的乘法运算如下:设

α = (x₁, y₁, z₁), β = (x₂, y₂, z₂)

即

α = x₁i + y₁j + z₁k, β = x₂i + y₂j + z₂k

利用向量加法的交换律与结合律,以及向量与数的乘法的结合律与分配律,有

α ± β = (x₁ ± x₂)i + (y₁ ± y₂)j + (z₁ ± z₂)k λα = λ x₁i + λ y₁j + λ z₁k

由坐标的唯一性可知,

α ± β = (x₁ ± x₂, y₁ ± y₂, z₁ ± z₂) λα = (λ x₁, λ y₁, λ z₁)

由此可见,对向量进行加、减及与数相乘的运算,只需对向量的各个坐标分别进行相应的数量运算就可以了。

图 3.11 空间定比分点示意图

例 3 空间定比分点公式

如图 3.11 所示,设点 A(x₁, y₁, z₁), B(x₂, y₂, z₂), C(x₃, y₃, z₃) 共线,而且点 C 分线段 AB 为两段比值为 λ,即 overrightarrowAC = λoverrightarrowCB,则

x₃ = (x₁ + λ x₂)/(1 + λ), y₃ = (y₁ + λ y₂)/(1 + λ), z₃ = (z₁ + λ z₂)/(1 + λ)
证

由条件可知,向量 overrightarrowOA, overrightarrowOB, overrightarrowOC 的坐标分别是 (x₁, y₁, z₁), (x₂, y₂, z₂), (x₃, y₃, z₃),而

overrightarrowOC - overrightarrowOA = λ(overrightarrowOB - overrightarrowOC)

即

(x₃, y₃, z₃) - (x₁, y₁, z₁) = λ((x₂, y₂, z₂) - (x₃, y₃, z₃))

即

(x₃ - x₁, y₃ - y₁, z₃ - z₁) = (λ(x₂ - x₃), λ(y₂ - y₃), λ(z₂ - z₃))

于是得

x₃ - x₁ = λ(x₂ - x₃), y₃ - y₁ = λ(y₂ - y₃), z₃ - z₁ = λ(z₂ - z₃)

解得

x₃ = (x₁ + λ x₂)/(1 + λ), y₃ = (y₁ + λ y₂)/(1 + λ), z₃ = (z₁ + λ z₂)/(1 + λ)

特别地,当 λ = 1 时,C 点为线段 AB 的中点,其中点坐标为

x₃ = (x₁ + x₂)/(2), y₃ = (y₁ + y₂)/(2), z₃ = (z₁ + z₂)/(2)

1. 向量的模与两点间的距离公式

Section titled “1. 向量的模与两点间的距离公式”

设向量 r = (x, y, z),作向量 overrightarrowOM = r,如图 3.10 所示,有

r = overrightarrowOM = overrightarrowOP + overrightarrowOQ + overrightarrowOR

按勾股定理可得

|r| = |OM| = √(|OP|² + |OQ|² + |OR|²)

由 overrightarrowOP = xi, overrightarrowOQ = yj, overrightarrowOR = zk,有

|OP| = |x|, |OQ| = |y|, |OR| = |z|

于是得向量模的坐标表示式:

|r| = √(x² + y² + z²)

设点 A(x₁, y₁, z₁), B(x₂, y₂, z₂),则点 A 与点 B 间的距离 |AB| 就是向量 overrightarrowAB 的模。由

overrightarrowAB &= overrightarrowOB - overrightarrowOA &= (x₂, y₂, z₂) - (x₁, y₁, z₁) &= (x₂ - x₁, y₂ - y₁, z₂ - z₁)

即得空间两点间的距离公式:

|AB| = |overrightarrowAB| = √((x₂ - x₁)² + (y₂ - y₁)² + (z₂ - z₁)²)
例 4 求单位向量

已知两点 A(4, 1, 5) 和 B(1, 2, 7),求与 overrightarrowAB 方向相同的单位向量 e。

解

因为

overrightarrowAB = (1, 2, 7) - (4, 1, 5) = (-3, 1, 2)

所以

|overrightarrowAB| = √((-3)² + 1² + 2²) = √(14)

于是

e = fracoverrightarrowAB|overrightarrowAB| = (1)/(√(14))(-3, 1, 2)
定义 7 两向量的夹角

设有两非零向量 α, β,任取空间一点 O,作 overrightarrowOA = α, overrightarrowOB = β,规定不超过 π 的 angle AOB(设 φ = angle AOB, 0 ≤ φ ≤ π)为向量 α 与 β 的夹角,记作 φ = langleα, βrangle。如果 α 与 β 中有一个是零向量,规定它们的夹角可以取 0 与 π 之间的任意值。

定义 8 方向角与方向余弦

设在直角坐标系中,向量 overrightarrowOM 与三个坐标向量 i, j, k 的夹角分别为 α, β, γ,称它们为向量 overrightarrowOM 的方向角,cosα, cosβ, cosγ 称为 overrightarrowOM 的方向余弦。

图 3.12 向量的方向角与方向余弦

如图 3.12 所示,设 r = overrightarrowOM = (x, y, z),由于 x 是有向线段 overrightarrowOP 的值,MP perp OP,故

cosα = (x)/(|OM|) = (x)/(|r|)

类似可知

cosβ = (y)/(|OM|) = (y)/(|r|), cosγ = (z)/(|OM|) = (z)/(|r|)

从而

(cosα, cosβ, cosγ) = ((x)/(|r|), (y)/(|r|), (z)/(|r|)) = (1)/(|r|)(x, y, z) = (r)/(|r|) = e

由此可得方向余弦的重要恒等式:

cos²α + cos²β + cos²γ = 1
例 5 求方向余弦

设有点 A(1, 1, 1), B(2, -1, 3),求向量 overrightarrowAB 的方向余弦。

解

设 overrightarrowAB 的方向角为 α, β, γ,因为 overrightarrowAB = (1, -2, 2),于是

|overrightarrowAB| = √(1² + (-2)² + 2²) = 3

故

cosα = 1/3, cosβ = -2/3, cosγ = 2/3
定义 9 向量在轴上的投影

取定点 O 及单位向量 e 确定 u 轴(图 3.13)。任给向量 r,作 overrightarrowOM = r,再过点 M 作与 u 轴垂直的平面交 u 轴于点 M',则点 M' 称为点 M 在 u 轴上的投影,向量 overrightarrowOM' 称为 r 在 u 轴上的分量。

设 overrightarrowOM' = λe,则数 λ 称为向量 r 在 u 轴上的投影,记作 Prjᵤ r 或 (r)ᵤ。

图 3.13 向量在轴上的投影

由定义9 知,向量 α = (aₓ, a_y, a_z) 在直角坐标系 Oxyz 的坐标就是 α 在三条坐标轴上的投影,即

Prjₓ α = aₓ, Prj_y α = a_y, Prj_z α = a_z

由此可知,向量的投影具有与坐标相同的性质:

投影的基本性质

性质1:Prjᵤ α = |α|cosφ,其中 φ 是向量 α 与 u 轴的夹角;

性质2:Prjᵤ (α + β) = Prjᵤ α + Prjᵤ β;

性质3:Prjᵤ (λα) = λ Prjᵤ α。

共 0 题