Тригонометрический кейс: при решении уравнения tg x = x на R какие эвристики помогут понять, сколько корней, и как доказать их существование и конечность на каждом отрезке типа [(k-1/2)pi, (k+1/2)pi]?

18 Ноя в 10:12
2 +2
0
Ответы
1
Краткая эвристика: график y=tan⁡xy=\tan xy=tanx на каждом промежутке ((k−12)π,(k+12)π)\left((k-\tfrac12)\pi,(k+\tfrac12)\pi\right)((k21 )π,(k+21 )π) растёт от −∞-\infty до +∞+\infty+, а прямая y=xy=xy=x — монотонно возрастает и не имеет разрывов, поэтому на каждом таком «периоде» их пересечение будет ровно одно. Теперь формальное доказательство.
1) Рассмотрим функцию f(x)=tan⁡x−xf(x)=\tan x - xf(x)=tanxx на интервале Ik=((k−12)π,(k+12)π)I_k=\left((k-\tfrac12)\pi,(k+\tfrac12)\pi\right)Ik =((k21 )π,(k+21 )π). На IkI_kIk функция tan⁡x\tan xtanx (и значит fff) непрерывна и
lim⁡x→(k−12)π+tan⁡x=−∞,lim⁡x→(k+12)π−tan⁡x=+∞, \lim_{x\to (k-\tfrac12)\pi+}\tan x=-\infty,\qquad
\lim_{x\to (k+\tfrac12)\pi-}\tan x=+\infty,
x(k21 )π+lim tanx=,x(k+21 )πlim tanx=+,
отсюда
lim⁡x→(k−12)π+f(x)=−∞,lim⁡x→(k+12)π−f(x)=+∞. \lim_{x\to (k-\tfrac12)\pi+}f(x)=-\infty,\qquad
\lim_{x\to (k+\tfrac12)\pi-}f(x)=+\infty.
x(k21 )π+lim f(x)=,x(k+21 )πlim f(x)=+∞.
По теореме о промежуточном значении существует по крайней мере одно x∈Ikx\in I_kxIk с f(x)=0f(x)=0f(x)=0.
2) Монотонность: f′(x)=sec⁡2x−1=tan⁡2x≥0f'(x)=\sec^2 x-1=\tan^2 x\ge0f(x)=sec2x1=tan2x0 на IkI_kIk . Значит fff невозрастающая? исправляю: f′(x)≥0f'(x)\ge0f(x)0fff неубывает (монотонно неубывает) на IkI_kIk . Поскольку производная обращается в ноль лишь в изолированных точках x=nπx=n\pix=, fff не может быть постоянной на отрезке внутри IkI_kIk . Для непрерывной монотонной функции, если бы существовали два разных корня a<ba<ba<b в IkI_kIk , то по монотонности fff была бы тождественно нулевой на [a,b][a,b][a,b], что невозможно. Следовательно корень единственный на IkI_kIk .
Вывод: на каждом интервале ((k−12)π,(k+12)π)\left((k-\tfrac12)\pi,(k+\tfrac12)\pi\right)((k21 )π,(k+21 )π) ровно один корень уравнения tan⁡x=x\tan x=xtanx=x. Поскольку таких интервалов счётно бесконечно много (для всех k∈Zk\in\mathbb ZkZ), корней на R\mathbb RR бесконечно (счётно), но на каждом указанном отрезке их конечное число — ровно один. (Замечание: в точках (k±12)π(k\pm\tfrac12)\pi(k±21 )π tan⁡\tantan не определён, поэтому работать удобнее с открытыми интервалами.)
18 Ноя в 10:23
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир