定理:任意給定一個火腿三明治,總有一刀能把它切開,使得火腿、奶酪和面包片恰好都被分成兩等份。
而且更有趣的是,這個定理的名字真的就叫做“火腿三明治定理”(ham?sandwich?theorem)。它是由數學家亞瑟?斯通(Arthur?Stone)和約翰?圖基(John?Tukey)在?1942?年證明的,在測度論中有著非常重要的意義。
火腿三明治定理可以擴展到?n?維的情況:如果在?n?維空間中有?n?個物體,那么總存在一個?n?-?1?維的超平面,它能把每個物體都分成“體積”相等的兩份。這些物體可以是任何形狀,還可以是不連通的(比如面包片),甚至可以是一些奇形怪狀的點集,只要滿足點集可測就行了。(空集的測度為零)