3
$\begingroup$

The Wikipedia article says:

Suppose that there is such a dissection. Make a face of C its horizontal base. The base is divided into a perfect squared rectangle R by the cubes which rest on it. Each corner square of R has a smaller adjacent edge square, and R's smallest edge square is adjacent to smaller squares not on the edge. Therefore, the smallest square s1 in R is surrounded by larger, and therefore higher, cubes on all four sides. Hence the upper face of the cube on s1 is divided into a perfect squared square by the cubes which rest on it. Let s2 be the smallest square in this dissection. The sequence of squares s1, s2, ... is infinite and the corresponding cubes are infinite in number. This contradicts our original supposition.

Why is it important that the smallest rectangle is not located on the edge?

$\endgroup$
1
$\begingroup$

The argument in Wikipedia is not explained well. The point is that the smallest square, $S$ say, could lie on an edge or a corner, but, whatever happens, it has strictly larger squares alongside the $2$, $3$ or $4$ of its edges that are internal to the face $C$. The cubes on top of those larger squares will build walls around the space on top of $S$ that prevent us filling the space on top of the cube over $S$ with cubes that are larger than the cube over $S$.

$\endgroup$
  • $\begingroup$ I actually had the same thoughts about the case when it lies on edge or corner. So, is it redundant to say about edge/corner case, because the proof for this case is basically the same as for the general case, right? $\endgroup$ – False Promise Oct 13 '17 at 22:50
  • $\begingroup$ No. To give the argument correctly, you must deal with all the cases and the Wikipedia article didn't do that very well. I have edited the Wikipedia article. $\endgroup$ – Rob Arthan Oct 13 '17 at 23:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.