ابتدا با اتحاد های مثلثاتی که اطلاع داریم. تابع درون براکت را ساده میکنیم :
$$ \tan 2x =\dfrac{\sin 2x}{\cos 2x}$$
$$\sin 2x =2\cos x\sin x$$
$$\dfrac{\tan 2x}{\sin x}=\dfrac{2\cos x}{\cos 2x}$$
حال توجه کنید که که در همسایگی $ x=0 $ داریم :
$$ 2 \leq \dfrac{2\cos x}{\cos 2x}<3$$
در نتیجه خواهیم داشت :
$$\lim_{x\to 0} \left\lfloor \dfrac{\tan 2x}{\sin x} \right\rfloor=
\lim_{x\to 0}\left\lfloor\dfrac{2\cos x}{\cos 2x}\right\rfloor=2 $$
نابرابری زیر چگونه اثبات میشود؟
$$ 2 \leq \dfrac{2\cos x}{\cos 2x}<3$$
تابع زیر را در نظر بگیرید :
$$f: (\dfrac{-\pi}{2},\dfrac{\pi}{2})\to \mathbb{R}$$
$$f(x)=\dfrac{2\cos x}{\cos 2x}$$
از تابع مشتق میگیریم :
$$f'(x)=2\frac{-\sin x\cos2x+2\cos x\sin2x}{\cos^22x}=
2\frac{\sin x(2\cos^2x+1)}{\cos^22x}$$
همینطور که واضع است نقطه $x=0$ بحرانی است .چرا؟( چون تابع مشتق را صفر میکند )
و در همسایگی $x=0$ تابع مشتق را تعیین علامت کنیم :
همسایگی راست تابع مشتق $+ \Longleftarrow $
همسایگی چپ تابع مشتق $+ \Longleftarrow $
در نتیجه تابع در $f$ در نقطه $(0,f(0))$ مینیمم موضعی است .
در نتیجه در همسایگی $x=0$ خواهیم داشت :
$$2\le f(x)<3$$
