指数型の方程式

定理 2.13（「古典的な不等式と関数方程式」§2）・ ✓公理まで証明済み

$f:\mathbb{R}\to\mathbb{R}$ が正則で $f(x+y)=f(x)f(y)$ （すべての $x,y$ ）を満たすなら、 $f\equiv0$ であるか、ある定数 $c$ があって $f(x)=e^{cx}$ である。

閉包の状態

✓ 公理まで証明済み

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

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

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

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