三個相，零自由度
第一篇交給你一小條記帳規則，結果它主宰了整篇：吉布斯相律。對一個定壓下的固–液系統，它寫作 F = C - P + 1，其中 C 是組元數目，P 是同時處於平衡的相數，F 則是自由度——也就是你能自由轉動、卻仍維持同一組相的旋鈕（溫度、組成）數目。在二元合金裡 C = 2。在單相區內，P = 1、F = 2，你可以在溫度與組成兩個方向上遊走。在兩相區裡，P = 2、F = 1：挑一個溫度，兩個相的組成就被逼定了，這正是連結線與槓桿法則在第二篇管用的原因。
現在再往前推一步。要是三個相同時共存呢？那 P = 3，F = 2 - 3 + 1 = 0。零自由度意味著零迴旋餘地：溫度被鎖在單一數值，三個相也全被釘死在固定、不可更動的組成上。二元系裡的三相平衡不可能在任何範圍上發生——它只能發生在一個確切的點。這就是不變（invariant）一詞的意思，而在那裡發生的反應就是不變反應（也叫恆溫反應，因為它在一個固定溫度上進行）。畫在相圖上，它被迫呈現為一條水平線——那條恆溫線——橫跨在三個被鎖死的組成之間。你這輩子會遇到的每一個共晶、包晶、共析，都不過是同一樁零自由度事件，換了一種相的排列組合。
共晶：家族的頭一位成員
這個原型你在第三篇已經見過了。在二元共晶系統裡，把一段組成剛好對的液體冷卻，在某個特殊溫度上它不會凍結成單一固體——而是整段液體一口氣同時變成並肩排列的兩種不同固體。寫成反應式：冷卻時 L -> alpha + beta。這就是共晶反應，它那三個在 F = 0 相遇的相（一液、二固），正是上一節那樁零自由度事件。畫在相圖上，它坐在一個 V 字的谷底，也就是兩條下滑的液相線在共晶恆溫線上交會的那一點——整個系統裡最低的熔點，這正是希臘字 eutektos（意即「易熔」）想告訴你的。
有兩件事直接從那一篇延續過來、值得重新釘牢，因為它們對底下每一個反應都成立。第一，只有恰好坐落在共晶組成上的合金，反應才會進行到底；組成偏離的合金會先凍結出一些初晶 alpha（或初晶 beta），而只有剩下的、隨冷卻漂向共晶點的液體，才會走這個反應。第二，兩種產物固體的份量，仍由在恆溫線正下方那條連結線上套用的普通槓桿法則決定：不變反應改變的是「有哪些相存在」，卻沒讓那把秤它們的翹翹板停擺。共晶留下的指紋，是一種細緻、常呈層狀的兩相顯微組織——是單一液體分裂時，alpha 與 beta 交替長成的一條條薄帶。
包晶：一樁吞掉固體的反應
包晶反應把同樣三個相重新排成另一句話。冷卻時，一段液體與一個已經是固態的相反應，生成第三個、全新的固體：L + alpha -> beta。注意這句話跟共晶正好反著讀——不是一個相分裂成兩個，而是兩個相（一液、一固）合併成一個。名字就是線索：「包」正描述了這反應是怎麼進行的。新的 beta 最先在液體接觸 alpha 晶體的表面上形成，長成一層包裹住每一顆 alpha 晶粒的殼或緣。
而那層殼，正是包晶誠實的頭痛之處。一旦 beta 把 alpha 與液體隔牆封開，反應要繼續，就只能靠原子一路擴散穿過那層越長越厚的 beta 來持續餵養它——而固態擴散很慢。想像一顆巧克力夾心糖，外殼在冰凍的內餡回溫之前就先凝固了：殼把兩者封在兩邊，裡頭就被擱淺了。所以在以一般速率冷卻的真實鑄件裡，包晶反應很少走到底；你會得到帶核的晶粒——一個沒反應完的 alpha 核心裹在 beta 緣裡——這是顯微組織偏離平衡相圖的教科書範例，純粹因為動力學來不及。包晶在商用合金裡很常見：尋常黃銅背後的銅–鋅系統裡就出現好幾個，而鐵–碳相圖本身，也是從它高溫頂角上的一個包晶反應開場的。
共析：全固態，鋼鐵的核心
現在把共晶反應拿來，單純地把母相從液體降級成固體。一個單一固相，在冷卻時，於某個固定點上分解成兩種不同固體：gamma -> alpha + beta。這就是共析反應，而線索完全藏在它的字尾。「-oid」意思是「類似」——humanoid（類人）像人卻不是人——所以 eutectoid 意即「類共晶」：同樣一分為二的模式、同樣的 V 谷底點、同樣的 F = 0，只是把液體換成了固體母相。它是這篇裡真正最重要的反應，因為有一個特定的共析反應，幾乎是整個鋼鐵的樞紐。
那個反應，就等在你下一篇會完整研讀的鐵–碳相圖裡。把一塊約含 0.76 重量百分比碳的鋼冷卻，在 727 度 C，那個叫沃斯田鐵的固溶體（gamma 鐵，把碳全溶在裡頭）會一舉分解成兩種同時出現的固體：又軟、幾乎不含碳的肥粒鐵，與又硬、富碳的雪明碳鐵（Fe3C）。因為兩者以共晶那種方式一起長出，它們交錯成細密的一層層交替——那正是美麗的層狀組織，叫做波來鐵。恰好坐在 0.76% 碳上的鋼稱為共析鋼，慢冷之下它會變成幾乎 100% 的波來鐵。就是這一條線，很大程度上讓鋼成為我們手上最能調校的結構材料。
用槓桿法則給它一個真實數字，做法跟第二篇一模一樣。在 727 度 C 正下方，兩種產物固體的組成是固定的：肥粒鐵只含約 0.022% 碳，雪明碳鐵則固定為 6.70%。母相波來鐵坐在 0.76%，所以雪明碳鐵的比例是 (0.76 - 0.022) / (6.70 - 0.022) = 0.738 / 6.678，約 0.11——也就是大約 11% 的雪明碳鐵、89% 的肥粒鐵（以質量計）。這正是為什麼在顯微鏡下，波來鐵大多是寬寬的肥粒鐵帶、間雜著穿過其中的薄薄雪明碳鐵板片，比例幾乎正好是八比一。這是推理、不是死背：你在全率固溶相圖上學到的同一把翹翹板，就能告訴你工程裡最堅韌、最富傳奇的顯微組織是怎麼組成的。
把整個家族收進一張卡片
INVARIANT REACTIONS -- every one: 3 phases meet, F = C - P + 1 = 2 - 3 + 1 = 0
reaction on cooling parents products the tell
------------ -------------------- ------------ ------------ ----------------------
eutectic L -> alpha + beta 1 liquid 2 solids liquid splits in two
eutectoid gamma -> alpha + beta 1 solid 2 solids '-oid' = solid parent
peritectic L + alpha -> beta liquid+solid 1 solid liquid eats a solid;
new solid wraps around
peritectoid alpha + beta -> gamma 2 solids 1 solid all-solid peritectic
monotectic L1 -> alpha + L2 1 liquid solid+liquid liquid splits, one stays
liquid
Read any horizontal line the same way: name the 3 phases, sort parents (above the
line on cooling) from products (below), and the pattern above tells you which it is.- 找出那條水平線。任何橫越二元相圖的恆溫線（水平線）都是一個不變反應——那個「平」，就是 F = 0 把自己畫了出來。
- 讀出貼著這條線的三個相——一個相區在它上方、兩個在下方，或兩個在上、一個在下。
- 以溫度往下的方向看，把線上方的相叫母相、下方的叫產物，然後把反應寫成：母相 -> 產物。
- 對照模式：一液變兩固是共晶；一固變兩固是共析；一液加一固變一固是包晶。
- 最後，在恆溫線正下方拉一條連結線，套用槓桿法則，算出每種產物各生成多少。
還有最後一塊，才拼完「為什麼真實相圖能載著一整串這種反應」的全貌。許多合金系統會形成金屬間化合物——坐落在固定或近固定化學計量比上的有序相，像 Mg2Pb，或黃銅內部那好幾個有序相——而每一個這樣的化合物，都像一個插在相圖半途的新組元，實質上把一張寬相圖切成好幾張並肩堆疊的窄子圖。它們之間每一道內部邊界，都能各自擁有自己的共晶、包晶或共析反應，這就是單一真實系統為何能一口氣攢下好幾個不變反應。整個家族都點過名、命名的訣竅也到手了，你已準備好迎接那張把一個包晶、一個共晶、和至關重要的共析縫進同一張圖的相圖——鐵–碳相圖，以及鋼鐵的故事，就在第五篇。