之前看那个海岸线越量越长地帖就挺上头，今天碰巧想到个更离谱的。卧槽把 y=1/x（x 从 1 往右）绕 x 轴转一圈，能转出个号角。体积积分收敛在 π，能装下大约 3.14 升的酒，挺实在一容器。

可你要给它内壁刷层漆就傻眼了——表面积那个积分根本不收敛，直接发散到无穷。finite volume 配 infinite surface area，这俩能同时存在你敢信。于是它肚里塞得下一升酒，内壁却永远刷不完，因为得用无穷多的漆。

说白了就是微积分里收敛和发散能和平共处的一个小魔术，跟分形那种量不完的长度算远房亲戚。直觉在无穷大面前真没啥用，你以为装得下的肯定也刷得完，数学抬手就给你一巴掌 (￣▽￣)

有没有人也爱这种反直觉的小玩意儿

有个地方想补一刀：说它"刷不完漆"其实默认了你给内壁刷的是一层等厚度的漆。直接把酒倒进去装满，有限那点体积的酒照样把每一寸内壁都沾上了。所谓刷不完，只在漆层厚度恒大于零这个前提下才成立，真要灌满它一点也不费漆。

顺着你那句"跟分形算远房亲戚"，我得稍微抬个杠。Gabriel’s horn 其实一点都不分形——整张曲面是 C¹ 光滑的，既没自相似、也不带非整数维度。它表面积发散纯粹因为 1/x 在无穷远处衰减太慢，∫(1/x) 本身就发散。这跟海岸线那种 Hausdorff 维度大于拓扑维度的东西不是一回事。

认真算的话，horn 的 Hausdorff 维数就是 2，跟普通碗的内壁没区别，只不过被拉得太长太长。它反直觉的根源不在几何的"碎"，而在积分收敛的快慢：体积那项 ∝ 1/x² 收敛，面积那项 ∝ 1/x 发散，差这么一阶就分出了有限和无限。
其实
你帖里那个"3.14 升"也得看单位怎么取，数学上就是 π 立方单位，换升得先定标。不过这都不影响它好看，我头回在课本上撞见这东西也愣了好一会儿。

这号角我以前也拿纸推过一遍，算完同样觉得离谱。无穷面前直觉真不管用，但这种反差反而越想越有意思

我也很迷这种反直觉的小玩意儿，finite volume 配 infinite area 第一次见真被惊到。你是因为分形才拐到这儿的吗？

头回在书里撞见这个例子时我也愣了半天，装得下一升酒却刷不完漆，直觉真被按在地上。同好一枚，这种小魔术看多少遍都新鲜。

Gabriel’s Horn这个例子挺经典的，不过说它跟分形是“远房亲戚”可能不太严谨。分形的核心是自相似性和非整数维数，而这个号角的表面积发散纯粹是因为1/x在无穷远处的积分行为，几何上并没有自相似结构，两者机制其实差得挺远的。其实
嗯
另外补充个细节：所谓“装得下酒却刷不完漆”，前提是把漆当成理想化的数学面。如果规定漆层有固定厚度，那越往细管走截面积越小，到后面连一个原子都塞不进去，物理上根本不存在那个paradox。

前面体积算的是π≈3.14，后头顺嘴成"一升"了，小瑕疵。还有个更损的尾巴：你往里灌漆把内壁泡一遍，π那么点漆就够，所以"刷不完"只对"用刷子一层层刷"成立，前提是漆得有厚度。

读到「肚里塞得下一升酒，内壁却永远刷不完」那句，忽然想起小时候趴在窗上看雨。雨痕顺着玻璃一道弯弯的线往下淌，你以为它快到头了，它又拐个弯，没完没了地延续下去。

这号角让我着迷的地方，其实是那条 la curva 本身——它一直向远处退，永远不和轴相遇，却用这种永不碰头的温柔，圈出了一个能盛酒的肚子。finito 里面包着 infinito，像有些人心里其实只放着很少的东西，可要把自己说清楚，却得用上一辈子也讲不完的话。

quant_bee 前阵子发的那个分形帖，我盯着看了好久，大概也是同一种着迷。数学在无穷大面前把手一摊：你看，直觉没用。可偏偏是这种没用的瞬间，让人觉得世界还挺温柔的。

要把这号角真造出来 刷漆师傅怕是得当场辞职 装一升酒却要耗无穷的漆 太欺负人了

盯着这号角想了半天。我们总以为"装得下"和"刷得完"该是一对孪生兄弟，结果数学轻轻把它们拆开了，像把连体婴放回各自的命里。有限的体积盛着酒，无限的面积却怎么也够不着边——同一只容器，肚子里是人间烟火，内壁上头却是望不到头的夜路。

倒想起里尔克那句，“美者，无非是我们恰好能承受的恐怖之开端”。无穷大概就是那种恐怖，而微积分替我们掀开了一角，又温柔地合上了。

你问有没有人爱这种反直觉的小玩意儿，我举手。每次撞见这种事，都觉得世界比我想的厚。