从一条生命到一个「状态」
本阶梯到目前为止的一切，都挂在单独一条生命上。终身寿险 A_x、年金 ä_x、任何给付的精算现值——每一个问的都是关于*一个*人的同一个问题：他何时身故（如果会的话），这又如何牵动现金流？但真实的承诺很少这么孤单。一份养老金只要退休者*或*其配偶有一人在世就照付。一份房贷保障保单，在两位借款人中*第一个*身故的那一刻就赔付。要给这些定价，我们需要一个单一的想法，让两条生命像一条那样运作。
这个想法就是状态（status）。状态不过是一条规则：在每一时刻，它要么*存续*，要么*失效*——而一旦你能把某项给付描述成「状态存续期间照付」或「状态失效时赔付」，你就能把本阶梯前面的*每一条公式*原样搬来用，只把单条生命换成这个状态。由单个人构成的状态，无非就是「那个人还活着」。真正的飞跃在于：我们也可以由两条或更多生命来构造状态，而同一套机理——贴现、按概率加权、求和——原封不动地为它们估值。
这是多生命这门学问里最让人解放的一个想法：你*并不是*在学新公式。A_x、ä_x、那套带下标的精算记号——全都逐字照搬。你要学的只是构造「放进下标里的那个东西」的新方法。把状态弄通，两生命的数学便大多只是你早已熟知的记账了。
联合生命状态：第一次死亡就失效
取两个人，年龄分别为 x 和 y。联合生命状态（joint-life status），记作 (xy)，只在*两人都*在世期间存续，并在二人中*第一个*身故的那一瞬间失效。它是一个「与」状态：在世*且*在世。可以想象一对夫妻的联合年金，只在两人都未身故时才派付；或一份合伙人给付，一旦任一合伙人离世便告终。联合生命状态在设计上就是脆弱的——它有两条破裂的途径，需要两条生命同时把它撑住。
如果我们假设这两条寿命相互*独立*——这是个重大假设，稍后会回头讨论——那么联合状态的生存概率，就是两个单生命生存概率之积：(xy) 存续 t 年的概率等于 t-p-x 乘以 t-p-y。这一个乘法就是整台引擎。因为生存概率相乘，联合状态*失效的可能性总是不低于*单独任一条生命：两根脆弱的线，比一根更可能已经绷断。所以一份联合生命年金 ä_xy（两人都在世时才派付）的价值，*低于*任一单生命年金 ä_x 或 ä_y——它在第一次死亡、即两者中较早的那一次就停付。
一旦有了联合生存概率，*别的什么都不变*。一份联合生命终身寿险 A_xy 在第一次死亡时支付 1，其计算就用你给 A_x 用过的同一个求和式——逐年把给付贴现，再用「联合状态在该年失效」的概率加权——只不过现在「状态失效」意味着「两人中第一个身故」。寿险—年金恒等式 A_xy = 1 − d·ä_xy 对联合状态成立，与对单条生命时一模一样。你做的真的只是换了个下标而已。
最后生存者状态：最后一次死亡才失效
把规则反过来。最后生存者状态（last-survivor status），在这一对上方加一道横线记作 (x̄ȳ)，只要两人中*至少有一人*在世就存续，唯有当*最后一个*身故时才失效。它是一个「或」状态：在世*或*在世。这正是「遗属养老金」的天然模型：第一位配偶身故后仍继续给鳏夫或寡妇派付，直到两人皆亡才停；也适用于那种「只要家中还有人就得供养这个家」的给付。
精妙之处在于：你*不需要*为最后生存者状态另立一套理论。有一条优美的会计恒等式把两个状态串了起来。在任一时刻，两人中在世的人数 =（x 是否在世的计数）+（y 是否在世的计数）−（两人是否都在世的计数）。换成估值语言就是 ä_x̄ȳ = ä_x + ä_y − ä_xy，同样地 A_x̄ȳ = A_x + A_y − A_xy。用文字说：最后生存者的价值，等于两个单生命价值*相加*，再减去联合生命价值以消除重复计数。你在概率里学过的容斥原理，把所有的活都干了。
给它配上数字。设每年 1 元的年金为单位，一位 65 岁的丈夫年金期初值为 13.50，一位 62 岁的妻子为 15.20，而联合生命年金（仅在两人都在世时派付）为 11.80。那么在*任一*人在世时派付的最后生存者年金便是 13.50 + 15.20 − 11.80 = 16.90。请把它逼出的大小次序刻进脑子：联合生命的价值*最小*（它结束得最早，在第一次死亡时），每条单生命居中，最后生存者的价值*最大*（它结束得最晚，在最后一次死亡时）。一个常见且代价高昂的错误，是把联合与最后生存者搞反——若把遗属养老金当作「第一次死亡就停付」来定价，会严重*低估*准备金，因为真实的承诺要一直延续到第二次死亡。
条件函数：谁先死？
有些承诺在乎的不只是死亡*是否*发生，还在乎以何种*次序*发生。一份只有当丈夫*先于*妻子身故才开始的遗孀养老金；一份只有当父母比残障子女活得更久才支付的给付。这些都需要条件函数——这类精算现值的给付，以「某一指定生命在另一生命*仍在世时*身故」为条件。最经典的是 A^1_xy：在 (x) 身故时支付 1，但仅当 (x) *先*死、早于 (y)。那个小 1 标在「其死亡触发给付」的那条生命之上。
有一个令人安心的校验，能逼你保持诚实。纵观整个未来，两人中必有且仅有一人先死——要么 (x) 先走，要么 (y) 先走。所以这两份「先死」条件寿险，必定相加等于那份在*任一*较早死亡时赔付的普通联合生命寿险：A^1_xy + A^1_yx = A_xy。（那个小 1 只是挪个位置，标明在给哪条生命的较早死亡定价。）如果你的两个条件值加起来不等于联合生命价值，那你某处一定算错了——这是一个免费而即时的合理性检验。
换算函数：前计算机时代的捷径
现在退回到没有计算机的年代。要得到 A_x，你得对*每一个*未来年份都做贴现和死亡率加权，再把这一大堆加起来——而且是用一支笔、一张印好的生命表，为几十个年龄逐一手算。这是残酷而极易出错的算术。十九世纪的精算师找到了一个绝妙的捷径：把几个巧妙组合的列*一次性*预先制表，几乎每一个生命年金精算值，便都变成两次查表的简单比值。这些就是换算函数，其中三个列承担了大部分工作，每一个都把利息与死亡率熔铸成一个数。D_x 是「贴现后的在世者」：生命表中年龄 x 的存活人数，已经被「活到该年龄」的贴现因子缩小过。N_x 不过是从年龄 x 起把 D_x 一路累加的累计和，捕捉的是一整条年金付款流。M_x 则是从年龄 x 起、对*死亡*人数做贴现的计数列，是为身故给付而建的。
Two ratios replace pages of summation (adot = annuity-due):
whole-life annuity-due adot_x = N_x / D_x
whole-life insurance A_x = M_x / D_x
Worked sketch (illustrative numbers):
D_60 = 5,000 N_60 = 67,500 M_60 = 1,500
adot_60 = N_60 / D_60 = 67,500 / 5,000 = 13.50
A_60 = M_60 / D_60 = 1,500 / 5,000 = 0.30
Sanity check via the identity (i = 5%, d = i/(1+i) = 0.047619):
A_60 = 1 - d * adot_60 = 1 - 0.047619 * 13.50 = 0.357 (~matches)在电子表格眨眼就能加总百万行的今天，何必还学这个？因为换算函数揭示了*结构*。看到 ä_x = N_x / D_x、A_x = M_x / D_x，会让寿险—年金关系显得理所当然、而非魔法；它还一眼就说明了为什么定期寿险无非是 (M_x − M_{x+n}) / D_x——两个表项之差。它们也磨利了你对「价值究竟落在哪里」的直觉：D_x 随年龄陡降，立刻告诉你年长者的年金更便宜，因为「生存兼贴现」已经把未来稀释掉了。
你要带走的东西
现在你已掌握单一减因生命年金精算的全套工具。*状态*让两条生命像一条那样运作：联合生命状态在第一次死亡时失效、最便宜；最后生存者状态在最后一次死亡时失效、最贵；而那条一行的恒等式「最后生存者 = 生命 x + 生命 y − 联合」把它们绑在一起。条件函数为那些取决于死亡*次序*的给付定价，而换算函数 D、N、M 让你看见你所计算的每一个值底下的那副骨架。它们中的每一个，仍然是第一阶那个老动作：贴现、按概率加权、求和。
本篇为「生命年金精算」这一阶画上句点。如今，任何取决于谁还在世的给付——一条生命或两条、赔生还是赔死、等额还是有条件——你都能把它化简为一个诚实的精算现值。这就是人寿保险的数学核心，一步一个脚印地搭建而成。接下来要做的，是让这些值动起来：用等价原则定出公平的保费，再追踪保单随年岁增长时保险公司必须持有的准备金——那从来不是闲置的现金，而是一笔早已被「未来给付的现值」认领走的负债。