Files
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

4 lines
494 B
Typst

= 三相接触:Young 方程与浸润
把三种界面能 $gamma_(L G)$$gamma_(S G)$$gamma_(S L)$ 放在固体表面上一滴液体的三相接触线处,用能量极小化条件可得到接触角 $theta$ 的表达式,即 Young 方程。把 Berthelot 估计 @GG公式 代回 Young 方程,$theta$ 进一步退化为只依赖比值 $gamma_(S G) \/ gamma_(L G)$ 的形式,由此得到浸润判据并把"什么液体在什么固体上铺得开"翻译成一个无量纲数的取值。