On-Line Geometric Modeling Notes

Overview

The Bézier curve representation is one that is utilized most frequently in computer graphics and geometric modeling. The curve is defined geometrically, which means that the parameters have geometric meaning - they are just points in three-dimensional space. It was developed by two competing European engineers in the late 1960s to attempt to draw automotive components.

In these notes, we develop the quadratic Bézier curve. This curve can be developed through a divide-and-conquer approach whose basic operation is the generation of midpoints on the curve. However, this time we develop the curve by calculating points other than midpoints - resulting in a useful parameterization for the curve.

Development of the Quadratic Bézier Curve

Given three control points and we develop a divide procedure that is based upon a parameter , which is a number between 0 and (the illustrations utilize the value ). This proceeds as follows:

• First let be the point on the segment defined by

• then let be the point on the segment defined by

• and finally let be the point on the segment defined by

• Define .

This is a similar procedure to the divide-and-conquer method in that geometric means are used to define points on the curve. Each time a new point is calculated, the control points are subdivided into two sets, each of which may be use to generate new subcurves. The method is identical to the divide-and-conquer method in the case .

Developing the Equation of the Curve

There is a different way of looking at this procedure - because there is a parameter involved. Each one of the points , , and is really a function of the parameter - and can be equated with since it is a point on the curve that corresponds to the parameter value . In this way, becomes a functional representation of the Bézier curve.

Writing down the algebra, we see that

where

(Note that we have now denoted and as functions of .) Substituting these two equations back into the original, we have

This is quadratic polynomial (as it is a linear combination of quadratic polynomials), and therefore it is a parabolic segment. Thus, the quadratic Bézier curve is simply a parabolic curve.

The quadratic Bézier curve has the following properties, which can be easily verified.

1.
and , so the curve passes through the control points and .
2.
The curve is continuous and has continuous derivatives of all orders. (This is automatic for a polynomial.)
3.
We can differentiate with respect to and obtain

Thus , is the tangent vector at and is the tangent vector at . This implies that the slope of the curve at is the same as that of the vector and the slope of the curve at is the same as that of the vector .

4.
The functions , , and that are used to blend'' the control points , and together are the degree-2 Bernstein Polynomials They are all non-negative functions and sum to one. Clearly

5.
The curve is contained within the triangle .

Since the blending functions are non-negative and add to one, is an affine combination of the points , , and . Thus must lie in the convex hull of the control points for all . The convex hull of a triangle is the triangle itself.

6.
If the points , and are colinear, then the curve is a straight line.

If the points are colinear, then the convex hull is a straight line, and the curve must lie within the convex hull.

7.
The process of calculating one subdivides the control points into two sets , and , each of which can be used to define another curve, as in our subdivision process above.

8.
All the points, generated from the divide-and-conquer method, lie on this curve.

Clearly is the first point calculated by the divide and conquer method.

Lets show that is exactly the point obtained by performing the divide-and-conquer method, on the control points , and which were generated in the first step of the divide-and-conquer method. If we call this point , then by the divide-and-conquer method

and by substituting for the s, and similifying

If we calculate with , we have

So is exactly the point constructed in from the divide-and-conquer algorithm. Similar calculations exist for all other points generated in the divide and conquer method - each point generated by the method will correspond to one with a corresponding parameter of for some and .

Summarizing the Development of the Curve

We now have two methods by which we can generate points on the curve. The first of which is geometrically based - points are found on the curve by selecting successive points on line segments. The other is an analytic formula, which expresses the curve in functional notation.

• The Geometrical Construction Method - Given points , , and , we can construct a curve by the following construction

where

for .

• The Analytical Formula - Given points , , and , we can construct a curve by the following

for .

Summary

The quadratic curve serves as a good example for discussing the development of the Bézier curve, but really only generates parabolas. This eliminates the curve for many applications where smooth curves with inflection points are necessary. The problem can be addressed by performing exactly the same steps as above, but utilizing the procedure on four control points - resulting in the cubic Bézier curve.

Ken Joy
2000-11-28