1. 为什么我们需要B样条曲线？从Bezier的局限说起
大家好，我是老张，在图形学和工业软件领域摸爬滚打了十几年，画过的曲线曲面自己都数不清了。今天想和大家深入聊聊B样条曲线，特别是它的核心——那个看似复杂、实则精妙的递推公式。很多朋友一上来就被“节点矢量”、“阶次”、“de Boor-Cox公式”这些术语吓退了，其实它的核心思想非常直观，就是为了解决我们工作中一个非常实际的问题：如何更灵活、更局部地控制一条复杂曲线？
让我们从一个更熟悉的工具——Bezier曲线——说起。Bezier曲线大家应该都用过，比如在Photoshop里用钢笔工具画路径，或者在PPT里画个平滑的箭头，背后很可能就是Bezier。它用一组控制点来定义曲线，简单直观。但用久了，尤其是在做复杂的产品外形设计时，它的几个“硬伤”就暴露出来了。
第一，牵一发而动全身。你想微调曲线中间某个地方的形状，稍微挪动一个控制点，好家伙，整条曲线都跟着变了。这是因为Bezier曲线的伯恩斯坦基函数在整个参数区间[0,1]内都有值（专业说法叫“全局支撑”）。这就好比一张绷紧的渔网，你扯动任何一个节点，整张网的形状都会改变。在汽车车身或者手机外壳的曲面设计里，这简直是个灾难，设计师只想修改门把手附近的弧度，结果车头灯的形状也跟着变了，这谁受得了？
第二，控制点数量直接决定了曲线的复杂程度（次数）。3个控制点就是二次曲线，4个点就是三次曲线。想要更复杂的形状，就得加控制点，而每加一个点，曲线的次数就升高一次。高次曲线计算量大不说，还容易出现数值不稳定和意想不到的震荡，就像一根高次多项式拟合的曲线，可能会在数据点之间“乱抖”。
第三，拼接很麻烦。想把两段Bezier曲线光滑地（比如C1或C2连续）连接起来，需要对连接点处的控制点位置有非常严格的约束，操作起来很不直观。
正是这些痛点，催生了B样条。B样条的核心优势就在于 “局部性” 。每个控制点只影响曲线的一小段范围，调整它，曲线的其他部分基本不动。同时，它还能用较低次数的曲线段（比如三次）拼接出任意复杂的形状，既保证了灵活性，又避免了高次多项式的问题。可以说，B样条是在保留Bezier直观性的基础上，进行的一次“精准外科手术式”的升级。
2. 理解B样条的基石：de Boor-Cox递推公式
说了这么多好处，B样条到底是怎么做到的呢？秘密就藏在它的“基函数”里，而计算这些基函数，全靠一个经典的de Boor-Cox递推公式。别怕，我们一步步拆解。
首先，一条k次（或k+1阶）的B样条曲线，是由一组控制点 P0, P1, …, Pn 和一个节点向量 U = [u0, u1, …, u_{n+k+1}] 共同定义的。节点向量是一个非递减的实数序列，它把参数轴划分成若干区间。B样条基函数 N_{i,k}(u) 就定义在这些节点上。
那么，这个关键的递推公式长这样：
N_{i,0}(u) = 1, 如果 u_i <= u < u_{i+1}；否则为 0。
N_{i,k}(u) = [(u – u_i) / (u_{i+k} – u_i)] * N_{i,k-1}(u) + [(u_{i+k+1} – u) / (u_{i+k+1} – u_{i+1})] * N_{i+1,k-1}(u)
公式看起来有点唬人，我们用人话翻译一下，并用一个生活化的类比来理解。
第一行是“地基”：零次（k=0）的B样条基函数，就是一个简单的“开关”。在它自己的小地盘 [u_i, u_{i+1}) 里，它的值是1（通电），出了这个地盘，值就是0（断电）。你可以把它想象成一排依次亮起的小灯泡，每个灯泡只在自己的时间段内发光。
第二行是“搭建规则”：要得到一个k次的基函数，我们需要用两个低一阶（k-1次）的基函数，像搭积木一样，按一定比例混合起来。混合的比例 (u – u_i)/(u_{i+k} – u_i) 和 (u_{i+k+1} – u)/(u_{i+k+1} – u_{i+1})，就是参数u在当前节点区间内的“权重”。这个权重是线性的，从0到1变化。
这个过程很像**杨辉三角（帕斯卡三角）**的生成方式。计算 N_{i,k} 时，需要用到 N_{i,k-1} 和 N_{i+1,k-1}。我们可以画一个三角形表格，最底层是零次基函数（一堆0和1），然后层层向上递归计算，最终得到我们所需次数的基函数值。这种递归结构是算法实现的精髓。
这里有一个非常重要的约定：当公式中出现分母为零（即 u_{i+k} – u_i = 0）的情况时，我们规定整个分式项为零。这个约定保证了算法的鲁棒性，特别是在处理重复节点时。
2.1 递推过程可视化：从零次到三次
光说理论有点干，我们来看几个具体的例子，感受一下这个递推是如何“生长”出不同形状的基函数的。
零次B样条 (k=0)：就是之前说的“平台函数”或“盒子函数”。假设节点向量是 [0, 1, 2, 3, …]，那么 N_{1,0}(u) 在 u ∈ [1, 2) 时为1，其他区间为0。它的图像是一个宽度为1的矩形脉冲。
一次B样条 (k=1)：由两个相邻的零次基函数混合而成。例如 N_{1,1}(u)，它由 N_{1,0}(u) 和 N_{2,0}(u) 混合。在区间 [1, 2)，它从0线性增长到1；在区间 [2, 3)，它从1线性衰减到0。它的图像是一个顶角在u=2处的三角形，或者说是我们熟悉的线性插值的形状。这就是一次样条，是分段的线性函数。
二次B样条 (k=2)<
