7.6: Теорема Тейлора переглянута
Далі наведено версію теореми Тейлора з альтернативною формою терміну, що залишився.
(Теорема Тейлора)
Припустимоf∈C(n+1)(a,b),α∈(a,b),, і
Pn(x)=n∑k=0f(k)(α)k!(x−α)k.
Тоді, для будь-якогоx∈(a,b),
f(x)=Pn(x)+∫xαf(n+1)(t)n!(x−t)ndt.
- Доказ
-
За фундаментальною теоремою обчислення ми маємо
∫xαf′(t)dt=f(x)−f(α),
що означає, що
f(x)=f(α)+∫xαf′(t)dt.
Звідси теорема тримає дляn=0. припустимо, що результат має дляn=k−1, того, що є,
f(x)=Pk−1(x)+∫xαf(k)(t)(k−1)!(x−t)k−1dt.
Нехай
F(t)=f(k)(t),
g(t)=(x−t)k−1(k−1)!,
і
G(t)=−(x−t)kk!.
Тоді
∫xαf(k)(t)(k−1)!(x−t)k−1dt=∫xαF(t)g(t)dt=F(x)G(x)−F(α)G(α)−∫xαF′(t)G(t)dt=f(k)(α)(x−α)kk!+∫xαf(k+1)(t)k!(x−t)kdt,
Звідси
f(x)=Pk(x)+∫xαf(k+1)(t)k!(x−t)kdt,
і тому теорема тримає дляn=k. Q.E.D.
(Коші форма залишку)
За умов теореми Тейлора, як тільки що сказано, показують, що
∫xαf(n+1)(t)n!(x−t)ndt=f(n+1)(γ)n!(x−γ)n(x−α)
для деякихγ міжα іx.
(Лагранж форма залишку)
За умов теореми Тейлора, як тільки що сказано, показують, що
∫xαf(n+1)(t)n!(x−t)ndt=f(n+1)(γ)(n+1)!(x−α)n+1
для деякихγ міжα іx. Зверніть увагу, що це форма залишку в теоремі,6.6.1, хоча при дещо більш обмежувальних припущеннях.