最近翻到个老问题，越琢磨越妙。把曲线 y=1/x 从 x=1 画到无穷远，再绕 x 轴转一圈，就得到一头尖一头敞的号角。
先算它能装多少。横截面是半径 1/x 的圆，面积 π/x²，从 1 积到无穷，∫₁^∞ π/x² dx 收敛到 π。有限的，连一桶漆都用不满，灌进去，满。
可拿刷子刷内壁，麻烦来了。表面积那道积分带着 1/x，在无穷远处发散，结果是无穷大，漆永远不够。
怪象出现了：能灌满的容器，内壁却刷不白。有限的量裹着无限的皮。这叫托里拆利小号，十七世纪就有人为它头秃。它迷人不在结论，而是提醒你，有限与无限的边界远没想当然那么干脆。
嗯
真拿漆去灌，那尖得要命的口子连分子都未必挤得进，物理上另说。数学先走到这步，quod erat demonstrandum。
你们头回见这悖论，是不是也觉得哪算错了？
这个悖论里最容易被绕晕的一处，是“灌满”和“刷白”其实在量两件不同维度的东西。你算的体积是三维积分∫₁^∞π/x²dx收敛到π，表面积是二维积分∫₁^∞2π·(1/x)·√(1+1/x⁴)dx，后者在大x处行为逼近1/x，自然发散。两者本来就不该相等，所以“有限量裹着无限皮”并非矛盾，只是两个不同维度的积分各走各的路。
不过你最后那句“物理上另说”才是把悖论真正接地的关键。刷子涂的是一层有厚度的漆，假设均匀厚度t，需要的漆量根本不是表面积，而是夹在y=1/x和y=1/x+t两个喇叭之间的那层壳的体积。这壳的体积在无穷远处发散——in principle，要涂出一条正厚度的漆膜确实得用无穷多的漆，发散的面积说的正是这件事。反过来，灌进去那π那么多的漆，如果理解成“贴了一层厚度趋于0的膜”，它从来就没真把内壁刷白，只是把空腔填满了。两种说法自洽，不打架。
顺带一个常被忽略的对称性：对这类绕轴旋转的号角，面积有限是能推出体积有限的，因为A≥2π∫f，A有限⇒∫f有限⇒∫f²有限⇒V有限；但体积有限推不回面积有限，你这个1/x恰好是反例。所以“有限体积+无限面积”可以成立，而“有限面积+无限体积”在单调递减到0的喇叭里不可能出现。这不对称本身比结论更耐看。
十七世纪那帮人要是能灌真漆，估计也懒得为它头秃了。
补个细节：表面积严格是 2π∫(1/x)√(1+1/x⁴)dx，不是单纯 1/x。发散结论没跑，你头回在哪儿撞见的？
刷不白卡在漆厚为零。真给内壁涂一层哪怕极薄的漆，到后面那点漆就把号角整个填满了。
我头回撞见这号角也是在BBS上，盯着那两个积分看了好久，死活觉得哪步算岔了。后来才转过弯来，问题不在算错，是咱们脑子里"有限"和"无限"本就不是一回事，硬往一处捏自然别扭。
补充个细节：托里拆利原稿里没 y=1/x 这套坐标语言，他是用几何法证的，现代积分解法是后世才有的。
笑死 这小号我当年头回见也以为哪算错了。最戳我的是楼主最后那句，真拿漆去灌那尖口连分子都挤不进，数学先爽完物理在门口笑哈哈。QED收尾也是老派浪漫，绝了。
你最后那句"物理上另说"才是真要害，顺着这个口子其实能把悖论拆得更干净。
数学上那个"灌得满却刷不白"，根子不在有限包着无限多玄乎，而是"灌"和"刷"用了两套不一样的量。灌是算体积，刷是算面积乘漆膜厚度。体积积出来是 π，定死了。面积那道积分带着 1/x，发散，没错。可一旦问"刷到底要多少漆"，得是面积再乘上一个漆膜厚度 t。只要 t 是个大于零的常数，t 乘无穷大当然还是无穷大，漆不够。
但"灌满"这件事本身，恰好在尖头处铺了一层厚薄不均的漆膜。取靠尖的一小段 dx，漆的体积是 π/x²·dx，那段的侧面积约 2π/x·dx，两者一比等于 1/(2x)，越往里越趋近于零。也就是说，灌进去的漆在尖头薄成了纱，正是靠这层无限变薄的膜，才用有限的体积盖住了无限的面积。
所以严格的结论是：允许漆膜任意变薄，就能刷白；非要一个统一的下限厚度，就刷不完。物理里这两头都不灵，分子有尺寸，x 大到一定程度 1/x 比分子还细，尖口连漆都进不去，更别说铺膜。
再补一个常被略过的数：表面积那道积分是 ln 型的，发散得慢得要命。想积到上千的量级，x 得推到 e 的一百多次方，约莫 10^69 开外，纯纯的天文数字。所以"无限"在这儿更多是极限游戏，真做个号角摆桌上，表面积大归大，离"刷不完"还远。
头回见这题的人多半以为哪算错了，其实是把两笔账混成了一笔。你问是不是也觉得算错，我倒觉得它最妙的地方恰恰在物理那一半，那才是真没说完的部分。
你这句"能灌满却刷不白"，其实藏了个没说破的前提，挺值得拎出来。把漆灌进号角，漆面是贴着内壁走的，理论上内壁每一寸都沾上了漆，也就是刷白了。真正让"刷"失败的，是你默认刷子得留下一层等厚的漆膜。体积和表面积是两个不同维度的量，三维的度量收敛、二维的度量发散，本来就能各走各的，不矛盾。所以顶顶反直觉的，不是"灌得满刷不白"这个画面，而是有限的体积里竟裹着无限长的皮。古人说鱼与熊掌不可得兼，这儿倒好，二者都给你摆着，只是不在一杆秤上。
先算表面积那步我想补一句。原文说"带着1/x在无穷远发散"，方向没错，但严格立得住得用比较判别法：表面积的被积函数其实是 2π·(1/x)·√(1+1/x⁴)，当 x→∞ 时那个根号趋于1，被积函数渐近于 2π/x，而 ∫₁^∞ dx/x 发散，所以表面积发散。少了这层，"带着1/x"容易被误读成 integrand 干脆就是 1/x，其实外面还裹着 √ 因子，只是它在无穷远处趋于1、不改变发散性。严格来说
更想聊的是"刷不白"这个直觉。它成立其实藏了一个没明说的前提：刷子涂的漆层厚度得有个正的下界。要求整个内壁涂层均匀且不小于某个 ε>0，那无限表面积确实要无限多的漆。可一旦允许涂层厚度随 x 变薄，比如在 x 处只涂 1/x² 那么厚，算下来总漆量反而是有限的，和体积积分同量级。所以"灌得满"和"刷得白"在数学上并不真的互斥，矛盾感来自我们偷偷给"刷"加了均匀厚度的约束。
这也让原文的结语更耐想：有限与无限的边界之所以"不干脆"，部分因为我们习惯用同一把尺子（均匀的涂层、统一的单位）去量低维测度（体积）和高维测度（表面积）。科赫雪花就是一例，平面图形面积有限、周长无限，同一类现象落在不同维数上。托里拆利小号不是算错了，是把"无限"用很安静的方式塞进了有限外壳。
嗯
到 x=1000 时体积已达 π 的 99.9%，表面积却还只在 2π·ln(1000)≈43 的量级、且遥遥无尽头…，这对比挺能说明问题。你们有没有反过来试过问：是否存在表面积有限、体积却无限的旋转体？我直觉构造不出来，因为 f 一大两者都大，但具体证一下还挺费劲。
笑死 我头回见也觉得哪算错了 后来才发现这号角真能有限装无限 邪门