wiki-贝塞尔曲线

三次方贝塞尔曲线

在数学的数值分析领域中，贝塞尔曲线, 又称贝赛尔曲线（Bézier曲线）是电脑图形学中相当重要的参数曲线。更高维度的广泛化贝塞尔曲线就称作贝塞尔曲面，其中贝塞尔三角是一种特殊的实例。

贝塞尔曲线于1962年，由法国工程师皮埃尔·贝塞尔（Pierre Bézier）所广泛发表，他运用贝塞尔曲线来为汽车的主体进行设计。贝塞尔曲线最初由Paul de Casteljau于1959年运用de Casteljau算法开发，以稳定数值的方法求出贝塞尔曲线。

[编辑]实例说明

[编辑]线性贝塞尔曲线

给定点P₀、P₁，线性贝塞尔曲线只是一条两点之间的直线。这条线由下式给出：

$mathbf{B}(t)=mathbf{P}_0 + (mathbf{P}_1-mathbf{P}_0)t=(1-t)mathbf{P}_0 + tmathbf{P}_1 mbox{ , } t in [0,1]$

且其等同于线性插值。

[编辑]二次方贝塞尔曲线

二次方贝塞尔曲线的路径由给定点P₀、P₁、P₂的函数B（t）追踪：

$mathbf{B}(t) = (1 - t)^{2}mathbf{P}_0 + 2t(1 - t)mathbf{P}_1 + t^{2}mathbf{P}_2 mbox{ , } t in [0,1]$ 。

TrueType字型就运用了以贝塞尔样条组成的二次贝塞尔曲线。

[编辑]三次方贝塞尔曲线

P₀、P₁、P₂、P₃四个点在平面或在三维空间中定义了三次方贝塞尔曲线。曲线起始于P₀走向P₁，并从P₂的方向来到P₃。一般不会经过P₁或P₂；这两个点只是在那里提供方向资讯。P₀和P₁之间的间距，决定了曲线在转而趋进P₃之前，走向P₂方向的“长度有多长”。

曲线的参数形式为：

$mathbf{B}(t)=mathbf{P}_0(1-t)^3+3mathbf{P}_1t(1-t)^2+3mathbf{P}_2t^2(1-t)+mathbf{P}_3t^3 mbox{ , } t in [0,1]$ 。

现代的成象系统，如PostScript、Asymptote和Metafont，运用了以贝塞尔样条组成的三次贝塞尔曲线，用来描绘曲线轮廓。

[编辑]一般化

$n$ 阶贝塞尔曲线可如下推断。给定点P₀、P₁、…、P_n，其贝塞尔曲线即

$mathbf{B}(t)=sum_{i=0}^n {nchoose i}mathbf{P}_i(1-t)^{n-i}t^i ={nchoose 0}mathbf{P}_0(1-t)^nt^{0}+{nchoose 1}mathbf{P}_1(1-t)^{n-1}t^{1}+cdots+{nchoose n-1}mathbf{P}_n(1-t)^{1}t^{n-1}+{nchoose n}mathbf{P}_n(1-t)^{0}t^n mbox{ , } t in [0,1]$ 。

例如 $n=5$ ：

$mathbf{B}(t)=mathbf{P}_0(1-t)^5+5mathbf{P}_1t(1-t)^4+10mathbf{P}_2t^2(1-t)^3+10mathbf{P}_3t^3(1-t)^2+5mathbf{P}_4t^4(1-t)+mathbf{P}_5t^5 mbox{ , } t in [0,1]$ 。

如上公式可如下递归表达：用 $mathbf{B}_{mathbf{P}_0mathbf{P}_1ldotsmathbf{P}_n}$ 表示由点P₀、P₁、…、P_n所决定的贝塞尔曲线。则

$mathbf{B}(t) = mathbf{B}_{mathbf{P}_0mathbf{P}_1ldotsmathbf{P}_n}(t) = (1-t)mathbf{B}_{mathbf{P}_0mathbf{P}_1ldotsmathbf{P}_{n-1}}(t) + tmathbf{B}_{mathbf{P}_1mathbf{P}_2ldotsmathbf{P}_n}(t)$

用平常话来说， $n$ 阶的贝塞尔曲线，即双 $n-1$ 阶贝塞尔曲线之间的插值。

[编辑]术语

一些关于参数曲线的术语，有

$mathbf{B}(t) = sum_{i=0}^n mathbf{P}_imathbf{b}_{i,n}(t),quad tin[0,1]$

即多项式

$mathbf{b}_{i,n}(t) = {nchoose i} t^i (1-t)^{n-i},quad i=0,ldots n$

又称作n阶的伯恩斯坦基底多项式，定义0⁰ = 1。

点P_i称作贝塞尔曲线的控制点。多边形以带有线的贝塞尔点连接而成，起始于P₀并以P_n终止，称作贝塞尔多边形（或控制多边形）。贝塞尔多边形的凸包（convex hull）包含有贝塞尔曲线。

[编辑]注解

开始于P₀并结束于P_n的曲线，即所谓的端点插值法属性。
曲线是直线的充分必要条件是所有的控制点都位在曲线上。同样的，贝塞尔曲线是直线的充分必要条件是控制点共线。
曲线的起始点（结束点）相切于贝塞尔多边形的第一节（最后一节）。
一条曲线可在任意点切割成两条或任意多条子曲线，每一条子曲线仍是贝塞尔曲线。
一些看似简单的曲线（如圆）无法以贝塞尔曲线精确的描述，或分段成贝塞尔曲线（虽然当每个内部控制点对单位圆上的外部控制点水平或垂直的的距离为 $4left(sqrt{2} -1 ight)/3$ 时，分成四段的贝塞尔曲线，可以小于千分之一的最大半径误差近似于圆）。
位于固定偏移量的曲线（来自给定的贝塞尔曲线），又称作偏移曲线（假平行于原来的曲线，如两条铁轨之间的偏移）无法以贝塞尔曲线精确的形成（某些琐屑实例除外）。无论如何，现存的启发法通常可为实际用途中给出近似值。

[编辑]建构贝塞尔曲线

[编辑]线性曲线

线性贝塞尔曲线演示动画，t in [0,1]

线性贝塞尔曲线函数中的t会经过由P₀至P₁的B（t）所描述的曲线。例如当t=0.25时，B（t）即一条由点P₀至P₁路径的四分之一处。就像由0至1的连续t，B（t）描述一条由P₀至P₁的直线。

[编辑]二次曲线

为建构二次贝塞尔曲线，可以中介点Q₀和Q₁作为由0至1的t：

由P₀至P₁的连续点Q₀，描述一条线性贝塞尔曲线。
由P₁至P₂的连续点Q₁，描述一条线性贝塞尔曲线。
由Q₀至Q₁的连续点B（t），描述一条二次贝塞尔曲线。


二次贝塞尔曲线的结构		二次贝塞尔曲线演示动画，t in [0,1]

[编辑]高阶曲线

为建构高阶曲线，便需要相应更多的中介点。对于三次曲线，可由线性贝塞尔曲线描述的中介点Q₀、Q₁、Q₂，和由二次曲线描述的点R₀、R₁所建构：


三次贝塞尔曲线的结构		三次贝塞尔曲线演示动画，t in [0,1]

对于四次曲线，可由线性贝塞尔曲线描述的中介点Q₀、Q₁、Q₂、Q₃，由二次贝塞尔曲线描述的点R₀、R₁、R₂，和由三次贝塞尔曲线描述的点S₀、S₁所建构：


四次贝塞尔曲线的结构		四次贝塞尔曲线演示动画，t in [0,1]

（还可参阅五阶贝塞尔曲线的构成。）

[编辑]升阶

n次贝塞尔曲线可以转换为一个形状完全相同的n+1次贝塞尔曲线。这在软件只支援特定阶次的贝塞尔曲线时很有用。例如，Cairo只支援三次贝塞尔曲线，你就可以用升阶的方法在Cairo画出二次贝塞尔曲线。

我们利用 $mathbf{B}(t) = (1-t)mathbf{B}(t) + tmathbf{B}(t)$ 这个特性来做升阶。我们把曲线方程式中每一项 $mathbf{b}_{i,n}(t)mathbf{P}_i$ 都乘上 (1 − t) 或 t，让每一项都往上升一阶。以下是将二阶升为三阶的范例

$egin{align} & {} quad (1 - t)^{2}mathbf{P}_0 + 2(1 - t)tmathbf{P}_1 + t^{2}mathbf{P}_2 \ & = (1 - t)^{3}mathbf{P}_0 + (1 - t)^{2}tmathbf{P}_0 + 2(1 - t)^{2}tmathbf{P}_1 \ & {} qquad + 2(1 - t)t^{2}mathbf{P}_1 + (1 - t)t^{2}mathbf{P}_2 + t^{3}mathbf{P}_2 \ & = (1 - t)^{3}mathbf{P}_0 + 3(1 - t)^{2}tfrac{mathbf{P}_0 + 2mathbf{P}_1}{3} + 3(1 - t)t^{2}frac{2mathbf{P}_1 + mathbf{P}_2}{3} + t^{3}mathbf{P}_2 end{align}$

对任何的n值，我们都可以使用以下等式

${n+1 choose i}(1-t)mathbf{b}_{i,n} = {n choose i} mathbf{b}_{i,n+1}, quad (1-t)mathbf{b}_{i,n} = frac{n+1-i}{n+1} mathbf{b}_{i,n+1}$

${n+1 choose i+1} tmathbf{b}_{i,n} = {n choose i} mathbf{b}_{i+1,n+1}, quad tmathbf{b}_{i,n} = frac{i+1}{n+1} mathbf{b}_{i+1,n+1}$

$egin{align} mathbf{B}(t) & = (1-t)sum_{i=0}^n mathbf{b}_{i,n}(t)mathbf{P}_i + tsum_{i=0}^n mathbf{b}_{i,n}(t)mathbf{P}_i \ & = sum_{i=0}^n frac{n+1-i}{n+1}mathbf{b}_{i,n+1}(t)mathbf{P}_i + sum_{i=0}^n frac{i+1}{n+1}mathbf{b}_{i+1,n+1}(t)mathbf{P}_i \ & = sum_{i=0}^{n+1} left(frac{i}{n+1}mathbf{P}_{i-1} + frac{n+1-i}{n+1}mathbf{P}_i ight) mathbf{b}_{i,n+1}(t) = sum_{i=0}^{n+1} mathbf{b}_{i,n+1}(t)mathbf{P'}_i end{align}$

式中 $mathbf{P}_{-1}$ 和 $mathbf{P}_{n+1}$ 可以任意挑选。

因此，新的控制点为^[1]

$mathbf{P'}_i = frac{i}{n+1}mathbf{P}_{i-1} + frac{n+1-i}{n+1}mathbf{P}_i,quad i=0,ldots, n+1.$

[编辑]应用

[编辑]电脑绘图

贝塞尔曲线被广泛地在计算机图形中用来为平滑曲线建立模型。

二次和三次贝塞尔曲线最为常见

[编辑]程式范例

下列程式码为一简单的实际运用范例，展示如何使用C标出三次方贝塞尔曲线。注意，此处仅简单的计算多项式系数，并读尽一系列由0至1的t值；实践中一般不会这么做，递归求解通常会更快速——以更多的内存为代价，花费较少的处理器时间。不过直接的方法较易于理解并产生相同结果。以下程式码已使运算更为清晰。实践中的最佳化会先计算系数一次，并在实际计算曲线点的循环中反复使用。此处每次都会重新计算，损失了效率，但程式码更清楚易读。

曲线的计算可在曲线阵列上将相连点画上直线——点越多，曲线越平滑。

在部分架构中，下以程式码也可由动态规划进行最佳化。举例来说，dt是一个常数，cx * t则等同于每次反复就修改一次常数。经反复应用这种最佳化后，循环可被重写为没有任何乘法（虽然这个过程不是稳定数值的）。

/*
 產生三次方貝茲曲線的程式碼
*/
 
typedef struct
{
    float x;
    float y;
}
Point2D;
 
/*
 cp在此是四個元素的陣列:
 cp[0]為起始點，或上圖中的P0
 cp[1]為第一個控制點，或上圖中的P1
 cp[2]為第二個控制點，或上圖中的P2
 cp[3]為結束點，或上圖中的P3
 t為參數值，0 <= t <= 1
*/
 
Point2D PointOnCubicBezier( Point2D* cp, float t )
{
    float   ax, bx, cx;
    float   ay, by, cy;
    float   tSquared, tCubed;
    Point2D result;
 
    /*計算多項式係數*/
 
    cx = 3.0 * (cp[1].x - cp[0].x);
    bx = 3.0 * (cp[2].x - cp[1].x) - cx;
    ax = cp[3].x - cp[0].x - cx - bx;
 
    cy = 3.0 * (cp[1].y - cp[0].y);
    by = 3.0 * (cp[2].y - cp[1].y) - cy;
    ay = cp[3].y - cp[0].y - cy - by;
 
    /*計算位於參數值t的曲線點*/
 
    tSquared = t * t;
    tCubed = tSquared * t;
 
    result.x = (ax * tCubed) + (bx * tSquared) + (cx * t) + cp[0].x;
    result.y = (ay * tCubed) + (by * tSquared) + (cy * t) + cp[0].y;
 
    return result;
}
 
/*
 ComputeBezier以控制點cp所產生的曲線點，填入Point2D結構的陣列。
 呼叫者必須分配足夠的記憶體以供輸出結果，其為<sizeof(Point2D) numberOfPoints>
*/
 
void ComputeBezier( Point2D* cp, int numberOfPoints, Point2D* curve )
{
    float   dt;
    int     i;
 
    dt = 1.0 / ( numberOfPoints - 1 );
 
    for( i = 0; i < numberOfPoints; i++)
        curve[i] = PointOnCubicBezier( cp, i*dt );
}

另一种贝塞尔曲线的应用是在动画中，描述物件的运动路径等等。此处，曲线的x、y位置不用来标示曲线，但用来表示图形位置。当用在这种形式时，连续点之间的距离会变的更为重要，且大多不是平均比例。点将会串的更紧密，控制点更接近每一个点，而更为稀疏的控制点会散的更开。如果需要线性运动速度，进一步处理时就需要循所需路径将点平均分散。

[编辑]多项式表示法

有时我们可能想要把贝塞尔曲线表示为多项式，而非比较不直接的伯恩斯坦多项式。使用二项式定理和贝塞尔曲线的定义，重新整理后可以得到：

$mathbf{B}(t) = sum_{j = 0}^n {t^j mathbf{C}_j}$

此处

$mathbf{C}_j = frac{n!}{(n - j)!} sum_{i = 0}^j frac{(-1)^{i + j} mathbf{P}_i}{i! (j - i)!} = prod_{m = 0}^{j - 1} (n - m) sum_{i = 0}^j frac{(-1)^{i + j} mathbf{P}_i}{i! (j - i)!} .$

计算曲线上的点时需要多次计算 $mathbf{B}(t)$ ，因此事先计算好 $mathbf{C}_j$ 会比较实际；然而要小心高阶曲线可能会缺乏数值稳定性（需使用De Casteljau算法来处理）。注意其empty product为1。

[编辑]有理贝塞尔曲线

有理贝塞尔增加可调节的权重，以提供更近似于随意的形状。分子是加权的伯恩斯坦形式贝塞尔曲线，而分母是加权的伯恩斯坦多项式的总和。

给定n + 1控制点P_i，有理贝塞尔曲线可如下描述：

$mathbf{B}(t) = frac{ sum_{i=0}^n b_{i,n}(t) mathbf{P}_{i}w_i } { sum_{i=0}^n b_{i,n}(t) w_i }$

或简单的

$mathbf{B}(t) = frac{ sum_{i=0}^n {n choose i} t^i (1-t)^{n-i}mathbf{P}_{i}w_i } { sum_{i=0}^n {n choose i} t^i (1-t)^{n-i}w_i }$

[编辑]参阅

de Casteljau算法
样条
贝塞尔样条
贝塞尔曲面
贝塞尔三角
NURBS
string art，Bézier curves are also formed by many common forms of string art, where strings are looped across a frame of nails.
埃尔米特曲线

[编辑]参考文献

Paul Bourke: Bézier curves, http://astronomy.swin.edu.au/~pbourke/curves/bezier/
Donald Knuth: Metafont: the Program, Addison-Wesley 1986, pp. 123-131. Excellent discussion of implementation details; available for free as part of the TeX distribution.
Dr Thomas Sederberg, BYU Bézier curves, http://www.tsplines.com/resources/class_notes/Bezier_curves.pdf
J.D. Foley et al.: Computer Graphics: Principles and Practice in C (2nd ed., Addison Wesley, 1992)

^ Farin, Gerald, Curves and surfaces for computer-aided geometric design. 4, Elsevier Science & Technology Books. 1997, ISBN 978 0 12249054 5

[编辑]外部链接

三阶贝塞尔曲线applet（英文）
即时数学贝塞尔applet（英文）
各种样条类型的即时数学贝塞尔applet，样条的JAVA程式设计在交互式介绍样条（英文）
Module for Bezier Curves by John H. Mathews（英文）
Hermite与Bezier曲线绘制方法
北斗星君简介贝塞尔曲线