The following is a well-traveled problem that has appeared in both the Mathematics Magazine (June 1993, p193) and The Mathematics Teacher (October 1993 article and November 1993 Letters):
A bi-fold closet door consists of two one-foot-wide panels, hinged at point P. One of the panels is fixed at the point O. Assume that as the endpoint Q moves to the right, the door rubs against a thick carpet. What shape will be swept out on the carpet?
Figure 1 shows that when the door first starts to close, the path of the boundary curve follows the hinge of the door, and therefore the curve is part of a circle of radius 1. After some point, however, the hinge of the door lies below the curve as the carpet is brushed by the right-hand side of the door. In particular, this means that along this part of the curve, the edge of the door is tangent to the curve; that is, the boundary of the brushed carpet is determined by the envelope of tangent line segments represented by the right-hand side of the door.
Consider the position of the door when it has been opened to an angle theta as illustrated in figure 2. The right side of the door is tangent to the curve we seek at some point . In the figure we have and and so the slope of the right-hand side of the door is . The equation of the line represented by this side of the door is therefore
Next consider what happens to the door when it is opened by an additional angle h as shown in figure 2. The equation of the line representing this new door position is
The intersection of these two lines occurs at the x-value
This intersection point will converge to the point as h approaches 0. Thus
(An application of the definition of the derivative!) Of course, this is only valid if the two line segments intersect at an x-value to the right of the first door hinge, which means we must have . Thus this parameterization of the curve is valid for theta >= , or when .
Finally, we get from the equation of the line found earlier that
For the curve is therefore given by
For , the curve is just part of a circle of radius 1 centered at the origin, and so
(Converted to HTML, February 1996)