Temple の不等式

定理 4.1（「無限次元の固有値の包含」§4）・ ✓公理まで証明済み

$\psi\in D(A)$ , $\|\psi\|=1$ とし、 $\eta=\langle\psi,A\psi\rangle$ , $\sigma^2=\|A\psi\|^2-\eta^2$ とおく。 $\nu\le\lambda_2$ かつ $\eta\lt\nu$ ならば

\lambda_1\ \ge\ \eta-\frac{\sigma^2}{\nu-\eta}.

閉包の状態

✓ 公理まで証明済み

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

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

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

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