The haberdasher's problem (right), proposed in 1907 by the puzzle composer Henry Dudeney is a dissection of a triangle to a square, with only three cuts.
Any two 2D polygons of the same area can be cut into the pieces so that one can be reassembled as the other. It is unusual to have a dissection as elegant as this. It is not hard to find dissections when you are not worried about the number of pieces.
Hilbert's third problem is whether two tetrahedra of the same base area and height, and therefore the same volume, can be dissected into tetrahedra and reassembled one into the other. It is possible for some tetrahedra pairs, but not all. A very closely related problem is whether a cube can be cut up into a finite number of pieces and reassembled as a regular tetrahedron. It turns out that it can't.
To prove that we need some mathematical machinery.
For this page we will be using concepts about vector spaces.
Vector Space over the RealsEdit
One way to treat 3D space mathematically is as 3 dimensional Euclidean space also written as . A point in space is represented by three numbers where each number is a real number like or or
For we can use the Pythagorean theorem to calculate distances - sum the squares of each coordinate and take the square root.
There are also formulas for working out angles between different directions, and for various kinds of transformation of position in 3D space, such as rotating about the origin. is a space in which we have a lot of intuition about how things should be.
We don't have to restrict ourselves to three dimensions. We can have vector spaces over . Many formulas about vector spaces over work whether we are in 1,2,3 or some higher number of dimensions. In those cases it is more economical to write the results in terms of , where it is understood that we are free to choose what n should be. Even so, we generally use and not for our mental pictures of what is going on.
- There is much more information about vector spaces in the book Linear Algebra.
- Wikipedia also has information about Euclidean Space.
Vector Space over the RationalsEdit
We can also form a vector space over the rationals, .
includes numbers like (it can be expressed as a rational fraction ) but does not include numbers like or we're assuming that the '...' means it continues with arbitrary numbers, .
In a point with coordinates is allowed. A point with coordinates is not allowed since all three coordinates must be in
The fact that 'misses out some values' is going to be very important to us in showing that we can't dissect an arbitrary tetrahedron and reassemble to make a cube.
Whether we use or , we use the term 'point' for a position relative to the origin and vector for a relative displacement between two points. We can add vectors. We can subtract vectors. We can multiply a vector by a number, provided the number is of the correct kind (in or respectively).
For investigating Hilbert's third problem, we will need a vector space over , the rational numbers. Numbers like and are allowed. Numbers like are not.
Explain what a quotient space is
A very useful tool for showing that one figure cannot be subdivided up a particular way is the idea of an invariant. They can be used for example in polyomino problems to prove impossibility.
Here is a simple dissection or subdivision puzzle where an invariant shows why a solution is impossible.
In this puzzle the objective is to tile the chosen area with 23 dominos, polyominos with just two squares.
It can't be done.
Spoiler Warning: There is a simple and elegant proof which we are about to give here. Stop reading if you want to have a try yourself first. If not, keep going. If we colour the board as in a chess board, say with black in the top left, then there are two more black squares than white squares. However each domino covers one white square and one black square.
The difference between the number of black squares covered and the number of white squares covered is an invariant. It starts off on an empty board as zero. As we place more domino tiles the invariant is unchanged. It really is an invariant. It starts off as zero and it stays at zero. However for all squares to be covered it needs to reach two - a contradiction.
In the polyominos problem the invariant is just a number. To solve Hilbert's third problem we need a more complex invariant. We need something that captures information about angle and about length at the same time. You might think a complex number would fit the bill, but we actually need more because there is more than one length involved. We construct a domain for our invariant to come from in a way tailor made to the problem we are solving. The domain isn't R, it isn't C, instead it's a rather strange mathematical object that we construct to have just the properties we need.
Explain what a tensor product is
It is invariantEdit
Show that, because we've constructed it in the way we have, it does not change when we cut a polytope into pieces.