The haberdasher's problem is the name given to problem of dissecting an equilateral triangle into a square. Demaine et al. (2024) give a summary of the problem's history. It was posed by Dudeney in his April 6, 1902 column with no clear indication of if a solution was known. In the next issue of his column (April 20, 1902), Dudeney gave a five-piece solution while noting that C. W. McElroy of Manchester had found a four-piece solution.
In the following column (May 4, 1902), Dudeney presented the four-piece solution illustrated above, though without a clear indication if this dissection was due to Dudeney or McElroy (Frederickson 1997, Frederickson 2002, Demaine et al. 2024). The puzzle and solution appeared later in Dudeney (1908) with the name "The Haberdasher's Puzzle."
Label the dissection as shown above (Amplify Education). Then the the vertices of the triangle correspond to a single point in the square. On the other hand, the points and in the triangule each bifurcate into two separate points corresponding to different vertices of the square. In the diagram, and , (so and bisect and , respectively), , and . Furthermore, as a result of the fact that points and become vertices of the square, the angles , , , and are all right angles.
Letting the square have unit edge length and area, there are four distinct edge lengths, given from smallest to largest by
(1)
| |||
(2)
| |||
(3)
| |||
(4)
|
These correspond to an isosceles right triangle with leg lengths and hypotenuse , a diamond with edge lengths and , and two mirror image quadrilaterals with side lengths , , , containing a single right angle. This quadrilateral could be termed the "Haberdasher's quadrilateral."
Amazingly, not only does this dissection allow the equilateral triangle to be dissected into a square with only three cuts, but the resulting four pieces can be hinged so that they collapse into either the equilateral triangle or the square (Gardner 1961, p. 34; Stewart 1987, p. 169; Wells 1991, pp. 61-62).
Demaine et al. (2024) proved that the equilateral triangle and square have no common dissection with three or fewer polygonal pieces, thus establishing that Dudeney's dissection is optimal.