← 返回Book 2目录

等高线与二次曲面

Contour Lines & Quadric Surfaces

从直线到圆锥曲线,从抛物面到环面

等高线:二维函数的可视化

等高线是可视化二元函数f(x, y)的基本方法。对于给定的常数c, 满足f(x, y) = c的所有点(x, y)构成一条等高线。 不同的c值对应不同的等高线,这些等高线族完整地描述了函数的形态。

线性函数(如x + y = c, x - y = c)的等高线是平行直线族。 直线的方向由系数决定,间距反映了函数变化的速率。

二次函数(如x² + y = c)的等高线是抛物线族。 抛物线的开口方向和形状由二次项的系数和符号决定。

📐 等高线可视化器

等高线是函数f(x,y) = c在xy平面上的投影。不同的c值对应不同的等高线。

线性函数
抛物线

当前函数

x + y = c

等高线含义:满足f(x,y) = c的所有(x,y)点的集合

线性函数:等高线是平行直线

抛物线函数:等高线是抛物线族

📏 线性函数

ax + by = c形式的等高线都是直线。斜率由a和b决定, 不同c值对应平行直线族。

🌈 抛物线

包含平方项的函数,等高线是抛物线族。 开口方向由平方项的符号决定。

📏 直线族

x + y = c:斜率-1的平行线
x - y = c:斜率+1的平行线
x = c, y = c:垂直/水平线

🌊 抛物线族

x² ± y = c:沿y轴开口的抛物线
x ± y² = c:沿x轴开口的抛物线
二次项决定开口方向

🎯 梯度方向

梯度∇f垂直于等高线,指向函数值增长最快的方向。 等高线密集处梯度大,稀疏处梯度小。

圆锥曲线与椭圆族

圆锥曲线是平面与圆锥面相交产生的曲线。 根据离心率e的不同值,圆锥曲线分为四类:

  • e = 0:圆 - 完全对称
  • 0 < e < 1:椭圆 - 略微拉长的圆
  • e = 1:抛物线 - 开放曲线
  • e > 1:双曲线 - 两支分离的开放曲线

离心率定义为焦点到动点的距离与动点到准线距离之比。 它决定了曲线偏离圆形的程度,是圆锥曲线最重要的参数。

🌀 圆锥曲线与椭圆族

探索离心率、椭圆切线、以及椭圆与矩形的互切关系

离心率e决定圆锥曲线类型

• e = 0: 圆

• 0 < e < 1: 椭圆

• e = 1: 抛物线

• e > 1: 双曲线

公式: y² - (e² - 1)x² - 2x = 0

📐 圆锥曲线

平面与圆锥相交产生的曲线。离心率e是焦点到准线距离比, 决定了曲线的开放程度和类型。

🔄 切线与包络

所有切线形成的包络线就是原曲线。 椭圆与矩形的互切展示了对偶关系。

🎨 椭圆切线的性质

椭圆方程为x²/a² + y²/b² = 1,点P(x₀, y₀)处的切线方程为:

x₀x/a² + y₀y/b² = 1

椭圆上每一点的切线都与椭圆相切于该点。所有切线形成的包络线就是椭圆本身。 这展示了微分几何中切线与曲线的本质关系。

🔄 椭圆与矩形的对偶

给定矩形[-m, m] × [-n, n],存在无穷多个与之相切的椭圆。 反过来,给定椭圆x²/a² + y²/b² = 1,也存在无穷多个与之相切的矩形。 这种对偶关系体现了几何对象之间的深刻联系。

与椭圆相切的矩形族利用了马氏距离和协方差矩阵Σ的概念。 矩形的方向由Σ的逆矩阵决定,大小由椭圆的长短轴决定。

📐 等轴和椭圆族

当长半轴的平方a²与短半轴的平方b²之和保持恒定时(a² + b² = 常数), 可以生成一族椭圆。随着a增大,b相应减小,椭圆从接近圆形逐渐拉长成细长的椭圆。 这类椭圆在正椭圆和旋转椭圆中都有应用。

🎨 椭圆族:长短轴平方和恒定

当椭圆的长半轴平方a²与短半轴平方b²之和保持恒定时, 随着a增大b减小,椭圆从接近圆形逐渐拉长

约束条件

恒定和: a² + b² = 2.0

参数范围: 0 < a² < 2.0

对应b²: b² = 2.0 - a²

椭圆方程(正椭圆):

x²/a² + y²/b² = 1

📐 正椭圆族

所有椭圆的主轴与坐标轴平行。 当a² = b²时,椭圆退化为圆。 当a²接近2.0时,b²接近0,椭圆变得极扁。

🔄 旋转椭圆族

同一组a²和b²值,但椭圆以不同角度旋转。 展示3个旋转角:45°、90°、135°。 形成更丰富的图案。

💡 数学意义: 这组椭圆展示了在约束条件a² + b² = C下,椭圆形状的连续变化。 在优化理论中,这类约束常见于椭球不变量问题。 在物理学中,对应能量守恒下的相空间轨迹。 颜色编码帮助区分不同的a²/b²比例。

星形曲线 Astroid

星形曲线(Astroid)是一种特殊的代数曲线, 其方程可以表示为(x/c)² + (y/(1-c))² = 1的一组椭圆的包络线。

当参数c从0变化到1时,这组椭圆的包络线形成一个四角星形。 星形曲线也可以看作是一个圆在另一个半径为其四倍的圆内部滚动时, 圆上一点的轨迹(内摆线的特殊情况)。

将这组椭圆平移到不同位置,可以生成更复杂的图案, 这在艺术设计和计算机图形学中有广泛应用。

⭐ 星形曲线 Astroid

一组椭圆(x/c)² + (y/(1-c))² = 1的包络线形成四角星形

星形曲线方程

参数方程:

x = cos³(t)

y = sin³(t)

笛卡尔方程:

x^(2/3) + y^(2/3) = 1

包络线:椭圆族(x/c)² + (y/(1-c))² = 1 当c从0变到1时的包络线

🔷 几何性质

4重旋转对称性
4个尖点(cusp)
周长 = 6
面积 = 3π/8

🎡 物理意义

小圆在大圆内滚动,小圆上一点的轨迹(内摆线特例,k=4)。 小圆半径 = 大圆半径/4。

🎨 艺术应用

平铺模式创造规则图案。 在建筑装饰、纺织品设计中常见。

💡 包络线理论: 一族曲线的包络线是与该族中每条曲线都相切的曲线。 星形曲线是椭圆族的包络线,这种构造方法叫做"包络法"。 通过改变参数c,椭圆从竖直(c≈0)逐渐变为水平(c≈1), 所有这些椭圆的切线包络就形成了星形曲线。 参考:MathWorld: Astroid

⭐ 星形曲线的数学美

星形曲线展示了代数曲线的优雅:简单的参数方程,复杂的几何形状。 它的对称性(4重旋转对称)和尖点特征使其成为研究奇点理论的经典例子。

用等高线绘制三维几何体

三维隐函数f(x, y, z) = 0定义的曲面无法直接在二维平面上绘制。 通过等高线投影技术,我们可以在三个坐标平面(XY、XZ、YZ)上 分别绘制曲面的等高线,从而完整呈现三维几何体的形态。

这种技术的核心思想是:固定一个坐标变量,在相应平面上求解二维等高线。 例如,固定z = c,在XY平面上绘制f(x, y, c) = 0的曲线。 不同c值对应不同的切片,所有切片组合起来就重构了整个曲面。

🎲 3D曲面等高线可视化

通过在三个坐标平面上绘制等高线来呈现三维隐函数曲面

单位球

x² + y² + z² = 1

最简单的二次曲面,所有点到原点距离为1

⚠️ 简化版可视化 - 完整3D渲染需要更复杂的等高线算法

建议参考原Python代码中的完整实现

💡 可视化原理: 隐函数f(x,y,z)=0定义的曲面,通过固定一个坐标(如z=c), 在该平面上绘制f(x,y,c)=0的等高线。三个平面的等高线组合呈现曲面的立体结构。

🔵 椭球面族

  • • 球面: x² + y² + z² = r²,所有方向曲率相同
  • • 椭球: x²/a² + y²/b² + z²/c² = 1,三个主轴不同
  • • 旋转椭球: 绕某轴旋转的椭球,两轴相等

🌀 抛物面族

  • • 圆抛物面: x² + y² = z,碗形曲面
  • • 双曲抛物面: x² - y² = z,马鞍形
  • • 旋转抛物面: xy = z,旋转45°的马鞍

⏳ 双曲面族

  • • 单叶双曲面: x² + y² - z² = c > 0,冷却塔
  • • 双叶双曲面: x² + y² - z² = c < 0,分离两部分
  • • 圆锥面: x² + y² = z²,双曲面的退化情况

🎭 特殊曲面

  • • 圆柱面: x² + y² = r²,沿轴无限延伸
  • • 环面: 甜甜圈形状,拓扑亏格为1
  • • 心形面: 艺术化的代数曲面

📊 范数球面

向量范数||x||p = (|x₁|p + |x₂|p + |x₃|p)1/p = 1 定义的单位球面形状随p值变化:

  • • p = 0.6 (非范数): 星形,向坐标轴凹陷
  • • p = 1 (曼哈顿距离): 正八面体
  • • p = 2 (欧几里得距离): 球面
  • • p → ∞ (切比雪夫距离): 立方体

范数球面的形状变化反映了不同距离度量下"等距"概念的差异, 在机器学习中的正则化和优化问题中有重要应用。

💡 核心洞察

等高线是理解高维函数的窗口。从二维的直线和抛物线,到圆锥曲线的离心率分类, 再到三维曲面的坐标平面投影,等高线技术贯穿始终。它不仅是可视化工具, 更揭示了函数的本质结构:梯度垂直于等高线,等高线的疏密反映函数变化快慢, 曲线的形状编码了函数的二阶导数信息。在机器学习中,损失函数的等高线指导 优化算法的搜索方向;在数据分析中,密度等高线描绘分布的集中趋势; 在物理学中,等势线和等温线揭示场的分布规律。掌握等高线, 就掌握了从低维窥视高维、从静态理解动态的强大工具。