Выполните анализ ошибки в решении предела lim_{x->0} sin(x)/x = 1, где подстановка и л'Hospital применены некорректно; предложите корректные доказательства
Кратко об ошибках и корректные доказательства. 1) Ошибки в неправильном решении - Подстановка x=0x=0x=0 в sinxx\dfrac{\sin x}{x}xsinx даёт 00\dfrac{0}{0}00 — неопределённость; из этого нельзя делать вывод о значении предела. - Применение правила Лопиталя напрямую: пишут limx→0sinxx=limx→0(sinx)′(x)′=limx→0cosx=1\lim_{x\to 0}\dfrac{\sin x}{x}=\lim_{x\to 0}\dfrac{(\sin x)'}{(x)'}=\lim_{x\to 0}\cos x=1limx→0xsinx=limx→0(x)′(sinx)′=limx→0cosx=1. Это часто циклично: обычное доказательство того, что (sinx)′=cosx(\sin x)'=\cos x(sinx)′=cosx в точке 000 использует именно предел limh→0sinhh\lim_{h\to0}\dfrac{\sin h}{h}limh→0hsinh. То есть лемма Лопиталя здесь может использовать производную sin\sinsin, получение которой опирается на тот же предел — круговая аргументация. Правомерно применять Лопиталя только если производные существуют и получены независимо от рассматриваемого предела. 2) Корректные доказательства A) Геометрическое (не использует производные) Для 0<x<π20<x<\tfrac{\pi}{2}0<x<2π на единичной окружности справедливы неравенства sinx<x<tanx\sin x < x < \tan xsinx<x<tanx. Разделим на sinx>0\sin x>0sinx>0: 1<xsinx<1cosx.
1<\frac{x}{\sin x}<\frac{1}{\cos x}. 1<sinxx<cosx1.
Взяв обратные и заметив, что при x→0x\to0x→0cosx→1\cos x\to1cosx→1, получаем cosx<sinxx<1,0<x<π2.
\cos x<\frac{\sin x}{x}<1,\qquad 0<x<\tfrac{\pi}{2}. cosx<xsinx<1,0<x<2π.
Переходя к пределу при x→0+x\to0^+x→0+ и используя, что cosx→1\cos x\to1cosx→1, по теореме о сжатой по́следовательности: limx→0+sinxx=1.
\lim_{x\to0^+}\frac{\sin x}{x}=1. x→0+limxsinx=1.
Для x→0−x\to0^-x→0− заметим, что sinxx\dfrac{\sin x}{x}xsinx — чётная функция, поэтому предел тот же, и, следовательно, limx→0sinxx=1.
\lim_{x\to0}\frac{\sin x}{x}=1. x→0limxsinx=1. B) Ряд Тейлора (если ряд для sin\sinsin уже обоснован) Если известно, что sinx=x−x36+o(x3)(x→0),
\sin x = x-\frac{x^3}{6}+o(x^3)\quad (x\to0), sinx=x−6x3+o(x3)(x→0),
то sinxx=1−x26+o(x2)→1(x→0).
\frac{\sin x}{x}=1-\frac{x^2}{6}+o(x^2)\to1\quad (x\to0). xsinx=1−6x2+o(x2)→1(x→0). C) Применение Лопиталя корректно при независимом определении производной Если производная (sinx)′(\sin x)'(sinx)′ установлена без использования предела sinxx\dfrac{\sin x}{x}xsinx (например, через ряд или через решение дифференциального уравнения для геометрически заданной функции), то можно применить Лопиталя: limx→0sinxx=limx→0cosx1=cos0=1.
\lim_{x\to0}\frac{\sin x}{x}=\lim_{x\to0}\frac{\cos x}{1}=\cos 0=1. x→0limxsinx=x→0lim1cosx=cos0=1.
Однако нужно явно указать, что существование и значение (sinx)′(\sin x)'(sinx)′ не выводились ранее с помощью этого же предела, чтобы избежать круговой логики. Вывод: правильное значение предела limx→0sinxx=1\displaystyle\lim_{x\to0}\dfrac{\sin x}{x}=1x→0limxsinx=1.
1) Ошибки в неправильном решении
- Подстановка x=0x=0x=0 в sinxx\dfrac{\sin x}{x}xsinx даёт 00\dfrac{0}{0}00 — неопределённость; из этого нельзя делать вывод о значении предела.
- Применение правила Лопиталя напрямую: пишут limx→0sinxx=limx→0(sinx)′(x)′=limx→0cosx=1\lim_{x\to 0}\dfrac{\sin x}{x}=\lim_{x\to 0}\dfrac{(\sin x)'}{(x)'}=\lim_{x\to 0}\cos x=1limx→0 xsinx =limx→0 (x)′(sinx)′ =limx→0 cosx=1. Это часто циклично: обычное доказательство того, что (sinx)′=cosx(\sin x)'=\cos x(sinx)′=cosx в точке 000 использует именно предел limh→0sinhh\lim_{h\to0}\dfrac{\sin h}{h}limh→0 hsinh . То есть лемма Лопиталя здесь может использовать производную sin\sinsin, получение которой опирается на тот же предел — круговая аргументация. Правомерно применять Лопиталя только если производные существуют и получены независимо от рассматриваемого предела.
2) Корректные доказательства
A) Геометрическое (не использует производные)
Для 0<x<π20<x<\tfrac{\pi}{2}0<x<2π на единичной окружности справедливы неравенства
sinx<x<tanx\sin x < x < \tan xsinx<x<tanx.
Разделим на sinx>0\sin x>0sinx>0:
1<xsinx<1cosx. 1<\frac{x}{\sin x}<\frac{1}{\cos x}.
1<sinxx <cosx1 . Взяв обратные и заметив, что при x→0x\to0x→0 cosx→1\cos x\to1cosx→1, получаем
cosx<sinxx<1,0<x<π2. \cos x<\frac{\sin x}{x}<1,\qquad 0<x<\tfrac{\pi}{2}.
cosx<xsinx <1,0<x<2π . Переходя к пределу при x→0+x\to0^+x→0+ и используя, что cosx→1\cos x\to1cosx→1, по теореме о сжатой по́следовательности:
limx→0+sinxx=1. \lim_{x\to0^+}\frac{\sin x}{x}=1.
x→0+lim xsinx =1. Для x→0−x\to0^-x→0− заметим, что sinxx\dfrac{\sin x}{x}xsinx — чётная функция, поэтому предел тот же, и, следовательно,
limx→0sinxx=1. \lim_{x\to0}\frac{\sin x}{x}=1.
x→0lim xsinx =1.
B) Ряд Тейлора (если ряд для sin\sinsin уже обоснован)
Если известно, что
sinx=x−x36+o(x3)(x→0), \sin x = x-\frac{x^3}{6}+o(x^3)\quad (x\to0),
sinx=x−6x3 +o(x3)(x→0), то
sinxx=1−x26+o(x2)→1(x→0). \frac{\sin x}{x}=1-\frac{x^2}{6}+o(x^2)\to1\quad (x\to0).
xsinx =1−6x2 +o(x2)→1(x→0).
C) Применение Лопиталя корректно при независимом определении производной
Если производная (sinx)′(\sin x)'(sinx)′ установлена без использования предела sinxx\dfrac{\sin x}{x}xsinx (например, через ряд или через решение дифференциального уравнения для геометрически заданной функции), то можно применить Лопиталя:
limx→0sinxx=limx→0cosx1=cos0=1. \lim_{x\to0}\frac{\sin x}{x}=\lim_{x\to0}\frac{\cos x}{1}=\cos 0=1.
x→0lim xsinx =x→0lim 1cosx =cos0=1. Однако нужно явно указать, что существование и значение (sinx)′(\sin x)'(sinx)′ не выводились ранее с помощью этого же предела, чтобы избежать круговой логики.
Вывод: правильное значение предела limx→0sinxx=1\displaystyle\lim_{x\to0}\dfrac{\sin x}{x}=1x→0lim xsinx =1.