定理:任意给定一个火腿三明治,总有一刀能把它切开,使得火腿、奶酪和面包片恰好都被分成两等份。
而且更有趣的是,这个定理的名字真的就叫做“火腿三明治定理”(ham sandwich theorem)。它是由数学家亚瑟•斯通(Arthur Stone)和约翰•图基(John Tukey)在 1942 年证明的,在测度论中有着非常重要的意义。
火腿三明治定理可以扩展到 n 维的情况:如果在 n 维空间中有 n 个物体,那么总存在一个 n - 1 维的超平面,它能把每个物体都分成“体积”相等的两份。这些物体可以是任何形状,还可以是不连通的(比如面包片),甚至可以是一些奇形怪状的点集,只要满足点集可测就行了。(空集的测度为零)