|
Suppose you and a friend want to split an egg. Neither of you wants to
be cheated out of your fair share, and it's not enough to split the
overall egg into two equal halves. You want to be sure you get
exactly half of the yolk and exactly half of the white.
|
|
| If the egg has the nice symmetric shape of a surface of revolution,
then any straight cut along the axis of symmetry will do the trick.
A knife blade can cut along any plane including this axis, and
exactly half of the yolk and half of the white will be on each side.
And a two-dimensional picture is enough to show what is going on.
|
|
| But suppose the yolk has settled to one side. Now there is no
axis of symmetry. For simplicitly, we consider first a two-dimensional
version of the problem, though now this is not exactly equivalent.
Can we still find a straight line (along which to cut) that divides
each region (the white and the yolk) exactly in half?
In the example shown, the yolk is still a round disk, so we know
the cut has to go through its center. As we sweep possible cut-lines
around this center, we start out with more white above the cut,
and end up with more white below, so somewhere in the middle we
could find the perfect cut.
|
|
| The same argument won't work if the yolk isn't perfectly round.
But a surprising theorem says that we can still find a straight-line
cut which divides the yolk and the white exactly in half, no matter
what shape they have. In fact, any two areas in the plane (even
if one or both are split into several pieces) can be both divided
exactly in half by a properly chosen straight cut. So even a
scrambled egg can be divided fairly with a single cut!
|
|
| Here are some examples of pairs
of regions; using the java program, you should try to divide each
one fairly.
|
| In three dimensions, we can do even better. We have greater freedom
to choose the direction of a single straight cut (now along some
flat plane), so in fact we can arrange to simultaneously divide
each of three different volumes exactly in half. For instance,
we could fairly divide not just the yolk and white, but also
the shell of an egg. This amazing fact is often called the
ham sandwich theorem since it shows you can fairly divide
the ham, the cheese, and the bread when splitting a ham sandwich
(even if the ham and cheese are not laid out nicely).
This is a consequence of the
Borsuk-Ulam theorem in topology.
|