Chessboard paradox

Short description: Mathematical paradox and logic puzzle

Chessboard paradox

The chessboard paradox or paradox of Loyd and Schlömilch is a falsidical paradox based on an optical illusion. A chessboard or a square with a side length of 8 units is cut into four pieces. Those four pieces are used to form a rectangle with side lengths of 13 and 5 units. Hence the combined area of all four pieces is 64 area units in the square but 65 area units in the rectangle, this seeming contradiction is due an optical illusion as the four pieces don't fit exactly in the rectangle, but leave a small barely visible gap around the rectangle's diagonal. The paradox is sometimes attributed to the American puzzle inventor Sam Loyd (1841–1911) and the German mathematician Oskar Schlömilch (1832–1901)

Analysis

Enlarged, precise drawing shows a gap in the rectangle in the shape of a parallelogram

Upon close inspection one can see that the four pieces don't fit quite together but leave a small barely visible gap around the diagonal of the rectangle. This gap [math]\displaystyle{ DEBF }[/math] has the shape of a parallelogram, which can be checked by showing that the opposing angles are of equal size.

[math]\displaystyle{ \begin{align} \angle FDE &=90^\circ-\angle FDG -\angle EDI\\[6pt] &=90^\circ-\arctan\left( \frac{|EI|}{|DI|}\right)-\arctan\left( \frac{|FG|}{|DG|}\right)\\[6pt] &=90^\circ-\arctan\left( \frac{5}{2}\right)-\arctan\left( \frac{3}{8}\right)\\[6pt] &=90^\circ-\arctan\left( \frac{|FJ|}{|BJ|}\right)-\arctan\left( \frac{|EH|}{|BH|}\right)\\[6pt] &=90^\circ-\angle FBJ -\angle EBH \\[6pt] &=\angle FBE \approx 1.24536^\circ \end{align} }[/math]

[math]\displaystyle{ \begin{align} \angle DEB &=360^\circ-\angle DEI -\angle IEH -\angle EBH \\[6pt] &=360^\circ-\arctan\left( \frac{|DI|}{|EI|}\right)-90^\circ-\arctan\left( \frac{|DG|}{|FG|}\right) \\[6pt] &=360^\circ-\arctan\left( \frac{2}{5}\right)-90^\circ-\arctan\left( \frac{8}{3}\right) \\[6pt] &=360^\circ-\arctan\left( \frac{|BJ|}{|FJ|}\right)-90^\circ-\arctan\left( \frac{|BH|}{|EH|}\right)\\[6pt] &=360^\circ-\angle BFJ -\angle JFG -\angle GFD \\[6pt] &=\angle DFB \approx 178.75464^\circ \end{align} }[/math]

An exact fit of the four pieces along the rectangle's requires the parallelogram to collapse into a line segments, which means its need to have the following sizes:

[math]\displaystyle{ \angle FBE = \angle FDE = 0^\circ }[/math]

[math]\displaystyle{ \angle DFB = \angle DEB = 180^\circ }[/math]

Since the actual angles deviate only slightly from those values, it creates the optical illusion of the parallelogram being just a line segment and the pieces fitting exactly. Alternatively one can verify the parallelism by placing the reactangle in a coordinate system and compare slopes or vector representation of the sides.

The side length and diagonals of the parallelogram are:

[math]\displaystyle{ |DE|=|FB|=\sqrt{2^2+5^2}=\sqrt{29} }[/math]

[math]\displaystyle{ |DF|=|EB|=\sqrt{3^2+8^2}=\sqrt{73} }[/math]

[math]\displaystyle{ |EF|=\sqrt{1^2+3^2}=\sqrt{10} }[/math]

[math]\displaystyle{ |DB|=\sqrt{5^2+13^2}=\sqrt{194} }[/math]

Using Heron's formula one can compute the area of half of the parallelogram ([math]\displaystyle{ \triangle DFG }[/math]). The halved circumference is

[math]\displaystyle{ s=\frac{|EF|+|DE|+|DF|}{2}=\frac{\sqrt{10}+\sqrt{29}+\sqrt{73}}{2} }[/math]

which yields the area of the whole parallelogram:

[math]\displaystyle{ \begin{align} F&=2\cdot\sqrt{s\cdot(s-|EF|)\cdot(s-|DE|)\cdot(s-|DF|)}\\[5pt] &=2\cdot \frac{1}{4} \cdot \sqrt{(\sqrt{10}+\sqrt{29}+\sqrt{73})\cdot (-\sqrt{10}+\sqrt{29}+\sqrt{73})\cdot(\sqrt{10}-\sqrt{29}+\sqrt{73})\cdot(\sqrt{10}+\sqrt{29}-\sqrt{73})}\\[5pt] &=2\cdot \frac{1}{4} \cdot 2 \\[5pt] &=1 \end{align} }[/math]

So the area of the gap accounts exactly for the additional area of the rectangle.

Generalization

generalised dissection of a square using Fibonacci numbers

:[math]\displaystyle{ \frac{f_{n-2}}{f_n} \approx \frac{f_{n-3}}{f_{n-1}} \Rightarrow \tan(\alpha) \approx \tan(\beta) \Rightarrow \alpha \approx \beta }[/math],
the triangles [math]\displaystyle{ T_1, T_2, T_3, T_4 }[/math] are nearly similar

dissection without an area mismatch [math]\displaystyle{ \varphi=\frac{1+\sqrt{5}}{2} }[/math]

The line segments occurring in the drawing of the last chapters are of length 2, 3, 5, 8 and 13. These are all sequential Fibonacci numbers, suggesting a generalization of the dissection scheme based on Fibonacci numbers. The properties of the Fibonacci numbers also provide some deeper insight, why the optical illusion works so well. A square whose side length is the Fibonacci number [math]\displaystyle{ f_n }[/math] can be dissected using line segments of lengths [math]\displaystyle{ f_n, f_{n-1}, f_{n-2} }[/math] in the same way the chessboard was dissected using line segments of lengths 8, 5, 3 (see graphic).

Cassini's identity states:

[math]\displaystyle{ f_{n+1} \cdot f_{n-1} - f_n^2=(-1)^n }[/math]

From this it is immediately clear that the difference in area between square and rectangle must always be 1 area unit, in particular for the original chessboard paradox one has:

[math]\displaystyle{ 13 \cdot 5 -8^2= f_7 \cdot f_5 - f_6^2=(-1)^6=1 }[/math]

Note than for an uneven index [math]\displaystyle{ n }[/math] the area of the square is not smaller by one area unit but larger. In this case the four pieces don't create a small gap when assembled into the rectangle, but they overlap slightly instead. Since the difference in area is always 1 area unit the optical illusion can be improved using larger Fibonacci numbers allowing gap's percentage of the rectangle area to become arbitrarily small and hence for practical purposes invisible.

Since the ratio of neighboring Fibonacci numbers converges rather quickly against the golden ratio [math]\displaystyle{ \varphi }[/math], the following ratios converge quickly as well:

[math]\displaystyle{ \frac{f_n}{f_{n-2}}= \frac{f_n}{f_{n-1}} \cdot \frac{f_{n-1}}{f_{n-2}}\rightarrow \varphi^2,\, \frac{f_{n-2}}{f_n}= \frac{f_{n-2}}{f_{n-1}} \cdot \frac{f_{n-1}}{f_n}\rightarrow \varphi^{-2} }[/math]

For the four cut-outs of the square to fit together exactly to form a rectangle the small parallelogram [math]\displaystyle{ DEBF }[/math] needs to collapse into a line segment being the diagonal of the rectangle. In this case the following holds for angles in the rectangle due to being corresponding angles of parallels:

[math]\displaystyle{ \angle IDE =\angle HEB }[/math], [math]\displaystyle{ \angle DEI =\angle EBH }[/math], [math]\displaystyle{ \angle FDG =\angle BFJ }[/math], [math]\displaystyle{ \angle GFD =\angle JBF }[/math]

As a consequence the following right triangles [math]\displaystyle{ \triangle IED }[/math], [math]\displaystyle{ \triangle HBE }[/math] , [math]\displaystyle{ \triangle DFG }[/math] and [math]\displaystyle{ \triangle FBJ }[/math] must be similar and the ratio of their legs must be the same.

Due to the quick convergence stated above the according ratios of Fibonacci numbers in the assembled rectangle are almost the same:

[math]\displaystyle{ \frac{f_n}{f_{n-2}} \approx \frac{f_{n-1}}{f_{n-3}},\, \frac{f_{n-2}}{f_n} \approx \frac{f_{n-3}}{f_{n-1}} }[/math]

Hence they almost fit together exactly, this creates the optical illusion.

One can also look at the angles of the parallelogram as in the original chessboard analysis. For those angles the following formulas can derived:

[math]\displaystyle{ n\geq 4:\quad\angle FBE = \angle FDE=\arctan\left( \frac{1}{f_{2n-3}+2f_{n-3}f_{n-2}}\right)\rightarrow 0^\circ }[/math]

[math]\displaystyle{ n\geq 4:\quad\angle DFB = \angle DEB=180^\circ - \arctan\left( \frac{1}{f_{2n-3}+2f_{n-3}f_{n-2}}\right)\rightarrow 180^\circ }[/math]

Hence the angles converge quickly towards the values needed for an exact fit.

It is however possible to use the dissection scheme without a creating an area mismatch, that is the four cut-outs will assemble exactly into an rectangle of the same area as the square. Instead of using Fibonacci numbers one bases the dissection directly on the golden ratio itself (see drawing). For a square of side length [math]\displaystyle{ a }[/math] this yields for the area of the rectangle

[math]\displaystyle{ (\varphi-1)a \cdot (\varphi a)=(\varphi^2-\varphi)a^2=a^2, }[/math]

since [math]\displaystyle{ \varphi^2-\varphi=1 }[/math] is a property of the golden ratio.

History

Hooper's paradox

Hooper's paradox can be seen as a precursor to chess paradox. In it you have the same figure of four pieces assembled into a rectangle, however the dissected shape from which the four pieces originate is not a square yet nor are the involved line segments based on Fibonacci numbers. Hooper published the paradox now named after him under the name The geometric money in his book Rational Recreations. It was however not his invention since his book was essentially a translation of the Nouvelles récréations physiques et mathétiques by Edmé Gilles Guyot (1706–1786), which had been published in France in 1769.'

The first known publication of the actual chess paradox is due to the German mathematician Oskar Schlömilch. He published in 1868 it under title Ein geometrisches Paradoxon ("a geometrical Paradox") in the German science journal Zeitschrift für Mathematik und Physik. In the same journal Victor Schlegel published in 1879 the article Verallgemeinerung eines geometrischen Paradoxons ("a generalisation of a geometrical paradox"), in which he generalised the construction and pointed out the connection to the Fibonacci numbers. The chessboard paradox was also a favorite of the British mathematician and author Lewis Carroll, who worked on generalization as well but without publishing it. This was later discovered in his notes after his death. The American puzzle inventor Sam Loyd claimed to have presented the chessboard paradox at the world chess congress in 1858 and it was later contained in Sam Loyd's Cyclopedia of 5,000 Puzzles, Tricks and Conundrums (1914), which was posthumously published by his son of the same name. The son stated that the assembly of the four pieces into a figure of 63 area units (see graphic at the top) was his idea. It was however already published in 1901 in the article Some postcard puzzles by Walter Dexter.'

See also

• Missing square puzzle

Further reading

• Jean-Paul Delahaye: Au pays des paradoxes. Humensis, 2014, ISBN:9782842451363 (French)
• Miodrag Petkovic: Famous Puzzles of Great Mathematicians. AMS, 2009, ISBN:9780821848142, pp. 14, 30–31
• A. F. Horadam: "Fibonacci Sequences and a Geometrical Paradox". In: Mathematics Magazine, vol. 35, no. 1 (Jan., 1962), pp. 1–11 (JSTOR)
• David Singmaster: "Vanishing Area Puzzles". In: Recreational Mathematics Magazine, no. 1, March 2014
• John F. Lamb Jr.: "The Rug-cutting Puzzle". In: The Mathematics Teacher, Band 80, Nr. 1 (Januar 1987), pp. 12–14 (JSTOR)
• Warren Weaver: "Lewis Carroll and a Geometrical Paradox". In: The American Mathematical Monthly, vol. 45, no. 4 (Apr., 1938), pp. 234–236 (JSTOR)
• Oskar Schlömilch: "Ein geometrisches Paradoxon". In: Zeitschrift für Mathematik und Physik, vol. 13, 1868, p. 162 (German)
• Victor Schlegel: "Verallgemeinerung eines geometrischen Paradoxons". In: Zeitschrift für Mathematik und Physik, vol. 24, 1879, pp. 123–128 (German)

External links

• Jigsaw Paradox
• Weisstein, Eric W.. "Dissection Fallacy". http://mathworld.wolfram.com/DissectionFallacy.html.