Ever wondered if there is a guaranteed way to cut through your ham sandwich so that the bread, the ham, and the other slice of bread are all divided equally in half? Maths can help!! This is cool theorem I came across recently.
Oh! And read to the end to find out how you can tell the weather in Australia when you are in the UK.
Theorem (Ham Sandwich Theorem): For any three compact connected sets in three dimensional space, there is a plane that simultaneously splits each of them into two equal parts.
I particularly like the idea of the proof, but first off, let’s understand what this theorem is saying. It says if we take any three “blobs” (aka two slices of bread and a slice of ham) in three dimensional space, there is a plane that splits each of them in equally. Each of them! Equally! Personally I find it easy to imagine a plane that might touch each of the “blobs”, but one that will divide all of them equally is much harder to imagine.
Compact and connected are mathematical terms that essentially mean the shapes are “nice” shapes. In three dimensions ( ), this is the shapes are closed, bounded and connected. The exact definitions aren’t too important here, but have a think – what do you think they mean? Can you think of some sort of shape that isn’t connected, or bounded, or closed (closed might be the hardest one)?
So how would you go about proving it? Maybe by constructing a plane that goes through two of the “blobs” and seeing if you can tilt it somehow to go through the third?
It’s actually a great corollary to the Borsuk-Ulam theorem:
Theorem (Borsuk-Ulam): Let be any continuous function from the sphere to two dimensional space. Then there is a point on the sphere such that has the same value at its opposite (antipodal) point , i.e. .
Think about it:
Can you see how to apply this theorem to the above problem?
Let’s give it a go.
Put the sphere, at the origin in three dimensional space. Let the three “blobs” be called , and respectively. For any point on the sphere, we have can regard it as a direction or vector that goes through the origin out through the point . Let be a plane perpendicular to the direction given by that divides the “blob” equally into two pieces (it’s easy to think about one of these existing. Something like the Intermediate Value theorem would work here).
Then let , be the distance along the direction of between and , respectively. Now we have a continuous function that takes a point on the sphere, and assigns a value in two dimensions. Also, in this case, draw a picture to see that .
Now let’s think about the Borsuk-Ulam theorem. It tells us there is a point such that , which means at this , . This can only be true when , and this means the distance between the planes is zero, or rather, there’s now just one plane!
There’s been quite a lot of info here. There’s a lot of notation, but the proof itself isn’t that complicated. Have another read over it with some pens and paper, and draw some pictures as you go along.
Alternatively, dissemble your lunch next time and work out if you can divide each piece in half.
Note: after a proof, mathematicians draw a little square (either empty or filled in) to signify the proof is finished.
Also note: the real maths here is simply showing that a plane exists, not how to find one!! That’s a job left up to engineers…
There’s a lot on the internet about the Borsuk Ulam and Ham Sandwich theorems which both have a number of applications, such as in computer science! I first came across them in Chapter 1.1 of Algebraic Topology by Allen Hatcher (proving the Ham Sandwich theorem is an exercise), but since many universities only cover topology in third year at the earliest, this book might be a bit advanced.
There’s a cool application of the Borsuk Ulam theorem that’s commonly stated with it: Think of the surface of the Earth as a sphere. Think of any two variables, like temperature and pressure. The Borsuk Ulam theorem says there’s a point on the Earth’s surface where the point on the exact opposite side of the Earth has equal temperature and pressure.