صعودی بودن تانژانت: ویژگی تابع $ \tan x $ که در هر بازهٔ پیوسته از دامنهاش صعودی است
۱. تعریف صعودی بودن و ویژگی منحصر به فرد تانژانت
در ریاضیات، یک تابع مانند $ f $ را روی بازهٔ $ I $صعودی (یا افزایشی) گوییم هرگاه برای هر دو نقطهٔ $ x_1 $ و $ x_2 $ در $ I $ که $ x_1 \lt x_2 $ داشته باشیم، آنگاه $ f(x_1) \lt f(x_2) $. اگر این نامساوی به صورت اکید برقرار باشد، تابع را اکیداً صعودی مینامیم.
تابع تانژانت ($ \tan x $) رفتاری کاملاً منظم دارد: به ازای هر بازهٔ باز که کاملاً درون دامنهٔ آن قرار گیرد (یعنی بدون نقاط $ \frac{\pi}{2} + k\pi $)، مقدار تانژانت بهطور یکنواخت و بدون نوسان افزایش مییابد. برای نمونه، بازهٔ $ (-\frac{\pi}{2}, \frac{\pi}{2}) $ مهمترین بازهای است که در آن $ \tan x $ از $ -\infty $ تا $ +\infty $ بهطور پیوسته و صعودی تغییر میکند.
۲. نقش مشتق در تأیید صعودی بودن
یکی از راههای تشخیص صعودی بودن یک تابع مشتقپذیر، بررسی علامت مشتق آن است. اگر $ f'(x) \gt 0 $ برای همهٔ نقاط یک بازه، آنگاه تابع روی آن بازه اکیداً صعودی است. مشتق تابع $ \tan x $ برابر است با:
از آنجا که $ \sec^2 x \ge 1 $ است و در نقاط دامنهٔ تانژانت (یعنی $ x \neq \frac{\pi}{2} + k\pi $) هیچگاه صفر نمیشود، همیشه $ \frac{d}{dx} \tan x \gt 0 $. پس در تمام بازههای پیوستهاش، تانژانت صعودی است. این یک اثبات جبری دقیق برای این ویژگی به شمار میرود.
| تابع | مشتق | علامت مشتق در دامنه | رفتار کلی |
|---|---|---|---|
| $ \sin x $ | $ \cos x $ | متغیر (مثبت و منفی) | صعودی و نزولی دورهای |
| $ \cos x $ | $ -\sin x $ | متغیر (مثبت و منفی) | صعودی و نزولی دورهای |
| $ \tan x $ | $ \sec^2 x $ | همیشه مثبت | صعودی در هر بازهٔ پیوسته |
۳. مثال عملی: بررسی مقدار تانژانت در چند نقطه
برای درک بهتر صعودی بودن، مقادیر تابع $ \tan x $ را روی بازهٔ $ (-\frac{\pi}{2}, \frac{\pi}{2}) $ در چند نقطه محاسبه میکنیم:
- در $ x = -\frac{\pi}{3} \approx -1.047 $ داریم: $ \tan(-1.047) \approx -1.732 $
- در $ x = -\frac{\pi}{4} \approx -0.785 $ داریم: $ \tan(-0.785) = -1 $
- در $ x = 0 $ داریم: $ \tan 0 = 0 $
- در $ x = \frac{\pi}{4} \approx 0.785 $ داریم: $ \tan(0.785) = 1 $
- در $ x = \frac{\pi}{3} \approx 1.047 $ داریم: $ \tan(1.047) \approx 1.732 $
همانطور که میبینید، با افزایش $ x $، مقدار $ \tan x $ نیز به طور پیوسته افزایش مییابد. این رفتار در هر بازهٔ شبیه به آن (مثلاً $ (\frac{\pi}{2}, \frac{3\pi}{2}) $) نیز تکرار میشود، اگرچه تابع در ابتدا و انتهای بازه به مجانبهای عمودی میل میکند.
۴. چالشهای مفهومی
پرسش ۱: چرا نمیتوانیم بگوییم تابع تانژانت روی کل دامنهٔ خود صعودی است؟
زیرا دامنهٔ تانژانت شامل اعداد حقیقی به جز $ \frac{\pi}{2} + k\pi $ است که یک مجموعهٔ گسسته و ناپیوسته است. برای صعودی بودن روی یک مجموعه، باید بتوان هر دو نقطه را با بازهای پیوسته درون دامنه به هم وصل کرد. از آنجا که بین دو شاخهٔ مختلف (مثلاً $ 1.5 $ و $ 1.6 $ رادیان که مجانب در $ \frac{\pi}{2} \approx 1.57 $ قرار دارد) ناپیوستگی داریم، نمیتوان صعودی بودن را در کل دامنه نتیجه گرفت.
پرسش ۲: آیا تابع تانژانت در نقاط نزدیک به مجانب صعودی باقی میماند؟
بله. حتی در نزدیکی مجانب عمودی از سمت چپ (مثل $ x \to (\frac{\pi}{2})^- $) تابع به سمت $ +\infty $ میرود و از راست مجانب بعدی از $ -\infty $ شروع میشود. در هر شاخه همچنان صعودی است، اما بین دو شاخه پرش ناگهانی داریم.
پرسش ۳: آیا میتوان ثابت کرد که $ \tan x $ روی بازهٔ $ (0, \frac{\pi}{2}) $ صعودی است بدون استفاده از مشتق؟
بله. با استفاده از اتحاد $ \tan b - \tan a = \frac{\sin(b-a)}{\cos a \cos b} $ برای $ b \gt a $، صورت کسر مثبت و مخرج نیز در این بازه مثبت است، بنابراین تفاضل مثبت بوده و تابع صعودی خواهد بود.
۵. جمعبندی
تابع $ \tan x $ در هر بازهٔ پیوسته از دامنهٔ خود (مانند $ (-\frac{\pi}{2}, \frac{\pi}{2}) $) اکیداً صعودی است. این ویژگی با مشتق مثبت $ \sec^2 x $ اثبات میشود و در مثالهای عددی به وضوح دیده میشود. هر چند تانژانت به دلیل مجانبهای عمودی نمیتواند روی کل دامنه صعودی باشد، اما درون هر شاخه رفتاری کاملاً یکنواخت و قابل پیشبینی دارد.
پاورقی
1 تابع صعودی اکید (Strictly Increasing Function): تابعی که به ازای $ x_1 \lt x_2 $ همواره $ f(x_1) \lt f(x_2) $ برقرار باشد.
2 مجانب عمودی (Vertical Asymptote): خط عمودی $ x = a $ که وقتی $ x $ به $ a $ نزدیک میشود، مقدار تابع به سمت $ \pm\infty $ میرود. برای تانژانت، مجانبها در $ x = \frac{\pi}{2} + k\pi $ رخ میدهند.
3 مشتق (Derivative): نرخ تغییر لحظهای تابع که برای $ \tan x $ برابر $ \sec^2 x $ است و همیشه مثبت میباشد.