University Calculus · Calculus III大学微积分 · 微积分 III

Unit C1: Vectors and the Geometry of Space单元 C1:向量与空间几何

The vocabulary of multivariable calculus: points, vectors, dot and cross products, and the lines, planes, and quadric surfaces they build in three-dimensional space.多元微积分的基本语言:点、向量、点积与叉积,以及由它们在三维空间中构造出的直线、平面与二次曲面。

Calculus III微积分 III Multivariable多元 Vector Calculus向量微积分 MIT 18.02 / GT 2551 / Princeton MAT 201
Read me first.请先阅读。 This unit lays the geometric foundation for everything that follows in Calculus III. Master the two products first: the dot product measures alignment and gives angles and projections, while the cross product measures the spanned area and gives a perpendicular direction. With those in hand, lines, planes, and quadric surfaces become routine. Work each example by hand before reading the solution, and verify every magnitude you compute.本单元为微积分 III 之后的全部内容奠定几何基础。先掌握两种乘积:点积(dot product)度量两向量的对齐程度,给出夹角与投影(projection);叉积(cross product)度量所张成的面积,给出一个垂直方向。掌握了它们之后,直线、平面与二次曲面便水到渠成。每道例题都先动手做一遍再看解答,并核验你算出的每一个模长(magnitude)。

Three-Dimensional Coordinates三维坐标

The plane $\mathbb{R}^2$ extends to space $\mathbb{R}^3$ by adjoining a third axis. We fix three mutually perpendicular number lines, the $x$, $y$, and $z$ axes, meeting at the origin $O$. Their positive directions are chosen to obey the right-hand rule: when the fingers of the right hand curl from the positive $x$ axis toward the positive $y$ axis, the thumb points along the positive $z$ axis. A point is named by the ordered triple of its signed perpendicular distances from the three coordinate planes.平面 $\mathbb{R}^2$ 通过添加第三条坐标轴扩展为空间 $\mathbb{R}^3$。我们取三条两两垂直的数轴,即 $x$、$y$、$z$ 轴,它们相交于原点 $O$。它们的正方向按右手定则(right-hand rule)确定:当右手四指从 $x$ 轴正方向弯向 $y$ 轴正方向时,拇指指向 $z$ 轴正方向。一个点由它到三个坐标平面的带符号垂直距离构成的有序三元组来命名。

Key idea. A point $P = (x_0, y_0, z_0)$ in $\mathbb{R}^3$ records three independent coordinates. The three coordinate planes $x=0$, $y=0$, $z=0$ split space into eight octants, and distances between points come from the Pythagorean theorem applied twice.核心思想。$\mathbb{R}^3$ 中的一个点 $P = (x_0, y_0, z_0)$ 记录三个相互独立的坐标。三个坐标平面 $x=0$、$y=0$、$z=0$ 将空间分成八个卦限,两点之间的距离(distance)由勾股定理连用两次得到。
distance between two points两点间的距离
$$ d(P_1, P_2) = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2 + (z_2 - z_1)^2}. $$

Setting the distance from a fixed center $C = (a,b,c)$ equal to a constant $r$ and squaring gives the equation of a sphere.令到定中心 $C = (a,b,c)$ 的距离等于常数 $r$ 并两边平方,就得到球面(sphere)的方程。

sphere of radius $r$ centered at $(a,b,c)$以 $(a,b,c)$ 为心、半径为 $r$ 的球面
$$ (x-a)^2 + (y-b)^2 + (z-c)^2 = r^2. $$
Worked Example 1.1: completing the square to find a center and radius例题 1.1:用配方法求球心与半径

Identify the center and radius of the surface $x^2 + y^2 + z^2 - 4x + 6y - 2z + 5 = 0$.求曲面 $x^2 + y^2 + z^2 - 4x + 6y - 2z + 5 = 0$ 的球心与半径。

Group by variable and complete the square in each:按变量分组,对每个变量配方:

$$ (x^2 - 4x) + (y^2 + 6y) + (z^2 - 2z) = -5, $$ $$ (x-2)^2 - 4 + (y+3)^2 - 9 + (z-1)^2 - 1 = -5. $$

Collect the constants:合并常数项:

$$ (x-2)^2 + (y+3)^2 + (z-1)^2 = 9. $$

This is a sphere with center $(2, -3, 1)$ and radius $r = 3$.这是一个球心为 $(2, -3, 1)$、半径 $r = 3$ 的球面。

Worked Example 1.2: midpoint and distance例题 1.2:中点与距离

Given $A = (1, -2, 4)$ and $B = (5, 4, -2)$, find $|AB|$ and the midpoint $M$.已知 $A = (1, -2, 4)$ 与 $B = (5, 4, -2)$,求 $|AB|$ 与中点 $M$。

$$ |AB| = \sqrt{(5-1)^2 + (4-(-2))^2 + (-2-4)^2} = \sqrt{16 + 36 + 36} = \sqrt{88} = 2\sqrt{22}. $$

The midpoint averages each coordinate:中点对每个坐标取平均:

$$ M = \left( \tfrac{1+5}{2}, \tfrac{-2+4}{2}, \tfrac{4+(-2)}{2} \right) = (3, 1, 1). $$
Worked Example 1.3: when completing the square gives no real surface例题 1.3:配方后得不到实曲面的情形

Describe the set $x^2 + y^2 + z^2 + 2x - 4y + 6z + 20 = 0$.描述集合 $x^2 + y^2 + z^2 + 2x - 4y + 6z + 20 = 0$。

Complete the square in each variable as before:与前面一样对每个变量配方:

$$ (x+1)^2 - 1 + (y-2)^2 - 4 + (z+3)^2 - 9 + 20 = 0, $$ $$ (x+1)^2 + (y-2)^2 + (z+3)^2 = -6. $$

A sum of three squares can never be negative, so no point $(x,y,z)$ satisfies the equation. The set is empty. The same algebra that produces a sphere can produce an empty set or, when the right side is exactly $0$, a single point: the degenerate sphere of radius $0$. Always inspect the sign and size of the constant after completing the square before naming the surface.三个平方之和绝不可能为负,因此没有任何点 $(x,y,z)$ 满足该方程,该集合为空集。同样的代数运算可以给出球面,也可以给出空集;当右端恰为 $0$ 时,则给出单独一点,即半径为 $0$ 的退化球面。配方之后,务必先检查常数项的符号与大小,再判定曲面类型。

Worked Example 1.4: a region described by inequalities例题 1.4:由不等式描述的区域

Sketch the region $1 \le x^2 + y^2 + z^2 \le 4$ together with $z \ge 0$.画出区域 $1 \le x^2 + y^2 + z^2 \le 4$ 与 $z \ge 0$ 的交集。

The inequality $x^2 + y^2 + z^2 \ge 1$ is the set of points at distance at least $1$ from the origin, the outside of the unit sphere. The inequality $x^2 + y^2 + z^2 \le 4$ is the inside of the sphere of radius $2$. Together they describe the spherical shell with inner radius $1$ and outer radius $2$. The extra condition $z \ge 0$ keeps only the upper half. The region is the top half of a thick spherical shell.不等式 $x^2 + y^2 + z^2 \ge 1$ 表示到原点距离至少为 $1$ 的点的集合,即单位球面之外的部分。不等式 $x^2 + y^2 + z^2 \le 4$ 表示半径为 $2$ 的球面之内的部分。两者合在一起描述了内半径为 $1$、外半径为 $2$ 的球壳。附加条件 $z \ge 0$ 只保留上半部分。该区域就是一层厚球壳的上半部。

Reading distances as inequalities is the bridge from algebra to solid regions, and it is exactly the language used to set up triple integrals later in the course.把距离理解为不等式,是从代数通向立体区域的桥梁,也正是课程后面建立三重积分时所用的语言。

Common error. After completing the square, students often forget to move the constants that the squares introduce. Writing $(x-2)^2$ silently adds and subtracts $4$, so the $-4$ must be carried to the right side. Dropping it shifts the radius. A second frequent slip is reporting $r^2$ as the radius: in $(x-2)^2 + (y+3)^2 + (z-1)^2 = 9$ the radius is $\sqrt{9} = 3$, not $9$.常见错误。配方之后,学生常常忘记移走平方所引入的常数。写出 $(x-2)^2$ 暗中加上又减去了 $4$,因此这个 $-4$ 必须挪到右端。漏掉它就会改变半径。第二个常见失误是把 $r^2$ 当成半径:在 $(x-2)^2 + (y+3)^2 + (z-1)^2 = 9$ 中半径是 $\sqrt{9} = 3$,而不是 $9$。
Going deeper: the distance formula as two Pythagorean theorems深入探究:把距离公式看作两次勾股定理

The three-dimensional distance formula is not a new axiom; it follows from the plane Pythagorean theorem applied twice. Let $P_1 = (x_1, y_1, z_1)$ and $P_2 = (x_2, y_2, z_2)$, and introduce the corner point $Q = (x_2, y_2, z_1)$, which shares the $z$ coordinate of $P_1$ and the $x,y$ coordinates of $P_2$.三维距离公式并不是一条新的公理;它由平面勾股定理连用两次推出。设 $P_1 = (x_1, y_1, z_1)$、$P_2 = (x_2, y_2, z_2)$,并引入角点 $Q = (x_2, y_2, z_1)$,它与 $P_1$ 共享 $z$ 坐标,与 $P_2$ 共享 $x,y$ 坐标。

The segment $P_1 Q$ lies entirely in the horizontal plane $z = z_1$, so its length is the ordinary planar distance线段 $P_1 Q$ 完全位于水平面 $z = z_1$ 内,因此它的长度就是平面上的普通距离

$$ |P_1 Q| = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}. $$

The segment $Q P_2$ is vertical, of length $|z_2 - z_1|$, and it is perpendicular to the horizontal plane, hence perpendicular to $P_1 Q$. Triangle $P_1 Q P_2$ has a right angle at $Q$, so by the Pythagorean theorem线段 $Q P_2$ 是竖直的,长度为 $|z_2 - z_1|$,且垂直于该水平面,因而也垂直于 $P_1 Q$。三角形 $P_1 Q P_2$ 在 $Q$ 处为直角,于是由勾股定理

$$ |P_1 P_2|^2 = |P_1 Q|^2 + |Q P_2|^2 = (x_2 - x_1)^2 + (y_2 - y_1)^2 + (z_2 - z_1)^2. $$

Taking the nonnegative square root gives the distance formula. The argument generalizes verbatim to $\mathbb{R}^n$, where one Pythagorean step is added per extra coordinate.取非负平方根即得距离公式。该论证可原封不动地推广到 $\mathbb{R}^n$,每多一个坐标就多用一次勾股定理。

Which equation describes a sphere of radius $5$ centered at $(0, -1, 2)$?下列哪个方程表示以 $(0, -1, 2)$ 为心、半径为 $5$ 的球面?
1.1
$x^2 + (y-1)^2 + (z+2)^2 = 25$
$x^2 + (y+1)^2 + (z-2)^2 = 25$
$x^2 + (y+1)^2 + (z-2)^2 = 5$
$(x-1)^2 + y^2 + (z-2)^2 = 25$
Correct. The center contributes $(y-(-1))^2 = (y+1)^2$ and $(z-2)^2$, and the right side is $r^2 = 25$.正确。球心给出 $(y-(-1))^2 = (y+1)^2$ 与 $(z-2)^2$,右端为 $r^2 = 25$。
Recall $(x-a)^2 + (y-b)^2 + (z-c)^2 = r^2$ with $(a,b,c) = (0,-1,2)$ and $r=5$, so the right side is $r^2 = 25$.回忆 $(x-a)^2 + (y-b)^2 + (z-c)^2 = r^2$,其中 $(a,b,c) = (0,-1,2)$、$r=5$,故右端为 $r^2 = 25$。

Vectors向量

A vector is a quantity with both magnitude and direction, represented geometrically by a directed segment and algebraically by an ordered list of components. The vector from $P_1 = (x_1, y_1, z_1)$ to $P_2 = (x_2, y_2, z_2)$ is $\overrightarrow{P_1 P_2} = \langle x_2 - x_1, y_2 - y_1, z_2 - z_1 \rangle$. Two directed segments represent the same vector when they have the same length and direction, so a vector is free to be translated.向量(vector)是同时具有模长(magnitude)和方向的量,几何上用有向线段表示,代数上用一组有序分量表示。从 $P_1 = (x_1, y_1, z_1)$ 指向 $P_2 = (x_2, y_2, z_2)$ 的向量是 $\overrightarrow{P_1 P_2} = \langle x_2 - x_1, y_2 - y_1, z_2 - z_1 \rangle$。当两条有向线段长度与方向都相同时,它们表示同一个向量,因此向量可以自由平移。

Key idea. Vectors add componentwise (the parallelogram law) and scale by real numbers. The standard basis vectors are $\mathbf{i} = \langle 1,0,0 \rangle$, $\mathbf{j} = \langle 0,1,0 \rangle$, $\mathbf{k} = \langle 0,0,1 \rangle$, so any vector is $\mathbf{a} = a_1 \mathbf{i} + a_2 \mathbf{j} + a_3 \mathbf{k}$.核心思想。向量按分量相加(平行四边形法则),并可用实数标量(scalar)缩放。标准基向量为 $\mathbf{i} = \langle 1,0,0 \rangle$、$\mathbf{j} = \langle 0,1,0 \rangle$、$\mathbf{k} = \langle 0,0,1 \rangle$,因此任意向量都可写成 $\mathbf{a} = a_1 \mathbf{i} + a_2 \mathbf{j} + a_3 \mathbf{k}$。
magnitude and unit vector模长与单位向量
$$ \|\mathbf{a}\| = \sqrt{a_1^2 + a_2^2 + a_3^2}, \qquad \hat{\mathbf{a}} = \frac{\mathbf{a}}{\|\mathbf{a}\|} \quad (\mathbf{a} \neq \mathbf{0}). $$

Scalar multiplication stretches or reverses a vector without rotating it: $\|c\mathbf{a}\| = |c|\,\|\mathbf{a}\|$. The zero vector $\mathbf{0}$ has no direction and length zero.标量乘法只拉伸或反向一个向量,而不旋转它:$\|c\mathbf{a}\| = |c|\,\|\mathbf{a}\|$。零向量 $\mathbf{0}$ 没有方向,长度为零。

Worked Example 2.1: a unit vector in a given direction例题 2.1:求给定方向上的单位向量

Find the unit vector pointing in the direction of $\mathbf{a} = \langle 2, -1, 2 \rangle$.求与 $\mathbf{a} = \langle 2, -1, 2 \rangle$ 同方向的单位向量(unit vector)。

$$ \|\mathbf{a}\| = \sqrt{2^2 + (-1)^2 + 2^2} = \sqrt{9} = 3, $$ $$ \hat{\mathbf{a}} = \frac{1}{3}\langle 2, -1, 2 \rangle = \left\langle \tfrac{2}{3}, -\tfrac{1}{3}, \tfrac{2}{3} \right\rangle. $$

As a check, $\|\hat{\mathbf{a}}\|^2 = \tfrac{4}{9} + \tfrac{1}{9} + \tfrac{4}{9} = 1$.作为检验,$\|\hat{\mathbf{a}}\|^2 = \tfrac{4}{9} + \tfrac{1}{9} + \tfrac{4}{9} = 1$。

Going deeper: why the parallelogram law gives componentwise addition深入探究:为什么平行四边形法则等价于按分量相加

Place vectors $\mathbf{a}$ and $\mathbf{b}$ tail to tail at the origin. Geometric addition $\mathbf{a} + \mathbf{b}$ is the diagonal of the parallelogram they span, obtained by translating $\mathbf{b}$ so its tail sits at the tip of $\mathbf{a}$. Translation preserves the horizontal and vertical displacements, so the displacement of the diagonal in each axis is the sum of the individual displacements. Reading off coordinates,把向量 $\mathbf{a}$ 与 $\mathbf{b}$ 的起点都放在原点。几何上的和 $\mathbf{a} + \mathbf{b}$ 就是它们张成的平行四边形的对角线,做法是把 $\mathbf{b}$ 平移,使其起点落在 $\mathbf{a}$ 的终点处。平移保持水平与竖直方向的位移不变,因此对角线在每个坐标轴上的位移等于两个向量各自位移之和。读出坐标,

$$ \mathbf{a} + \mathbf{b} = \langle a_1 + b_1, \; a_2 + b_2, \; a_3 + b_3 \rangle. $$

The same argument shows scaling by $c$ multiplies each displacement by $c$, giving $c\mathbf{a} = \langle ca_1, ca_2, ca_3 \rangle$. Thus the geometric operations agree with the algebraic ones, which is exactly the statement that $\mathbb{R}^3$ is a vector space.同样的论证表明,用 $c$ 缩放会把每个位移都乘以 $c$,得到 $c\mathbf{a} = \langle ca_1, ca_2, ca_3 \rangle$。于是几何运算与代数运算一致,这正是 $\mathbb{R}^3$ 是一个向量空间的含义。

Worked Example 2.2: a linear combination that hits a target例题 2.2:用线性组合凑出目标向量

Express $\mathbf{w} = \langle 7, 4 \rangle$ as a combination $s\,\mathbf{u} + t\,\mathbf{v}$ of $\mathbf{u} = \langle 1, 1 \rangle$ and $\mathbf{v} = \langle 3, -1 \rangle$.把 $\mathbf{w} = \langle 7, 4 \rangle$ 表示为 $\mathbf{u} = \langle 1, 1 \rangle$ 与 $\mathbf{v} = \langle 3, -1 \rangle$ 的线性组合 $s\,\mathbf{u} + t\,\mathbf{v}$。

Matching components gives a linear system:令对应分量相等,得到一个线性方程组:

$$ s + 3t = 7, \qquad s - t = 4. $$

Subtracting the second equation from the first yields $4t = 3$, so $t = \tfrac{3}{4}$, and then $s = 4 + t = \tfrac{19}{4}$. Therefore用第一式减去第二式得 $4t = 3$,故 $t = \tfrac{3}{4}$,再得 $s = 4 + t = \tfrac{19}{4}$。于是

$$ \mathbf{w} = \tfrac{19}{4}\,\mathbf{u} + \tfrac{3}{4}\,\mathbf{v}. $$

A quick check: $\tfrac{19}{4}\langle 1,1 \rangle + \tfrac{3}{4}\langle 3,-1 \rangle = \langle \tfrac{19+9}{4}, \tfrac{19-3}{4} \rangle = \langle 7, 4 \rangle$. Because $\mathbf{u}$ and $\mathbf{v}$ are not parallel they span the whole plane, so every target $\mathbf{w}$ has a unique pair of weights.快速检验:$\tfrac{19}{4}\langle 1,1 \rangle + \tfrac{3}{4}\langle 3,-1 \rangle = \langle \tfrac{19+9}{4}, \tfrac{19-3}{4} \rangle = \langle 7, 4 \rangle$。由于 $\mathbf{u}$ 与 $\mathbf{v}$ 不平行,它们张成整个平面,因此每个目标 $\mathbf{w}$ 都有唯一的一组权重。

Worked Example 2.3: a tension equilibrium例题 2.3:张力平衡

A $50$ N weight hangs from two cables making angles of $30^\circ$ and $60^\circ$ with the horizontal ceiling. Find the magnitude of the tension in the cable at $30^\circ$.一个 $50$ N 的重物由两根缆绳悬挂,缆绳与水平天花板分别成 $30^\circ$ 与 $60^\circ$ 角。求 $30^\circ$ 那根缆绳中张力的大小。

Let $T_1$ pull up and to the left at $30^\circ$ above horizontal and $T_2$ up and to the right at $60^\circ$. In components, with right and up positive,设 $T_1$ 在水平线上方 $30^\circ$ 处向左上方拉,$T_2$ 在 $60^\circ$ 处向右上方拉。取向右、向上为正,按分量写出,

$$ \mathbf{T}_1 = T_1\langle -\cos 30^\circ, \sin 30^\circ \rangle, \qquad \mathbf{T}_2 = T_2\langle \cos 60^\circ, \sin 60^\circ \rangle. $$

Equilibrium requires $\mathbf{T}_1 + \mathbf{T}_2 + \langle 0, -50 \rangle = \mathbf{0}$. The horizontal balance gives $T_1 \cos 30^\circ = T_2 \cos 60^\circ$, so $T_2 = T_1 \dfrac{\cos 30^\circ}{\cos 60^\circ} = T_1\sqrt{3}$. The vertical balance gives $T_1 \sin 30^\circ + T_2 \sin 60^\circ = 50$. Substituting,平衡条件要求 $\mathbf{T}_1 + \mathbf{T}_2 + \langle 0, -50 \rangle = \mathbf{0}$。水平方向的平衡给出 $T_1 \cos 30^\circ = T_2 \cos 60^\circ$,故 $T_2 = T_1 \dfrac{\cos 30^\circ}{\cos 60^\circ} = T_1\sqrt{3}$。竖直方向的平衡给出 $T_1 \sin 30^\circ + T_2 \sin 60^\circ = 50$。代入得,

$$ T_1\left( \tfrac{1}{2} \right) + T_1\sqrt{3}\left( \tfrac{\sqrt{3}}{2} \right) = T_1\left( \tfrac{1}{2} + \tfrac{3}{2} \right) = 2 T_1 = 50, $$

so $T_1 = 25$ N. Vectors turn a force diagram into two scalar equations, one per axis.故 $T_1 = 25$ N。向量把一张受力图转化为两个标量方程,每个坐标轴对应一个。

Common error. A unit vector and a magnitude are different objects. The expression $\mathbf{a}/\|\mathbf{a}\|$ is a vector of length $1$; the expression $\|\mathbf{a}\|$ is a nonnegative scalar. Writing $\hat{\mathbf{a}} = \|\mathbf{a}\|$ confuses the two. A related slip is normalizing the zero vector: $\hat{\mathbf{0}}$ is undefined because dividing by $\|\mathbf{0}\| = 0$ is illegal, so every normalization step must assume $\mathbf{a} \neq \mathbf{0}$.常见错误。单位向量与模长是两种不同的对象。表达式 $\mathbf{a}/\|\mathbf{a}\|$ 是一个长度为 $1$ 的向量;表达式 $\|\mathbf{a}\|$ 是一个非负标量。写成 $\hat{\mathbf{a}} = \|\mathbf{a}\|$ 就把两者混为一谈了。与此相关的失误是对零向量做归一化:$\hat{\mathbf{0}}$ 无定义,因为除以 $\|\mathbf{0}\| = 0$ 是不允许的,所以每一步归一化都必须假设 $\mathbf{a} \neq \mathbf{0}$。
What is $\|2\mathbf{a} - \mathbf{b}\|$ for $\mathbf{a} = \langle 1, 0, 2 \rangle$ and $\mathbf{b} = \langle 2, -1, 3 \rangle$?当 $\mathbf{a} = \langle 1, 0, 2 \rangle$、$\mathbf{b} = \langle 2, -1, 3 \rangle$ 时,$\|2\mathbf{a} - \mathbf{b}\|$ 等于多少?
2.1
$\sqrt{2}$
$3$
$\sqrt{6}$
$\sqrt{14}$
Correct. $2\mathbf{a} - \mathbf{b} = \langle 0, 1, 1 \rangle$, so the magnitude is $\sqrt{0 + 1 + 1} = \sqrt{2}$.正确。$2\mathbf{a} - \mathbf{b} = \langle 0, 1, 1 \rangle$,故模长为 $\sqrt{0 + 1 + 1} = \sqrt{2}$。
Compute $2\mathbf{a} = \langle 2,0,4 \rangle$, subtract $\mathbf{b}$ to get $\langle 0, 1, 1 \rangle$, then take the magnitude.先算 $2\mathbf{a} = \langle 2,0,4 \rangle$,减去 $\mathbf{b}$ 得 $\langle 0, 1, 1 \rangle$,再求模长。

The Dot Product点积

The dot product turns a pair of vectors into a scalar that measures how much they point the same way. It is the central tool for angles, projections, and the test for perpendicularity.点积(dot product)把一对向量映为一个标量,用以度量它们指向相同方向的程度。它是处理夹角、投影以及垂直性判定的核心工具。

Key idea. The dot product has two equivalent forms: an algebraic sum of products of components, and a geometric product of magnitudes with the cosine of the angle between the vectors. Equating them lets you solve for the angle, and the product vanishes exactly when the vectors are orthogonal.核心思想。点积有两种等价形式:代数上是对应分量乘积之和,几何上是两向量模长与夹角余弦的乘积。令两者相等即可解出夹角;当两向量正交时,点积恰好为零。
algebraic and geometric forms代数形式与几何形式
$$ \mathbf{a} \cdot \mathbf{b} = a_1 b_1 + a_2 b_2 + a_3 b_3 = \|\mathbf{a}\|\,\|\mathbf{b}\| \cos\theta, \qquad 0 \le \theta \le \pi. $$
scalar and vector projection of $\mathbf{b}$ onto $\mathbf{a}$$\mathbf{b}$ 在 $\mathbf{a}$ 上的标量投影与向量投影
$$ \operatorname{comp}_{\mathbf{a}} \mathbf{b} = \frac{\mathbf{a} \cdot \mathbf{b}}{\|\mathbf{a}\|}, \qquad \operatorname{proj}_{\mathbf{a}} \mathbf{b} = \frac{\mathbf{a} \cdot \mathbf{b}}{\|\mathbf{a}\|^2}\,\mathbf{a}. $$

Two nonzero vectors are orthogonal if and only if $\mathbf{a} \cdot \mathbf{b} = 0$, since then $\cos\theta = 0$ and $\theta = \pi/2$.两个非零向量正交当且仅当 $\mathbf{a} \cdot \mathbf{b} = 0$,因为此时 $\cos\theta = 0$,$\theta = \pi/2$。

Worked Example 3.1: angle between two vectors例题 3.1:两向量间的夹角

Find the angle between $\mathbf{a} = \langle 1, 2, 2 \rangle$ and $\mathbf{b} = \langle 3, 0, 4 \rangle$.求 $\mathbf{a} = \langle 1, 2, 2 \rangle$ 与 $\mathbf{b} = \langle 3, 0, 4 \rangle$ 之间的夹角。

$$ \mathbf{a} \cdot \mathbf{b} = (1)(3) + (2)(0) + (2)(4) = 11, $$ $$ \|\mathbf{a}\| = 3, \quad \|\mathbf{b}\| = 5, \quad \cos\theta = \frac{11}{15}. $$ $$ \theta = \arccos\!\left(\tfrac{11}{15}\right) \approx 42.8^\circ. $$
Going deeper: proving the geometric form from the law of cosines深入探究:由余弦定理证明几何形式

Form the triangle with sides $\mathbf{a}$, $\mathbf{b}$, and $\mathbf{a} - \mathbf{b}$. The law of cosines on the angle $\theta$ between $\mathbf{a}$ and $\mathbf{b}$ states作以 $\mathbf{a}$、$\mathbf{b}$、$\mathbf{a} - \mathbf{b}$ 为边的三角形。对 $\mathbf{a}$ 与 $\mathbf{b}$ 之间的夹角 $\theta$ 应用余弦定理,得

$$ \|\mathbf{a} - \mathbf{b}\|^2 = \|\mathbf{a}\|^2 + \|\mathbf{b}\|^2 - 2\|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta. $$

Expand the left side using the algebraic dot product, which distributes over subtraction:用代数形式的点积展开左端,它对减法满足分配律:

$$ \|\mathbf{a} - \mathbf{b}\|^2 = (\mathbf{a} - \mathbf{b}) \cdot (\mathbf{a} - \mathbf{b}) = \|\mathbf{a}\|^2 - 2\,\mathbf{a}\cdot\mathbf{b} + \|\mathbf{b}\|^2. $$

Comparing the two expressions, the $\|\mathbf{a}\|^2$ and $\|\mathbf{b}\|^2$ terms cancel and we are left with $-2\,\mathbf{a}\cdot\mathbf{b} = -2\|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$, hence $\mathbf{a}\cdot\mathbf{b} = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$.比较两个表达式,$\|\mathbf{a}\|^2$ 与 $\|\mathbf{b}\|^2$ 项相消,剩下 $-2\,\mathbf{a}\cdot\mathbf{b} = -2\|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$,于是 $\mathbf{a}\cdot\mathbf{b} = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$。

Worked Example 3.2: vector projection and the orthogonal decomposition例题 3.2:向量投影与正交分解

Decompose $\mathbf{b} = \langle 3, 2 \rangle$ into a part parallel to $\mathbf{a} = \langle 4, 0 \rangle$ and a part orthogonal to $\mathbf{a}$.把 $\mathbf{b} = \langle 3, 2 \rangle$ 分解为一个与 $\mathbf{a} = \langle 4, 0 \rangle$ 平行的部分和一个与 $\mathbf{a}$ 正交的部分。

First the parallel part, the vector projection:先求平行部分,即向量投影(projection):

$$ \operatorname{proj}_{\mathbf{a}}\mathbf{b} = \frac{\mathbf{a}\cdot\mathbf{b}}{\|\mathbf{a}\|^2}\,\mathbf{a} = \frac{12}{16}\langle 4,0 \rangle = \langle 3, 0 \rangle. $$

The orthogonal part is whatever remains:正交部分就是剩下的:

$$ \mathbf{b} - \operatorname{proj}_{\mathbf{a}}\mathbf{b} = \langle 3,2 \rangle - \langle 3,0 \rangle = \langle 0, 2 \rangle. $$

Check the orthogonality: $\langle 0,2 \rangle \cdot \langle 4,0 \rangle = 0$, as required. Every vector splits uniquely into a multiple of $\mathbf{a}$ plus something perpendicular to $\mathbf{a}$, the idea behind work done by a force and behind least-squares fitting.检验正交性:$\langle 0,2 \rangle \cdot \langle 4,0 \rangle = 0$,符合要求。每个向量都能唯一地分解为 $\mathbf{a}$ 的一个倍数加上一个垂直于 $\mathbf{a}$ 的部分,这正是力做功与最小二乘拟合背后的思想。

Worked Example 3.3: work as a dot product例题 3.3:把功写成点积

A constant force $\mathbf{F} = \langle 4, 1, 2 \rangle$ newtons moves an object from $A = (0,0,0)$ to $B = (3, 0, 4)$ metres. Find the work done.一个恒力 $\mathbf{F} = \langle 4, 1, 2 \rangle$ 牛顿把物体从 $A = (0,0,0)$ 移动到 $B = (3, 0, 4)$ 米。求所做的功。

Work is the dot product of force with displacement, $W = \mathbf{F}\cdot\mathbf{d}$, where $\mathbf{d} = \overrightarrow{AB} = \langle 3, 0, 4 \rangle$:功是力与位移的点积,$W = \mathbf{F}\cdot\mathbf{d}$,其中 $\mathbf{d} = \overrightarrow{AB} = \langle 3, 0, 4 \rangle$:

$$ W = (4)(3) + (1)(0) + (2)(4) = 12 + 0 + 8 = 20 \text{ joules}. $$

Only the component of force along the motion contributes, which is precisely what the dot product extracts. A force perpendicular to the displacement does zero work.只有沿运动方向的力的分量才有贡献,而这正是点积所提取的量。垂直于位移的力做功为零。

Common error. The scalar projection $\operatorname{comp}_{\mathbf{a}}\mathbf{b} = (\mathbf{a}\cdot\mathbf{b})/\|\mathbf{a}\|$ divides by one power of $\|\mathbf{a}\|$, while the vector projection $\operatorname{proj}_{\mathbf{a}}\mathbf{b} = (\mathbf{a}\cdot\mathbf{b})/\|\mathbf{a}\|^2\,\mathbf{a}$ divides by two. Using $\|\mathbf{a}\|$ in place of $\|\mathbf{a}\|^2$ produces a vector with the wrong length. Note also that projecting $\mathbf{b}$ onto $\mathbf{a}$ is not the same as projecting $\mathbf{a}$ onto $\mathbf{b}$: the operation is not symmetric.常见错误。标量投影 $\operatorname{comp}_{\mathbf{a}}\mathbf{b} = (\mathbf{a}\cdot\mathbf{b})/\|\mathbf{a}\|$ 只除以一次 $\|\mathbf{a}\|$,而向量投影 $\operatorname{proj}_{\mathbf{a}}\mathbf{b} = (\mathbf{a}\cdot\mathbf{b})/\|\mathbf{a}\|^2\,\mathbf{a}$ 要除以两次。用 $\|\mathbf{a}\|$ 代替 $\|\mathbf{a}\|^2$ 会得到长度错误的向量。还要注意,把 $\mathbf{b}$ 投影到 $\mathbf{a}$ 与把 $\mathbf{a}$ 投影到 $\mathbf{b}$ 并不相同:该运算不对称。
Going deeper: the Cauchy-Schwarz and triangle inequalities深入探究:柯西-施瓦茨不等式与三角不等式

The geometric form $\mathbf{a}\cdot\mathbf{b} = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$ has a consequence that does not mention angles at all. Since $|\cos\theta| \le 1$,几何形式 $\mathbf{a}\cdot\mathbf{b} = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$ 有一个完全不涉及角度的推论。由于 $|\cos\theta| \le 1$,

$$ |\mathbf{a}\cdot\mathbf{b}| \le \|\mathbf{a}\|\,\|\mathbf{b}\|, $$

which is the Cauchy-Schwarz inequality, with equality exactly when $\mathbf{a}$ and $\mathbf{b}$ are parallel. From it the triangle inequality follows. Expand the squared magnitude of a sum:这就是柯西-施瓦茨不等式(Cauchy-Schwarz inequality),当且仅当 $\mathbf{a}$ 与 $\mathbf{b}$ 平行时取等号。由它可推出三角不等式。展开和向量模长的平方:

$$ \|\mathbf{a} + \mathbf{b}\|^2 = \|\mathbf{a}\|^2 + 2\,\mathbf{a}\cdot\mathbf{b} + \|\mathbf{b}\|^2 \le \|\mathbf{a}\|^2 + 2\|\mathbf{a}\|\,\|\mathbf{b}\| + \|\mathbf{b}\|^2 = \big( \|\mathbf{a}\| + \|\mathbf{b}\| \big)^2. $$

Taking square roots gives $\|\mathbf{a} + \mathbf{b}\| \le \|\mathbf{a}\| + \|\mathbf{b}\|$: the length of a sum never exceeds the sum of the lengths, the algebraic statement that a straight path is shortest. The single inequality $|\cos\theta|\le 1$ underwrites both results.两边开方得 $\|\mathbf{a} + \mathbf{b}\| \le \|\mathbf{a}\| + \|\mathbf{b}\|$:和向量的长度绝不会超过两向量长度之和,这正是"直线最短"的代数表述。仅凭 $|\cos\theta|\le 1$ 这一条不等式,就支撑起了上述两个结论。

For which value of $t$ are $\langle t, 2, -1 \rangle$ and $\langle 3, t, 5 \rangle$ orthogonal?当 $t$ 取何值时,$\langle t, 2, -1 \rangle$ 与 $\langle 3, t, 5 \rangle$ 正交?
3.1
$t = 5$
$t = -5$
$t = 0$
$t = 1$
Correct. Orthogonality requires $3t + 2t - 5 = 0$, that is $5t = 5$, so $t = 1$.正确。正交要求 $3t + 2t - 5 = 0$,即 $5t = 5$,故 $t = 1$。
Set the dot product to zero: $(t)(3) + (2)(t) + (-1)(5) = 5t - 5 = 0$, giving $t = 1$.令点积为零:$(t)(3) + (2)(t) + (-1)(5) = 5t - 5 = 0$,得 $t = 1$。
The scalar projection of $\mathbf{b} = \langle 4, 3 \rangle$ onto $\mathbf{a} = \langle 1, 0 \rangle$ equals$\mathbf{b} = \langle 4, 3 \rangle$ 在 $\mathbf{a} = \langle 1, 0 \rangle$ 上的标量投影等于
3.2
$4$
$3$
$5$
$7$
Correct. $\operatorname{comp}_{\mathbf{a}}\mathbf{b} = (\mathbf{a}\cdot\mathbf{b})/\|\mathbf{a}\| = 4/1 = 4$.正确。$\operatorname{comp}_{\mathbf{a}}\mathbf{b} = (\mathbf{a}\cdot\mathbf{b})/\|\mathbf{a}\| = 4/1 = 4$。
Use $\operatorname{comp}_{\mathbf{a}}\mathbf{b} = (\mathbf{a}\cdot\mathbf{b})/\|\mathbf{a}\|$. Here $\mathbf{a}\cdot\mathbf{b} = 4$ and $\|\mathbf{a}\| = 1$.使用 $\operatorname{comp}_{\mathbf{a}}\mathbf{b} = (\mathbf{a}\cdot\mathbf{b})/\|\mathbf{a}\|$。这里 $\mathbf{a}\cdot\mathbf{b} = 4$、$\|\mathbf{a}\| = 1$。

The Cross Product叉积

The cross product of two vectors in $\mathbb{R}^3$ produces a third vector perpendicular to both. Unlike the dot product it is defined only in three dimensions and it is not commutative: reversing the order reverses the result.$\mathbb{R}^3$ 中两个向量的叉积(cross product)给出第三个向量,它同时垂直于这两个向量。与点积不同,叉积只在三维中有定义,且不满足交换律:交换次序会使结果反号。

Key idea. The vector $\mathbf{a} \times \mathbf{b}$ is orthogonal to the plane of $\mathbf{a}$ and $\mathbf{b}$, oriented by the right-hand rule, with length equal to the area of the parallelogram they span. It is computed as a symbolic determinant in the basis vectors.核心思想。向量 $\mathbf{a} \times \mathbf{b}$ 垂直于 $\mathbf{a}$ 与 $\mathbf{b}$ 所在的平面,方向由右手定则确定,长度等于它们所张成的平行四边形的面积。它通过对基向量做形式行列式来计算。
determinant form行列式形式
$$ \mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix} = \langle a_2 b_3 - a_3 b_2,\; a_3 b_1 - a_1 b_3,\; a_1 b_2 - a_2 b_1 \rangle. $$
magnitude and parallelogram area模长与平行四边形面积
$$ \|\mathbf{a} \times \mathbf{b}\| = \|\mathbf{a}\|\,\|\mathbf{b}\| \sin\theta. $$

The scalar triple product $\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})$ equals a $3 \times 3$ determinant and gives the signed volume of the parallelepiped with edges $\mathbf{a}$, $\mathbf{b}$, $\mathbf{c}$. It is zero exactly when the three vectors are coplanar.标量三重积 $\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})$ 等于一个 $3 \times 3$ 行列式,给出以 $\mathbf{a}$、$\mathbf{b}$、$\mathbf{c}$ 为棱的平行六面体的带符号体积。当且仅当这三个向量共面时它为零。

Worked Example 4.1: a normal to a triangle and its area例题 4.1:三角形的法向量与面积

For $P = (1,0,0)$, $Q = (0,2,0)$, $R = (0,0,3)$, find a vector normal to triangle $PQR$ and the triangle's area.对 $P = (1,0,0)$、$Q = (0,2,0)$、$R = (0,0,3)$,求一个垂直于三角形 $PQR$ 的向量以及该三角形的面积。

$$ \overrightarrow{PQ} = \langle -1, 2, 0 \rangle, \qquad \overrightarrow{PR} = \langle -1, 0, 3 \rangle. $$ $$ \overrightarrow{PQ} \times \overrightarrow{PR} = \langle (2)(3) - (0)(0),\; (0)(-1) - (-1)(3),\; (-1)(0) - (2)(-1) \rangle = \langle 6, 3, 2 \rangle. $$

The parallelogram area is $\|\langle 6,3,2 \rangle\| = \sqrt{36 + 9 + 4} = 7$, so the triangle has area $\tfrac{7}{2}$.平行四边形的面积为 $\|\langle 6,3,2 \rangle\| = \sqrt{36 + 9 + 4} = 7$,故三角形的面积为 $\tfrac{7}{2}$。

Worked Example 4.2: volume of a parallelepiped例题 4.2:平行六面体的体积

Find the volume spanned by $\mathbf{a} = \langle 1, 0, 0 \rangle$, $\mathbf{b} = \langle 1, 2, 0 \rangle$, $\mathbf{c} = \langle 1, 2, 3 \rangle$.求由 $\mathbf{a} = \langle 1, 0, 0 \rangle$、$\mathbf{b} = \langle 1, 2, 0 \rangle$、$\mathbf{c} = \langle 1, 2, 3 \rangle$ 张成的体积。

$$ \mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) = \begin{vmatrix} 1 & 0 & 0 \\ 1 & 2 & 0 \\ 1 & 2 & 3 \end{vmatrix} = 1\,(2\cdot 3 - 0\cdot 2) = 6. $$

The volume is the absolute value $|6| = 6$.体积是其绝对值 $|6| = 6$。

Worked Example 4.3: distance from a point to a line via the cross product例题 4.3:用叉积求点到直线的距离

Find the distance from $P = (1, 1, 1)$ to the line through $A = (0,0,0)$ with direction $\mathbf{v} = \langle 1, 1, 0 \rangle$.求点 $P = (1, 1, 1)$ 到过 $A = (0,0,0)$、方向为 $\mathbf{v} = \langle 1, 1, 0 \rangle$ 的直线的距离。

The distance is the height of the parallelogram with edges $\overrightarrow{AP}$ and $\mathbf{v}$, namely area over base. Here $\overrightarrow{AP} = \langle 1,1,1 \rangle$, and该距离就是以 $\overrightarrow{AP}$ 与 $\mathbf{v}$ 为边的平行四边形的高,即面积除以底。这里 $\overrightarrow{AP} = \langle 1,1,1 \rangle$,且

$$ \overrightarrow{AP} \times \mathbf{v} = \langle (1)(0) - (1)(1),\; (1)(1) - (1)(0),\; (1)(1) - (1)(1) \rangle = \langle -1, 1, 0 \rangle. $$ $$ D = \frac{\|\overrightarrow{AP} \times \mathbf{v}\|}{\|\mathbf{v}\|} = \frac{\sqrt{(-1)^2 + 1^2 + 0^2}}{\sqrt{1^2 + 1^2}} = \frac{\sqrt{2}}{\sqrt{2}} = 1. $$

The cross product packages the perpendicular distance because its magnitude already measures area, and area divided by base length is height.叉积之所以能直接给出垂直距离,是因为它的模长本身度量面积,而面积除以底长就是高。

Worked Example 4.4: a determinant test for coplanarity例题 4.4:用行列式判定共面

Decide whether $\mathbf{a} = \langle 1, 2, -1 \rangle$, $\mathbf{b} = \langle 2, -1, 1 \rangle$, $\mathbf{c} = \langle 0, 5, -3 \rangle$ are coplanar.判断 $\mathbf{a} = \langle 1, 2, -1 \rangle$、$\mathbf{b} = \langle 2, -1, 1 \rangle$、$\mathbf{c} = \langle 0, 5, -3 \rangle$ 是否共面。

Compute the scalar triple product. First $\mathbf{b}\times\mathbf{c} = \langle (-1)(-3) - (1)(5),\; (1)(0) - (2)(-3),\; (2)(5) - (-1)(0) \rangle = \langle -2, 6, 10 \rangle$. Then计算标量三重积。先求 $\mathbf{b}\times\mathbf{c} = \langle (-1)(-3) - (1)(5),\; (1)(0) - (2)(-3),\; (2)(5) - (-1)(0) \rangle = \langle -2, 6, 10 \rangle$。然后

$$ \mathbf{a}\cdot(\mathbf{b}\times\mathbf{c}) = (1)(-2) + (2)(6) + (-1)(10) = -2 + 12 - 10 = 0. $$

The signed volume is zero, so the three vectors lie in a common plane through the origin. A nonzero result would have measured an actual solid volume and ruled out coplanarity.带符号体积为零,故这三个向量位于一个过原点的公共平面内。若结果非零,则它度量了一个实际的立体体积,从而排除共面。

Common error. The cross product is anticommutative: $\mathbf{b}\times\mathbf{a} = -(\mathbf{a}\times\mathbf{b})$, so order matters and the sign of the answer carries real geometric meaning through the right-hand rule. Two further traps: $\mathbf{a}\times\mathbf{b}$ is a vector while $\mathbf{a}\cdot\mathbf{b}$ is a scalar, so they can never be equated; and the cross product is not associative, meaning $(\mathbf{a}\times\mathbf{b})\times\mathbf{c}$ generally differs from $\mathbf{a}\times(\mathbf{b}\times\mathbf{c})$.常见错误。叉积满足反交换律:$\mathbf{b}\times\mathbf{a} = -(\mathbf{a}\times\mathbf{b})$,因此次序很重要,答案的符号通过右手定则承载着实在的几何意义。另有两个陷阱:$\mathbf{a}\times\mathbf{b}$ 是向量而 $\mathbf{a}\cdot\mathbf{b}$ 是标量,二者绝不能相等;叉积也不满足结合律,即 $(\mathbf{a}\times\mathbf{b})\times\mathbf{c}$ 一般不等于 $\mathbf{a}\times(\mathbf{b}\times\mathbf{c})$。
Going deeper: why $\|\mathbf{a}\times\mathbf{b}\| = \|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$深入探究:为什么 $\|\mathbf{a}\times\mathbf{b}\| = \|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$

Start from the algebraic definition and compute $\|\mathbf{a}\times\mathbf{b}\|^2$ by expanding the three components. A direct, if tedious, expansion gives the Lagrange identity从代数定义出发,通过展开三个分量来计算 $\|\mathbf{a}\times\mathbf{b}\|^2$。直接但略显繁琐的展开给出拉格朗日恒等式

$$ \|\mathbf{a}\times\mathbf{b}\|^2 = \|\mathbf{a}\|^2\|\mathbf{b}\|^2 - (\mathbf{a}\cdot\mathbf{b})^2. $$

Substitute the geometric form of the dot product, $\mathbf{a}\cdot\mathbf{b} = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$:代入点积的几何形式 $\mathbf{a}\cdot\mathbf{b} = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$:

$$ \|\mathbf{a}\times\mathbf{b}\|^2 = \|\mathbf{a}\|^2\|\mathbf{b}\|^2\big( 1 - \cos^2\theta \big) = \|\mathbf{a}\|^2\|\mathbf{b}\|^2 \sin^2\theta. $$

Because $0 \le \theta \le \pi$ we have $\sin\theta \ge 0$, so taking the nonnegative square root yields $\|\mathbf{a}\times\mathbf{b}\| = \|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$. This is exactly the base times height of the parallelogram with sides $\mathbf{a}$ and $\mathbf{b}$, which is its area. The cross product vanishes precisely when $\sin\theta = 0$, that is when the vectors are parallel and span no area.因为 $0 \le \theta \le \pi$,所以 $\sin\theta \ge 0$,取非负平方根即得 $\|\mathbf{a}\times\mathbf{b}\| = \|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$。这恰好是以 $\mathbf{a}$ 与 $\mathbf{b}$ 为边的平行四边形的底乘高,也就是它的面积。叉积恰好在 $\sin\theta = 0$ 时为零,即两向量平行、张不出面积时。

Compute $\mathbf{i} \times \mathbf{j}$.计算 $\mathbf{i} \times \mathbf{j}$。
4.1
$\mathbf{i}$
$\mathbf{k}$
$-\mathbf{k}$
$\mathbf{0}$
Correct. By the right-hand rule the standard basis satisfies $\mathbf{i} \times \mathbf{j} = \mathbf{k}$.正确。由右手定则,标准基满足 $\mathbf{i} \times \mathbf{j} = \mathbf{k}$。
The basis vectors cycle: $\mathbf{i} \times \mathbf{j} = \mathbf{k}$, $\mathbf{j} \times \mathbf{k} = \mathbf{i}$, $\mathbf{k} \times \mathbf{i} = \mathbf{j}$.基向量循环相乘:$\mathbf{i} \times \mathbf{j} = \mathbf{k}$、$\mathbf{j} \times \mathbf{k} = \mathbf{i}$、$\mathbf{k} \times \mathbf{i} = \mathbf{j}$。

Lines in Space空间中的直线

A line in $\mathbb{R}^3$ is determined by one point on it and a direction vector parallel to it. Sliding a parameter $t$ along the direction sweeps out every point of the line.$\mathbb{R}^3$ 中的一条直线(line)由其上一点和一个与之平行的方向向量确定。让参数 $t$ 沿该方向滑动,就扫出了直线上的每一个点。

Key idea. A line through $P_0 = (x_0, y_0, z_0)$ with direction $\mathbf{v} = \langle a, b, c \rangle$ is the set of position vectors $\mathbf{r}(t) = \mathbf{r}_0 + t\mathbf{v}$. Eliminating $t$ from the parametric equations gives the symmetric equations, valid when no component of $\mathbf{v}$ is zero.核心思想。过 $P_0 = (x_0, y_0, z_0)$、方向为 $\mathbf{v} = \langle a, b, c \rangle$ 的直线是位置向量集合 $\mathbf{r}(t) = \mathbf{r}_0 + t\mathbf{v}$。从参数方程中消去 $t$ 即得对称式方程,当 $\mathbf{v}$ 的各分量都不为零时成立。
vector, parametric, and symmetric forms向量式、参数式与对称式
$$ \mathbf{r}(t) = \mathbf{r}_0 + t\mathbf{v}, \qquad \begin{cases} x = x_0 + at \\ y = y_0 + bt \\ z = z_0 + ct \end{cases}, \qquad \frac{x - x_0}{a} = \frac{y - y_0}{b} = \frac{z - z_0}{c}. $$

Two lines may be parallel (directions are scalar multiples), intersecting (a common parameter pair solves all coordinates), or skew (neither parallel nor intersecting, a situation possible only in three or more dimensions).两条直线可能平行(方向互为标量倍数)、相交(存在一对公共参数使所有坐标都相等),或异面(既不平行也不相交,这种情形只可能出现在三维或更高维中)。

Worked Example 5.1: line through two points例题 5.1:过两点的直线

Find parametric equations for the line through $A = (2, 1, 3)$ and $B = (4, -1, 0)$.求过 $A = (2, 1, 3)$ 与 $B = (4, -1, 0)$ 的直线的参数方程。

A direction vector is $\overrightarrow{AB} = \langle 2, -2, -3 \rangle$. Using $A$ as the base point,一个方向向量是 $\overrightarrow{AB} = \langle 2, -2, -3 \rangle$。取 $A$ 作为基点,

$$ x = 2 + 2t, \qquad y = 1 - 2t, \qquad z = 3 - 3t. $$

At $t = 0$ we recover $A$ and at $t = 1$ we recover $B$, confirming the line.当 $t = 0$ 时得到 $A$,当 $t = 1$ 时得到 $B$,验证了这条直线。

Worked Example 5.2: testing whether two lines intersect例题 5.2:判断两直线是否相交

Do $\mathbf{r}_1(t) = \langle 1 + t, 2 - t, 3t \rangle$ and $\mathbf{r}_2(s) = \langle 2s, 3 - s, 1 + s \rangle$ intersect?$\mathbf{r}_1(t) = \langle 1 + t, 2 - t, 3t \rangle$ 与 $\mathbf{r}_2(s) = \langle 2s, 3 - s, 1 + s \rangle$ 是否相交?

Set coordinates equal: $1 + t = 2s$, $2 - t = 3 - s$, $3t = 1 + s$. From the second, $s - t = 1$, so $s = t + 1$. Substituting into the first gives $1 + t = 2(t+1) = 2t + 2$, so $t = -1$ and $s = 0$. Check the third equation: $3(-1) = -3$ while $1 + 0 = 1$, and $-3 \neq 1$.令对应坐标相等:$1 + t = 2s$、$2 - t = 3 - s$、$3t = 1 + s$。由第二式得 $s - t = 1$,故 $s = t + 1$。代入第一式得 $1 + t = 2(t+1) = 2t + 2$,于是 $t = -1$、$s = 0$。检验第三式:$3(-1) = -3$ 而 $1 + 0 = 1$,且 $-3 \neq 1$。

No parameter pair satisfies all three equations, and the directions $\langle 1,-1,3 \rangle$ and $\langle 2,-1,1 \rangle$ are not parallel, so the lines are skew.没有一对参数能同时满足这三个方程,而方向 $\langle 1,-1,3 \rangle$ 与 $\langle 2,-1,1 \rangle$ 不平行,所以这两条直线异面。

Worked Example 5.3: distance between two skew lines例题 5.3:两条异面直线间的距离

Find the distance between the skew lines $L_1: \mathbf{r}_1(t) = \langle 1 + t, 2 - t, 3t \rangle$ and $L_2: \mathbf{r}_2(s) = \langle 2s, 3 - s, 1 + s \rangle$ from the previous example.求上例中两条异面直线 $L_1: \mathbf{r}_1(t) = \langle 1 + t, 2 - t, 3t \rangle$ 与 $L_2: \mathbf{r}_2(s) = \langle 2s, 3 - s, 1 + s \rangle$ 之间的距离。

The common perpendicular direction is $\mathbf{n} = \mathbf{v}_1 \times \mathbf{v}_2$, where $\mathbf{v}_1 = \langle 1,-1,3 \rangle$ and $\mathbf{v}_2 = \langle 2,-1,1 \rangle$:公垂线方向为 $\mathbf{n} = \mathbf{v}_1 \times \mathbf{v}_2$,其中 $\mathbf{v}_1 = \langle 1,-1,3 \rangle$、$\mathbf{v}_2 = \langle 2,-1,1 \rangle$:

$$ \mathbf{n} = \langle (-1)(1) - (3)(-1),\; (3)(2) - (1)(1),\; (1)(-1) - (-1)(2) \rangle = \langle 2, 5, 1 \rangle. $$

Pick one point on each line, say $P_1 = (1,2,0)$ at $t=0$ and $P_2 = (0,3,1)$ at $s=0$, with $\overrightarrow{P_1 P_2} = \langle -1, 1, 1 \rangle$. The distance is the length of the projection of $\overrightarrow{P_1 P_2}$ onto $\mathbf{n}$:在每条直线上各取一点,比如 $t=0$ 时的 $P_1 = (1,2,0)$ 和 $s=0$ 时的 $P_2 = (0,3,1)$,得 $\overrightarrow{P_1 P_2} = \langle -1, 1, 1 \rangle$。该距离就是 $\overrightarrow{P_1 P_2}$ 在 $\mathbf{n}$ 上投影的长度:

$$ D = \frac{|\overrightarrow{P_1 P_2}\cdot \mathbf{n}|}{\|\mathbf{n}\|} = \frac{|(-1)(2) + (1)(5) + (1)(1)|}{\sqrt{4 + 25 + 1}} = \frac{4}{\sqrt{30}} = \frac{4}{\sqrt{30}}. $$

The choice of base points does not affect the answer, because shifting either point along its own line adds a multiple of $\mathbf{v}_1$ or $\mathbf{v}_2$, both orthogonal to $\mathbf{n}$, so the numerator is unchanged.基点的选取不影响结果,因为把任一点沿其所在直线移动,只会加上 $\mathbf{v}_1$ 或 $\mathbf{v}_2$ 的某个倍数,而它们都与 $\mathbf{n}$ 正交,故分子保持不变。

Worked Example 5.4: a line as the intersection of two planes例题 5.4:作为两平面交线的直线

Find a direction vector for the line where the planes $x + y + z = 1$ and $x - 2y + 3z = 4$ meet.求平面 $x + y + z = 1$ 与 $x - 2y + 3z = 4$ 交线的一个方向向量。

The line lies in both planes, so it is perpendicular to both normals $\mathbf{n}_1 = \langle 1,1,1 \rangle$ and $\mathbf{n}_2 = \langle 1,-2,3 \rangle$. A vector perpendicular to both is their cross product:该直线同时位于两个平面内,因此它垂直于两个法向量 $\mathbf{n}_1 = \langle 1,1,1 \rangle$ 与 $\mathbf{n}_2 = \langle 1,-2,3 \rangle$。同时垂直于二者的向量就是它们的叉积:

$$ \mathbf{v} = \mathbf{n}_1 \times \mathbf{n}_2 = \langle (1)(3) - (1)(-2),\; (1)(1) - (1)(3),\; (1)(-2) - (1)(1) \rangle = \langle 5, -2, -3 \rangle. $$

So the line of intersection runs in the direction $\langle 5, -2, -3 \rangle$. The cross product turns "perpendicular to two given vectors" into a single computation.所以交线沿方向 $\langle 5, -2, -3 \rangle$ 延伸。叉积把"同时垂直于两个给定向量"化为一次计算。

Common error. Two lines with the same direction need not be the same line, and two lines that fail to intersect need not be skew. The classification has two independent tests: are the directions parallel, and do the lines share a point. Parallel plus a shared point means identical; parallel plus no shared point means distinct parallel lines; not parallel plus a shared point means intersecting; not parallel plus no shared point means skew. Checking only one test misclassifies the pair.常见错误。方向相同的两条直线未必是同一条直线,不相交的两条直线也未必异面。分类需要两个相互独立的判据:方向是否平行,以及两直线是否有公共点。平行且有公共点表示重合;平行且无公共点表示两条不同的平行线;不平行且有公共点表示相交;不平行且无公共点表示异面。只检查一个判据就会判错。
A direction vector for the line $\dfrac{x-1}{2} = \dfrac{y+3}{-1} = \dfrac{z}{4}$ is直线 $\dfrac{x-1}{2} = \dfrac{y+3}{-1} = \dfrac{z}{4}$ 的一个方向向量是
5.1
$\langle 1, -3, 0 \rangle$
$\langle 2, 1, 4 \rangle$
$\langle 2, -1, 4 \rangle$
$\langle 1, 3, 0 \rangle$
Correct. The denominators in symmetric form are the direction components, giving $\langle 2, -1, 4 \rangle$.正确。对称式中的分母即方向分量,给出 $\langle 2, -1, 4 \rangle$。
In symmetric form $\tfrac{x-x_0}{a} = \tfrac{y-y_0}{b} = \tfrac{z-z_0}{c}$, the direction is $\langle a,b,c \rangle = \langle 2,-1,4 \rangle$.在对称式 $\tfrac{x-x_0}{a} = \tfrac{y-y_0}{b} = \tfrac{z-z_0}{c}$ 中,方向是 $\langle a,b,c \rangle = \langle 2,-1,4 \rangle$。

Planes平面

A plane is determined by one point on it and a normal vector perpendicular to it. The condition that a displacement within the plane be orthogonal to the normal produces the plane's equation through a single dot product.一个平面(plane)由其上一点和一个垂直于它的法向量(normal vector)确定。要求平面内的位移与法向量正交,这一条件通过一个点积便给出平面的方程。

Key idea. If $\mathbf{n} = \langle a, b, c \rangle$ is normal to the plane through $P_0 = (x_0, y_0, z_0)$, then a point $P$ lies on the plane exactly when $\mathbf{n} \cdot \overrightarrow{P_0 P} = 0$. Expanding gives a linear equation whose coefficients are the components of the normal.核心思想。若 $\mathbf{n} = \langle a, b, c \rangle$ 是过 $P_0 = (x_0, y_0, z_0)$ 的平面的法向量,则点 $P$ 在该平面上当且仅当 $\mathbf{n} \cdot \overrightarrow{P_0 P} = 0$。展开即得一个线性方程,其系数正是法向量的分量。
point-normal and general forms点法式与一般式
$$ a(x - x_0) + b(y - y_0) + c(z - z_0) = 0 \quad\Longleftrightarrow\quad ax + by + cz = d. $$
distance from a point $P_1$ to the plane $ax+by+cz=d$点 $P_1$ 到平面 $ax+by+cz=d$ 的距离
$$ D = \frac{|a x_1 + b y_1 + c z_1 - d|}{\sqrt{a^2 + b^2 + c^2}}. $$

The angle between two planes equals the angle between their normals, found from the dot product. Two planes are parallel when their normals are scalar multiples and perpendicular when their normals are orthogonal.两平面之间的夹角等于它们法向量之间的夹角,可由点积求出。当两平面的法向量互为标量倍数时它们平行,当法向量正交时它们垂直。

Worked Example 6.1: plane through three points例题 6.1:过三点的平面

Find an equation of the plane through $P = (1,0,0)$, $Q = (0,2,0)$, $R = (0,0,3)$.求过 $P = (1,0,0)$、$Q = (0,2,0)$、$R = (0,0,3)$ 的平面的方程。

Two in-plane vectors are $\overrightarrow{PQ} = \langle -1,2,0 \rangle$ and $\overrightarrow{PR} = \langle -1,0,3 \rangle$. A normal is their cross product, computed earlier as $\mathbf{n} = \langle 6,3,2 \rangle$. Using $P$,平面内的两个向量是 $\overrightarrow{PQ} = \langle -1,2,0 \rangle$ 与 $\overrightarrow{PR} = \langle -1,0,3 \rangle$。法向量就是它们的叉积,前面已算得 $\mathbf{n} = \langle 6,3,2 \rangle$。用 $P$,

$$ 6(x - 1) + 3(y - 0) + 2(z - 0) = 0 \;\Longrightarrow\; 6x + 3y + 2z = 6. $$
Going deeper: deriving the point-to-plane distance formula深入探究:推导点到平面的距离公式

Let $P_0$ be any point on the plane $ax + by + cz = d$ and $P_1$ the external point. The distance from $P_1$ to the plane is the length of the projection of $\overrightarrow{P_0 P_1}$ onto the unit normal $\hat{\mathbf{n}} = \mathbf{n}/\|\mathbf{n}\|$:设 $P_0$ 为平面 $ax + by + cz = d$ 上任意一点,$P_1$ 为平面外一点。$P_1$ 到平面的距离就是 $\overrightarrow{P_0 P_1}$ 在单位法向量 $\hat{\mathbf{n}} = \mathbf{n}/\|\mathbf{n}\|$ 上投影的长度:

$$ D = \left| \overrightarrow{P_0 P_1} \cdot \hat{\mathbf{n}} \right| = \frac{|\mathbf{n} \cdot \overrightarrow{P_0 P_1}|}{\|\mathbf{n}\|}. $$

Write the numerator componentwise. Since $a x_0 + b y_0 + c z_0 = d$ (the point $P_0$ lies on the plane), the cross terms collapse:把分子按分量写开。由于 $a x_0 + b y_0 + c z_0 = d$(点 $P_0$ 在平面上),交叉项相消:

$$ \mathbf{n} \cdot \overrightarrow{P_0 P_1} = a(x_1 - x_0) + b(y_1 - y_0) + c(z_1 - z_0) = a x_1 + b y_1 + c z_1 - d. $$

Dividing by $\|\mathbf{n}\| = \sqrt{a^2 + b^2 + c^2}$ yields the stated formula.除以 $\|\mathbf{n}\| = \sqrt{a^2 + b^2 + c^2}$ 即得所述公式。

Worked Example 6.2: angle between two planes例题 6.2:两平面之间的夹角

Find the acute angle between the planes $x + y + z = 1$ and $x - 2y + 3z = 4$.求平面 $x + y + z = 1$ 与 $x - 2y + 3z = 4$ 之间的锐角。

The angle between planes equals the angle between their normals $\mathbf{n}_1 = \langle 1,1,1 \rangle$ and $\mathbf{n}_2 = \langle 1,-2,3 \rangle$:两平面之间的夹角等于它们法向量 $\mathbf{n}_1 = \langle 1,1,1 \rangle$ 与 $\mathbf{n}_2 = \langle 1,-2,3 \rangle$ 之间的夹角:

$$ \cos\theta = \frac{|\mathbf{n}_1 \cdot \mathbf{n}_2|}{\|\mathbf{n}_1\|\,\|\mathbf{n}_2\|} = \frac{|1 - 2 + 3|}{\sqrt{3}\,\sqrt{14}} = \frac{2}{\sqrt{42}}. $$ $$ \theta = \arccos\!\left( \frac{2}{\sqrt{42}} \right) \approx 72.0^\circ. $$

Taking the absolute value in the numerator selects the acute angle between the planes rather than its obtuse supplement.在分子取绝对值,选取的是两平面之间的锐角,而不是它的钝角补角。

Worked Example 6.3: where a line pierces a plane例题 6.3:直线穿过平面的交点

Find the point where the line $x = 1 + 2t$, $y = -1 + t$, $z = 3t$ meets the plane $2x - y + z = 7$.求直线 $x = 1 + 2t$、$y = -1 + t$、$z = 3t$ 与平面 $2x - y + z = 7$ 的交点。

Substitute the parametric coordinates into the plane equation and solve for $t$:把参数坐标代入平面方程并解出 $t$:

$$ 2(1 + 2t) - (-1 + t) + 3t = 7 \;\Longrightarrow\; 2 + 4t + 1 - t + 3t = 7 \;\Longrightarrow\; 6t + 3 = 7. $$

So $t = \tfrac{2}{3}$. Back-substituting,故 $t = \tfrac{2}{3}$。回代,

$$ \left( 1 + \tfrac{4}{3},\; -1 + \tfrac{2}{3},\; 2 \right) = \left( \tfrac{7}{3},\; -\tfrac{1}{3},\; 2 \right). $$

If substitution had produced a contradiction such as $3 = 7$, the line would be parallel to the plane and miss it; if it had produced an identity such as $7 = 7$, the line would lie inside the plane.如果代入后得到像 $3 = 7$ 这样的矛盾,则直线与平面平行而不相交;如果得到像 $7 = 7$ 这样的恒等式,则直线整个落在平面内。

Common error. The coefficients of a plane equation are the components of the normal, not of a vector lying in the plane. For $2x - y + 3z = 7$ the normal is $\langle 2, -1, 3 \rangle$; the constant $7$ on the right is not a coordinate and plays no part in the direction. A second slip is forgetting the absolute value in the point-to-plane distance, which can make a genuine distance come out negative.常见错误。平面方程的系数是法向量的分量,而不是平面内某个向量的分量。对 $2x - y + 3z = 7$,法向量是 $\langle 2, -1, 3 \rangle$;右端的常数 $7$ 不是坐标,与方向无关。第二个失误是在点到平面的距离中漏掉绝对值,这会使一个本应为正的距离算出负值。
A normal vector to the plane $2x - y + 3z = 7$ is平面 $2x - y + 3z = 7$ 的一个法向量是
6.1
$\langle 2, -1, 3 \rangle$
$\langle 2, 1, 3 \rangle$
$\langle 7, 0, 0 \rangle$
$\langle -2, 1, -3 \rangle$ only(仅此)
Correct. The coefficients of $x$, $y$, $z$ form the normal $\langle 2, -1, 3 \rangle$.正确。$x$、$y$、$z$ 的系数构成法向量 $\langle 2, -1, 3 \rangle$。
In $ax + by + cz = d$ the normal is $\langle a,b,c \rangle$, here $\langle 2,-1,3 \rangle$.在 $ax + by + cz = d$ 中法向量是 $\langle a,b,c \rangle$,此处为 $\langle 2,-1,3 \rangle$。

Cylinders and Quadric Surfaces柱面与二次曲面

Beyond planes and spheres, the surfaces of Calculus III are described by second-degree equations in $x$, $y$, $z$. Two families recur: cylinders, whose equation omits one variable, and quadric surfaces, the three-dimensional analogues of the conic sections.除了平面与球面,微积分 III 中的曲面由关于 $x$、$y$、$z$ 的二次方程描述。有两类反复出现:柱面(cylinder),其方程缺少某一个变量;以及二次曲面(quadric surface),即圆锥曲线在三维中的类比。

Key idea. A cylinder is the surface swept by translating a plane curve along the missing axis. A quadric is the zero set of a general second-degree equation; by completing the square and inspecting its traces (the cross sections cut by coordinate planes) one classifies it as an ellipsoid, paraboloid, cone, or hyperboloid.核心思想。柱面是把一条平面曲线沿缺失的坐标轴平移所扫出的曲面。二次曲面是一般二次方程的零点集;通过配方并考察它的截痕(trace,即被坐标平面切出的截面),可将其分类为椭球面、抛物面、锥面或双曲面。
standard ellipsoid and elliptic paraboloid标准椭球面与椭圆抛物面
$$ \frac{x^2}{a^2} + \frac{y^2}{b^2} + \frac{z^2}{c^2} = 1, \qquad z = \frac{x^2}{a^2} + \frac{y^2}{b^2}. $$
hyperboloid of one sheet and elliptic cone单叶双曲面与椭圆锥面
$$ \frac{x^2}{a^2} + \frac{y^2}{b^2} - \frac{z^2}{c^2} = 1, \qquad \frac{x^2}{a^2} + \frac{y^2}{b^2} = \frac{z^2}{c^2}. $$

The equation $x^2 + y^2 = 9$ in $\mathbb{R}^3$, with $z$ absent, is a circular cylinder of radius $3$ about the $z$ axis: every horizontal trace is the same circle. Traces are the key diagnostic tool: substitute $z = k$ to read off the horizontal cross sections.在 $\mathbb{R}^3$ 中方程 $x^2 + y^2 = 9$ 不含 $z$,它是以 $z$ 轴为轴、半径为 $3$ 的圆柱面:每条水平截痕都是同一个圆。截痕是关键的判别工具:代入 $z = k$ 即可读出水平截面。

Worked Example 7.1: classifying a surface by its traces例题 7.1:用截痕对曲面分类

Identify the surface $z = x^2 + y^2$.辨认曲面 $z = x^2 + y^2$。

The trace at $z = k > 0$ is the circle $x^2 + y^2 = k$ of radius $\sqrt{k}$, growing with height. The traces in the planes $x = 0$ and $y = 0$ are the parabolas $z = y^2$ and $z = x^2$, both opening upward.在 $z = k > 0$ 处的截痕是半径为 $\sqrt{k}$ 的圆 $x^2 + y^2 = k$,随高度增大而变大。平面 $x = 0$ 与 $y = 0$ 中的截痕是抛物线 $z = y^2$ 与 $z = x^2$,都向上开口。

Circular horizontal traces and parabolic vertical traces identify a circular paraboloid, a bowl with vertex at the origin opening up the $z$ axis.水平截痕为圆、竖直截痕为抛物线,由此辨认出这是一个圆抛物面,即顶点在原点、沿 $z$ 轴向上开口的碗形。

Worked Example 7.2: an ellipsoid from a general equation例题 7.2:由一般方程辨认椭球面

Classify $4x^2 + y^2 + 9z^2 = 36$.对 $4x^2 + y^2 + 9z^2 = 36$ 分类。

Divide by $36$ to reach standard form:两边除以 $36$ 化为标准形:

$$ \frac{x^2}{9} + \frac{y^2}{36} + \frac{z^2}{4} = 1. $$

All three squared terms are positive and the right side is $1$, so the surface is an ellipsoid with semi-axes $3$ along $x$, $6$ along $y$, and $2$ along $z$.三个平方项都为正且右端为 $1$,所以该曲面是椭球面,沿 $x$、$y$、$z$ 的半轴分别为 $3$、$6$、$2$。

Worked Example 7.3: counting minus signs to tell the hyperboloids apart例题 7.3:数负号以区分两类双曲面

Classify $\dfrac{x^2}{4} - \dfrac{y^2}{9} + \dfrac{z^2}{1} = 1$ and contrast it with $\dfrac{x^2}{4} - \dfrac{y^2}{9} - \dfrac{z^2}{1} = 1$.对 $\dfrac{x^2}{4} - \dfrac{y^2}{9} + \dfrac{z^2}{1} = 1$ 分类,并与 $\dfrac{x^2}{4} - \dfrac{y^2}{9} - \dfrac{z^2}{1} = 1$ 作对比。

In the first equation, exactly one squared term is negative and the right side is $+1$, so the axis is the $y$ axis, the axis of the lone minus sign. Cutting perpendicular to that axis, the traces $y = k$ are ellipses $\tfrac{x^2}{4} + z^2 = 1 + \tfrac{k^2}{9}$, which exist for every $k$, so the surface is one connected piece: a hyperboloid of one sheet opening along the $y$ axis. The vertical traces $z = k$ are instead hyperbolas $\tfrac{x^2}{4} - \tfrac{y^2}{9} = 1 - k^2$.在第一个方程中,恰有一个平方项为负且右端为 $+1$,所以轴是 $y$ 轴,即那个唯一负号所对应的轴。垂直于该轴切割,截痕 $y = k$ 是椭圆 $\tfrac{x^2}{4} + z^2 = 1 + \tfrac{k^2}{9}$,对每个 $k$ 都存在,所以曲面是连通的一整片:沿 $y$ 轴开口的单叶双曲面。而竖直截痕 $z = k$ 则是双曲线 $\tfrac{x^2}{4} - \tfrac{y^2}{9} = 1 - k^2$。

In the second equation, two squared terms are negative. The trace $y = 0$, $z = 0$ forces $x^2 = 4$, but the trace $x = 0$ gives $-\tfrac{y^2}{9} - z^2 = 1$, which has no solutions, leaving a gap. The surface is a hyperboloid of two sheets, opening along the $x$ axis (the axis of the lone plus sign). The rule: one minus sign gives one sheet, two minus signs give two sheets.在第二个方程中,有两个平方项为负。截痕 $y = 0$、$z = 0$ 迫使 $x^2 = 4$,但截痕 $x = 0$ 给出 $-\tfrac{y^2}{9} - z^2 = 1$,它无解,于是中间留出空缺。该曲面是双叶双曲面,沿 $x$ 轴(那个唯一正号所对应的轴)开口。规律是:一个负号给出单叶,两个负号给出双叶。

Worked Example 7.4: completing the square to find a shifted center例题 7.4:用配方法求平移后的中心

Classify $x^2 + 4y^2 - z^2 - 2x + 8y + 1 = 0$ and locate its center.对 $x^2 + 4y^2 - z^2 - 2x + 8y + 1 = 0$ 分类并求出其中心。

Complete the square in the variables that appear linearly:对出现一次项的变量配方:

$$ (x^2 - 2x) + 4(y^2 + 2y) - z^2 + 1 = 0, $$ $$ (x-1)^2 - 1 + 4\big[(y+1)^2 - 1\big] - z^2 + 1 = 0, $$ $$ (x-1)^2 + 4(y+1)^2 - z^2 = 4. $$

Divide by $4$ to reach standard form:两边除以 $4$ 化为标准形:

$$ \frac{(x-1)^2}{4} + (y+1)^2 - \frac{z^2}{4} = 1. $$

Two positive squared terms and one negative, equal to $+1$, mark a hyperboloid of one sheet, opening along the $z$ axis, recentered at $(1, -1, 0)$. Shifting the surface does not change its type; only the linear terms move the center.两个正平方项与一个负平方项、等于 $+1$,标志着一个单叶双曲面,沿 $z$ 轴开口,中心移到 $(1, -1, 0)$。平移曲面不改变其类型;只有一次项会移动中心。

Common error. The sign pattern, not the look of the variables, decides the surface. With the right side equal to $+1$: no minus signs gives an ellipsoid, one minus sign a hyperboloid of one sheet, two minus signs a hyperboloid of two sheets. A right side of $0$ with one minus sign gives a cone, not a hyperboloid. Students also forget that a missing variable signals a cylinder: $x^2 + y^2 = 9$ in $\mathbb{R}^3$ is a cylinder, not the circle it would be in $\mathbb{R}^2$.常见错误。决定曲面类型的是符号模式,而不是变量的外观。当右端等于 $+1$ 时:没有负号给出椭球面,一个负号给出单叶双曲面,两个负号给出双叶双曲面。右端为 $0$ 且有一个负号时给出锥面,而非双曲面。学生还常忘记缺少某个变量意味着柱面:$x^2 + y^2 = 9$ 在 $\mathbb{R}^3$ 中是柱面,而不是它在 $\mathbb{R}^2$ 中会是的那个圆。
Going deeper: why traces classify a quadric深入探究:为什么截痕能对二次曲面分类

A trace is the curve cut from a surface by a coordinate plane, found by fixing one variable. The power of traces is that each cross section is a familiar conic, and the way the conics change with the fixed value reveals the three-dimensional shape.截痕是用坐标平面从曲面上切出的曲线,通过固定一个变量得到。截痕的威力在于:每个截面都是我们熟悉的圆锥曲线,而这些圆锥曲线随固定值变化的方式揭示了三维形状。

Take the elliptic paraboloid $z = \tfrac{x^2}{a^2} + \tfrac{y^2}{b^2}$. Fixing $z = k$ gives $\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} = k$, an ellipse for $k > 0$ that grows with height, a single point at $k = 0$, and nothing for $k < 0$. Fixing $x = 0$ gives the parabola $z = \tfrac{y^2}{b^2}$, opening upward. Ellipses stacked along a parabolic spine assemble into the bowl.以椭圆抛物面 $z = \tfrac{x^2}{a^2} + \tfrac{y^2}{b^2}$ 为例。固定 $z = k$ 得 $\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} = k$:当 $k > 0$ 时是随高度增大的椭圆,$k = 0$ 时是一个点,$k < 0$ 时无图形。固定 $x = 0$ 得向上开口的抛物线 $z = \tfrac{y^2}{b^2}$。一系列椭圆沿一条抛物线脊堆叠起来,就拼成了那只碗。

For the hyperboloid of one sheet $\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} - \tfrac{z^2}{c^2} = 1$, the horizontal traces $z = k$ are ellipses $\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} = 1 + \tfrac{k^2}{c^2}$, smallest at $z = 0$ and widening in both directions, while the vertical traces are hyperbolas. The waist at $z = 0$ and the absence of any forbidden height confirm the single connected sheet. Reading the three coordinate traces is therefore enough to name any quadric without plotting it.对单叶双曲面 $\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} - \tfrac{z^2}{c^2} = 1$,水平截痕 $z = k$ 是椭圆 $\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} = 1 + \tfrac{k^2}{c^2}$,在 $z = 0$ 处最小,向两个方向逐渐变大,而竖直截痕是双曲线。$z = 0$ 处的"腰"以及不存在任何禁止高度,确认了这是连通的一整片。因此读出三条坐标截痕,便足以叫出任何二次曲面的名字,而无需画图。

The surface $x^2 + z^2 = 4$ in $\mathbb{R}^3$ is$\mathbb{R}^3$ 中的曲面 $x^2 + z^2 = 4$ 是
7.1
a sphere of radius $2$半径为 $2$ 的球面
an ellipsoid椭球面
a circle in the $xz$ plane$xz$ 平面内的一个圆
a circular cylinder about the $y$ axis以 $y$ 轴为轴的圆柱面
Correct. With $y$ absent, the circle $x^2 + z^2 = 4$ is translated along the $y$ axis, producing a cylinder.正确。由于缺少 $y$,圆 $x^2 + z^2 = 4$ 沿 $y$ 轴平移,生成一个柱面。
A missing variable means the curve is extruded along that axis. Here $y$ is free, so it is a cylinder about the $y$ axis.缺少某个变量意味着曲线沿该轴拉伸。这里 $y$ 是自由的,所以它是以 $y$ 轴为轴的柱面。

Flashcards闪卡

0 / 12 flipped0 / 12 已翻转
Distance from $P_1$ to $P_2$ in $\mathbb{R}^3$$\mathbb{R}^3$ 中 $P_1$ 到 $P_2$ 的距离
$\sqrt{(x_2-x_1)^2 + (y_2-y_1)^2 + (z_2-z_1)^2}$
Equation of a sphere, center $(a,b,c)$, radius $r$球面方程,球心 $(a,b,c)$,半径 $r$
$(x-a)^2 + (y-b)^2 + (z-c)^2 = r^2$
Unit vector in the direction of $\mathbf{a}$与 $\mathbf{a}$ 同方向的单位向量
$\hat{\mathbf{a}} = \mathbf{a}/\|\mathbf{a}\|$, defined for $\mathbf{a}\neq\mathbf{0}$$\hat{\mathbf{a}} = \mathbf{a}/\|\mathbf{a}\|$,当 $\mathbf{a}\neq\mathbf{0}$ 时有定义
Two forms of the dot product点积的两种形式
$\mathbf{a}\cdot\mathbf{b} = a_1b_1 + a_2b_2 + a_3b_3 = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$
Test for orthogonality of nonzero vectors非零向量正交的判据
$\mathbf{a}\cdot\mathbf{b} = 0$
Vector projection of $\mathbf{b}$ onto $\mathbf{a}$$\mathbf{b}$ 在 $\mathbf{a}$ 上的向量投影
$\operatorname{proj}_{\mathbf{a}}\mathbf{b} = \dfrac{\mathbf{a}\cdot\mathbf{b}}{\|\mathbf{a}\|^2}\,\mathbf{a}$
Magnitude of $\mathbf{a}\times\mathbf{b}$ and its meaning$\mathbf{a}\times\mathbf{b}$ 的模长及其含义
$\|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$, the area of the spanned parallelogram$\|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$,即所张成平行四边形的面积
Cyclic products of the basis vectors基向量的循环叉积
$\mathbf{i}\times\mathbf{j}=\mathbf{k},\ \mathbf{j}\times\mathbf{k}=\mathbf{i},\ \mathbf{k}\times\mathbf{i}=\mathbf{j}$
Scalar triple product $\mathbf{a}\cdot(\mathbf{b}\times\mathbf{c})$标量三重积 $\mathbf{a}\cdot(\mathbf{b}\times\mathbf{c})$
Signed volume of the parallelepiped; zero iff the vectors are coplanar平行六面体的带符号体积;为零当且仅当三向量共面
Parametric equations of a line through $\mathbf{r}_0$ with direction $\langle a,b,c\rangle$过 $\mathbf{r}_0$、方向为 $\langle a,b,c\rangle$ 的直线的参数方程
$x=x_0+at,\ y=y_0+bt,\ z=z_0+ct$
Point-normal equation of a plane平面的点法式方程
$a(x-x_0)+b(y-y_0)+c(z-z_0)=0$, normal $\mathbf{n}=\langle a,b,c\rangle$$a(x-x_0)+b(y-y_0)+c(z-z_0)=0$,法向量 $\mathbf{n}=\langle a,b,c\rangle$
Distance from $P_1$ to the plane $ax+by+cz=d$$P_1$ 到平面 $ax+by+cz=d$ 的距离
$\dfrac{|ax_1+by_1+cz_1-d|}{\sqrt{a^2+b^2+c^2}}$

Unit Quiz单元测验

The distance between $(1, -1, 2)$ and $(3, 1, 4)$ is$(1, -1, 2)$ 与 $(3, 1, 4)$ 之间的距离是
Q.1
$6$
$\sqrt{6}$
$2\sqrt{3}$
$12$
Correct. $\sqrt{2^2 + 2^2 + 2^2} = \sqrt{12} = 2\sqrt{3}$.正确。$\sqrt{2^2 + 2^2 + 2^2} = \sqrt{12} = 2\sqrt{3}$。
Each coordinate differs by $2$, so the distance is $\sqrt{4+4+4} = \sqrt{12} = 2\sqrt{3}$.每个坐标都相差 $2$,故距离为 $\sqrt{4+4+4} = \sqrt{12} = 2\sqrt{3}$。
If $\mathbf{a} \cdot \mathbf{b} = 0$ for nonzero $\mathbf{a}, \mathbf{b}$, then the vectors are若对非零的 $\mathbf{a}, \mathbf{b}$ 有 $\mathbf{a} \cdot \mathbf{b} = 0$,则这两个向量
Q.2
parallel平行
orthogonal正交
equal相等
opposite反向
Correct. A zero dot product of nonzero vectors forces $\cos\theta = 0$, hence $\theta = \pi/2$.正确。非零向量的点积为零迫使 $\cos\theta = 0$,故 $\theta = \pi/2$。
Since $\mathbf{a}\cdot\mathbf{b} = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$, a zero result with nonzero magnitudes means $\cos\theta = 0$, so they are orthogonal.由于 $\mathbf{a}\cdot\mathbf{b} = \|\mathbf{a}\|\,\|\mathbf{b}\|\cos\theta$,在模长非零时结果为零意味着 $\cos\theta = 0$,故二者正交。
The area of the parallelogram spanned by $\mathbf{a}$ and $\mathbf{b}$ equals由 $\mathbf{a}$ 与 $\mathbf{b}$ 张成的平行四边形的面积等于
Q.3
$\|\mathbf{a} \times \mathbf{b}\|$
$\mathbf{a} \cdot \mathbf{b}$
$\|\mathbf{a}\| + \|\mathbf{b}\|$
$\mathbf{a} \times \mathbf{b}$
Correct. The parallelogram area is the magnitude of the cross product, $\|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$.正确。平行四边形面积是叉积的模长 $\|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$。
The cross product's magnitude $\|\mathbf{a}\times\mathbf{b}\| = \|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$ is the parallelogram area; the dot product gives a scalar, not the area.叉积的模长 $\|\mathbf{a}\times\mathbf{b}\| = \|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta$ 才是平行四边形的面积;点积给出的是标量,而不是面积。
Two lines with directions $\langle 1, 2, 3 \rangle$ and $\langle 2, 4, 6 \rangle$ that share no point are两条方向分别为 $\langle 1, 2, 3 \rangle$ 与 $\langle 2, 4, 6 \rangle$ 且没有公共点的直线是
Q.4
skew异面
perpendicular垂直
the same line同一条直线
parallel and distinct平行且不重合
Correct. The directions are scalar multiples ($\langle 2,4,6 \rangle = 2\langle 1,2,3 \rangle$), so the lines are parallel; sharing no point makes them distinct.正确。两方向互为标量倍数($\langle 2,4,6 \rangle = 2\langle 1,2,3 \rangle$),故两直线平行;没有公共点说明它们不重合。
Proportional directions mean the lines are parallel. Skew lines have non-parallel directions, so that is ruled out; with no common point they are parallel and distinct.方向成比例意味着两直线平行。异面直线的方向不平行,故被排除;没有公共点则它们平行且不重合。
The distance from the origin to the plane $2x + 2y + z = 6$ is原点到平面 $2x + 2y + z = 6$ 的距离是
Q.5
$6$
$2$
$3$
$\sqrt{6}$
Correct. $D = |0 + 0 + 0 - 6| / \sqrt{4 + 4 + 1} = 6/3 = 2$.正确。$D = |0 + 0 + 0 - 6| / \sqrt{4 + 4 + 1} = 6/3 = 2$。
Use $D = |ax_1 + by_1 + cz_1 - d|/\sqrt{a^2+b^2+c^2}$ at the origin: $6/\sqrt{9} = 2$.在原点处用 $D = |ax_1 + by_1 + cz_1 - d|/\sqrt{a^2+b^2+c^2}$:$6/\sqrt{9} = 2$。
The surface $\dfrac{x^2}{4} + \dfrac{y^2}{9} + \dfrac{z^2}{1} = 1$ is曲面 $\dfrac{x^2}{4} + \dfrac{y^2}{9} + \dfrac{z^2}{1} = 1$ 是
Q.6
a hyperboloid of one sheet单叶双曲面
an elliptic paraboloid椭圆抛物面
an ellipsoid椭球面
a cone锥面
Correct. Three positive squared terms summing to $1$ describe an ellipsoid with semi-axes $2$, $3$, and $1$.正确。三个正平方项之和为 $1$,描述了半轴分别为 $2$、$3$、$1$ 的椭球面。
All three terms are added and equal $1$, the signature of an ellipsoid; a hyperboloid would carry a minus sign.三项全部相加且等于 $1$,这是椭球面的标志;双曲面则会带有一个负号。

Readiness Checklist掌握度清单

Tap each item you can do without notes. 点击你无需参考资料即可完成的项目。0 / 8 mastered0 / 8 已掌握