プラズマ周波数

命題 2.4（「自由電子気体」§2）・ ✓公理まで証明済み

$\omega\tau\gg1$ の領域で、Drude 模型の比誘電率は

\varepsilon_r(\omega)=1-\frac{\omega_p^2}{\omega^2},\qquad\omega_p=\sqrt{\frac{ne^2}{\varepsilon_0m}}

となる。 $\omega<\omega_p$ では $\varepsilon_r<0$ で電磁波は金属内に進入できず反射される。 $\omega>\omega_p$ では $\varepsilon_r>0$ で金属は透明になる。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

証明で明示的に参照している定理は、まだありません。