Sam Loyd's Geometric Puzzle
I've been thumbing through Mathematical Puzzles of Sam Loyd selected and edited by Martin Gardner (Dover, 1959), when I came across a puzzle whose set up and the original solution by Sam Loyd amused me greatly. This is the puzzle #36 from the book.
The puzzle is framed into a story of an auction at which a plot of land comprising three squares surrounding a triangular lake was offered for sale. Sam Loyd states the puzzle thus:
The question I ask our puzzlists is to determine how many acres there would be in that triangular lake, surrounded as shown by square plots of 370, 116 and 74 acres. The problem is of peculiar interest to those of a mathematical turn, in that it gives a positive and definite answer to a proposition which, according to usual methods, produces one of those ever-decreasing, but never-ending decimal fractions.
More than by the puzzle itself I was amused by Sam Loyd's ingenious solution.
Other Puzzles by Sam Loyd
- The Gordian Knot
- Fifteen
- Farmer and Wife To Catch Rooster and Hen
- Puzzlist vs. Mathematician: A Practical Arithmetic Problem
- Can you better Sam Loyd?
- Sam Loyd's Geometric Puzzle
|Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander BogomolnySam Loyd's Solution
Form a right-angled triangle ABD with sides
In ΔACE, the Pythagorean theorem gives
- another square in the diagram. To get the third square apply the Pythagorean theorem to ΔBFC:
which proves that ΔABC is exactly of the shape of the triangular lake. Now then
Area(ABC) | = Area(ABD) - Area(ACE) - Area(BFC) - Area(CEDF) |
= 9·17/2 - 5·7/2 - 4·10/2 - 4·7. |
We thus obtain
So, what's interesting about this solution? The problem of finding area of a triangle given its three sides is routinely solved with Heron's formula. I can't imagine that Sam Loyd was unaware of this route. More likely he counted on general ignorance of the formula even among mathematics fans and puzzlists. With Heron's formula, the solution is straightforward and requires just a few algebraic steps based on repeated application of the well-known formula:
Sides of ΔABC are defined by
In other words,
16·Area(ABC)^{2} | = ((a + b)^{2} - c^{2})(c^{2} - (a - b)^{2}) |
= (2ab + (a^{2} + b^{2} - c^{2}))(2ab - (a^{2} + b^{2} - c^{2})) | |
= 4a^{2}b^{2} - (a^{2} + b^{2} - c^{2})^{2}, |
which, in our case, reduces to
wherefrom Area(ABC)^{2} = 1936/16 = 121 = 11^{2}. This derivation suggests a nice little theorem: if the squares of the sides of a triangle are whole integers, then the square of its area is either a whole integer, or a half of a whole integer, or a quarter of a whole integer. No more may be claimed in general: the area itself may, of course, be irrational. Herein may lie an explanation to the approach taken by Sam Loyd. Loyd was generously giving away the way in which he arrived at a particular triple 74, 116, 370. Let integers x_{1}, x_{2}, y_{1}, y_{2} be such that the point C on the diagram below is inside (as in Sam Loyd's puzzle) ΔABD. Having point C outside ΔABD changes computations very little, but changes them nonetheless, and Loyd should have verified this condition.
Then all areas involved (ABD, ABC, ACE, BFC, CEDF) are either integers or half integers. (Pick's Theorem also comes to mind.) Area(ABC) can be found directly
Area(ABC) | = Area(ABD) - Area(ACE) - Area(BFC) - Area(CEDF) |
= (x_{1} + x_{2})(y_{1} + y_{2})/2 - x_{1}y_{1}/2 - x_{2}y_{2}/2 - x_{1}y_{2} | |
= (x_{2}y_{1} - x_{1}y_{2})/2 |
or by more general methods. Try it! The calculations are much simpler than offered by Sam Loyd. For the Area(ABC) to be integer, the expression
Martin Gardner (The Second Scientific American Book of Mathematical Puzzles and Diversions, The U. of Chicago Press, 1987, p. 32) mentions that in the 1890s Loyd collaborated with H.E. Dudeney on a series of puzzle articles for the English magazine Tit-Bits. Later they arranged to exchange puzzles for their magazines and newspaper columns. However it may be, but the above puzzle found its way into Dudeney's collection Amusements in Mathematics (Dover, 1970, #189):
Now, the little triangular bit of land enclosed by the three square estates was not offered for sale, and, for no reason in particular, I became curious as to the area of that piece. How many acres did it contain?
I find it remarkable that the verbiage of the problem has been modified, but the numeric data was not. The solutions are virtually identical as well. How easy it is to modify the numeric data? Let's, for example, take
which could be also obtained simply as (7·5 - 3·5)/2. Is it that simple? Well, there is one point that has been glossed over. We should have verified that a triangle indeed exists whose sides have squares 50, 58, 208. That is to say, we had to check that the square roots of numbers 50, 58, and 208 satisfy three triangle inequalities. While two are obvious, the third one
Now, more generally, let four numbers x_{1}, x_{2}, y_{1}, and y_{2} be chosen in such a way that
|Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander BogomolnyWe want to verify that
Since all terms are positive squaring leads to an equivalent inequality which, after some simplifications, appears to be
Squaring once more we get
which simplifies to
and finally to
Which is equivalent to
|Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander Bogomolny65418576 |