一个实心球切成有限块，能原样拼出两个跟原来一样大的球。听着像民科吹牛，但它1924年就被巴拿赫和塔斯基用集合论严格证出来了，后世叫巴拿赫-塔斯基悖论。
先说清楚，这里的"块"不是你拿刀能切出来的。他们借选择公理（axiom of choice，一条允许你从无穷多个集合里各挑一个元素的公设）构造出一类特殊集合，数学上叫不可测集（non-measurable set）——它们压根没有通常意义下的"体积"。我们日常碰到的东西都有体积，可这类集合直接绕开了体积这个概念。
所以整个过程只存在于纯数学的抽象里，别指望拿橘子泥巴能复现。它的意义不在"白赚一个球"，而是把一件事摆到台面上：我们直觉里天经地义的"体积"，一旦进入无穷和集合论的领域，会彻底失效。
小时候看街头变戏法还信过一个变俩，结果人家是骗人，数学倒真给证出来了，就是不能上手切，这反差有点意思哈哈哈。明明摸不着的东西，偏偏把咱们以为天经地义的体积给绕没了。越想越觉得人认的那些死理儿，一到某个边界就散了，跟我这佛系想法倒对上了，啥事都不用非得较真儿。
读完最后那段，心里忽然空了一下。
我们总以为实在的东西就该有个准数，像手里攥着的一块石头，体积重量都清清楚楚。可帖子里说的那类集合，偏偏连体积也没有，却实实在在地存在，只是不在我们习惯的那把尺子底下。
说实话这让我想起一些事，原以为天经地义的，换个尺度就散了架。小时候总信"明天"是线性的、稳稳往前走的；后来才慢慢懂，有些失去永远补不回来，有些缺口怎么拼都回不到原样。巴拿赫和塔斯基好歹还能拼出两个一样大的球，可日子里的许多碎裂，碎了就是碎了。
不过话说回来，正因尺子量不到的地方还很多，那些说不清道不明的东西才格外金贵。比如某个什么也不做的下午，水面浮着碎阳光，你坐得久了，连自己有没有"体积"都不重要了。
这俩球拼出来也没体积，纯纯抽象艺术摆着看个寂寞唄
第一次看到这结论时也愣了半天，体积在无穷里居然会塌，太反直觉了。我最喜欢的其实就是数学这种把常识温柔推翻的瞬间。
选择公理这玩意儿听着就玄乎！我之前听人聊起过，说不少数学家其实挺排斥它的，嫌太"霸道"。塔斯基他们当年发出来，是不是也被同行狠怼过啊~
连体积都是假的 我世界观又塌一块 哈哈
我每次想到这悖论最后背发凉的不是白赚一个球，是那些"块"你压根指不出来。它们靠选择公理存在，可公理只担保"能挑"，不担保你能写出挑的是啥。整套拼球在数学里就只是"存在性"三个字，连一个点落哪都不告诉你。这比刀切不了还离谱，刀切不了好歹东西还在，这玩意儿连被看见的资格都没有哈哈
顺带补一个角度：楼主说体积概念失效了，我觉得更准的说法是"我们想让体积满足的两件事打架了"。一是每个集合都得有个体积，二是体积得在旋转平移下不变、还能一块块加总。巴拿赫塔斯基真正的结论其实是，只要认了选择公理，这俩就永远没法同时成立。不是体积崩了，是这俩愿望你只能放弃一个。
那有人就问了，把选择公理扔了不就完了？问题是扔了AC更难受，连"每个向量空间都有一组基"这种听着很基本的东西都保不住，实数能不能良序都悬。数学家最后的和解是：体积只发给可测集，不可测那些就当没体积好了。突然想到悖论没推翻啥，就是逼大家认一个尴尬事实，无限这摊水太深，常识是浅水区的游泳圈。
这种"证出来了却碰不到"的东西总让我有点虚无感，明明站在那又根本抓不住
橘子泥巴复现不了我信，但数学里能凭空多一个球，离谱得有点上头~
楼主那句"别指望拿橘子泥巴复现"才是大实话。我小时候还真信过切开能多一块的江湖把式，长大发现连数学都只能在纸面上赢，而且赢的还是自己定的规则，离谱。好吧好吧
卧槽
行吧说真的，这悖论最戳我的不是"白赚一个球"，是它把"直觉靠不住"用数学严严实实钉死了。我们觉得天经地义的东西，换个无穷的场子就全失效——这感觉我太熟了，当年卷进大厂也以为"努力就有回报"是铁律，结果呢。抽象世界里逻辑自洽，现实里该不快乐还是不快乐。
橘子还是乖乖吃，别想着切了（￣▽￣）
我年轻的时候也信眼见为实。觉得眼睛看到的、手摸着的，那还能有假。后来活过的年头多了，才慢慢知道，人这双眼其实也就罩得住脚底下那一小片地方。
你这帖里讲那个"体积会失效"，我倒不觉得多奇怪。不是我懂数学，是这岁数见过的弯弯绕绕多了——好多事看着板上钉钉，挪到另一个地方就完全不是那么回事。老一辈有句话，一根筷子轻轻折，一把折不断，可这理换到别处未必还灵。
楼主最后那句我认。我们觉得天经地义的，多半是因为还没走到让它现原形的边界。塌的哪是什么球，是自己心里那点老框框。
想不通也不急，慢慢捋。
选择公理简直像开了挂，凭空多一个球出来 可惜只活在纸面上，橘子泥巴可不配合
补充一个常被略过的点：帖子说"体积彻底失效"，这个表述值得商榷。勒贝格测度在可测集上工作得好好的，真正失效的是"给R^3所有子集都定义体积且保持旋转不变"这件事。根子在R^3的等距变换群含有一个秩2的自由群（两组不同轴的旋转生成），它能做"悖论分解"（von Neumann 定义），而R^1、R^2的等距群没有这种子群，所以一维线段和二维圆盘用有限块刚体运动复制不了——这才是BT只在三维成立的本质原因。
选择公理也不是装饰。Solovay 1970年证明，放弃AC的模型里R^3所有子集都可测，悖论随之消失。"体积失效"是我们选了AC这条公设的后果，不是数学必然。
Друг，标题"切5块"里那第5块其实是单点集（至多可数），体积为零，严格说不算拖累。Хорошо。