مماس قائم: بررسی خطوط عمودی در نقطههای پیوسته با مشتق نامتناهی
۱. مقدمه: چرا مماس قائم اهمیت دارد؟
در هندسهٔ تحلیلی، مماس بر منحنی در یک نقطه معمولاً خطی با شیب متناهی است. اما برخی توابع در نقاط خاصی رفتاری تند و عمودی از خود نشان میدهند. برای نمونه، تابع f(x) = \sqrt[3]{x} در مبدأ مختصات عمودی میشود. در این حالت، خط مماس عمودی است و معادلهٔ آن x = a میباشد. شرط اصلی برای صحبت از مماس قائم، پیوستگی تابع در آن نقطه و نامتناهی بودن مشتقهای یکطرفه است.
به عنوان مثال عملی، فرض کنید یک متحرک در امتداد مسیر y = x^{1/3} حرکت میکند. در لحظهٔ عبور از مبدأ، سرعت لحظهای در جهت قائم بینهایت میشود؛ یعنی بردار سرعت عمودی است. این وضعیت در مسائل فیزیک و بهینهسازی نیز دیده میشود.
۲. تعریف رسمی مماس قائم در نقطهٔ پیوسته
فرض کنید تابع f در بازهٔ بازِ شامل a تعریف شده باشد و در نقطهٔ x = aپیوسته باشد. مشتق چپ در a به صورت زیر تعریف میشود:
و مشتق راست:
اگر هر دو حد یکطرفه برابر $+\infty$ یا هر دو برابر $-\infty$ باشند (نامتناهی با علامت یکسان)، آنگاه خط عمودی $x = a$ را مماس قائم منحنی در نقطهٔ $(a, f(a))$ مینامیم. توجه کنید که در این حالت تابع در نقطهٔ a مشتق پذیر نیست (زیرا مشتق متناهی وجود ندارد)، اما خط مماس عمودی برقرار است.
۳. مقایسهٔ انواع مماس: قائم، افقی و مایل
| نوع مماس | شرط در نقطهٔ پیوسته | معادله | مثال |
|---|---|---|---|
| قائم (عمودی) | مشتق چپ و راست نامتناهی با علامت یکسان | $x = a$ | $f(x) = \sqrt[3]{x}$ در $x=0$ |
| افقی | مشتق متناهی برابر صفر | $y = f(a)$ | $f(x) = x^2$ در $x=0$ |
| مایل (شیب دار) | مشتق متناهی و ناصفر | $y - f(a) = m(x-a)$ | $f(x) = x^3$ در $x=1$ |
۴. مثال گامبهگام: بررسی تابع ریشهٔ سوم
تابع $f(x) = \sqrt[3]{x}$ را در نقطهٔ $a = 0$ در نظر بگیرید. میدانیم $f(0) = 0$ و تابع روی $\mathbb{R}$ پیوسته است.
گام اول: محاسبهٔ مشتق چپ
چون $h \to 0^-$ داریم $h^{-2/3} = \frac{1}{h^{2/3}}$ و $h^{2/3} \to 0^+$، بنابراین حد برابر $+\infty$ است.
گام دوم: محاسبهٔ مشتق راست
هر دو مشتق یکطرفه $+\infty$ هستند. بنابراین خط $x = 0$ مماس قائم بر منحنی در مبدأ است.
۵. موارد خاص: مشتقهای چپ و راست با علامت متفاوت
اگر مشتق چپ $+\infty$ و مشتق راست $-\infty$ (یا برعکس) باشد، خط $x = a$ مماس عمودی نیست؛ بلکه منحنی در آن نقطه یک تیزگی قائم (cusp) دارد. مثال معروف تابع $f(x) = x^{2/3}$ در $x=0$ است: مشتق چپ به $-\infty$ و مشتق راست به $+\infty$ میرود. در چنین نقطهای، خط عمودی مماس محسوب نمیشود.
۶. کاربرد عملی: تشخیص قائم شدگی در توابع توانی کسری
توابعی به فرم $f(x) = x^{p/q}$ با $q$ فرد مثبت، در نقطهٔ $x=0$ رفتار مماس قائم دارند اگر $0 \lt p/q \lt 1$. برای نمونه $f(x) = x^{1/5}$ مماس قائم در مبدأ دارد. این ویژگی در مدلسازی رشد جمعیت یا فرایندهای فیزیکی که نرخ تغییرات بینهایت میشود کاربرد دارد.
۷. چالشهای مفهومی (پرسش و پاسخ)
پرسش ۱: آیا تابع میتواند در نقطهای مماس قائم داشته باشد ولی مشتقپذیر نباشد؟
پاسخ: بله. شرط مماس قائم وجود مشتقهای یکطرفهٔ نامتناهی است که خود به معنای نبود مشتق متناهی است. بنابراین تابع در آن نقطه مشتقپذیر نیست، اما خط مماس عمودی وجود دارد.
پرسش ۲: اگر تابع در نقطهای ناپیوسته باشد، امکان مماس قائم وجود دارد؟
پاسخ: خیر. تعریف مماس بر منحنی در یک نقطه نیازمند پیوستگی تابع در آن نقطه است. اگر تابع ناپیوسته باشد، نقطه روی منحنی قرار ندارد یا پرش دارد و خط عمودی نمیتواند مماس باشد.
پرسش ۳: چگونه در نمودار تابع، مماس قائم را تشخیص دهیم؟
پاسخ: در نقطهٔ مورد نظر، منحنی یک شیب بسیار تند و عمودی پیدا میکند و خط $x = a$ نمودار را در آن نقطه لمس میکند بدون اینکه آن را قطع کند (در حالت معمول). برای توابعی مانند $\sqrt[3]{x}$ در مبدأ، منحنی از چپ به راست صعودی عمودی است.
۸. جمعبندی
پاورقی
1 پیوستگی (Continuity): تابع f در نقطهٔ a پیوسته است اگر $\lim_{x \to a} f(x) = f(a)$.
2 مشتق چپ و راست (Left and right derivatives): حدهای یکطرفهٔ نسبت افزایش تابع.
3 تیزگی قائم (Vertical cusp): نقطهای که مشتق چپ و راست نامتناهی با علامت مخالف داشته باشند.
4 تابع ریشهٔ سوم (Cube root function): تابع $f(x) = \sqrt[3]{x}$ که در سراسر خط حقیقی پیوسته و یکبهیک است.