Files
curriculum-project-hub/examples/TH-141/lemmas/缺键模型一般公式/proof.typ
T
sjfhsjfh c73a2c903f feat(examples): migrate TH-141 sample to declarative layout (WU-6)
Real-content fixture for the end-to-end pipeline. TH-141 (39 parts: 22 segment,
15 lemma, 2 example) migrated from the prototype's typst `#let parts` manifest
to ADR-0008: declarative manifest.toml (project+info+ordered parts+targets) +
per-element element.toml (kind + scalars; examples carry `source`). Content .typ
files copied byte-identical (no math corruption); per-element main.typ + meta.toml
dropped (wiring is now generated). Part order matches source exactly; 5 lemmas
have no proof.typ (optional); no cross-file imports / paralearn refs / figs.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
2026-06-22 01:33:40 +08:00

18 lines
891 B
Typst

设体相分子的最近邻数为 $Z$、每根键的能量为 $epsilon$。每根键被两个分子共享,一摩尔液体的独立键数为 $N_A Z \/ 2$,把它们全部断开所需的能量即摩尔汽化热
$ L_m = N_A Z epsilon / 2 , quad arrow.r.double quad epsilon = (2 L_m) / (N_A Z) . $ <缺键-单键>
表面分子的近邻数为 $zeta Z$,相比体相少 $(1 - zeta) Z$ 个近邻。按共享原则,每个缺键的能量代价为 $epsilon \/ 2$,于是每个表面分子的亏损能为
$ Delta U = (1 - zeta) Z dot epsilon / 2 = ((1 - zeta) L_m) / N_A . $ <缺键-亏损能>
设每个分子占体积 $d^3 = mu \/ (rho N_A)$,则单位面积分子数
$ n_s = d^(-2) = (rho N_A / mu)^(2\/3) . $ <缺键-面密度>
代入 @骨架公式 即得
$ sigma_(L G) = Delta U dot n_s = (1 - zeta) thin L_m thin rho^(2\/3) / (mu^(2\/3) thin N_A^(1\/3)) , $
@缺键一般式。