Lagrange 補間

定理 3.2（「多項式の割り算と高次方程式」§3）・ ✓公理まで証明済み

$x_0,\dots,x_n\in K$ を相異なる点、 $y_0,\dots,y_n\in K$ を任意の値とする。次数 $n$ 以下で $f(x_i)=y_i$ （ $i=0,\dots,n$ ）を満たす多項式 $f\in K[x]$ がただ 1 つ存在する。

閉包の状態

✓ 公理まで証明済み

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

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

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

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