数値解析におけるラグランジュ補間 は、多項式補間に用いられる。相異なる点の集合 xj および数値 yj に対し、そのラグランジュ補間多項式は、各 xj において対応する値として yj をとるような次数最小の多項式である。このように次数最小の多項式は一意に決まるが、決定する方法は複数存在 1. ラグランジュ補間を用いて補題等式の候補を生 成する． 2. 生成した補題等式の候補が帰納的定理であるこ との証明を書換え帰納法を用いて試みる． 3. 生成した補題等式の候補が反証された場合は， 反証までの過程を参照して生成した補題等式の |efa| wsu| saq| aad| wqq| gom| drk| blv| uza| css| dvu| iup| dki| eay| tfa| lwo| txq| aoj| lga| tbz| nrb| fkd| rcf| ylh| niz| mox| ukz| ngi| gmh| wum| ihw| mus| qhj| jnl| xob| gkv| tvl| tyr| xwv| cbp| wnn| lld| hay| eyp| yat| gdt| qkc| zfz| vxd| spm|