رابطهٔ اکسترمم نسبی و مشتق صفر
۱. تعریف اکسترمم نسبی و شرط لازم فرما
به زبان ساده، یک تابع در نقطهٔ c دارای اکسترمم نسبی است اگر در یک همسایگی کوچک اطراف c، مقدار تابع در c از بقیه نقاط آن همسایگی بیشتر (ماکزیمم نسبی) یا کمتر (مینیمم نسبی) باشد. قضیهٔ فرما1 یکی از نتایج بنیادی حساب دیفرانسیل است که شرط لازم برای وقوع اکسترمم نسبی در نقاط مشتقپذیر را بیان میکند.
شرط قضیه: اگر f در بازهٔ باز (a,b) تعریف شده باشد، نقطهٔ c در این بازه قرار داشته باشد، f در c مشتقپذیر باشد و f در c دارای اکسترمم نسبی باشد، آنگاه $ f'(c) = 0 $. به عبارت دیگر، خط مماس بر نمودار تابع در نقطهٔ اکسترمم نسبی افقی است.
مثال علمی: تابع $ f(x) = x^2 $ را در نظر بگیرید. این تابع در نقطهٔ x = 0 دارای مینیمم نسبی (و مطلق) است. مشتق آن برابر $ f'(x) = 2x $ است. در نقطهٔ x = 0 داریم $ f'(0) = 0 $. قانون فرما در اینجا صدق میکند.
۲. نقاط بحرانی و نقاطی که مشتق وجود ندارد
نقاطی که در آنها مشتق تابع صفر است یا مشتق وجود ندارد، نقاط بحرانی2 نامیده میشوند. اکسترمم نسبی هر تابع پیوسته که درون یک بازه رخ دهد، حتماً یک نقطهٔ بحرانی است. اما نکتهٔ بسیار مهم: یک نقطهٔ بحرانی لزوماً اکسترمم نسبی ایجاد نمیکند.
مورد اول: مشتق وجود ندارد، اما اکسترمم نسبی رخ میدهد. تابع قدر مطلق $ f(x) = |x| $ را در نظر بگیرید. این تابع در نقطهٔ x = 0 دارای مینیمم نسبی است، اما مشتق چپ و راست با هم برابر نیستند؛ بنابراین مشتق در این نقطه وجود ندارد. این مثال نشان میدهد که شرط مشتقپذیری در قضیهٔ فرما ضروری است.
۳. وقتی مشتق صفر است اما اکسترمم نسبی وجود ندارد
عکس قضیهٔ فرما همواره درست نیست. مشتق صفر میتواند در نقاطی رخ دهد که تابع نه ماکزیمم دارد و نه مینیمم، بلکه یک نقطهٔ عطف با مماس افقی یا نقطهٔ زینی3 باشد.
مثال کلاسیک: تابع $ f(x) = x^3 $ را در نظر بگیرید. مشتق آن برابر $ f'(x) = 3x^2 $ است. در نقطهٔ x = 0 داریم $ f'(0) = 0 $. اما تابع $ x^3 $ در این نقطه اکسترمم نسبی ندارد؛ زیرا برای x \lt 0 مقادیر منفی و برای x \gt 0 مقادیر مثبت است، بنابراین نقطهٔ 0 هم ماکزیمم است و هم مینیمم. چنین نقطهای یک نقطهٔ عطف با مماس افقی نامیده میشود.
| نوع نقطه | شرط مشتق | آیا اکسترمم نسبی است؟ | مثال |
|---|---|---|---|
| ماکزیمم نسبی | $ f'(c)=0 $ (در صورت مشتقپذیری) | بله | $ f(x) = -x^2 $ در x=0 |
| مینیمم نسبی | $ f'(c)=0 $ (در صورت مشتقپذیری) | بله | $ f(x) = x^2 $ در x=0 |
| نقطهٔ عطف با مماس افقی | $ f'(c)=0 $ | خیر | $ f(x) = x^3 $ در x=0 |
| نقطهٔ گوشه (مشتق ناموجود) | مشتق چپ و راست متفاوت | میتواند باشد | $ f(x)=|x| $ در x=0 (مینیمم) |
۴. کاربرد عملی: یافتن نقاط بهینه در مسائل واقعی
در مسائل بهینهسازی، مانند یافتن بیشینهٔ سود یا کمینهٔ هزینه، نخست نقاط بحرانی (مشتق صفر یا مشتق ناموجود) را مییابیم. سپس با استفاده از آزمون مشتق دوم4 یا بررسی تغییر علامت مشتق اول، نوع نقطهٔ بحرانی را مشخص میکنیم.
مثال عینی: فرض کنید میخواهیم ابعاد یک مستطیل با محیط ثابت 20 واحد را طوری بیابیم که مساحت آن بیشینه شود. اگر طول را x و عرض را 10-x در نظر بگیریم، مساحت برابر است با $ A(x) = x(10-x) = 10x - x^2 $. مشتق $ A'(x) = 10 - 2x $ را صفر قرار میدهیم: $ 10 - 2x = 0 \Rightarrow x = 5 $. مشتق دوم منفی است، بنابراین نقطهٔ x=5 ماکزیمم نسبی (و مطلق) است. این مثال نشان میدهد که چگونه شرط لازم $ f'(c)=0 $ به ما در یافتن نامزدهای بهینه کمک میکند، هرچند برای تأیید اکسترمم بودن به بررسی بیشتری نیاز داریم.
۵. چالشهای مفهومی
پاسخ: خیر، اگر مشتق در نقطهای بینهایت شود (مثلاً مماس قائم داشته باشیم) اما تابع در آن نقطه پیوسته باشد، آن نقطه میتواند اکسترمم نسبی باشد. مثال: تابع $ f(x) = \sqrt[3]{x^2} $ در x=0 دارای مینیمم نسبی است و مشتق آن در این نقطه به سمت بینهایت میل میکند. اما در این حالت مشتق وجود ندارد (به معنای عدد حقیقی). بنابراین شرط قضیهٔ فرما که مشتق وجود داشته باشد، برقرار نیست.
پاسخ: نقطهٔ زینی اصطلاحی عمومیتر است و در توابع چندمتغیره کاربرد دارد. در توابع تکمتغیره، به نقطهای که مشتق اول صفر است اما اکسترمم نسبی نیست، اغلب نقطهٔ عطف با مماس افقی میگوییم. مثلاً تابع $ f(x) = x^3 $ در مبدأ چنین شرایطی دارد.
پاسخ: زیرا معادلهٔ $ f'(x)=0 $ تنها شرط لازم است، نه کافی. نقاط بحرانی ممکن است اکسترمم نباشند (مثل $ x^3 $) یا ممکن است تابع در آن نقاط مشتق نداشته باشد ولی اکسترمم داشته باشد (مثل $ |x| $). بنابراین پس از یافتن نقاط بحرانی باید با آزمونهای تکمیلی (تغییر علامت مشتق اول یا علامت مشتق دوم) ماهیت آنها را مشخص کرد.
پاورقی
1 قضیهٔ فرما (Fermat's Theorem): قضیهای در حساب دیفرانسیل که بیان میکند اگر تابعی در یک نقطهٔ داخلی از دامنه خود دارای اکسترمم نسبی باشد و در آن نقطه مشتقپذیر باشد، آنگاه مشتق در آن نقطه برابر صفر است.
2 نقطهٔ بحرانی (Critical Point): نقطهای در دامنهٔ تابع که یا مشتق تابع در آن صفر است یا مشتق وجود ندارد. تمام اکسترممهای نسبی توابع پیوسته درون بازه، نقاط بحرانی هستند.
3 نقطهٔ زینی (Saddle Point): در توابع تکمتغیره به نقطهای گفته میشود که مشتق اول صفر است اما نقطه نه ماکزیمم است و نه مینیمم. تابع $ f(x)=x^3 $ در مبدأ یک نقطهٔ زینی دارد.
4 آزمون مشتق دوم (Second Derivative Test): اگر $ f'(c)=0 $ و $ f''(c) \gt 0 $، آنگاه c مینیمم نسبی است. اگر $ f''(c) \lt 0 $، آنگاه ماکزیمم نسبی است. اگر $ f''(c)=0 $، آزمون بینتیجه است.