Вычислите предел lim_{x->0} (sin x)/x, обсудите различные доказательства (геометрическое, ряд Тейлора, теорема о среднем значении), и укажите преимущества каждого подхода при обучении школьников
limx→0sinxx=1.\displaystyle \lim_{x\to 0}\frac{\sin x}{x}=1.x→0limxsinx=1. Доказательства. 1) Геометрическое (непосредственное, через неравенства). Для 0<x<π20<x<\tfrac{\pi}{2}0<x<2π на единичной окружности получают неравенства sinx<x<tanx.\sin x < x < \tan x.sinx<x<tanx.
Разделив на sinx>0\sin x>0sinx>0 и взяв обратные, имеем cosx<sinxx<1.\cos x < \frac{\sin x}{x} < 1.cosx<xsinx<1.
При x→0x\to 0x→0 правая и левая границы стремятся к 111, поэтому по лемме о двух сторонах limx→0sinxx=1.\displaystyle\lim_{x\to 0}\frac{\sin x}{x}=1.x→0limxsinx=1. 2) Через ряд Тейлора. Разложение при x→0x\to 0x→0: sinx=x−x33!+o(x3).\sin x = x - \frac{x^3}{3!}+o(x^3).sinx=x−3!x3+o(x3).
Следовательно sinxx=1−x26+o(x2)→1.\frac{\sin x}{x}=1-\frac{x^2}{6}+o(x^2)\to 1.xsinx=1−6x2+o(x2)→1.
(Требуется знание ряда/резидуального члена Тейлора для строгого обоснования.) 3) Через теорему о среднем значении (или правило Лопиталя). Для x≠0x\neq 0x=0 применим МТФ к sin\sinsin на отрезке [0,x][0,x][0,x]: существует c∈(0,x)c\in(0,x)c∈(0,x) с sinx−0x−0=cosc,\frac{\sin x-0}{x-0}=\cos c,x−0sinx−0=cosc,
то есть sinxx=cosc\frac{\sin x}{x}=\cos cxsinx=cosc. При x→0x\to 0x→0 имеем c→0c\to 0c→0 и cosc→1\cos c\to 1cosc→1, значит предел равен 111. (Аналогично: по правилу Лопиталя limx→0sinxx=limx→0cosx1=cos0=1\lim_{x\to 0}\frac{\sin x}{x}=\lim_{x\to 0}\frac{\cos x}{1}=\cos 0=1limx→0xsinx=limx→01cosx=cos0=1.) Преимущества подходов при обучении школьников. - Геометрическое: интуитивно, иллюстративно, требует минимум анализа; хорошо для начального понимания поведения функции и для занятий с рисунком. - Теорема о среднем значении / Лопиталя: короткое, демонстрирует применение дифференцирования; полезно для закрепления теорем анализа. - Ряд Тейлора: дает представление о степени приближения и о порядке погрешности (полезно для оценок и последующих приближений), но требует более высокого уровня (ряды/остаточный член). Каждый метод полезен: геометрическое объясняет «почему», МТФ показывает связь с производными, ряды дают количественную аппроксимацию.
Доказательства.
1) Геометрическое (непосредственное, через неравенства). Для 0<x<π20<x<\tfrac{\pi}{2}0<x<2π на единичной окружности получают неравенства
sinx<x<tanx.\sin x < x < \tan x.sinx<x<tanx. Разделив на sinx>0\sin x>0sinx>0 и взяв обратные, имеем
cosx<sinxx<1.\cos x < \frac{\sin x}{x} < 1.cosx<xsinx <1. При x→0x\to 0x→0 правая и левая границы стремятся к 111, поэтому по лемме о двух сторонах
limx→0sinxx=1.\displaystyle\lim_{x\to 0}\frac{\sin x}{x}=1.x→0lim xsinx =1.
2) Через ряд Тейлора. Разложение при x→0x\to 0x→0:
sinx=x−x33!+o(x3).\sin x = x - \frac{x^3}{3!}+o(x^3).sinx=x−3!x3 +o(x3). Следовательно
sinxx=1−x26+o(x2)→1.\frac{\sin x}{x}=1-\frac{x^2}{6}+o(x^2)\to 1.xsinx =1−6x2 +o(x2)→1. (Требуется знание ряда/резидуального члена Тейлора для строгого обоснования.)
3) Через теорему о среднем значении (или правило Лопиталя). Для x≠0x\neq 0x=0 применим МТФ к sin\sinsin на отрезке [0,x][0,x][0,x]: существует c∈(0,x)c\in(0,x)c∈(0,x) с
sinx−0x−0=cosc,\frac{\sin x-0}{x-0}=\cos c,x−0sinx−0 =cosc, то есть sinxx=cosc\frac{\sin x}{x}=\cos cxsinx =cosc. При x→0x\to 0x→0 имеем c→0c\to 0c→0 и cosc→1\cos c\to 1cosc→1, значит предел равен 111.
(Аналогично: по правилу Лопиталя limx→0sinxx=limx→0cosx1=cos0=1\lim_{x\to 0}\frac{\sin x}{x}=\lim_{x\to 0}\frac{\cos x}{1}=\cos 0=1limx→0 xsinx =limx→0 1cosx =cos0=1.)
Преимущества подходов при обучении школьников.
- Геометрическое: интуитивно, иллюстративно, требует минимум анализа; хорошо для начального понимания поведения функции и для занятий с рисунком.
- Теорема о среднем значении / Лопиталя: короткое, демонстрирует применение дифференцирования; полезно для закрепления теорем анализа.
- Ряд Тейлора: дает представление о степени приближения и о порядке погрешности (полезно для оценок и последующих приближений), но требует более высокого уровня (ряды/остаточный член).
Каждый метод полезен: геометрическое объясняет «почему», МТФ показывает связь с производными, ряды дают количественную аппроксимацию.