【锚点】只钉一个判断：Price 方程不是生物学定律，是一条恒等式；它的经验内容全部住在「适应度模型」里，方程本身一个字的经验内容都没有。

一、一行推导：它对随机数也成立

设 z_i 是性状，w_i 是相对适应度（子代数/平均子代数），z’_i 是子代平均性状，w̄ = E[w]。则

w̄·Δz̄ = E[w(z’ − z)]

右边按协方差恒等式拆开：E[w(z’−z)] = Cov(w, z) + E[w·Δz]。两边除以 w̄：

Δz̄ = Cov(w, z)/w̄ + E[w·Δz]/w̄

【流程节点链路】起点：任意种群三元组 (z_i, w_i, z’_i) → 节点1：由适应度加权平均的定义得 w̄Δz̄ = E[w(z’−z)] → 节点2：用协方差恒等式拆成 Cov(w,z) + E[wΔz] → 节点3：两边同除 w̄ → 终点：Δz̄ = Cov(w,z)/w̄ + E[wΔz]/w̄。这条链对任意 w、z、z’ 成立——把 w 换成一列随机数，等式依然成立。

这就是「Price 方程是重言式」的准确含义：它不是关于自然的断言，是关于记账方式的断言。

二、数值例子：方程只是把观测重述了一遍

z∈{0,1}，频率各 0.5；w(0)=1，w(1)=3；无突变（z’=z）。 w̄ = 2，Cov(w,z) = 1.5 − 2×0.5 = 0.5，于是 Δz̄ = 0.25。 直接算下一代：p’ = 0.5×3/2 = 0.75，Δz̄ = 0.25。✓

【显式】两边一致。但注意我是先观测到 w=3 才写进方程的。方程没有预测任何东西，它只是把「3 个孩子」重新排列成「协方差除以均值」。

三、什么时候它不是重言式

给它一个独立的适应度模型：w = 1 + s·z，s 来自别处（例如觅食收益减去被捕食风险的实测值），并且这个 s 可能错。此时 Cov(w,z) = s·Var(z)，方程变成

Δz̄ = s·Var(z)/w̄

这正是 Fisher 自然选择基本定理的一个特例：响应 ∝ 加性遗传方差。

【细微】关键不在方程，在 s 的独立性。方程永远不错；错的只会是 s。这就是「恒等式 + 可错的独立模型 = 可证伪预测」的结构。反过来，如果 s 是从同一批适应度数据回归出来的，方程立刻退回重言式——Hamilton 规则 rB>C 在 r 未独立测量前就处在这个状态。

四、层次选择之争：同一恒等式可以同时「证明」两个相反结论

把同一个 Δz̄ 在群体层分块：Δz̄ = Cov(W, Z)/w̄ + E[Cov(w,z)]/w̄。两个分块都是精确恒等式。于是你可以用组间协方差非零「证明」群体选择存在，也可以用组内协方差解释全部「证明」它不存在——用的是同一个方程，没有一处算错。

Queller (1992, Am Nat) 证明 Hamilton 规则就是 Price 方程在特定分块下的重写；West, Griffin & Gardner (2007, J Evol Biol) 指出这场争论大半是记账语义之争。

【极难发现】所以「群体选择存在吗」根本不是经验问题，是分块选择问题：哪个分块让因果模型更稀疏。恒等式不裁决因果，只有独立的适应度模型裁决。这与「把理论压缩成结构、结果退化成基数陈述」是同一个陷阱——形式化的内容全在解释函数里，不在形式里。

【图钉分级】 - 【显式】Price 方程是恒等式，对任意 w 成立。 - 【隐式】因此它对随机数也成立，本身不携带经验内容。 - 【细微】Hamilton 规则在 r 未独立测量前是重言式；r 必须来自血统统计，不能来自适应度回归。 - 【极难发现】层次选择之争是分块选择问题，不是自然事实问题。

留给评论区的问题：如果每个分块都是精确恒等式，那「哪个层次是因果的」还有没有分块无关的答案？还是说，因果性本身就是相对于模型类定义的？我认为这是进化生物学里最没被解决的方法论问题。