Video 1, chapter 1

The Missing Square

How the missing square puzzle, a dissection puzzle whose rearranged pieces seem to leave a hole, is explained by two unequal slopes, because the corners of its long edge are not collinear points.

  • Video 1, chapter 1
  • What the picture hides

Video 1, chapter 1

Nothing loads from YouTube until you press play.

Four pieces drawn on a grid of unit squares, two right triangles and two stepped shapes, fit together into a figure that looks like a right triangle 13 squares wide and 5 squares tall. Slide the same pieces into new places and they fill what looks like the same figure, except that one grid square is now empty. No piece is cut, turned or stretched, so where does the extra square of space come from? This page compares the slopes of the two triangles, shows that the long edge of the figure is not straight, and accounts for the empty square exactly.

Key terms

Missing square puzzle

Definition The missing square puzzle is a dissection puzzle with four pieces on a grid of unit squares. Put the lower left corner of the grid at (0,0)(0, 0), with xx measured to the right and yy upward. Two pieces are right triangles, a red one 88 units wide and 33 units tall and a blue one 55 units wide and 22 units tall. The other two are stepped pieces made of 77 and 88 unit squares. In the first arrangement the red triangle sits at the lower left, the blue triangle at the upper right, and the stepped pieces fill the 55 by 33 rectangle under the blue triangle. The pieces then fill the figure with corners (0,0)(0, 0), (13,0)(13, 0), (13,5)(13, 5) and (8,3)(8, 3). In the second arrangement each piece is slid to a new place, without turning or flipping. The blue triangle sits at the lower left, the red triangle at the upper right, and the stepped pieces fill the 88 by 22 rectangle under the red triangle except for one unit square. The pieces then fill the figure with corners (0,0)(0, 0), (13,0)(13, 0), (13,5)(13, 5) and (5,2)(5, 2), apart from that empty square. Both figures look like the same right triangle with legs 1313 and 55, but neither is a triangle. The long edge is made of the two hypotenuses, with slopes 3/83/8 and 2/52/5, and since these slopes differ, the edge bends where the hypotenuses meet. In the first figure the edge bends inward and the area is 3232, in the second it bends outward and the area is 3333, and the pieces cover 3232 square units in both, which leaves exactly one square unit empty in the second.

In plain words The two hypotenuses almost line up, so the eye joins them into one straight edge. They do not line up, and swapping the triangles moves the bend from just below the straight line between the ends to just above it, which adds exactly one square unit of space.

Example The triangles have areas 12⋅8⋅3=12\tfrac12 \cdot 8 \cdot 3 = 12 and 12⋅5⋅2=5\tfrac12 \cdot 5 \cdot 2 = 5, so all four pieces together cover

12+5+7+8=3212 + 5 + 7 + 8 = 32

square units. Each figure splits into the two triangles and the rectangle under the upper triangle, so the areas of the first and second figures are

12+5+15=32,5+12+16=33.\begin{aligned} 12 + 5 + 15 &= 32, \\[0.4em] 5 + 12 + 16 &= 33. \end{aligned}

The stepped pieces contain 7+8=157 + 8 = 15 unit squares. They fill the 55 by 33 rectangle of the first figure exactly, while the 88 by 22 rectangle of the second figure has 1616 squares, so one of its squares stays empty, the one with corners (7,1)(7, 1) and (8,2)(8, 2). A true right triangle with legs 1313 and 55 would have area 65/2=32.565/2 = 32.5, half a unit more than the first figure and half a unit less than the second.

Dissection puzzle

Definition A dissection puzzle asks for one figure to be cut into a finite number of pieces that can be fitted together into another figure. Each piece may be slid, turned or, if the puzzle allows it, flipped over, but it keeps its shape and size, and in each figure the pieces may not overlap or leave gaps. Moving a piece does not change its area, so two figures made from the same pieces in this way always have equal areas. When a rearrangement seems to gain or lose area, one of the figures is not what it appears to be, for example because pieces overlap, a gap is hidden, a piece is not the shape it seems to be, or an edge that looks straight is bent.

In plain words Cutting and rearranging can change a shape but never its total area. If the area seems to change, something in the picture is not what it looks like.

Example The parallelogram with corners (0,0)(0, 0), (5,0)(5, 0), (7,3)(7, 3) and (2,3)(2, 3) has base 55 and height 33. Cut it along the vertical segment from (2,0)(2, 0) to (2,3)(2, 3) and slide the triangle with corners (0,0)(0, 0), (2,0)(2, 0) and (2,3)(2, 3) five units to the right. It lands on (5,0)(5, 0), (7,0)(7, 0) and (7,3)(7, 3) and completes the rectangle with corners (2,0)(2, 0), (7,0)(7, 0), (7,3)(7, 3) and (2,3)(2, 3), so the parallelogram has the rectangle’s area 5⋅3=155 \cdot 3 = 15. In the missing square puzzle the pieces fit without overlaps in both figures and leave no gaps apart from the empty square, so the empty square has to be explained by a difference between the two outlines.

Slope

Definition The slope of the line through two points (x1,y1)(x_1, y_1) and (x2,y2)(x_2, y_2) with x1≠x2x_1 \ne x_2 is

m=y2−y1x2−x1,m = \frac{y_2 - y_1}{x_2 - x_1},

the rise divided by the run. A straight line has the same slope between any two of its points, and lines with different slopes have different directions. Two fractions a/ba/b and c/dc/d with positive denominators can be compared through products, because a/b<c/da/b < c/d exactly when ad<bcad < bc.

In plain words Slope measures steepness as the change in height for each unit moved to the right.

Example The red hypotenuse rises 33 over a run of 88 and the blue one rises 22 over a run of 55. Over a common run of 4040 these slopes are 15/4015/40 and 16/4016/40. The straight segment from (0,0)(0, 0) to (13,5)(13, 5) has slope 5/135/13, which lies between them, since 3⋅13=393 \cdot 13 = 39 is less than 8⋅5=408 \cdot 5 = 40 and 5⋅5=255 \cdot 5 = 25 is less than 13⋅2=2613 \cdot 2 = 26. So

38<513<25.\frac{3}{8} < \frac{5}{13} < \frac{2}{5}.

In decimals the three slopes are 0.3750.375, about 0.3850.385 and 0.40.4. The blue edge is steeper by only 1/401/40, a difference that is hard to see at the size of the drawing.

Collinear points

Definition Points are collinear if one straight line passes through all of them. Three points (x1,y1)(x_1, y_1), (x2,y2)(x_2, y_2) and (x3,y3)(x_3, y_3) are collinear exactly when

(x2−x1)(y3−y1)=(x3−x1)(y2−y1).\begin{aligned} &(x_2 - x_1)(y_3 - y_1) \\[0.4em] &\quad = (x_3 - x_1)(y_2 - y_1). \end{aligned}

When x1<x2<x3x_1 < x_2 < x_3, this says that the segment from the first point to the second and the segment from the second point to the third have the same slope. When the two sides differ, half of their difference, taken as a positive number, is the area of the triangle with the three points as corners.

In plain words A path made of two straight pieces is one straight segment only if the second piece continues in exactly the direction of the first. Otherwise the path has a corner, and between the path and the straight segment joining its ends there is a triangle, which can be very thin.

Example For (0,0)(0, 0), (8,3)(8, 3) and (13,5)(13, 5) the two sides are 8⋅5=408 \cdot 5 = 40 and 13⋅3=3913 \cdot 3 = 39. They differ, so the corner (8,3)(8, 3) of the first figure is not on the segment from (0,0)(0, 0) to (13,5)(13, 5). At x=8x = 8 that segment has height 40/1340/13, so the corner lies 1/131/13 of a unit below it, and the thin triangle between them has area 12(40−39)=12\tfrac12 (40 - 39) = \tfrac12. That is the half unit the first figure lacks. In the second figure the corner (5,2)(5, 2) lies 1/131/13 of a unit above the segment and adds another thin triangle of area 12\tfrac12. Together the two thin triangles form the long strip with corners (0,0)(0, 0), (8,3)(8, 3), (13,5)(13, 5) and (5,2)(5, 2) between the two bent edges. Its area is 11, the same as the empty square, but spread thinly along the whole edge. By contrast the points (0,0)(0, 0), (8,3)(8, 3) and (16,6)(16, 6) are collinear, since 8⋅6=48=16⋅38 \cdot 6 = 48 = 16 \cdot 3.

Check yourself

  1. In the second arrangement the corner of the long edge is at (5,2)(5, 2). Use the collinearity test to show that (0,0)(0, 0), (5,2)(5, 2) and (13,5)(13, 5) are not collinear, and find how far the corner lies above the straight segment from (0,0)(0, 0) to (13,5)(13, 5).
Show the answer

The two sides of the test are 5⋅5=255 \cdot 5 = 25 and 13⋅2=2613 \cdot 2 = 26. They differ, so the three points are not collinear. The straight segment has slope 5/135/13, so at x=5x = 5 its height is

513⋅5=2513,\frac{5}{13} \cdot 5 = \frac{25}{13},

slightly less than 22. The corner is higher by 2−25/13=1/132 - 25/13 = 1/13 of a unit. This is the outward bend that gives the second figure half a square unit more than a true triangle with legs 1313 and 55.

  1. Suppose the red triangle were 1010 units wide and 44 units tall, while the blue triangle stays 55 by 22. Build both arrangements as before, with one triangle at the lower left and the other at the upper right on top of a rectangle filled by stepped pieces. Could a square go missing now?
Show the answer

No. The slopes are now 4/10=2/54/10 = 2/5 and 2/52/5, which are equal. With the red triangle first, the test for (0,0)(0, 0), (10,4)(10, 4) and (15,6)(15, 6) gives 10⋅6=6010 \cdot 6 = 60 and 15⋅4=6015 \cdot 4 = 60. With the blue triangle first, the test for (0,0)(0, 0), (5,2)(5, 2) and (15,6)(15, 6) gives 5⋅6=305 \cdot 6 = 30 and 15⋅2=3015 \cdot 2 = 30. In both arrangements the corner lies on the straight segment, so both figures are the same true triangle with legs 1515 and 66 and area 4545.

The rectangle under the upper triangle is 55 by 44 in one arrangement and 1010 by 22 in the other, and both have area 2020, so in each case the area is 20+5+20=4520 + 5 + 20 = 45. Stepped pieces that fill one rectangle have total area 2020, so if they fit into the other rectangle without overlapping, they fill it completely and no square goes missing. For example, four strips of 55 unit squares fill both rectangles. The surprise depends on the two slopes being different.

  1. The side lengths 22, 33, 55, 88 and 1313 are consecutive Fibonacci numbers, in which each number is the sum of the two before it, and the next one is 2121. Make a larger figure of the same kind from a right triangle 88 wide and 33 tall and a right triangle 1313 wide and 55 tall, so that the long edge runs from (0,0)(0, 0) to (21,8)(21, 8), with either triangle at the lower left and a rectangle under the upper triangle. Find the areas of the two figures and how far each corner lies from the straight segment.
Show the answer

The triangles have areas 12⋅8⋅3=12\tfrac12 \cdot 8 \cdot 3 = 12 and 12⋅13⋅5=32.5\tfrac12 \cdot 13 \cdot 5 = 32.5. With the smaller triangle at the lower left, the corner is at (8,3)(8, 3) and the upper triangle stands on a 1313 by 33 rectangle, so the area is 12+32.5+39=83.512 + 32.5 + 39 = 83.5. With the larger triangle at the lower left, the corner is at (13,5)(13, 5) and the upper triangle stands on an 88 by 55 rectangle, so the area is 32.5+12+40=84.532.5 + 12 + 40 = 84.5. A true triangle with legs 2121 and 88 has area

21⋅82=84,\frac{21 \cdot 8}{2} = 84,

so the two figures again differ by exactly one square unit, half a unit on each side of the true triangle.

The straight segment has slope 8/218/21. At x=8x = 8 its height is 64/2164/21, so the corner (8,3)(8, 3) lies 1/211/21 of a unit below it, and at x=13x = 13 its height is 104/21104/21, so the corner (13,5)(13, 5) lies 1/211/21 of a unit above it. The collinearity test gives 8⋅8=648 \cdot 8 = 64 against 21⋅3=6321 \cdot 3 = 63, and 13⋅8=10413 \cdot 8 = 104 against 21⋅5=10521 \cdot 5 = 105, so each thin triangle has area 12\tfrac12. The bend is now even smaller than the 1/131/13 of the original puzzle, while the difference in area stays one whole square.