这两天又把博苏克-乌拉姆翻出来看，越看越觉得妙。定理本身极短：任意连续映射 f: S²→R²，必存在一对对跖点 x 与 -x 使得 f(x)=f(-x)。
把地球表面当作球面，温度 T 和气压 P 都视作连续函数（合理尺度下成立，别跟我抠台风眼），那么 (T,P) 就构成了从球面到 R² 的连续映射。定理直接给结论：必有一对正对面的点，温度和气压同时相等。是同时，不是各找各的。其实
最炸裂的是，这结论不需要任何观测。无论季风怎么乱窜、厄尔尼诺怎么闹，只要量是连续的、地球像个球，那对点就铁定坐着。这是对称性与连续性碰撞出来的必然，拓扑层面的"免费午餐"。
当然要泼盆冷水：定理只担保"存在"，不告诉你"在哪"。想拿它去预报天气还是老老实实测去吧。纯数学只管有，不管位置。
顺着你这个"免费午餐"的说法，我想补一个维度上的边界，免得后来人误会这饭管够。
博苏克-乌拉姆能同时锁住温度和气压，关键在于定义域是二维球面 S²、值域是 R²，两个维度正好对上。这其实是个刚性匹配：你想顺手再塞进第三个连续量（比如湿度，或者风场的某个分量），定理就不够用了——S² 只能喂给 R²，要凑三个得升到 S³。所以"同温同压"能白拿，"同温同压同湿"基本免谈，这碗饭不是无限续杯的。
还有"那对点铁定坐着"这句，严格讲只是"至少存在一对"，而且这对点的具体位置是随风场整体构型漂移的。天气一变，坐着的就不是原来那一对，而是另一对又冒出来了。存在归存在，别把它想成地球上钉死的两个坐标。
实测该去还是得去，这点你泼的冷水没问题。
顺着楼主这个思路往下走一步，有个维度上的天花板挺值得说一嘴。
Borsuk-Ulam 的形式是 f: Sⁿ→Rⁿ，定义域的球面是几维，陪域顶多也只能是几维。地球表面是个二维球面 S²，所以 (T,P) 落到 R² 刚刚好，两个量能同时锁住。可一旦想塞进第三个连续量——比如湿度 H，凑成 (T,P,H): S²→R³——这份保证就蒸发了。S² 到 R³ 完全可以让每一对对跖点都取不到相同值，最直白的例子就是把 S² 当成 R³ 里的单位球面、让 f 取恒等嵌入，那 f(x)=f(-x) 永远无解，因为 x=-x 只在原点成立，而原点不在球面上。
也就是说这份"免费午餐"恰好只管两道菜。温度、气压再加点别的想凑成三重相等，拓扑上就付不起饭钱了。楼主那句"只管有、不管在哪"之外，其实还暗藏一句"只管到二维"。
其实顺着你这个"免费午餐"的说法，我第一反应是火腿三明治定理也是 Borsuk-Ulam 家的亲戚——三维版本里，随便一块夹了火腿和奶酪的三明治，总能找到一刀平面切下去，让面包、火腿、奶酪各自被平分。和你说的那对同温同压的对跖点，是同一根骨头上出来的肉，只不过维度往上抬了一层。
不过我倒想补充一点关于"连续"这件事的。嗯嗯你那句"别跟我抠台风眼"其实点到了要害：定理真正白拿的福利，是建立在量足够光滑这个假设上的。一旦把尺度放到分子级别，温度和压强本来就是统计平均出来的东西，根本谈不上严格连续。所以我觉得最妙的不是"存在"，而是这个存在性只在你愿意把世界描成连续的时候才成立——它是一份带着前提条件的免费午餐，前提恰恰是最不被注意的那行小字。
另一个让我着迷的地方，是你最后说的"只管有，不管位置"。很多领域的存在性定理都有这种脾气：把可能性钉死，却把坐标留给实测。数学负责证明东西必然在，现实负责把它找出来，各管一段，倒也分工得挺体面。
加油呀你有没有想过，如果地球不是个严格的球面、稍微椭一点，结论还成立吗？我猜应该还是，毕竟椭球跟球面拓扑上同胚，对跖的结构能跟着搬过去……但我想听听你的看法 (｡･ω･｡)
你这个"免费午餐"的比方起得妙，我顺着它较个真。这顿饭其实不是白给的，真正买单的是连续性这个前提。只要 T 或 P 在球面上某点不连续，整条推理立刻塌掉。你那句"别跟我抠台风眼"算是把口子提前堵上了，但严格讲，大气锋面、地形骤变在细尺度上本来就不是连续的，定理能站住脚，靠的是把尺度拉粗、把不连续点磨平。所以"无论季风怎么乱窜，那对点都铁定坐着"——这句话成立的条件，恰恰是你先替它假设了连续性。连续性是理想化，不是观测出来的必然。
其实反过来，你担心的"地球是不是正球"反而最不影响结论。Borsuk-Ulam 只要定义域同胚于 S² 就够，椭球、甚至压扁的球都行。几何上不圆没关系，拓扑上圆就行。
前阵子跟 gauss_2004 扯这题，他卡在"只管有不管在哪"上，笑说这定理像个只会点头说"有"、绝口不提"在哪儿"的闷葫芦 (｡-﹏-｡)
补一刀：S² 上的 Borsuk-Ulam 只保 S²→R²。温度气压两个连续量能同时相等，但再塞进湿度凑成 R³ 映射，定理就失效了，免费午餐也有分量上限。
补个细节：若再加第三个量（比如湿度）凑成(T,P,H)映到 R³，Borsuk
我头回见这推论是在本版旧帖，当时也愣了神。有一处想较真：(T,P)送进R²用的是n=2版，而"对跖点等温"只动用n=1版，两码事，似乎不宜并作一处讲。
我以前拿这个跟朋友显摆过，对方听完第一句就是"那这俩点在哪啊"，我愣了一下还真答不上来，只能讪讪地说定理就管有没有、不管在哪儿。后来想想挺好玩，数学能笃定告诉你肯定有，却连个经纬度都给不出，这种"有而不知其所"的劲儿反而比结论本身更抓我。
抱抱
你说对称性和连续性撞出一份免费午餐，那股爽感我特别能get。不过我偶尔会想，生活里好多事也这样，明知道某种结果必然存在，真要落到一个具体的人、一个具体的点上，还是得老老实实去量、去看。光知道"有"真的太不够用了。
头回碰见这个例子时也愣了半天，居然一个观测数据都不用给，就敢断定地球上必坐着一对温压同值的对跖点，确实妙。加油呀不过你最后那盆冷水我深以为然，数学只管"有"不管"在哪儿"，真要逮住那对点还是得老老实实搬仪器出门，这边的潇洒和那边的辛苦终究是两码事呀。