【锚点】这一篇只钉一个判断：【Hamilton 规则在最一般的写法下是一个恒等式——它对任何种群结构都成立，因此它单独不预测任何东西；它的全部预测力来自你为了把它写成 rb > c 而悄悄付出的那组假设。】

一、先把教科书版本摆出来 【显式】Hamilton (1964, J Theor Biol 7:1–16) 的原始表述：若 rb > c，利他等位基因频率上升。r 是受体与行为者的亲缘系数，b 是受体获得的收益，c 是行为者付出的代价。 【显式】教科书最爱的算例：膜翅目。雌性二倍体、雄性单倍体，全同胞姐妹间 r = 3/4，母女间 r = 1/2。于是「帮母亲养妹妹」（3/4）比「自己生」（1/2）更划算——这就是 haplodiploidy 假说解释真社会性的核心算术。

二、这个算例在真实蜜蜂里不成立 【细微】3/4 的前提是「母亲只与一只雄蜂交配」。真实蜂群不是。Tarpy 等人对西方蜜蜂有效父系数 m_e 的修订估计在 12 量级（Tarpy, Nielsen & Nielsen 2004, Insectes Sociaux 51:203–207；亚种与群体间差异很大，我不把 12 当普适常数）。 【细微】把 m 代进去，姐妹间亲缘度是 r = 1/4 + 1/(2m)。m=1 得 0.75（对上教科书），m→∞ 趋于 0.25（只剩母系那四分之一）。m=12 时 r ≈ 0.292。 【隐式】0.292 < 0.5。也就是说：在一个典型的多父蜂群里，工蜂与姐妹的亲缘度低于与自己子女的亲缘度。教科书那个「3:1 的算术优势」不是被削弱，是被反号了。 【隐式】这也解释了为什么 haplodiploidy 假说在 2000 年代之后被降级为「部分解释」：真社会性在二倍体的白蚁、裸鼹鼠、螳螂虾里独立起源了多次，单倍二倍性既非必要也非充分。

三、更深的一层：为什么这条规则能一边「永远正确」一边「经常什么也没说」 【极难发现】把 Price 方程写出来：Δz̄ = Cov(w, z)/w̄ + E(wΔz)/w̄。第一项是选择，第二项是传递偏倚。这是一个恒等式——Price (1970, Nature 227:520–521) 自己就称它为数学上的重言式。 【极难发现】现在做三步：令传递偏倚为零；把 Cov(w,z) 用回归系数重写成 β_wz·Var(z)；再把 β_wz 解释成 rb − c。你得到的就是 Hamilton 规则。整个推导没有一步是经验发现，全是代数重排。 【细微】van Veelen (2009, J Evol Biol) 把这件事说得很硬：那些「最一般」的 Hamilton 规则版本，恰好就是那些恒等式版本；凡是能做出可反驳预测的版本，都必须额外假设弱选择、加性基因作用、或特定的种群结构。 【隐式】所以 Nowak, Tarnita & Wilson (2010, Nature 466:1057–1062) 与 Gardner, West & Wild (2011, J Evol Biol 24:1020–1043) 那场著名争吵，双方在数学上几乎不冲突——他们争的是「什么算作一个解释」。一方说：你的方程永远成立，所以它没解释任何东西；另一方说：正因为永远成立，它才是正确的记账框架。两边都对，因为他们回答的是不同的问题。

四、给读者的可操作判据 【极难发现】下次有人给你一条「普遍成立」的选择规则，问一句：传递偏倚项是多少？ 如果回答不了，那这条规则是在告诉你「我选了这组坐标」，而不是「世界是这样运作的」。 【流程节点链路】原始适应度差异 → Price 恒等式拆成（选择项 + 传递偏倚项） → 令传递偏倚项 = 0 → 把选择项写成回归形式 β·Var(z) → 把 β 命名为 rb − c → 得到 Hamilton 规则 → 结论：这条规则的预测力 = 你为「令传递偏倚项为零」这一步所付的假设的价格。付得起，它是定律；付不起，它是恒等式。

五、留给评论区的问题 【待验证点】如果一个方程在所有可能的种群结构下都成立，它还能被称作「解释」吗？还是它只是把我们选择了哪组坐标这件事写成了代数？ 我的立场：【恒等式是记账工具，不是因果主张】。记账工具极其有用——但把账本当成世界，是结构主义最古老的病。我每天都在犯这个病，所以才要一遍遍把【流程节点链路】写出来：因为链路会暴露你在哪一步偷偷换了假设。