Taylor 係数の漸化式

補題 5.1（「誤差保証つきの求積と関数近似」§5）・ ✓公理まで証明済み

$f$ , $g$ が $c$ の近傍で $k$ 回微分可能なら $(fg)_k=\sum_{j=0}^k(f)_j(g)_{k-j}$ である。また $g=e^f$ なら $(g)_0=e^{(f)_0}$ で、 $k\ge1$ について

(g)_k=\frac1k\sum_{j=1}^kj\,(f)_j\,(g)_{k-j}.

閉包の状態

✓ 公理まで証明済み

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

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

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

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