From:dmoews@xraysgi.ims.uconn.edu (David Moews)Date:11 Mar 1998 19:29:42 -0800Newsgroups:rec.puzzles,sci.mathSubject:Re: No CUBE of cubes.

In article <6e7eb1$2am$2@cantuc.canterbury.ac.nz>, Bill Taylor <mathwft@math.canterbury.ac.nz> wrote: |There is a standard puzzle - show it is impossible to have a cube of integer |side partitioned into a finite number of other cubes, also of integer sides, |and all of DIFFERENT sizes. ... |Why doesn't the same proof extend to "no square of unequal smaller squares", |which we know IS possible. Why can't we just look at the top edge |and the smallest square there, go across, then carry on as before? ... |What's specially different between 2D and 3D here? In this posting, by an Xd X I will mean an X partitioned into a finite number of Xs of unequal sizes. The proof is as follows: Look at the bottom of the cubed cube; you will see a squared square. *The smallest square, S, in this squared square cannot be on the boundary.* Therefore, the cube with S for a face is surrounded by four larger cubes, so its opposite face abuts another squared square. We can now look at the smallest square in this squared square. It is then the face of some cube surrounded by four larger cubes, which we can look at the opposite face of, and so on: since this process can be continued indefinitely, there can be no cubed cube. The difference between 2D and 3D is in the starred statement. The smallest line in a segmented segment can be on the boundary, but the smallest square in a squared square cannot be. -- David Moews dmoews@xraysgi.ims.uconn.edu