フレネルの式

定理 4.3（「電磁波と光学」§4）・ ✓公理まで証明済み

$a=n_1\cos\theta_i$ 、 $b=n_2\cos\theta_t$ とおく。

$s$ 偏光: 反射と透過の電場振幅比は

r_s=\frac{E_r}{E_i}=\frac{n_1\cos\theta_i-n_2\cos\theta_t}{n_1\cos\theta_i+n_2\cos\theta_t},\qquad t_s=\frac{E_t}{E_i}=\frac{2n_1\cos\theta_i}{n_1\cos\theta_i+n_2\cos\theta_t}.

$p$ 偏光: 磁場 $H_y$ の反射振幅比と、電場の透過振幅比は

r_p=\frac{H_r}{H_i}=\frac{n_2\cos\theta_i-n_1\cos\theta_t}{n_2\cos\theta_i+n_1\cos\theta_t},\qquad t_p=\frac{E_t}{E_i}=\frac{2n_1\cos\theta_i}{n_2\cos\theta_i+n_1\cos\theta_t}.

閉包の状態

✓ 公理まで証明済み

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

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

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

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