от ganka simeonova » 17 Мар 2010, 15:20
Нека разгледаме функцията [tex]f(t)=\frac{sint}{\sqrt{cost} } -t[/tex], която очевидно е дефинирана и диференцируема за всяко [tex]t\in [0; \frac{\pi }{ 2} )[/tex].
[tex]f'(t)=\frac{cos^2t+1-2cost\sqrt{cost} }{2cost\sqrt{cost} } \ge \frac{2cost-2cost\sqrt{cost}}{ 2cost\sqrt{cost}}=\frac{2cost(1-\sqrt{cost}) }{ 2cost\sqrt{cost}}\ge0[/tex]
От тук следва, че [tex]f(t)[/tex] е растяща=>[tex]f(t)\ge f(0), t\in [0; \frac{\pi }{ 2} )[/tex].
Но [tex]f(t)=0=>\frac{sint}{\sqrt{cost} } -t\ge 0[/tex]
Равенство е на лице само за t=0.
Тогава в отворения интервал [tex]t\in (0; \frac{\pi }{ 2} )=>\frac{sint}{\sqrt{cost} } -t>0=>\frac{sint}{\sqrt{cost} } >t[/tex]