Bézierkurve

Die Bézierkurve [be'zje...] ist in der numerischen Mathematik eine parametrisch modellierte Kurve, die ein wichtiges Werkzeug für Vektorgrafiken darstellt. In der Computergrafik sind Bézierkurven wegen ihrer geometrischen Eleganz und mathematischen Leichtigkeit beliebt. Eine Bézierkurve am Bildschirm besteht, vereinfacht ausgedrückt, statt aus vielen bunten Pixeln aus einer relativ einfachen Formel.

Sie wurde Anfang der 1960er Jahre unabhängig voneinander von Pierre Bézier bei Renault und Paul de Casteljau bei Citroën für Computer-Aided Design (computerunterstützte Konstruktion) entwickelt. Paul de Casteljau gelang zwar die Entdeckung früher, Citroën hielt seine Forschungen jedoch bis zum Ende der 1960er Jahre als Betriebsgeheimnis zurück.

Kubische Bézierkurve

Definition

Konstruktion einer kubischen Bézierkurve

Eine Bézierkurve n-ten Grades zu gegebenen n+1 Kontroll- oder Bézierpunkten $(P_i)_{i=0}^n$, die das so genannte Kontrollpolygon bilden, ist für $t \in [0,1]$ definiert als

$C(t)= \sum_{i=0}^n B_{i,n}(t) P_i$

wobei

$B_{i,n}(t)= \binom n i t^i (1-t)^{n-i}$

das i-te Bernsteinpolynom n-ten Grades ist. Diese bilden eine Basis des Vektorraums der Polynome und erfüllen die Rekursionsformel

$B_{i,n}(t) = (1-t) \cdot B_{i,n-1}(t) \,+\, t \cdot B_{i-1,n-1}(t)$

mit B_i,n: = 0 für i < 0 oder i > n, sowie B_0,0: = 1. Dies erlaubt eine numerisch stabile rekursive Berechnung der Werte einer Bézierkurve mit Hilfe des De-Casteljau-Algorithmus:

$\begin{align} C_i^0(t) & \;:=\; P_i \\ C_i^j(t) & \;:=\; (1-t)C_i^{j-1}(t) \,+\, tC_{i+1}^{j-1}(t) \quad\text{mit}\quad j=1, \ldots ,n \quad\text{und}\quad i=0,\ldots,n-j \end{align}$

Eigenschaften

Bézierkurven der Grade 1, 2 und 3 (rot) und die zugehörigen Kontrollpolygone (grau). Von links nach rechts wurde jeweils ein weiterer Kontrollpunkt (blau) hinzu­gefügt. Man erkennt, wie die Kurve bei Einfügen/Verändern eines Kontrollpunkts „oszilliert“, d. h., ihre Richtung und Krümmung verändert.

• Die Kurve liegt innerhalb der konvexen Hülle des Kontrollpolygons. Dies folgt daraus, dass die Bernsteinpolynome vom Grad n eine Zerlegung der Eins sind:

$1 = \sum_{i=0}^n B_{i,n}(t) \quad t \in [0,1]$

• Die Kurve geht genau durch die Endpunkte P₀ und P_n:

$\begin{align} C(0) \; & = \; \sum_{i=0}^n \binom n i 0^i(1-0)^{n-i} P_i\\ & = \; P_0 \\ C(1) \; & = \; P_n \end{align}$

• Die Tangenten in den Endpunkten sind:

$\begin{align} C'(0) \;&=\; n \cdot (P_1 - P_0)\\ C'(1) \;&=\; n \cdot (P_n - P_{n-1}) \end{align}$

• Eine Gerade schneidet eine Bézierkurve höchstens so oft, wie sie ihr Kontrollpolygon schneidet (die Kurve hat eine beschränkte Schwankung).
• Eine affine Transformation (Verschiebung, Skalierung, Rotation, Scherung) kann auf die Bézierkurve durch Transformation des Kontrollpolygons angewendet werden („affine Invarianz“).
• Liegen alle Kontrollpunkte auf einer Geraden, so wird die Bézierkurve zu einer Strecke (Vorteil gegenüber der Polynominterpolation).
• Der Einfluss eines Kontrollpunktes auf die Kurve ist global. Das heißt: Verschiebt man einen Punkt, verändert sich die gesamte Kurve. Daher verwendet man in der Praxis meist Splines, zusammengesetzte Kurven festen Grades, die stetig ineinander übergehen.
• Eine Bézierkurve kann immer in zwei Bézierkurven gleicher Ordnung geteilt werden, wobei sich die neuen Kontrollpunkte aus den vorherigen Stützpunkten ergeben. Dabei ist der Trennungspunkt vom Parameter t abhängig. Aus der Abbildung für die Konstruktion einer Bézierkurve ist ersichtlich, dass sich die neue erste Kurve aus den Kontrollpunkten P₀,Q₀,R₀,B zusammensetzt, während die zweite Kurve aus den Punkten B,R₁,Q₂,P₃ besteht. Diese Eigenschaft kann genutzt werden um eine Kurve rekursiv mit Hilfe des De-Casteljau-Algorithmus durch Geraden anzunähern.

Als verallgemeinerte Form der Bézierkurve kann die Bézierfläche gesehen werden. Eine Bézierfläche (n,m)-ter Ordnung ist eine Fläche der Form

$C(u, v) = \sum_{i=0}^n \sum_{j=0}^m P_{i,j} B_{i,n}(u) B_{j,m}(v)$

mit den Kontrollpunkten P_i,j und den Bernsteinpolynomen B_i,n(u) und B_j,m(v).

Eine Bézierfläche kann also durch zwei zueinander orthogonale Bézierkurven beschrieben werden.

Anwendung

In der Computergrafik werden Bézierkurven zur Definition von Kurven und Flächen im Rahmen von CAD, bei Vektorgrafiken (z. B. SVG) und zur Beschreibung von Schriften (z. B. Postscript Type1, TrueType und CFF-Opentype) verwendet.

Beispiele

Lineare Bézierkurven (n=1)

Zwei Kontrollpunkte P₀ und P₁ bestimmen eine lineare Bézierkurve, die einer Geraden zwischen diesen beiden Punkten entspricht. Die Kurve wird angegeben durch

$\begin{align} C(t) \ & =\ \sum_{i=0}^1 t^i (1-t)^{1-i} P_i \\ \ & =\ (1-t)P_0 + t P_1 \mbox{ , } t \in [0,1] \end{align}$

Quadratische Bézierkurven (n=2)

Eine quadratische Bézierkurve ist der Pfad, der durch die Funktion C(t) für die Punkte P₀, P₁ und P₂ verfolgt wird:

$\begin{align} C(t) \ & =\ \sum_{i=0}^2 \binom 2 i t^i (1-t)^{2-i} P_i \\ \ & =\ (1 - t)^{2}P_0 + 2t(1 - t)P_1 + t^{2}P_2 \mbox{ , } t \in [0,1] \end{align}$

Kubische Bézierkurven (n=3)

Kubische Bézierkurven sind in der Praxis von großer Bedeutung, da sowohl B-Spline-Kurven, als auch NURBS stückweise in kubische Bézierkurven umgewandelt werden, um dann effizient mit dem De-Casteljau-Algorithmus gezeichnet zu werden. Selbiges gilt für hermitesche Splines, die in ihrer kubischen Form, vor allem in der Computeranimation zur Interpolation zwischen Keyframes verwendet werden.

Vier Punkte (P₀, P₁, P₂ und P₃) bestimmen eine kubische Bézierkurve. Die Kurve beginnt bei P₀ und geht in Richtung P₁ und dann aus Richtung P₂ zu P₃. Im Allgemeinen geht die Kurve nicht durch P₁ und P₂ – diese Punkte dienen nur der Richtung, wobei P₁ die Richtung bestimmt, in welche die Kurve in P₀ geht. P₂ legt die Richtung fest, aus welcher die Kurve zu P₃ geht. Der Abstand zwischen P₀ und P₁ und der Abstand von P₂ und P₃ bestimmen, „wie weit“ sich die Kurve in Richtung der Kontrollpunkte P₁ und P₂ bewegt, bevor sie in Richtung P₃ läuft.

$\begin{align} C(t) \ & = \ \sum_{i=0}^3 \binom 3 i t^i (1-t)^{3-i} P_i \\ & = \ (1-t)^3P_0+3t(1-t)^2P_1+3t^2(1-t)P_2+t^3P_3 \\ & = \ (-P_0 + 3P_1 -3P_2 + P_3) t^3 + (3P_0 - 6P_1 + 3P_2) t^2 + (-3P_0 + 3P_1) t + P_0, t \in [0,1] \end{align}$

Gebrochenrationale Bézierkurve

Gebrochenrationale Bezierkurve dritten Grades mit unterschiedlicher Gewichtung der Kontrollpunkte

Gebrochenrationale Bézierkurven können vereinfacht als Bézierkurven betrachtet werden, deren Kontrollpunkte mit Gewichten/Anziehungskraft versehen sind und die damit den Kurvenverlauf in ihre Richtung hin beeinflussen.

Die Bezeichnung als gebrochenrationale Bézierkurven ergibt sich wohl aus der häufig gewählten Formeldarstellung

$C(t) \ = \ \frac{\sum_{i=0}^n w_i B_{i,n}(t) P_i}{\sum_{i=0}^n w_i B_{i,n}(t)}$.

Die Darstellung als Quotient, sowie die zu einfache Vorstellung der Funktion der Gewichte, können aber leicht zu einem falschen Verständnis der Zusammenhänge führen.

Genese

Die Multiplikation der Kontrollpunkte (Ortsvektoren) mit ihren zugehörigen Gewichten, wie sie in obiger Formeldarstellung erkennbar ist, entspricht nicht einer einfachen Skalierung der Ortsvektoren, sondern einer Koordinatentransformation in den projektiven Raum – Ergebnis der Multiplikation ist also der Ortsvektor, der in homogenen Koordinaten dargestellt ist. Nach der Transformation in den projektiven Raum wird die Kurve nach dem normalen Bildungsgesetz erzeugt und anschließend wieder in den Ursprungsraum zurück transformiert, was praktisch durch das Teilen erfolgt.

Projektiver Raum und homogene Koordinaten

Die Projektion der Kontrollpunkte in den projektiven Raum mittels ihrer Gewichte verändert im Allgemeinen (also wenn nicht alle Gewichte gleich 1 sind) die Lage der Kontrollpunkte zueinander, verzerrt also das Kontrollpolygon. Diese Verzerrung wirkt sich nun so aus, dass die Kurve sich in der zurücktransformierten Darstellung den Punkten mit höherer Gewichtung stärker nähert.

Weblinks

• Eric W. Weisstein: Bézier Curve. In: MathWorld. (englisch)

Drei Stützpunkte

• Formelbeispiel

Vier Stützpunkte

• Bezierkurven zeichnen (direkt im Browser, Ausgabe direkt als Bild. Ohne Java)
• Mehrere Java-Applets mit Erläuterungen
• Java-Applet

Mehr als 4 Stützpunkte

• Java-Applet mit Dokumentation (10 Stützpunkte, kann neben Bézier auch B-Spline- und NURBS-Kurven erstellen)

Literatur

• Gerald Farin: Curves and Surfaces for CAGD. A practical guide. 5. Aufl. Academic Press, San Diego 2002, ISBN 1-55860-737-4
• David Salomon: Curves and Surfaces for Computer Graphics. Springer Science+Business Media, Inc., 2006, ISBN 0-387-24196-5
• Boaswan Dzung Wong: Bézierkurven: gezeichnet und gerechnet. Orell Füssli Verlag, Zürich 2003, ISBN 3-280-04021-3
• Wolfgang Boehm, Gerald Farin, Jürgen Kahmann: A survey of curve and surface methods in CAGD, Comput. Aided Geom. Des. 1, S. 1-60, 1984