『解析概論』について2

このエントリーをはてなブックマークに追加
977132人目の素数さん
〔類題〕
 f(x): [a,b]で連続, (a,b)でn階微分可能
 a1, a2, ……, an: [a,b] 内の異なるn個の値
 y = P(x): n個の点 (a1,f(a1)), (a2,f(a2)),…, (an,f(an)) を通る(n-1)次式

このとき、∀x0∈(a,b), ∃ξ∈(a,b)
     f(x0) - P(x0) = (1/n!)f^(n)(ξ)(x0-a1)(x0-a2)…(x0-an)
とできるか?