1. 课程导入与整体框架
在工程与科学计算中，我们经常面对这样一类问题：已知一组离散的测量点或设计控制点，希望得到一条通过这些点、并且看起来"自然光滑"的连续曲线。最朴素的想法是"把相邻点用直线连起来"，但折线在节点处存在尖角，导数不连续，用它表示物体运动轨迹、机械轮廓或动画路径时会出现明显的抖动与不自然。另一条思路是构造一个高次多项式穿过所有点，但点数一多，高次多项式就会出现剧烈振荡（龙格现象），端点附近尤其严重。样条插值正是为化解这一矛盾而发展起来的方法体系。
所谓样条，直观理解就是"分段多项式 + 节点处的光滑拼接条件"。它把整条曲线拆成若干段低次多项式，每段只负责相邻两个数据点之间的一小段，再通过强制相邻段在节点处的函数值、一阶导数、二阶导数相等，把各段"缝合"成一条整体光滑的曲线。这样既保留了低次多项式的数值稳定性，又获得了全局的光滑性。而光滑曲线构造则更进一步：它不只关心"曲线是否穿过给定点"，还关心曲线的曲率分布、能量大小、形状是否可控、是否避免多余摆动，因而涉及参数化方式、边界条件、张力因子、控制点与逼近策略等一系列设计选择。
本节要解决的核心问题
本课程围绕四个层层递进的核心问题展开。第一，表示问题：如何用数学形式描述一条分段曲线？这里要区分插值（曲线必须过点）与逼近（曲线靠近点但不一定过点），也要理解参数曲线 x(t)、y(t) 与函数曲线 y=f(x) 的差别——前者能表示闭合、自交、竖直切线等一般形状，后者不能。第二，光滑性问题：C⁰、C¹、C² 连续分别意味着什么？为什么三次样条恰好能做到 C² 连续，而二次样条做不到？第三，求解问题：给定数据点和边界条件，如何实际算出各段多项式的系数？这最终归结为一个三对角线性方程组，需要理解它的来源与解法。第四，构造与调控问题：当数据有噪声、需要局部修改、或要求曲线具有特定形状（如单调、无过冲）时，如何选择参数化、节点向量与张力参数来达到目的。
学习目标与能力落点
完成本课程后，学习者应达到三个层次的目标。在概念层，能准确区分插值与逼近、函数表示与参数表示，说清 C⁰、C¹、C² 连续的数学含义及其几何表现，理解为什么工程上普遍选用三次而非更高次的分段多项式。在计算层，能独立完成三次样条插值的完整推导与手算：给定 4 至 6 个数据点，写出各段三次多项式，列出节点处的连续性方程，结合边界条件组装三对角方程组，用追赶法求解二阶导数或系数，并代入验证曲线确实过点且导数连续。在应用层，能根据数据特征选择参数化方式与边界条件，能识别并处理过冲、振荡、局部修改影响全局等典型问题，能对一条构造出的曲线做出"是否满足工程要求"的判断。
课程路线图与各阶段任务
课程整体按"表示—光滑—求解—构造—应用"的主线推进，共 30 章，可划分为五个阶段。第一阶段（约第 1–6 章）建立基础：从多项式插值的困境出发，引入分段思想，讲清样条的定义、连续阶数与节点概念，并对比函数曲线与参数曲线两种表示。第二阶段（约第 7–14 章）聚焦三次样条：完整推导 C² 连续条件，系统讲解自然边界、夹持边界、周期边界与"非节点"边界，重点训练三对角方程组的组装与追赶法求解，并分析误差与收敛性。第三阶段（约第 15–21 章）转向 B 样条与 NURBS：理解控制点、节点向量、基函数的局部支撑性，掌握 de Boor 递推求值与节点插入，体会"移动一个控制点只影响局部"这一工程上极为宝贵的性质。第四阶段（约第 22–26 章）处理构造与调控：参数化方法（均匀、弦长、向心）、张力样条、单调保形插值、曲率与能量优化，解决"曲线虽然光滑但形状不可接受"的问题。第五阶段（约第 27–30 章）面向综合应用与复盘：曲线拟合与平滑、曲面初步、典型工程案例与常见错误排查。
一个贯穿全程的示例
为使抽象概念有具体依托，课程将反复使用一个示例：给定平面上 5 个型值点 P₀(0,0)、P₁(1,2)、P₂(2,1.5)、P₃(3,3)、P₄(4,2)，要求构造一条通过这些点的光滑曲线。若用折线连接，节点处斜率从 2 突变为 −0.5，视觉上出现明显折角；若用四次多项式硬插，端点附近会出现大幅摆动。而采用自然三次样条，则需在两端令二阶导数为零，中间三个节点各列一个二阶导数连续方程，最终得到一个 5 元三对角方程组，解出各节点二阶导数后即可逐段写出三次多项式。这个例子将在后续章节中被反复扩展：改变边界条件看曲线端点如何变化，改用弦长参数化看形状如何改善，加入张力因子看能否消除过冲。学习者应把它当作一条"主线案例"，每学一个新工具就回到它上面验证一次。
需要强调的是，样条方法的价值不仅在于"画出一条好看的线"，更在于它把几何连续性与数值稳定性统一在一个可计算、可调控的框架内。理解了这一点，后续无论是做轨迹规划、字体轮廓设计、有限元网格生成，还是处理实验数据的平滑拟合，都能找到对应的工具与判断标准。