從一條生命到一個「狀態」
本階梯到目前為止的一切，都掛在單獨一條生命上。終身壽險 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 讓你看見你所計算的每一個值底下的那副骨架。它們中的每一個，仍然是第一階那個老動作：貼現、按機率加權、求和。
本篇為「生命年金精算」這一階畫上句點。如今，任何取決於誰還在世的給付——一條生命或兩條、賠生還是賠死、等額還是有條件——你都能把它化簡為一個誠實的精算現值。這就是人壽保險的數學核心，一步一個腳印地搭建而成。接下來要做的，是讓這些值動起來：用等價原則定出公平的保費，再追蹤保單隨年歲增長時保險公司必須持有的準備金——那從來不是閒置的現金，而是一筆早已被「未來給付的現值」認領走的負債。