Banach Sliced the Sandwich Steinhaus Asked About
One flat cut halves the bread, the ham, and the cheese at the same time. Banach proved it.
Hugo Steinhaus's 1938 puzzle, published in the Polish journal Mathesis Polska, asked something that sounds like a bar bet: take any three solids, in any shapes, in any positions in space — can one flat cut slice each of them exactly in half? Bread, ham, cheese. One knife, three perfect bisections, simultaneously.
Steinhaus thought yes but didn't prove it. Stefan Banach did. The argument routes through the Borsuk-Ulam theorem, which says any continuous map from a sphere to a plane sends some pair of antipodal points to the same value. Banach's move: enclose the sandwich in a big sphere, parameterize candidate cutting planes by points on the sphere, and define a function that records the ham-and-cheese imbalance left behind. Antipodal points correspond to flipping the plane's orientation, which negates the imbalance — so by Borsuk-Ulam, some plane sends both coordinates to zero. That plane is the cut.
Arthur Stone and John Tukey, in a 1942 paper in Duke Mathematical Journal titled "Generalized Sandwich Theorems," pushed the result up to every dimension at once. Give them $n$ measurable objects in $n$-dimensional space and they hand back a single $(n{-}1)$-dimensional hyperplane that halves all of them. The 2D case got its own kitchen name — the pancake theorem, two pancakes split by one straight cut.
The catch is the one a hungry person actually cares about. The proof is purely existential. It guarantees the cut is there; it gives you no recipe for finding it. Two siblings fighting over the last sandwich are no closer to peace than they were before Banach picked up his pen.
Make Recess yours.
Sign in to save the ones you loved, never see the same thing twice, and tell us what you want more of.