Аз написа:(6т.)Задача 8. Нека
[tex]h(x)=\left\{ {\frac{f(x)}{g(x)}, \small(0<|x|<2\pi)\text{~~~~~~}\atop\ \frac{1}{4} , x = 0 \text{~~~~~~~~~~~~~~~~~~~}} \right.[/tex]
където [tex]f(x) = 2 - 2 \cos{x} - x\sin{x}[/tex] и [tex]g(x) = x^2 - \sin^2{x}[/tex].
Докажете, че [tex]h(x) > 0[/tex] за [tex]x \in (-2\pi, 2\pi)[/tex]
Първо ще докажем:
[tex](i)[/tex] [tex]\sin{x} < x[/tex], за [tex]x \in (0, + \infty)[/tex].
Означаваме [tex]\varphi(x) = \sin{x} -x[/tex].
[tex]\varphi '(x) = \cos{x} - 1 \le 0 \Rightarrow[/tex] [tex]\varphi(x)[/tex] е намаляваща в интервала [tex](0, + \infty)[/tex] и [tex]\varphi(x) < \varphi (0) = 0[/tex].
[tex](ii)[/tex] [tex]tg{x} > x[/tex], за [tex]x \in (0, \frac{\pi}{2})[/tex].
Означаваме [tex]\Psi(x) = tg{x} -x[/tex].
[tex]\Psi '(x) = \frac{1 - \cos^2{x}}{\cos^2{x}} = tg^2{x} > 0[/tex] за [tex]x \in (0,\frac{\pi}{2})\Rightarrow \Psi(x)[/tex] е растяща в [tex](0, \frac{\pi}{2})[/tex] и [tex]\Psi(x) > \Psi(0) = 0[/tex]
[tex]h(x)=h(-x) \Rightarrow[/tex] [tex]h(x)[/tex] e четна и е достатъчно да разгледаме как се изменя в интервала [tex](0,2\pi)[/tex].
[tex]h(x) > 0 \Leftrightarrow f(x)g(x) > 0[/tex].
Ще изследваме [tex]g(x)[/tex] в интервала [tex](0,2\pi)[/tex].
[tex]g'(x) = 2x - \sin{2x}[/tex], предвид [tex](i)[/tex], следва, че [tex]g(x)[/tex] е растяща и значи [tex]g(x) > g(0) = 0[/tex].
Сега задачата се свежда до доказването на [tex]f(x) > 0[/tex] за [tex]x \in (0,2\pi)[/tex].
първи начин: Ще изследваме [tex]f(x)[/tex] в интервала [tex](0,2\pi)[/tex].
[tex]f'(x) = \sin{x} -x\cos{x}, f''(x) = x\sin{x}[/tex]. Знакът на [tex]f''(x)[/tex] съвпада с този на [tex]\sin{x}[/tex], следователно [tex]f''(x) > 0[/tex] за [tex]x \in (0, \pi)[/tex] и [tex]f''(x) < 0[/tex] за [tex]x \in (\pi, 2\pi)[/tex]. До тук стана ясно, че [tex]f'(x)[/tex] расте в [tex](0,\pi)[/tex] и [tex]f'(x)[/tex] намалява в [tex](\pi, 2\pi)[/tex]. Нека първо [tex]x \in (0,\pi)[/tex], тогава [tex]f'(x) > f'(0) = 0 \Rightarrow f(x)[/tex] e растяща в [tex](0,\pi)[/tex] и [tex]f(x) > f(0) = 0[/tex]. Нека сега [tex]x \in (\pi, 2\pi)[/tex]. [tex]f'(\pi) = 1 > 0, f'(2\pi) = - 2\pi < 0[/tex], от [tex]f'(\pi)f'(2\pi) < 0[/tex], [tex]f'(x)[/tex] намаляваща в [tex](\pi, 2\pi)[/tex] и теоремата на Болцано, следва, че [tex]f'(x)=0[/tex] има корен [tex]\alpha \in (\pi, 2\pi)[/tex] и [tex]f'(x) > 0[/tex] за [tex]x \in (\pi, \alpha), f'(x) < 0[/tex] за [tex]x \in (\alpha, 2\pi)[/tex], от където пък става ясно, че [tex]f(x)[/tex] расте за [tex]x \in (\pi , \alpha)[/tex],[tex]f(x)[/tex] намалява за [tex]x \in (\alpha, 2\pi)[/tex] и [tex]f(x) > f(2\pi) = 0[/tex].
втори начин: Полагаме [tex]\sin{x} = \Large\frac{2t}{1 + t^2}[/tex],[tex]\cos{x} = \Large\frac{1 - t^2}{1 + t^2}[/tex] , където [tex]t = tg{\frac{x}{2}}[/tex]. Сега [tex]f(x) = \Large\frac{4t^2 - 2tx}{1 + t^2}[/tex]. Ще разгледаме функцията [tex]y(t) = 4t^2 - 2tx[/tex] при [tex]x \in (0,\pi) \cup (\pi, 2\pi)[/tex], като [tex]y(t) > 0 \Leftrightarrow f(x) > 0[/tex]. Решенията на [tex]y(t) > 0[/tex] са [tex]t \in (- \infty,0) \cup (\frac{x}{2}, + \infty) \Leftrightarrow tg{\frac{x}{2}} < 0 \cup tg{\frac{x}{2}} > \frac{x}{2}[/tex]. Неравенството [tex]tg \frac{x}{2} < 0[/tex] е изпълнено за [tex]x \in (\pi,2\pi)[/tex], а предвид [tex](ii)[/tex], неравенството [tex]tg{\frac{x}{2}} > \frac{x}{2}[/tex] е изпълнено за [tex]x \in (0, \pi)[/tex] и значи [tex]f(x) > 0[/tex] за [tex]x \in (0,\pi) \cup (\pi, 2\pi)[/tex]. Остана да докажем, че [tex]f(\pi) > 0[/tex]
трети начин *: [tex]f(x) = 2 - 2\cos{x} - x\sin{x} = 2(1-\cos{x}) -x\sin{x}=4\sin^2{\frac{x}{2}} - 4\frac{x}{2}\sin{\frac{x}{2}}\cos{\frac{x}{2}} = 4\sin^2{\frac{x}{2}}(1 - \Large\frac{\frac{x}{2}}{tg{\frac{x}{2}}})[/tex]. Означаваме [tex]d(x) = (1 - \Large\frac{\frac{x}{2}}{tg{\frac{x}{2}}})[/tex]. Сега знакът на [tex]f(x)[/tex] съвпада с този на [tex]d(x)[/tex]. В [tex](ii)[/tex], доказахме, че [tex]tg\frac{x}{2}> \frac{x}{2}[/tex] при [tex]\frac{x}{2} \in (0, \frac{\pi}{2})[/tex] и значи [tex]d(x) > 0[/tex] за [tex]x \in (0, \pi)[/tex]. Неравенството [tex]tg\frac{x}{2} < 0[/tex] е изпълнено при [tex]x \in (\pi,2\pi)[/tex], от където пък следва [tex]d(x) > 0[/tex]. До тук стана ясно, че [tex]f(x) > 0[/tex] за [tex]x \in (0,\pi) \cup (\pi,2\pi)[/tex], значи остана да докажем, че [tex]f(\pi) > 0[/tex].
* идеята за преобразуването на [tex]f(x)[/tex] до [tex]f(x) = 4\sin^2{\frac{x}{2}}(1 - \Large\frac{\frac{x}{2}}{tg{\frac{x}{2}}})[/tex] не е моя, но все пак реших да я споделя.