Исследуйте функцию g(x) = sin x / x для вещественного x и обсудите ее непрерывность в нуле, поведение на бесконечности, экстремумы и какие методы использовать для доказательства свойств
Кратко и по делу. Определение и область: функция задана для x≠0x\neq 0x=0 как g(x)=sinxxg(x)=\dfrac{\sin x}{x}g(x)=xsinx. Часто рассматривают её продолжение в нуле определением g(0)=1g(0)=1g(0)=1. Непрерывность в нуле: - Существует предел limx→0sinxx=1\displaystyle\lim_{x\to 0}\frac{\sin x}{x}=1x→0limxsinx=1. Доказательства: - лемма о зажатой: для x>0x>0x>0 справедливо cosx≤sinxx≤1\cos x\le\frac{\sin x}{x}\le 1cosx≤xsinx≤1, откуда при x→0x\to 0x→0 предел равен 111; аналогично для x→0−x\to 0^-x→0−; - или правило Лопиталя: limx→0sinxx=limx→0cosx1=1\lim_{x\to0}\frac{\sin x}{x}=\lim_{x\to0}\frac{\cos x}{1}=1limx→0xsinx=limx→01cosx=1; - или разложение Тейлора: sinx=x−x36+O(x5)⇒sinxx=1−x26+O(x4)\sin x=x-\dfrac{x^3}{6}+O(x^5)\Rightarrow \frac{\sin x}{x}=1-\dfrac{x^2}{6}+O(x^4)sinx=x−6x3+O(x5)⇒xsinx=1−6x2+O(x4). - Следовательно ggg имеет устранимую особенность в 000; при определении g(0)=1g(0)=1g(0)=1 функция непрерывна в 000. Поведение на бесконечности: - По неравенству ∣sinxx∣≤1∣x∣\left|\dfrac{\sin x}{x}\right|\le\dfrac{1}{|x|}xsinx≤∣x∣1 следует limx→±∞sinxx=0\displaystyle\lim_{x\to\pm\infty}\frac{\sin x}{x}=0x→±∞limxsinx=0. - Функция осциллирует (из-за синуса), но амплитуда осцилляций стремится к нулю. Критические точки и экстремумы: - Для x≠0x\neq 0x=0 производная g′(x)=xcosx−sinxx2.
g'(x)=\frac{x\cos x-\sin x}{x^2}. g′(x)=x2xcosx−sinx.
Критические точки решают xcosx−sinx=0x\cos x-\sin x=0xcosx−sinx=0, то есть (если cosx≠0\cos x\ne0cosx=0) эквивалентно tanx=x.
\tan x=x. tanx=x.
- Корень x=0x=0x=0 даёт локальный (и глобальный) максимум при продолжении g(0)=1g(0)=1g(0)=1, поскольку рядом g(x)=1−x26+O(x4)g(x)=1-\dfrac{x^2}{6}+O(x^4)g(x)=1−6x2+O(x4). - Уравнение tanx=x\tan x=xtanx=x имеет бесконечно много ненулевых корней {±xn}\{\pm x_n\}{±xn} с xn→∞x_n\to\inftyxn→∞. Эти корни дают чередующиеся локальные минимумы и максимумы (из-за знака g′g'g′ между корнями); их значения по абсолютной величине убывают к нулю, т.к. для критического xnx_nxn выполняется ∣g(xn)∣≤1/∣xn∣→0|g(x_n)|\le 1/|x_n|\to 0∣g(xn)∣≤1/∣xn∣→0. - Глобального отрицательного минимума нет (инфимум отрицателен, но достигается в первом отрицательном локальном минимуме и затем значения стремятся к 0). Методы доказательств, которые используются: - Неравенство зажатой (squeeze) и геометрическое неравенство cosx≤sinxx≤1\cos x\le\frac{\sin x}{x}\le1cosx≤xsinx≤1 — для предела в нуле. - Правило Лопиталя или разложение Тейлора — альтернативные доказательства предела и поведения около 000. - Дифференцирование (g′g'g′) — для нахождения экстремумов и изучения монотонности. - Анализ уравнения tanx=x\tan x=xtanx=x, свойства периодичности sin\sinsin, чередование знаков и теоремы Ролля/среднего значения — для расположения и характера критических точек. - Оценки через ∣sinxx∣≤1∣x∣\left|\dfrac{\sin x}{x}\right|\le\dfrac{1}{|x|}xsinx≤∣x∣1 — для предела на бесконечности и убывания амплитуды экстремумов. Краткое итоговое заключение: при продолжении g(0)=1g(0)=1g(0)=1 функция непрерывна и гладка на R\mathbb RR; имеет глобальный максимум 111 в 000, бесконечно много чередующихся локальных экстремумов, осциллирует, а её значения стремятся к 000 при ∣x∣→∞|x|\to\infty∣x∣→∞.
Определение и область: функция задана для x≠0x\neq 0x=0 как g(x)=sinxxg(x)=\dfrac{\sin x}{x}g(x)=xsinx . Часто рассматривают её продолжение в нуле определением g(0)=1g(0)=1g(0)=1.
Непрерывность в нуле:
- Существует предел limx→0sinxx=1\displaystyle\lim_{x\to 0}\frac{\sin x}{x}=1x→0lim xsinx =1. Доказательства:
- лемма о зажатой: для x>0x>0x>0 справедливо cosx≤sinxx≤1\cos x\le\frac{\sin x}{x}\le 1cosx≤xsinx ≤1, откуда при x→0x\to 0x→0 предел равен 111; аналогично для x→0−x\to 0^-x→0−;
- или правило Лопиталя: limx→0sinxx=limx→0cosx1=1\lim_{x\to0}\frac{\sin x}{x}=\lim_{x\to0}\frac{\cos x}{1}=1limx→0 xsinx =limx→0 1cosx =1;
- или разложение Тейлора: sinx=x−x36+O(x5)⇒sinxx=1−x26+O(x4)\sin x=x-\dfrac{x^3}{6}+O(x^5)\Rightarrow \frac{\sin x}{x}=1-\dfrac{x^2}{6}+O(x^4)sinx=x−6x3 +O(x5)⇒xsinx =1−6x2 +O(x4).
- Следовательно ggg имеет устранимую особенность в 000; при определении g(0)=1g(0)=1g(0)=1 функция непрерывна в 000.
Поведение на бесконечности:
- По неравенству ∣sinxx∣≤1∣x∣\left|\dfrac{\sin x}{x}\right|\le\dfrac{1}{|x|} xsinx ≤∣x∣1 следует limx→±∞sinxx=0\displaystyle\lim_{x\to\pm\infty}\frac{\sin x}{x}=0x→±∞lim xsinx =0.
- Функция осциллирует (из-за синуса), но амплитуда осцилляций стремится к нулю.
Критические точки и экстремумы:
- Для x≠0x\neq 0x=0 производная
g′(x)=xcosx−sinxx2. g'(x)=\frac{x\cos x-\sin x}{x^2}.
g′(x)=x2xcosx−sinx . Критические точки решают xcosx−sinx=0x\cos x-\sin x=0xcosx−sinx=0, то есть (если cosx≠0\cos x\ne0cosx=0) эквивалентно
tanx=x. \tan x=x.
tanx=x. - Корень x=0x=0x=0 даёт локальный (и глобальный) максимум при продолжении g(0)=1g(0)=1g(0)=1, поскольку рядом g(x)=1−x26+O(x4)g(x)=1-\dfrac{x^2}{6}+O(x^4)g(x)=1−6x2 +O(x4).
- Уравнение tanx=x\tan x=xtanx=x имеет бесконечно много ненулевых корней {±xn}\{\pm x_n\}{±xn } с xn→∞x_n\to\inftyxn →∞. Эти корни дают чередующиеся локальные минимумы и максимумы (из-за знака g′g'g′ между корнями); их значения по абсолютной величине убывают к нулю, т.к. для критического xnx_nxn выполняется ∣g(xn)∣≤1/∣xn∣→0|g(x_n)|\le 1/|x_n|\to 0∣g(xn )∣≤1/∣xn ∣→0.
- Глобального отрицательного минимума нет (инфимум отрицателен, но достигается в первом отрицательном локальном минимуме и затем значения стремятся к 0).
Методы доказательств, которые используются:
- Неравенство зажатой (squeeze) и геометрическое неравенство cosx≤sinxx≤1\cos x\le\frac{\sin x}{x}\le1cosx≤xsinx ≤1 — для предела в нуле.
- Правило Лопиталя или разложение Тейлора — альтернативные доказательства предела и поведения около 000.
- Дифференцирование (g′g'g′) — для нахождения экстремумов и изучения монотонности.
- Анализ уравнения tanx=x\tan x=xtanx=x, свойства периодичности sin\sinsin, чередование знаков и теоремы Ролля/среднего значения — для расположения и характера критических точек.
- Оценки через ∣sinxx∣≤1∣x∣\left|\dfrac{\sin x}{x}\right|\le\dfrac{1}{|x|} xsinx ≤∣x∣1 — для предела на бесконечности и убывания амплитуды экстремумов.
Краткое итоговое заключение: при продолжении g(0)=1g(0)=1g(0)=1 функция непрерывна и гладка на R\mathbb RR; имеет глобальный максимум 111 в 000, бесконечно много чередующихся локальных экстремумов, осциллирует, а её значения стремятся к 000 при ∣x∣→∞|x|\to\infty∣x∣→∞.