Can a Square Roll?
by J. Schattman
Sir John A. Macdonald Secondary School
Waterloo, Ontario, Canada
Introduction
Can a square wheel roll as smoothly as a round one? It can if you give it the right road to roll on! In this exploration, we'll figure out what such a road would have to look like, both mathematically and visually. We'll then drive the point home, as it were, with an animation.
The square wheel problem is the Renaissance Man of calculus problems. It weaves together the concepts of arc length, periodic functions, derivatives, numerical integration, the fundamental theorem of calculus and differential equations in an elegant tapestry of mathematical technique. The star of tonight's performance will be the world renowned inverted catenary^{1}.
^{1} A catenary is the shape taken by a flexible cord hanging freely between two points; not to be confused with a small yellow bird.
The Big Picture*

We're looking for a road surface that will keep the center of the square at a constant height as it rolls.
We'll assume the wheel rolls clockwise (i.e. to the right) without slipping, and parallel to the xaxis on top of a curve .
For convenience, we'll assume the square starts off pointyside down, so that .


Let be the distance from the center of the square to the point of contact with the road, .
Let be the the distance that the square has rolled. Note this is simply the arc length of from the point up to the point of contact.
Key Idea: For the center of the square to stay at a constant height, must satisfy

(2) 
for all values of
For a square with side length , that constant is so that and

The plan
Before we start dishing out formulas like so many brochures at a trade show, let's make a plan.
A plan to solve the square wheel problem:
1. Eliminate and by using the Pythagorean Theorem to express in terms of , and then using the
formula for arc length
to express in terms of .
2. Substitute these expressions into Equation to obtain a firstorder differential equation in with initial condition
3. Take a deep breath. Get a cup of coffee.
4. Then solve the differential equation for after setting .
5. Find the first positive root of . Call this root p. This will tell us where the bottomright corner of the square should land after the square has made one half of a rotation.
6. To make the wheel keep rolling, create a
periodic extension
of with period p. Now we're ready to roll for as long as we want.
7. Make a stunning animation of the square rolling over this road that will make your mathie friends jealous and make normal people glad they're not you.
Step 1: Eliminating and
By the Pythagorean Theorem on the small triangle (in the Big Picture), we have
Substituting this into Equation (1) and isolating , we have
And is an arc length, for which we have a handy formula.
With two judicious strokes, we have eliminated and , yielding a differential equation in alone.

(4) 
In Act II, we solve this DE for .
Step 2: Solving for
We can simplify by differentiating both sides to remove the integral and then isolating on the left side.

(5) 

(6) 
Now would be a good time to give s a value. How about...hmmm ... ?

(7) 
The stuff under the square root is sooooo close to being factorable, but alas, that refuses to budge, so I'm afraid we'll have to abide some inelegance. Fortunately, Maple is not so easily intimidated by asymmetries as human calculators, spoiled as we are by the artificial simplicity of textbook problems, and it handles the DE without flinching.
Constructing the road
Let's plot this function and see if it conforms to our imaginings in The Big Picture.

The positive section of the graph looks promising.
What if we throw away the part below the yaxis and make a periodic extension of the positive part?
To do that, we need to find out where the positive ends and the negative begins, or in other words, find the roots of f( x ).


The positive solution gives us the period of the road.
As a second check on our solution, we should eat our vegetables and verify that the arc length of over one period is the length of one side of the square (in this case, 1). Numerical integration, anyone?
Touchdown! We are at last ready to extend the road with a periodic extension of the solution using the interval . This we achieve with Maple's handy
frac
command, which takes the fractional part of a number.
The road is graphed here over three periods.




We have thus derived the shape of the road that will afford passengers aboard our wheel a comfortable ride.
P.S. What about the catenary?
The classical solution to the square wheel problem states that each hump of the road is an inverted catenary. And so I was surprised at not seeing hyperbolic cosine functions in our solution for . But there's bound to be one hiding somewhere within that tangled mass of exponential terms. Let's see if we can coax it to come out.
We had =
We can try converting that to trig form and hope that some of those exponentials reduce to hyperbolic trig functions. Since we know , we (i.e. Maple) should be able to simplify those further.

(9) 

(10) 
Good boy.
P.P.S. Code for creating the animation
Legal Notice: The copyright for this application is owned by the author(s). Neither Maplesoft nor the author are responsible for any errors contained within and are not liable for any damages resulting from the use of this material. This application is intended for noncommercial, nonprofit use only. Contact the author for permission if you wish to use this application in forprofit activities.