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.多元微积分的基本语言:点、向量、点积与叉积,以及由它们在三维空间中构造出的直线、平面与二次曲面。
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$ 轴正方向。一个点由它到三个坐标平面的带符号垂直距离构成的有序三元组来命名。
distance)由勾股定理连用两次得到。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)的方程。
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.把距离理解为不等式,是从代数通向立体区域的桥梁,也正是课程后面建立三重积分时所用的语言。
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$,每多一个坐标就多用一次勾股定理。
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$。当两条有向线段长度与方向都相同时,它们表示同一个向量,因此向量可以自由平移。
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}$。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)。
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。向量把一张受力图转化为两个标量方程,每个坐标轴对应一个。
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)把一对向量映为一个标量,用以度量它们指向相同方向的程度。它是处理夹角、投影以及垂直性判定的核心工具。
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):
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.只有沿运动方向的力的分量才有贡献,而这正是点积所提取的量。垂直于位移的力做功为零。
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}$ 平行时取等号。由它可推出三角不等式。展开和向量模长的平方:
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$ 这一条不等式,就支撑起了上述两个结论。
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)给出第三个向量,它同时垂直于这两个向量。与点积不同,叉积只在三维中有定义,且不满足交换律:交换次序会使结果反号。
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.带符号体积为零,故这三个向量位于一个过原点的公共平面内。若结果非零,则它度量了一个实际的立体体积,从而排除共面。
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$ 时为零,即两向量平行、张不出面积时。
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$ 沿该方向滑动,就扫出了直线上的每一个点。
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$ 延伸。叉积把"同时垂直于两个给定向量"化为一次计算。
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)确定。要求平面内的位移与法向量正交,这一条件通过一个点积便给出平面的方程。
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$ 这样的恒等式,则直线整个落在平面内。
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),即圆锥曲线在三维中的类比。
trace,即被坐标平面切出的截面),可将其分类为椭球面、抛物面、锥面或双曲面。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)$。平移曲面不改变其类型;只有一次项会移动中心。
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$ 处的"腰"以及不存在任何禁止高度,确认了这是连通的一整片。因此读出三条坐标截痕,便足以叫出任何二次曲面的名字,而无需画图。
Flashcards闪卡
Unit Quiz单元测验
Readiness Checklist掌握度清单
Tap each item you can do without notes. 点击你无需参考资料即可完成的项目。0 / 8 mastered0 / 8 已掌握
- Plot points and compute distances and midpoints in $\mathbb{R}^3$, and write the equation of a sphere by completing the square.在 $\mathbb{R}^3$ 中描点并计算距离与中点,并用配方法写出球面方程。
- Add, scale, and normalize vectors, and express any vector in the basis $\mathbf{i}, \mathbf{j}, \mathbf{k}$.对向量进行加法、缩放与归一化,并把任意向量用基 $\mathbf{i}, \mathbf{j}, \mathbf{k}$ 表示。
- Compute the dot product, use it to find the angle between two vectors, and test for orthogonality.计算点积,用它求两向量间的夹角,并判定正交性。
- Find scalar and vector projections of one vector onto another.求一个向量在另一个向量上的标量投影与向量投影。
- Compute the cross product via the determinant, use its magnitude for areas, and apply the scalar triple product to volumes and coplanarity.用行列式计算叉积,用其模长求面积,并用标量三重积处理体积与共面问题。
- Write vector, parametric, and symmetric equations of a line and classify two lines as parallel, intersecting, or skew.写出直线的向量式、参数式与对称式方程,并把两条直线判为平行、相交或异面。
- Find the equation of a plane from a point and normal or from three points, and compute point-to-plane distance.由一点与法向量、或由三点求平面方程,并计算点到平面的距离。
- Classify a quadric surface by completing the square and examining its traces.通过配方与考察截痕对二次曲面进行分类。