Тригонометрический кейс: при решении уравнения tg x = x на R какие эвристики помогут понять, сколько корней, и как доказать их существование и конечность на каждом отрезке типа [(k-1/2)pi, (k+1/2)pi]?
Краткая эвристика: график y=tanxy=\tan xy=tanx на каждом промежутке ((k−12)π,(k+12)π)\left((k-\tfrac12)\pi,(k+\tfrac12)\pi\right)((k−21)π,(k+21)π) растёт от −∞-\infty−∞ до +∞+\infty+∞, а прямая y=xy=xy=x — монотонно возрастает и не имеет разрывов, поэтому на каждом таком «периоде» их пересечение будет ровно одно. Теперь формальное доказательство. 1) Рассмотрим функцию f(x)=tanx−xf(x)=\tan x - xf(x)=tanx−x на интервале Ik=((k−12)π,(k+12)π)I_k=\left((k-\tfrac12)\pi,(k+\tfrac12)\pi\right)Ik=((k−21)π,(k+21)π). На IkI_kIk функция tanx\tan xtanx (и значит fff) непрерывна и limx→(k−12)π+tanx=−∞,limx→(k+12)π−tanx=+∞,
\lim_{x\to (k-\tfrac12)\pi+}\tan x=-\infty,\qquad \lim_{x\to (k+\tfrac12)\pi-}\tan x=+\infty, x→(k−21)π+limtanx=−∞,x→(k+21)π−limtanx=+∞,
отсюда limx→(k−12)π+f(x)=−∞,limx→(k+12)π−f(x)=+∞.
\lim_{x\to (k-\tfrac12)\pi+}f(x)=-\infty,\qquad \lim_{x\to (k+\tfrac12)\pi-}f(x)=+\infty. x→(k−21)π+limf(x)=−∞,x→(k+21)π−limf(x)=+∞.
По теореме о промежуточном значении существует по крайней мере одно x∈Ikx\in I_kx∈Ik с f(x)=0f(x)=0f(x)=0. 2) Монотонность: f′(x)=sec2x−1=tan2x≥0f'(x)=\sec^2 x-1=\tan^2 x\ge0f′(x)=sec2x−1=tan2x≥0 на IkI_kIk. Значит fff невозрастающая? исправляю: f′(x)≥0f'(x)\ge0f′(x)≥0 ⇒ fff неубывает (монотонно неубывает) на IkI_kIk. Поскольку производная обращается в ноль лишь в изолированных точках x=nπx=n\pix=nπ, 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)((k−21)π,(k+21)π) ровно один корень уравнения tanx=x\tan x=xtanx=x. Поскольку таких интервалов счётно бесконечно много (для всех k∈Zk\in\mathbb Zk∈Z), корней на R\mathbb RR бесконечно (счётно), но на каждом указанном отрезке их конечное число — ровно один. (Замечание: в точках (k±12)π(k\pm\tfrac12)\pi(k±21)πtan\tantan не определён, поэтому работать удобнее с открытыми интервалами.)
1) Рассмотрим функцию f(x)=tanx−xf(x)=\tan x - xf(x)=tanx−x на интервале Ik=((k−12)π,(k+12)π)I_k=\left((k-\tfrac12)\pi,(k+\tfrac12)\pi\right)Ik =((k−21 )π,(k+21 )π). На IkI_kIk функция tanx\tan xtanx (и значит fff) непрерывна и
limx→(k−12)π+tanx=−∞,limx→(k+12)π−tanx=+∞, \lim_{x\to (k-\tfrac12)\pi+}\tan x=-\infty,\qquad
\lim_{x\to (k+\tfrac12)\pi-}\tan x=+\infty,
x→(k−21 )π+lim tanx=−∞,x→(k+21 )π−lim tanx=+∞, отсюда
limx→(k−12)π+f(x)=−∞,limx→(k+12)π−f(x)=+∞. \lim_{x\to (k-\tfrac12)\pi+}f(x)=-\infty,\qquad
\lim_{x\to (k+\tfrac12)\pi-}f(x)=+\infty.
x→(k−21 )π+lim f(x)=−∞,x→(k+21 )π−lim f(x)=+∞. По теореме о промежуточном значении существует по крайней мере одно x∈Ikx\in I_kx∈Ik с f(x)=0f(x)=0f(x)=0.
2) Монотонность: f′(x)=sec2x−1=tan2x≥0f'(x)=\sec^2 x-1=\tan^2 x\ge0f′(x)=sec2x−1=tan2x≥0 на IkI_kIk . Значит fff невозрастающая? исправляю: f′(x)≥0f'(x)\ge0f′(x)≥0 ⇒ fff неубывает (монотонно неубывает) на IkI_kIk . Поскольку производная обращается в ноль лишь в изолированных точках x=nπx=n\pix=nπ, 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)((k−21 )π,(k+21 )π) ровно один корень уравнения tanx=x\tan x=xtanx=x. Поскольку таких интервалов счётно бесконечно много (для всех k∈Zk\in\mathbb Zk∈Z), корней на R\mathbb RR бесконечно (счётно), но на каждом указанном отрезке их конечное число — ровно один. (Замечание: в точках (k±12)π(k\pm\tfrac12)\pi(k±21 )π tan\tantan не определён, поэтому работать удобнее с открытыми интервалами.)