Cut The Knot!An interactive column using Java applets
by Alex Bogomolny
Very recently I had the pleasure of reviewing a remarkable collection of articles, The Changing Shape of Geometry edited by Chris Pritchard. The book is a highly recommended resource for mathematics teachers; it may serve as a great source of enjoyment and a possible starting point for further explorations for mathematics fans. In this column I'll take a closer look at three topics from the book.
An Isoperimetric Theorem
|(1)||P = pD|
that links the diameter D and the circumference P of a circle. For the arc lengths involved, we have
|½pD1 + ½pD2 + ... = ½p(D1 + D2 + ... ) = ½pD,|
where D is the diameter of the big semicircle, while D1, D2, ... are the diameters of the small ones. We thus obtain a family of isoperimetric shapes whose boundary consists of circular arcs and straight line segments, the derivation being based on the well known, but mostly misrepresented, identity (1).
When rewritten as
|(2)||P/D = p,|
the identity says that P/D is an invariant of the circular
shape. Because of the importance and ubiquity of the latter, this
invariant in the case of the circle was designated with a special symbol
p. However, the fact that P/D is a shape
invariant is not peculiar to the circles. For example, for a square,
It is often forgotten that the existence of p is an immediate consequence of the fact that all circles are similar. For example, in an otherwise excellent textbook, Jacobs introduces (1) along with the definition of the circumference as the limit of the perimeters of inscribed regular n-gons in a chapter on regular polygons, while a chapter on similarity mostly (if not exclusively) deals with similar triangles. Curiously, an exercise in that chapter is based on Euclid, VI.31 which implicitly assumes that the areas A of similar shapes stand, as was proven in Euclid, VI.19 for triangles, in the same ratio as the squares of their diameters:
|(3)||A1/A2 = D12/D22,|
or, in other words, that A/D2 is another shape invariant. Interestingly, there is no mention in Euclid's Elements that P/D is a shape invariant, whereas analogues of (3) are brought up several times. In particular, Euclid XII.2 asserts (3) for the circle. The value of A/D2, or that of P/D, is not mentioned in the Elements at all. That the two are related was established by Archimedes in his Measurement of a Circle, Proposition 1. In Proposition 3, he also proved an estimate
|(4)||223/71 < p < 22/7.|
(Proposition 2 claims A/D2 = 11/14; it is therefore inconsistent with Proposition 3 and can't be authentic.)
In geometry teaching the hands-on estimation of p is a popular activity, which almost universally comes at the expense of the basic understanding expressed by (2). Even working mathematicians often overlook its significance. For example, [Arndt, p. 165] writes, "In the beginning, p = 3. ... The real history of p only begins when better approximations than 3 were discovered". I disagree. P. Beckmann [Beckmann, pp. 11-12], too, speculates that historically the realization that P/D is a shape invariant must have preceded any attempts at numerical estimation of this ratio. Be as it may, common emphasis on hands-on estimation of p misses an opportunity to get students involved with real mathematics at an elementary level.
(The applet allows for experimentation with two other families of isometric curves. An independent proof in case of two sets of parallel lines must be obvious. The small hollow circles are draggable. The red freehand curve is also modifiable by dragging any of its points. The number of break points could be changed by clicking on the number at the bottom of the applet.)
Polyominoes were invented by Solomon Golomb half a century ago. Beautiful in its simplicity, the right tromino theorem has been first published in American Mathematical Monthly 61, 10 (December, 1954.) Its proof by induction is now considered a prototypical classic.
A polyomino is a "rook"-connected set of equal squares. (In computer science the kind of connectedness where neighboring squares are required to share an edge is also known as the 4-connectedness. If two squares that share a vertex are also considered neighbors, we get the 8-connectedness.)
Trominoes are polyominoes that consist of three squares. There are two kinds of trominoes: a 3×1 rectangle and an L-shaped piece. The Right Tromino Theorem in the title is concerned with the latter.
If a single square is removed from a 2n×2n board, n any natural number, the rest can be tiled by trominoes.
The proof is by induction. The case of
I have little to add here, except perhaps, that on one occasion I showed the applet and explained the theorem to two brothers, seven and ten years old, Both showed a grasp for the inductive step right away. In my judgement, filling a sequence of boards of doubling side lengths (or playing with the above applet) constitutes a very meaningful activity that combines a game with significant mathematics.
(In the applet below, the eight blue vertices and the blue rectangle are draggable.)
Given two similar rectangles, a big one WXYZ and a small one ABCD, toss the smaller onto the larger. There exists one and only one point E in ABCD that falls on top of the point corresponding to it in WXYZ. Find the point.
If the corresponding sides of the two rectangles are parallel the construction is trivial. The more general case may be reduced to this one.
First, let BA produced meet XW at B'.
|BEX = BB'X = angle of rotation.|
These angles are subtended by the same chord, XB. So XBEB' is a cyclic quadrilateral.
Similarly, let AD produced meet WZ at A'.
|AEW = AA'W.|
These angles are subtended by the same chord, AW. So WAEA' is a cyclic quadrilateral.
Since E lies on the circumference of both circles, it is located at one of the points of intersection.
I have two critical remarks regarding this construction. First, a solution to a construction problem is best split into three stages: analysis, construction, and a proof of the validity of the construction. While the sentence that immediately follows the diagram could be considered as suggesting a proof of the validity of sorts, the first two stages are conspicuously intermixed: the point E appears too early in the construction and appears to play an important role right off.
Second, and perhaps, more important. The construction is asymmetric with regard to the elements involved, so that I believe Einstein might have called it ugly. Indeed, why have we produced sides AB and AD and not any other pair? Why not a diagonal? The fact that there was so much freedom of choice should have set off alarm. The problem is egregiously redundant. While the question with similar rectangles is of course legitimate, it obscures a deeper result. What is it?
Why, there are just so many ways to obtain one similar shape from another. If the shapes are of different sizes, there bound to be a spiral similarity that maps one onto the other and whose center remains fixed under the transformation. But to determine the center of a spiral similarity one only needs one segment and its image. The construction is in fact much the same. True, putting it in a more general framework may remove from the problem a degree of glamor, but there's a sensible payoff: unexpectedly there are several circles that all pass through the same point.
The element of surprise is still present, but the problem becomes just a dot in a cobweb of several related problems, which, who knows, the reader may dare to plunge into for the sake of further investigation.
Alex Bogomolny has started and still maintains a popular Web site Interactive Mathematics Miscellany and Puzzles to which he brought more than 10 years of college instruction and, at least as much, programming experience. He holds M.S. degree in Mathematics from the Moscow State University and Ph.D. in Applied Mathematics from the Hebrew University of Jerusalem. In June 2003, his site has welcomed its 7,000,000th visitor. Most recently the site has been recognized with the 2003 Sci/Tech Award from the editors of Scientific American.
Copyright ® 1996-2003 Alexander Bogomolny