Дан лимит lim_{x->0} (sin x - x + x^3/6) / x^5. Какой метод (ряд Тейлора, правило Лопиталя, разложение в ряд Маклорена с остаточным членом) даст строгое и удобное вычисление предела, какие тонкости контроля остаточного члена необходимо учесть
Лучше всего — разложение в ряд Тейлора (ряд Маклорена) с контролем остаточного члена в форме Лагранжа: это даёт короткое и строгие оценки остатка. Быстрое вычисление: 1) Маклорен для sinx\sin xsinx до пятого порядка: sinx=x−x36+x5120+R5(x),
\sin x = x - \frac{x^3}{6} + \frac{x^5}{120} + R_5(x), sinx=x−6x3+120x5+R5(x),
где по формуле Лагранжа R5(x)=sin(6)(ξ)6!x6=−sinξ720x6
R_5(x)=\frac{\sin^{(6)}(\xi)}{6!}x^6=\frac{-\sin\xi}{720}x^6 R5(x)=6!sin(6)(ξ)x6=720−sinξx6
для некоторого ξ\xiξ между 000 и xxx. 2) Подставляя в числитель: sinx−x+x36=x5120+R5(x).
\sin x - x + \frac{x^3}{6} = \frac{x^5}{120} + R_5(x). sinx−x+6x3=120x5+R5(x). 3) Оценка остатка: ∣sin(6)(ξ)∣=∣sinξ∣≤1|\sin^{(6)}(\xi)|=|\sin\xi|\le 1∣sin(6)(ξ)∣=∣sinξ∣≤1, поэтому ∣R5(x)∣≤∣x∣6720,и∣R5(x)x5∣≤∣x∣720→0 (x→0).
|R_5(x)|\le \frac{|x|^6}{720}, \qquad\text{и}\qquad \left|\frac{R_5(x)}{x^5}\right|\le \frac{|x|}{720}\to 0\ (x\to 0). ∣R5(x)∣≤720∣x∣6,иx5R5(x)≤720∣x∣→0(x→0). Следовательно limx→0sinx−x+x3/6x5=1120.
\lim_{x\to0}\frac{\sin x - x + x^3/6}{x^5}=\frac{1}{120}. x→0limx5sinx−x+x3/6=1201. Коротко о тонкостях: - Используйте форму Лагранжа для остатка или оценку через верхнюю границу ∣f(n+1)∣≤M|f^{(n+1)}|\le M∣f(n+1)∣≤M на интервале, чтобы показать, что остаток делённый на x5x^5x5 стремится к нулю. - Правило Лопиталя тоже применимо (пять дифференцирований), но более громоздко; нужно убедиться, что после нужного числа дифференцирований получили конечный ненулевой предел.
1) Маклорен для sinx\sin xsinx до пятого порядка:
sinx=x−x36+x5120+R5(x), \sin x = x - \frac{x^3}{6} + \frac{x^5}{120} + R_5(x),
sinx=x−6x3 +120x5 +R5 (x), где по формуле Лагранжа
R5(x)=sin(6)(ξ)6!x6=−sinξ720x6 R_5(x)=\frac{\sin^{(6)}(\xi)}{6!}x^6=\frac{-\sin\xi}{720}x^6
R5 (x)=6!sin(6)(ξ) x6=720−sinξ x6 для некоторого ξ\xiξ между 000 и xxx.
2) Подставляя в числитель:
sinx−x+x36=x5120+R5(x). \sin x - x + \frac{x^3}{6} = \frac{x^5}{120} + R_5(x).
sinx−x+6x3 =120x5 +R5 (x).
3) Оценка остатка: ∣sin(6)(ξ)∣=∣sinξ∣≤1|\sin^{(6)}(\xi)|=|\sin\xi|\le 1∣sin(6)(ξ)∣=∣sinξ∣≤1, поэтому
∣R5(x)∣≤∣x∣6720,и∣R5(x)x5∣≤∣x∣720→0 (x→0). |R_5(x)|\le \frac{|x|^6}{720},
\qquad\text{и}\qquad
\left|\frac{R_5(x)}{x^5}\right|\le \frac{|x|}{720}\to 0\ (x\to 0).
∣R5 (x)∣≤720∣x∣6 ,и x5R5 (x) ≤720∣x∣ →0 (x→0).
Следовательно
limx→0sinx−x+x3/6x5=1120. \lim_{x\to0}\frac{\sin x - x + x^3/6}{x^5}=\frac{1}{120}.
x→0lim x5sinx−x+x3/6 =1201 .
Коротко о тонкостях:
- Используйте форму Лагранжа для остатка или оценку через верхнюю границу ∣f(n+1)∣≤M|f^{(n+1)}|\le M∣f(n+1)∣≤M на интервале, чтобы показать, что остаток делённый на x5x^5x5 стремится к нулю.
- Правило Лопиталя тоже применимо (пять дифференцирований), но более громоздко; нужно убедиться, что после нужного числа дифференцирований получили конечный ненулевой предел.