*Edit: In this blog post I talk sometimes about what I called “creased” points on a curve. My analysis of these points was incorrect. Specifically, I state that there are tangent lines at these points, which is false. Such analysis requires more knowledge of singular points than I have*.

I’ve been studying from Erwin Kreyszig’s *Differential Geometry*. It provides a classical perspective on differential geometry through adventures in 3-dimensional Euclidean space, or when we introduce a Cartesian coordinate system. The second chapter is concerned with the theory of curves in , and it ends with a discussion of so-called Bertrand curves. There aren’t many pictures to go with this discussion, so I tried making some for myself. I found success in the case of planar curves and my experience gave me useful insights into the theory.

#### Bertrand Curves Defined

Discussing Bertrand curves requires familiarity with some tools in the theory of curves. I’ll present an overview here of the necessary terms and notation from my textbook, assuming experience with vector calculus from the reader. Even if you don’t understand the technicalities, though, you should still be able to make sense of things from the pictures.

A **curve** captures the notion of something which is traced out by a moving point: strokes of a pencil, paths of stars and planets, the flight of a bumblebee. There are different approaches to create a mathematical model of this loose concept; we’ll use a classical one. Loosely, a curve is a set of points in which can locally be represented by a certain equivalence class of vector-valued functions, each on some interval . We use equivalence classes since, for example, a slow-moving pencil and a fast-moving pencil can draw the same curve and we don’t want to make a distinction there. So for any curve we consider many different functions at once, though in practice it’s often enough to choose just one representative. To apply analytical tools, we require that our functions be continuously differentiable (sometimes several times so). For this reason, the objects we are working with are sometimes called **differentiable curves**. We also require that the our functions have non-vanishing derivatives so we can make use of tangent vectors. Since I will be writing about planar curves, our point sets will be restricted to a subset of which we identify with .

I will write to mean “a curve which has an allowable representation “. The parameter is understood to come from some interval . I will often abbreviate functions of the parameter by removing , for example . This creates a somewhat convenient confusion between the function and its value at a point.

The **unit tangent vector** to a curve at some point is the unit vector in the direction of . That is, . Each point of has two opposite-facing unit tangent vectors, depending on the direction in which the curve is traversed by the representation . The unit tangent vector is easy to confuse with the parameter , so I’ll point out here that I’m using a bold font for vectors.

A **normal** to a curve is a line which intersects at a right angle to the unit tangent vector. If this property holds for the unit tangent vector in one direction then it also holds for the one in the opposite direction, so this definition is independent of the choice of representation. This extends the usual concept of a normal to a line.

Note that in these diagrams I was only able to show normals which lie in the plane of the screen. However, we can also consider normals which pierce the screen just at a point. With this in mind, there is no sense in talking without any further qualification about *the* normal at a point ; in general we talk about *a* normal at .

Let be a curve such that is two times continuously differentiable. There is an associated function called **curvature**. Curvature lives up to its name by increasing at points where the curve resembles a smaller circle and decreasing at points where the curve resembles a larger circle. The curvature of a straight line is zero. When another related function called **radius of curvature** is defined as . In fact, is the radius of the best circular approximation to at any given point. The radius of curvature of a circle is the radius of that circle.

Let be a curve with non-vanishing curvature. The **unit principal normal vector** at a point is the unit vector in the direction of . That is, . It happens to be normal to and independent of the choice of representation. The **principal normal** at a point is the normal which intersects at and agrees with the direction of . The principal normal specifies one out of the many normals discussed before, so we do speak of *the* principal normal. In the case of planar curves, the unit principal normal vector to a curve is the vector which lies in the plane and points towards the curvature of . Because of this, ** the principal normal to a planar curve at a point (when it is defined) is the plane normal to the curve at that point**.

With these terms out of the way, we come to the definition of Bertrand curves:

Two curves which, at any of their points, have a common principal normal are called

Bertrand curves.

That’s a nice definition, but it doesn’t have a clear meaning without inspection. By working with some representations of a pair of Bertrand curves, we can get a better idea of what they’re like.

#### A More Concrete Understanding

Suppose that and are Bertrand curves, and that the shared parameter is chosen so that the points and always lie on a common principal normal (this is always possible). Then the vector is parallel to . That is, where is a function of . is the signed distance between and . It is positive if the direction from to is the same as the direction of and negative if those directions are opposite. We will see that is a constant with respect to by considering the derivative of . We have . The first argument to this dot product is parallel to as we have already noted. The second is a difference of vectors which are parallel to and , respectively. Since and are both perpendicular to , the arguments to the dot product are perpendicular too, and the expression vanishes.

This exploration leaves us with a nice expression relating the representations of our Bertrand curves: , . This expression has been obtained under the assumption that we already have a pair of Bertrand curves. If instead we begin with just one curve with non-vanishing curvature and *define* for , then we have a family of vector-valued functions of , each of which corresponds to a set of points which *might* be a Bertrand curve to . The set of Bertrand curves to is contained in the family of these point sets. We only have set inclusion, though; .

If is a planar curve, then the Frenet-Serret formulas allow us to calculate . When (i.e. when ) is an allowable representation of a curve . We can also calculate , , and . This last equation implies that is a Bertrand curve to . When on the other hand we have , so is not an allowable representation of a curve and its point set is not a Bertrand curve to . *In summary: contains the members of which correspond to values of that the function never attains.*

This gives us a lot Bertrand curves. We always have so, for example, every negative value of corresponds to a Bertrand curve. I found that studying the family associated to a planar curve is a rewarding exercise, both because of the knowledge to be gained and because of the pretty pictures we see along the way.

#### Example 1: The Circle

An allowable representation of a circle with radius is . We can calculate , , and . So our family of functions is .

With our discussion about and in mind we consider two cases:

- Suppose . Then is a Bertrand curve to . is a circle, concentric to and with radius .
- Suppose . Then the point set of is the singleton containing the center of .

We see that the Bertrand curves to a circle are the concentric circles.

Circles are an important example in the theory of curves. At the local scale, any curve which has non-vanishing curvature resembles a circle of radius . So by studying the behavior of and over a small interval we can gain insights which will be useful when we inspect the behavior of a more complicated curve and its corresponding family of maybe-Bertrand curves. I’ve made a few diagrams with some small-scale behavior for my notes. In each one I’ve indicated the direction in which and travel, as well as the direction of the vector .

This also motivates a mechanical interpretation of our maybe-Bertrand curves in . We can imagine a carriage running along a track with an arm attached at a right angle whose tip traces a path. We can also imagine an ant crawling on one side of the curve while wearing a hat whose top traces a path.

#### Example 2: The Parabola

The parabola we’ll be considering is given by the allowable representation . We can calculate and . By inspection, we see that is a right-angle rotation of counter-clockwise. That is, . So our family of functions is .

This time is not constant, so we need to be more careful in our dissection of . is an unbounded concave-upward even function, with a minimum at . I’ll write .

We are interested in solutions to the equation for constant . In light of the description of we now consider three cases.

- Suppose . Then we always have . is a Bertrand curve to .
- Suppose . Then only when . If we have no problems; is a Bertrand curve to . If, on the other hand, then does not represent a Bertrand curve to since . Surprisingly, the point set of is
*still*a curve, despite the vanishing derivative. Notice that the first component of is strictly increasing, hence one-one. This means that we can solve for and use as a new parameter: . Except at the point where , is an equivalent representation to . Hence is continuously differentiable, even at . Since the derivative of is non-vanishing, it is an allowable representation of a curve . This curve has a very interesting property at . It possesses a tangent vector, so there is no cusp or corner. However, we see that as , so and . has undefined curvature when ; one might say that it has as its radius of curvature. I would describe it as looking “creased”. For this reason lacks a principal normal. This is all that stops from being a Bertrand curve to ; if we had instead defined Bertrand curves in terms of plane normals then would be a Bertrand curve to . - Suppose . Then there are two solutions to the equation . Similar to the previous case, if we have no problems; is a Bertrand curve to . If then does not represent a Bertrand curve to since . The point set described by is not a curve at all since there are cusps at where suddenly reverses direction. As before, at these points.

I’ve created animations of a few lines marching along like our friend the ant. I’ve also included the center of the approximating circle to at the base of the middle marching line. This happens to also be the center of the approximating circle to the curve when it exists. In fact, this property extends to all planar Bertrand curves. ** The approximating circles to planar Bertrand curves at corresponding points are concentric.** Each frame approximately resembles one of the four diagrams of small-scale behavior for concentric circles.

#### Example 3: The Sinusoid

In this section will represent an arbitrary integer so that we can deal with the periodicity of the curve.

The sinusoid we’ll be considering is given by the allowable representation . We can calculate and . Unlike the previous examples vanishes at some points, whenever to be specific. This means that does not possess a unit principal normal vector at these points. When does possess a unit principal normal vector we can see with some thought that . So our family of functions is , defined everywhere except .

Over the interval , is defined. Further, it is an unbounded concave-upward function which is symmetric about the center of and with a minimum at . I’ll write and . We can see that over this interval the sinusoid is geometrically very similar to the parabola.

We are interested in solutions to the equation for constant . To work with we assume that the interval over which is defined is contained in . We once again consider three cases.

- Suppose . Then we always have . is a Bertrand curve to .
- Suppose . Then the only solution to the equation in is . If we have no problems; is a Bertrand curve to . If then we have a similar situation to the one we had for the parabola in this case. We find that is not an allowable representation of a curve but its point set is a curve . is not a Bertrand curve to because it lacks a unit principal normal vector at . It does have a unit tangent vector at this point, and I would say it looks creased.
- Suppose . Then there are two solutions to the equation in . If If we have no problems; is a Bertrand curve to . Similar to the parabola, we find cusps in the point set of when .

We see that the alternating direction in which curves causes jump discontinuities in , which depends on .

#### Parallel Curves

**Parallel curves** are a generalization of planar Bertrand curves. A curve whose points are at a constant *normal distance* from another given curve is a parallel curve. We’ll treat this as a definition for parallel curves, although there is a more general definition than this.

Since this new definition doesn’t require the existence of principal normals, the questionable “creased” curves which we have encountered *do* count as parallel curves. The jump discontinuities created by the waving sinusoid are also resolved by the new definition, though this requires deeper consideration.

If we follow through with a similar analysis to the one we did before, we find ourselves researching a family , where is a right-angle rotation of in a constant direction; our crawling ant stays on one side of the curve. In the first two examples we find no difference between the old and new families of functions since we simply have where the sign is a constant. For , however, this equation cannot hold since the direction of rotation from to changes periodically; we have instead . Further, is defined everywhere in , unlike . We can recover the point set of by taking the union of the point sets of and . This gives us , so for each arc of in which we get one point set in the direction of and another in the direction of . There are still holes in the resulting point set where is not defined, but by taking its closure we end with the point set of as well as that of . Now we see that the jump discontinuities are indeed resolved.

Wikipedia offers this exciting interpretation of parallel curves:

In computer-aided design the preferred term for a parallel curve is

offset curve. (In other geometric contexts, the term offset can also refer to translation.) Offset curves are important for example in numerically controlled machining, where they describe for example the shape of the cut made by a round cutting tool of a two-axis machine.

Neat!

#### Non-Planar Bertrand Curves

It turns out that Bertrand curves to a given non-planar curve are much rarer than they are for planar curves; most non-planar curves have either one Bertrand pair of none. The only exception to this rule are the helices. Each helix has an infinite family of Bertrand curves, made up of other helices. Although they are infinite, no family contains all helices.

Non-planar Bertrand curves seem a lot weirder to me. My textbook spent all but the first opening paragraph of its Bertrand curve section discussing them, and the discussion is very delicate. I found it much more difficult to come up with explicit equations for non-planar curves which have a Bertrand pair. I tried out a few guesses, but none met the right conditions to even have a Bertrand pair. This speaks to their elusiveness. Because of this I don’t have any more nice pictures. I’m sure it would be interesting to study the family corresponding to a non-planar curve, but I’m just not interested since I won’t find Bertrand curves without a lot more work.

#### Conclusion

Planar Bertrand curves are neat. I like them. I like them so much that I wrote this blog post about them. Aren’t they cool?

Doing this analysis helped me to practice thinking at a local scale; each of the example functions and are defined over a large domain, but in their analysis we often throw away most of that to focus on local behavior. It was also exciting to try out the techniques of the theory of curves on these curves out in the “wild” after studying about them. Once you’ve learned to use these tools, you can create some very interesting pictures with just some calculation and a graphing calculator

## Leave a Reply