Geometric Representation and Formulas of Functions of Two Variables | 二元函数的几何表示与公式

📚 Geometric Representation and Formulas of Functions of Two Variables | 二元函数的几何表示与公式

In IB Mathematics, functions of two variables extend the concept of a single-variable function to a higher dimension. A function \( z = f(x, y) \) assigns a real number to each ordered pair \((x, y)\) in its domain, and its geometric representation is a surface in three-dimensional space. Understanding this visual interpretation is essential for grasping partial derivatives, gradients, and optimization in multivariable calculus.

在IB数学中，二元函数将单变量函数的概念推广到更高维度。函数 \( z = f(x, y) \) 为其定义域中的每一对有序数对 \((x, y)\) 赋予一个实数，其几何表示是三维空间中的一张曲面。理解这种直观解释对于掌握多元微积分中的偏导数、梯度以及最优化问题至关重要。

1. Three-Dimensional Coordinate System | 三维坐标系

To represent a function of two variables, we use a three-dimensional Cartesian coordinate system with three mutually perpendicular axes: the \(x\)-axis, \(y\)-axis, and \(z\)-axis. The position of any point is given by an ordered triple \((x, y, z)\). The \(xy\)-plane is the set of all points where \(z = 0\), and it serves as the “input plane” for the function.

为了表示二元函数，我们使用三维笛卡尔坐标系，它由三条互相垂直的轴组成：\(x\)轴、\(y\)轴和\(z\)轴。任何点的位置由有序三元组 \((x, y, z)\) 给出。\(xy\)平面是所有满足 \(z = 0\) 的点的集合，它作为函数的“输入平面”。

Point: P(x, y, z) with z = f(x, y)

In IB problems, you are often asked to interpret a point \((x_0, y_0, z_0)\) on a surface, where \(z_0 = f(x_0, y_0)\). This point is sometimes called the “image” of the pair \((x_0, y_0)\) under the function.

在IB题目中，你经常需要解释曲面上的点 \((x_0, y_0, z_0)\)，其中 \(z_0 = f(x_0, y_0)\)。这个点有时被称为数对 \((x_0, y_0)\) 在函数下的“像”。

2. The Graph of a Function of Two Variables | 二元函数的图像

The graph of a function \(z = f(x, y)\) is the set of all points \((x, y, f(x, y))\) for \((x, y)\) in the domain. This graph is generally a surface, not a curve. For example, the function \(f(x, y) = x^2 + y^2\) produces a paraboloid that opens upward, while \(f(x, y) = x^2 – y^2\) produces a hyperbolic paraboloid, often called a saddle surface.

二元函数 \(z = f(x, y)\) 的图像是定义域中所有点 \((x, y, f(x, y))\) 的集合。这个图像通常是一个曲面，而不是一条曲线。例如，函数 \(f(x, y) = x^2 + y^2\) 产生一个开口向上的抛物面，而 \(f(x, y) = x^2 – y^2\) 产生一个双曲抛物面，通常称为马鞍面。

Paraboloid: z = x² + y² Saddle: z = x² − y²

When drawing or identifying surfaces, check the signs of the coefficients. If both quadratic terms have the same sign, the surface is an elliptic paraboloid; if they have opposite signs, it is a hyperbolic paraboloid.

在绘制或识别曲面时，注意二次项系数的符号。如果两个二次项符号相同，则曲面为椭圆抛物面；如果符号相反，则为双曲抛物面。

3. Level Curves and Contour Lines | 等高线与等值线

A level curve of \(f(x, y)\) is the set of points \((x, y)\) in the domain such that \(f(x, y) = c\), where \(c\) is a constant. These curves are also called contour lines. They are obtained by slicing the surface with horizontal planes \(z = c\) and projecting the intersection onto the \(xy\)-plane.

函数 \(f(x, y)\) 的等值线是定义域中满足 \(f(x, y) = c\) 的点 \((x, y)\) 的集合，其中 \(c\) 为常数。这些曲线也称为等高线。它们是通过用水平平面 \(z = c\) 切割曲面，并将交线投影到 \(xy\) 平面上而得到的。

For the paraboloid \(z = x^2 + y^2\), the level curves are circles \(x^2 + y^2 = c\). For a linear function \(z = 2x + 3y\), the level curves are straight lines \(2x + 3y = c\).

对于抛物面 \(z = x^2 + y^2\)，其等值线是圆 \(x^2 + y^2 = c\)。对于线性函数 \(z = 2x + 3y\)，其等值线是直线 \(2x + 3y = c\)。

Level curve: f(x, y) = c

In IB questions, you may be given a topographic map-like diagram of level curves and asked to identify where the function is steep. The closer the level curves are to each other, the steeper the surface.

在IB题目中，你可能会看到类似地形图的等值线图，并需要判断函数在何处最陡峭。等值线越密集，曲面越陡峭。

4. Partial Derivatives and Their Geometric Meaning | 偏导数及其几何意义

For a function \(z = f(x, y)\), the partial derivative with respect to \(x\), denoted \(\frac{\partial z}{\partial x}\) or \(f_x\), measures the rate of change of \(z\) in the \(x\)-direction, holding \(y\) constant. Geometrically, it is the slope of the tangent line to the surface at a point in a plane parallel to the \(xz\)-plane.

对于函数 \(z = f(x, y)\)，关于 \(x\) 的偏导数，记为 \(\frac{\partial z}{\partial x}\) 或 \(f_x\)，表示在保持 \(y\) 不变的情况下，\(z\) 沿 \(x\) 方向的变化率。在几何上，它是曲面上某点处、在与 \(xz\) 平面平行的平面内的切线斜率。

Similarly, \(\frac{\partial z}{\partial y}\) or \(f_y\) is the slope of the tangent line in a plane parallel to the \(yz\)-plane. These two partial derivatives are the building blocks of the tangent plane equation.

类似地，\(\frac{\partial z}{\partial y}\) 或 \(f_y\) 是在与 \(yz\) 平面平行的平面内的切线斜率。这两个偏导数是切平面方程的基础。

fₓ(x₀, y₀) = slope of tangent in x-direction
fᵧ(x₀, y₀) = slope of tangent in y-direction

Remember that partial derivatives are evaluated at specific points, and they represent instantaneous rates of change. In exam problems, you may need to compute these derivatives and then interpret their values in context.

请注意，偏导数是在特定点处求值的，它们表示瞬时变化率。在考试题目中，你可能需要计算这些导数，然后解释其在具体情境中的含义。

5. Tangent Plane to a Surface | 曲面的切平面

The tangent plane to the surface \(z = f(x, y)\) at the point \((x_0, y_0, z_0)\) is the plane that best approximates the surface near that point. Its equation is given by:

曲面 \(z = f(x, y)\) 在点 \((x_0, y_0, z_0)\) 处的切平面是曲面在该点附近的最佳线性近似。其方程为：

z − z₀ = fₓ(x₀, y₀)(x − x₀) + fᵧ(x₀, y₀)(y − y₀)

This formula is analogous to the tangent line equation \(y – y_0 = f'(x_0)(x – x_0)\) for a single-variable function. The tangent plane is used for linear approximation of the function near the point.

这个公式类似于单变量函数的切线方程 \(y – y_0 = f'(x_0)(x – x_0)\)。切平面用于函数在该点附近的线性近似。

For example, for \(f(x, y) = x^2 + y^2\) at \((1, 1, 2)\), we have \(f_x = 2x\), \(f_y = 2y\), so \(f_x(1,1) = 2\), \(f_y(1,1) = 2\). The tangent plane is \(z – 2 = 2(x – 1) + 2(y – 1)\).

例如，对于 \(f(x, y) = x^2 + y^2\) 在点 \((1, 1, 2)\) 处，有 \(f_x = 2x\)，\(f_y = 2y\)，所以 \(f_x(1,1) = 2\)，\(f_y(1,1) = 2\)。切平面为 \(z – 2 = 2(x – 1) + 2(y – 1)\)。

6. The Gradient Vector | 梯度向量

The gradient of a differentiable function \(f(x, y)\) is a vector denoted by \(\nabla f\) (read “nabla f”) or grad \(f\). It is defined as:

可微函数 \(f(x, y)\) 的梯度是一个向量，记为 \(\nabla f\)（读作“nabla f”）或 grad \(f\)。其定义为：

∇f = (fₓ, fᵧ) = (∂f/∂x, ∂f/∂y)

Geometrically, the gradient vector at a point points in the direction of the steepest ascent of the function, and its magnitude gives the slope of the surface in that direction. The gradient is always perpendicular to the level curve passing through that point.

在几何上，梯度向量在某点指向函数上升最快的方向，其大小给出曲面在该方向上的坡度。梯度始终垂直于通过该点的等值线。

For instance, if \(f(x, y) = x^2 + y^2\), then \(\nabla f = (2x, 2y)\). At the point \((1, 1)\), the gradient is \((2, 2)\), pointing radially outward from the origin, which is indeed the direction of steepest ascent for a paraboloid.

例如，若 \(f(x, y) = x^2 + y^2\)，则 \(\nabla f = (2x, 2y)\)。在点 \((1, 1)\) 处，梯度为 \((2, 2)\)，从原点径向向外，这确实是抛物面上升最快的方向。

7. Directional Derivative | 方向导数

The directional derivative of \(f\) at a point \((x_0, y_0)\) in the direction of a unit vector \(\mathbf{u} = (a, b)\) measures the rate of change of \(f\) as you move in that direction. Its formula is the dot product of the gradient and the unit vector:

函数 \(f\) 在点 \((x_0, y_0)\) 处沿单位向量 \(\mathbf{u} = (a, b)\) 方向的方向导数，衡量的是沿该方向移动时 \(f\) 的变化率。其公式为梯度与单位向量的点积：

D_𝐮 f = ∇f · 𝐮 = fₓ a + fᵧ b

The directional derivative is maximized when \(\mathbf{u}\) is parallel to \(\nabla f\), and minimized when it is antiparallel. The maximum value is \(|\nabla f|\), and the minimum value is \(-|\nabla f|\).

当 \(\mathbf{u}\) 与 \(\nabla f\) 平行时，方向导数取得最大值；当 \(\mathbf{u}\) 与 \(\nabla f\) 反平行时，取得最小值。最大值为 \(|\nabla f|\)，最小值为 \(-|\nabla f|\)。

In IB problems, you may be asked to find the direction of greatest increase of a function, or to compute a directional derivative given a non-unit direction vector. Always convert the direction to a unit vector first.

在IB题目中，你可能会被要求找到函数增长最快的方向，或者在给定非单位方向向量时计算方向导数。一定要先将方向向量化为单位向量。

8. Critical Points and Extrema | 临界点与极值

For a function of two variables, critical points occur where both partial derivatives are zero, or where one or both do not exist. That is, \(f_x(x_0, y_0) = 0\) and \(f_y(x_0, y_0) = 0\). These points may be local maxima, local minima, or saddle points.

对于二元函数，临界点出现在两个偏导数都为零，或其中一个或两个不存在的位置。即 \(f_x(x_0, y_0) = 0\) 且 \(f_y(x_0, y_0) = 0\)。这些点可能是局部最大值、局部最小值或鞍点。

To classify a critical point, we use the second partial derivative test. Define the discriminant:

为了对临界点进行分类，我们使用二阶偏导数判别法。定义判别式：

D = fₓₓ fᵧᵧ − (fₓᵧ)²

At a critical point \((a, b)\):

If \(D > 0\) and \(f_{xx}(a, b) > 0\), then \(f(a, b)\) is a local minimum.
If \(D > 0\) and \(f_{xx}(a, b) < 0\), then \(f(a, b)\) is a local maximum.
If \(D < 0\), then \((a, b)\) is a saddle point.
If \(D = 0\), the test is inconclusive.

在临界点 \((a, b)\) 处：

若 \(D > 0\) 且 \(f_{xx}(a, b) > 0\)，则 \(f(a, b)\) 为局部最小值。
若 \(D > 0\) 且 \(f_{xx}(a, b) < 0\)，则 \(f(a, b)\) 为局部最大值。
若 \(D < 0\)，则 \((a, b)\) 为鞍点。
若 \(D = 0\)，判别法失效。

The discriminant is analogous to the second derivative test in single-variable calculus, but it captures curvature in two independent directions.

判别式类似于单变量微积分中的二阶导数判别法，但它捕捉了两个独立方向上的曲率。

9. Geometric Meaning of the Discriminant | 判别式的几何意义

The sign of \(D\) at a critical point tells us whether the surface curves in the same way in both the \(x\) and \(y\) directions, or whether it curves oppositely. If \(D > 0\), the surface has a “cup” shape (either up or down), corresponding to a local extremum. If \(D < 0\), the surface resembles a saddle or a mountain pass.

临界点处 \(D\) 的符号告诉我们，曲面在 \(x\) 和 \(y\) 方向上的弯曲方式是否相同。如果 \(D > 0\)，曲面呈“杯状”（朝上或朝下），对应于局部极值。如果 \(D < 0\)，曲面类似于马鞍或山口。

D > 0: elliptic paraboloid-like surface
D < 0: hyperbolic paraboloid-like surface

For the function \(f(x, y) = x^2 – y^2\), at the critical point \((0, 0)\), we have \(f_{xx} = 2\), \(f_{yy} = -2\), \(f_{xy} = 0\), hence \(D = (2)(-2) – 0 = -4 < 0\), confirming a saddle point.

对于函数 \(f(x, y) = x^2 – y^2\)，在临界点 \((0, 0)\) 处，有 \(f_{xx} = 2\)，\(f_{yy} = -2\)，\(f_{xy} = 0\)，因此 \(D = (2)(-2) – 0 = -4 < 0\)，确认这是一个鞍点。

10. Linear Approximation and Differentials | 线性近似与微分

The tangent plane equation gives a linear approximation of the function near a point. For small changes \(\Delta x\) and \(\Delta y\), the change in \(z\) can be approximated by the total differential:

切平面方程给出了函数在某点附近的线性近似。对于很小的变化量 \(\Delta x\) 和 \(\Delta y\)，\(z\) 的变化可以通过全微分近似：

dz = fₓ dx + fᵧ dy

This formula is useful for estimating errors. If \(x\) and \(y\) are measured with small errors, the approximate error in \(z\) is the sum of the contributions from each variable, weighted by the partial derivatives.

这个公式在误差估计中非常有用。如果 \(x\) 和 \(y\) 的测量带有小误差，那么 \(z\) 的近似误差就是各变量贡献之和，权重为相应的偏导数。

For example, if \(z = xy\), then \(dz = y\,dx + x\,dy\). This means that a small error in \(x\) multiplies by \(y\), and a small error in \(y\) multiplies by \(x\).

例如，若 \(z = xy\)，则 \(dz = y\,dx + x\,dy\)。这意味着 \(x\) 的小误差会乘以 \(y\)，而 \(y\) 的小误差会乘以 \(x\)。

11. Constrained Optimization and Lagrange Multipliers | 约束最优化与拉格朗日乘子

Sometimes we need to find the maximum or minimum of a function \(f(x, y)\) subject to a constraint \(g(x, y) = 0\). The method of Lagrange multipliers uses the geometric fact that at an extremum, the gradient of \(f\) is parallel to the gradient of \(g\).

有时我们需要在约束 \(g(x, y) = 0\) 下求函数 \(f(x, y)\) 的最大值或最小值。拉格朗日乘子法利用了如下几何事实：在极值点处，\(f\) 的梯度与 \(g\) 的梯度平行。

∇f = λ ∇g, with g(x, y) = 0

Geometrically, this means that at the optimal point, the level curve of \(f\) is tangent to the constraint curve \(g(x, y) = 0\). This condition, together with the constraint equation, determines the candidate points.

从几何上看，这意味着在最优点处，\(f\) 的等值线与约束曲线 \(g(x, y) = 0\) 相切。这个条件连同约束方程一起，确定了候选点。

For instance, to maximize \(f(x, y) = xy\) subject to \(x + y = 1\), we solve \(\nabla f = \lambda \nabla g\) which gives \(y = \lambda\), \(x = \lambda\), and \(x + y = 1\), yielding \(x = y = 0.5\). The maximum value is 0.25.

例如，在约束 \(x + y = 1\) 下最大化 \(f(x, y) = xy\)，我们解 \(\nabla f = \lambda \nabla g\)，得到 \(y = \lambda\)，\(x = \lambda\)，以及 \(x + y = 1\)，从而得到 \(x = y = 0.5\)。最大值为 0.25。

12. Summary and Exam Tips | 总结与考试技巧

Understanding the geometric representation of functions of two variables bridges the gap between algebraic formulas and visual intuition. Key ideas include: the surface as a graph, level curves for reading steepness, partial derivatives as slopes, the tangent plane for linear approximation, the gradient for direction of steepest ascent, and the discriminant for classifying critical points.

理解二元函数的几何表示，能够在代数公式与直观视觉之间架起桥梁。关键概念包括：作为图像的曲面、用于观察陡峭度的等值线、作为斜率的偏导数、用于线性近似的切平面、用于最速上升方向的梯度，以及用于临界点分类的判别式。

Common exam pitfalls:

Forgetting to convert direction vectors to unit vectors before computing directional derivatives.
Confusing the sign of \(D\) with the sign of \(f_{xx}\) when classifying extrema.
Neglecting to check whether a critical point actually lies in the domain.
Mixing up the tangent plane formula with the total differential formula.

常见考试陷阱：

计算方向导数前忘记将方向向量化为单位向量。
在判别极值时混淆 \(D\) 的符号与 \(f_{xx}\) 的符号。
忽略检查临界点是否确实在定义域内。
混淆切平面公式与全微分公式。

Practice sketching simple surfaces like planes, paraboloids, and saddle surfaces. When given a set of level curves, try to visualize the corresponding surface before jumping into calculations. This skill not only helps in multiple-choice questions but also in paper-based problem solving where drawing a quick sketch can confirm your algebraic results.

练习绘制简单的曲面，如平面、抛物面和马鞍面。当给出一组等值线时，先尝试想象对应的曲面，然后再进行计算。这项技能不仅有助于选择题，也能在笔试中通过快速草图来验证代数结果。

Finally, remember that every multivariable concept has a single-variable analogue. Use your knowledge of graphs, derivatives, and tangent lines as a scaffold for understanding surfaces, partial derivatives, and tangent planes.

最后，请记住，每一个多元概念都有对应的单变量类比。运用你对图像、导数和切线的知识，作为理解曲面、偏导数和切平面的脚手架。

Published by TutorHao | Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）

Geometric Representation and Formulas of Functions of Two Variables | 二元函数的几何表示与公式