پیوستگی تابع کسینوس
حد تابع و شرط پیوستگی
برای بررسی پیوستگی تابع کسینوس، ابتدا باید مفهوم حد را مرور کنیم. اگر تابع $f(x)$ در نقطهای مانند $a$ تعریف شده باشد، میگوییم $f$ در $a$ پیوسته است هرگاه:
این شرط سه بخش دارد: اول، حد تابع در $x \to a$ وجود داشته باشد. دوم، مقدار تابع در $a$ مشخص باشد. سوم، این دو مقدار با هم برابر باشند. برای تابع $\cos x$ میخواهیم نشان دهیم که در تمام اعداد حقیقی $a$، شرط بالا برقرار است.
به عنوان یک مثال عملی، فرض کنید زاویه یک صفحه دوار را اندازه میگیریم. اگر زاویه به آهستگی از $30^\circ$ به $31^\circ$ تغییر کند، مقدار کسینوس به آرامی از $\cos 30^\circ \approx 0.8660$ به $\cos 31^\circ \approx 0.8572$ تغییر میکند. این تغییر تدریجی نشانه پیوستگی است.
| شرط | معادل ریاضی | وضعیت در کسینوس |
|---|---|---|
| وجود حد | $\lim_{x \to a} \cos x$ موجود باشد | برقرار است |
| تعریف تابع در نقطه | $\cos a$ تعریف شده باشد | برقرار است |
| برابری حد و مقدار تابع | $\lim_{x \to a} \cos x = \cos a$ | برقرار است (هدف مقاله) |
برهان پیوستگی با استفاده از قضیه فشردگی
برای اثبات اینکه $\lim_{x \to a} \cos x = \cos a$، از اتحاد مثلثاتی تبدیل تفاضل به ضرب استفاده میکنیم:
سپس قدر مطلق دو طرف را گرفته و از کراندار بودن تابع سینوس یعنی $|\sin t| \le 1$ استفاده میکنیم:
از آنجا که $|\sin h| \le |h|$ برای هر $h$ حقیقی برقرار است، خواهیم داشت:
حال هنگامی که $x \to a$، عبارت $|x - a|$ به سمت صفر میل میکند. بنابراین بر اساس قضیه فشردگی (یا ساندویچ)، داریم:
و این یعنی $\lim_{x \to a} \cos x = \cos a$. توجه کنید که $a$ هر عدد حقیقی دلخواهی است. بنابراین تابع کسینوس روی تمام اعداد حقیقی پیوسته است.
کاربرد عملی در محاسبه حد توابع ترکیبی
ویژگی پیوستگی کسینوس به ما اجازه میدهد حد توابعی مانند $\cos(2x^2 + 1)$ را وقتی $x$ به $2$ نزدیک میشود، به سادگی با جایگذاری مستقیم محاسبه کنیم:
این روش در فیزیک و مهندسی بسیار کاربرد دارد. مثلاً در بررسی حرکت نوسانی ساده، معادله مکان-زمان ذرهای که روی یک دایره حرکت میکند به صورت $x(t) = R \cos(\omega t + \phi)$ نوشته میشود. اگر بخواهیم سرعت لحظهای را با حدگیری محاسبه کنیم، پیوستگی کسینوس تضمین میکرد که با تقریب زدن زمان، مقدار کسینوس نیز تقریب میشود.
| تابع | حد در نقطه $a$ | نتیجه با استفاده از پیوستگی |
|---|---|---|
| $\cos(3x)$ | $x \to \pi$ | $\cos(3\pi) = -1$ |
| $\cos(\sqrt{x})$ | $x \to 4$ | $\cos(2)$ |
| $\cos\left(\frac{1}{x}\right)$ | $x \to 2$ | $\cos\left(\frac{1}{2}\right)$ |
چالشهای مفهومی در پیوستگی کسینوس
پرسش ۱: آیا تابع کسینوس در بینهایت نیز پیوسته است؟
پاسخ: پیوستگی برای نقاط با فاصله متناهی تعریف میشود. در بینهایت (علامت بینهایت) مفهوم حد را داریم اما پیوستگی تعریف نمیشود زیرا بینهایت یک عدد حقیقی نیست. با این حال $\lim_{x \to +\infty} \cos x$ وجود ندارد زیرا کسینوس نوسان میکند.
پرسش ۲: چرا نمیتوانیم مستقیم از تعریف حد $\epsilon-\delta$ برای اثبات پیوستگی کسینوس استفاده کنیم؟
پاسخ: میتوانیم، اما نیاز به نامساوی مثلثاتی داریم. اثبات $\epsilon-\delta$ با انتخاب $\delta = \epsilon$ کار میکند، زیرا از نامساوی $|\cos x - \cos a| \le |x - a|$ نتیجه میشود که اگر $|x - a| \lt \delta$ باشد، آنگاه $|\cos x - \cos a| \lt \epsilon$ با انتخاب $\delta = \epsilon$.
پرسش ۳: آیا تابع کسینوس در همه جا مشتقپذیر است؟ پیوستگی چه نقشی در مشتقپذیری دارد؟
پاسخ: بله، کسینوس روی تمام اعداد حقیقی مشتقپذیر است و مشتق آن $-\sin x$ میباشد. پیوستگی شرط لازم برای مشتقپذیری است (هر تابع مشتقپذیر حتماً پیوسته است). بنابراین پیوستگی کسینوس، پیشنیاز محاسبه مشتق آن محسوب میشود.
مقایسه پیوستگی با دیگر توابع مثلثاتی
| تابع | دامنه پیوستگی | نقاط ناپیوستگی |
|---|---|---|
| کسینوس ($\cos x$) | همه اعداد حقیقی | هیچکدام |
| سینوس ($\sin x$) | همه اعداد حقیقی | هیچکدام |
| تانژانت ($\tan x$) | اعداد حقیقی به جز $\frac{\pi}{2}+k\pi$ | دارد (ناپیوسته) |
نکته مهم این است که کسینوس و سینوس هر دو در کل دامنه خود پیوسته هستند، در حالی که تانژانت به دلیل نامعین شدن در نقاطی که کسینوس صفر میشود، ناپیوستگی از نوع جهشی یا نامحدود دارد.
پاورقی
1 حد (Limit): مقداری است که تابع وقتی ورودی به نقطه مشخصی نزدیک میشود، به آن نزدیک میگردد.
2 قضیه فشردگی (Squeeze Theorem): اگر تابعی بین دو تابع دیگر قرار داشته باشد و حد دو تابع کناری برابر باشد، حد تابع میانی نیز همان مقدار خواهد بود.
3 پیوستگی (Continuity): ویژگی یک تابع که در آن تغییرات کوچک ورودی، تغییرات کوچک خروجی را به دنبال دارد و هیچ پارگی یا پرشی در نمودار دیده نمیشود.
4 اتحاد مثلثاتی (Trigonometric Identity): تساوی بین عبارتهای مثلثاتی که برای همه مقادیر متغیر (در دامنه تعریف) برقرار است.