Исследуйте предельный переход lim_{x->0} (sin x)/x без использования рядов Тейлора: какие эвристики и строгое доказательство предпочтительнее в школьной и в университетской группах
Ответ: limx→0sinxx=1\displaystyle \lim_{x\to 0}\frac{\sin x}{x}=1x→0limxsinx=1. 1) Школьный уровень — эвристика и строгое доказательство (предпочтительно геометрическое, без дифференцирования). - Рассмотреть единичную окружность, центральный угол x∈(0,π2)x\in(0,\tfrac{\pi}{2})x∈(0,2π). Обозначения стандартные — сектор с углом xxx, вписанный треугольник и треугольник, образованный касательной. Сравнивая площади, получаем 12sinx<12x<12tanx.
\tfrac12\sin x<\tfrac12 x<\tfrac12\tan x. 21sinx<21x<21tanx.
Домножив на 2/sinx>02/\sin x>02/sinx>0 и взяв обратные, имеем cosx<sinxx<1.
\cos x<\frac{\sin x}{x}<1. cosx<xsinx<1.
Так как cosx→1\cos x\to1cosx→1 при x→0x\to0x→0, по теореме о двух полярностях (сqueeze) следует sinxx→1\frac{\sin x}{x}\to1xsinx→1. Для отрицательных xxx используется чётность отношения. Это полностью строго и наглядно подходит для школьного курса. 2) Университетский уровень — более аналитические строгие аргументы. - Метод среднего значения интеграла. Если считать, что cos\coscos непрерывна и sinx=∫0xcost dt\sin x=\int_0^x\cos t\,dtsinx=∫0xcostdt (это стандартное аналитическое определение или следствие ОДУ), то sinxx=1x∫0xcost dt=cosc
\frac{\sin x}{x}=\frac{1}{x}\int_0^x\cos t\,dt=\cos c xsinx=x1∫0xcostdt=cosc
для некоторого c∈(0,x)c\in(0,x)c∈(0,x) (теорема о среднем для интегралов). При x→0x\to0x→0 имеем c→0c\to0c→0 и cosc→1\cos c\to1cosc→1, откуда предел равен 1. Этот способ короток и строг, не использует разложений в ряд. - Доказательство через производную. Если синус задан аналитически и известно, что sin′ 0=cos0\sin'\,0=\cos0sin′0=cos0, то по определению производной sin′(0)=limx→0sinx−sin0x−0=limx→0sinxx=cos0=1.
\sin'(0)=\lim_{x\to0}\frac{\sin x-\sin 0}{x-0}=\lim_{x\to0}\frac{\sin x}{x}=\cos0=1. sin′(0)=x→0limx−0sinx−sin0=x→0limxsinx=cos0=1.
Это тоже строго, но требует заранее корректного определения sin\sinsin и cos\coscos (чтобы не получить круговую логику). Замечания и рекомендация: - Для школьников — однозначно геометрическое squeeze-доказательство (наглядно и достаточно строго). - Для студентов мат. направлений — метод среднего значения интеграла или доказательство через производную при аккуратном определении sin,cos\sin,\cossin,cos. L’Hôpital применять можно, но он требует известных производных синуса и косинуса, поэтому не уменьшает круговой зависимости.
1) Школьный уровень — эвристика и строгое доказательство (предпочтительно геометрическое, без дифференцирования).
- Рассмотреть единичную окружность, центральный угол x∈(0,π2)x\in(0,\tfrac{\pi}{2})x∈(0,2π ). Обозначения стандартные — сектор с углом xxx, вписанный треугольник и треугольник, образованный касательной. Сравнивая площади, получаем
12sinx<12x<12tanx. \tfrac12\sin x<\tfrac12 x<\tfrac12\tan x.
21 sinx<21 x<21 tanx. Домножив на 2/sinx>02/\sin x>02/sinx>0 и взяв обратные, имеем
cosx<sinxx<1. \cos x<\frac{\sin x}{x}<1.
cosx<xsinx <1. Так как cosx→1\cos x\to1cosx→1 при x→0x\to0x→0, по теореме о двух полярностях (сqueeze) следует sinxx→1\frac{\sin x}{x}\to1xsinx →1. Для отрицательных xxx используется чётность отношения. Это полностью строго и наглядно подходит для школьного курса.
2) Университетский уровень — более аналитические строгие аргументы.
- Метод среднего значения интеграла. Если считать, что cos\coscos непрерывна и sinx=∫0xcost dt\sin x=\int_0^x\cos t\,dtsinx=∫0x costdt (это стандартное аналитическое определение или следствие ОДУ), то
sinxx=1x∫0xcost dt=cosc \frac{\sin x}{x}=\frac{1}{x}\int_0^x\cos t\,dt=\cos c
xsinx =x1 ∫0x costdt=cosc для некоторого c∈(0,x)c\in(0,x)c∈(0,x) (теорема о среднем для интегралов). При x→0x\to0x→0 имеем c→0c\to0c→0 и cosc→1\cos c\to1cosc→1, откуда предел равен 1. Этот способ короток и строг, не использует разложений в ряд.
- Доказательство через производную. Если синус задан аналитически и известно, что sin′ 0=cos0\sin'\,0=\cos0sin′0=cos0, то по определению производной
sin′(0)=limx→0sinx−sin0x−0=limx→0sinxx=cos0=1. \sin'(0)=\lim_{x\to0}\frac{\sin x-\sin 0}{x-0}=\lim_{x\to0}\frac{\sin x}{x}=\cos0=1.
sin′(0)=x→0lim x−0sinx−sin0 =x→0lim xsinx =cos0=1. Это тоже строго, но требует заранее корректного определения sin\sinsin и cos\coscos (чтобы не получить круговую логику).
Замечания и рекомендация:
- Для школьников — однозначно геометрическое squeeze-доказательство (наглядно и достаточно строго).
- Для студентов мат. направлений — метод среднего значения интеграла или доказательство через производную при аккуратном определении sin,cos\sin,\cossin,cos. L’Hôpital применять можно, но он требует известных производных синуса и косинуса, поэтому не уменьшает круговой зависимости.