رابطهٔ مشتق و مماس افقی: شرط صفر بودن شیب در نقطههای ماکزیمم و مینیمم توابع مشتقپذیر
1. مفهوم مشتق و تفسیر هندسی آن
در ریاضیات، مشتق یک تابع در نقطهٔ مشخص، نشاندهندهٔ شیب خط مماس بر نمودار تابع در همان نقطه است. اگر تابع $y=f(x)$ را در نظر بگیریم، مشتق آن در نقطهٔ $x=a$ با حد زیر تعریف میشود:
$f'(a)=\lim_{h \to 0} \frac{f(a+h)-f(a)}{h}$از نظر هندسی، این مقدار همان شیب خط مماس بر منحنی در نقطهٔ $(a,f(a))$ است. هرگاه شیب مماس صفر شود، خط مماس افقی خواهد بود. چنین وضعیتی معمولاً در قلهها (ماکزیمم) یا درهها (مینیمم) نمودار رخ میدهد، به شرطی که تابع در آن نقطه مشتقپذیر باشد.
2. شرط لازم برای وقوع ماکزیمم یا مینیمم موضعی
اگر تابع $f$ در نقطهٔ داخلی $x=c$ دارای ماکزیمم موضعی یا مینیمم موضعی باشد و در آن نقطه مشتقپذیر نیز باشد، آنگاه مشتق تابع در آن نقطه صفر است، یعنی:
$f'(c)=0$این قضیه به نام قضیه فرما1 (Fermat's theorem for stationary points) شناخته میشود. توجه داشته باشید که عکس این قضیه درست نیست: صفر بودن مشتق در یک نقطه، لزوماً به معنای وجود ماکزیمم یا مینیمم در آن نقطه نیست (مثال: تابع $f(x)=x^{3}$ در نقطهٔ $x=0$ مشتق صفر دارد اما نه ماکزیمم دارد و نه مینیمم؛ بلکه نقطهٔ عطف است).
3. بررسی گامبهگام با استفاده از تعریف مشتق
برای درک عمیقتر، فرض کنیم $x=c$ نقطهٔ ماکزیمم موضعی است. یعنی فاصلهٔ $\delta >0$ وجود دارد به طوری که برای همهٔ $x$های واقع در بازهٔ $(c-\delta , c+\delta )$ داریم $f(x) \le f(c)$. حال نسبت تفاضلی $\frac{f(c+h)-f(c)}{h}$ را برای $h>0$ (سمت راست) و $h (سمت چپ) بررسی میکنیم:
- برای $h>0$ کوچک: $f(c+h) \le f(c) \Rightarrow f(c+h)-f(c) \le 0$، بنابراین نسبت تفاضلی $\le 0$ است. با میل $h \to 0^{+}$، حد راست مشتق که وجود دارد باید $\le 0$ باشد.
- برای $h کوچک: قرار میدهیم $h = -k$، $k>0$. آنگاه $f(c-k) \le f(c) \Rightarrow f(c-k)-f(c) \le 0$ اما مخرج $-k$ منفی است، لذا نسبت تفاضلی $\ge 0$ خواهد بود. حد چپ مشتق باید $\ge 0$ باشد.
از آنجا که تابع در $x=c$ مشتقپذیر است، حد راست و چپ مشتق با هم برابرند. تنها مقداری که هم $\le 0$ و هم $\ge 0$ است، صفر میباشد. بنابراین $f'(c)=0$. اثبات مشابهی برای نقطهٔ مینیمم موضعی نیز برقرار است.
| نوع نقطه | شرط مشتقپذیری | مقدار مشتق | وضعیت خط مماس |
|---|---|---|---|
| ماکزیمم موضعی | مشتقپذیر | $f'(c)=0$ | افقی (شیب صفر) |
| مینیمم موضعی | مشتقپذیر | $f'(c)=0$ | افقی (شیب صفر) |
| نقطه عطف با مشتق صفر | مشتقپذیر | $f'(c)=0$ | افقی اما نه ماکزیمم/مینیمم |
| نقطه گوشه (مثل $|x|$) | غیر مشتقپذیر | وجود ندارد | مماس منحصربهفرد افقی ندارد |
4. کاربرد عملی: یافتن نقاط ماکزیمم و مینیمم توابع چند جملهای
در مسائل بهینهسازی دبیرستان، معمولاً برای یافتن نقاط اکسترمم2 یک تابع مشتقپذیر، مراحل زیر را طی میکنیم:
- مشتق تابع را محاسبه میکنیم: $f'(x)$
- معادلهٔ $f'(x)=0$ را حل میکنیم تا نقاط بحرانی3 به دست آیند.
- با استفاده از آزمون مشتق دوم یا آزمون تغییر علامت مشتق اول، نوع هر نقطهٔ بحرانی (ماکزیمم، مینیمم یا عطف) را تعیین میکنیم.
مثال عددی گسترده: تابع $f(x)= \frac{1}{3}x^{3} - 2x^{2} + 3x + 1$ را در نظر بگیرید. مشتق آن $f'(x)= x^{2} -4x+3$ است. معادلهٔ $x^{2}-4x+3=0$ ریشههای $x=1$ و $x=3$ را دارد. در این دو نقطه مشتق صفر است، بنابراین خط مماس افقی خواهد بود. با بررسی علامت مشتق اول در اطراف $x=1$ (مثلاً $x=0.5$ مشتق مثبت، $x=1.5$ مشتق منفی) در مییابیم $x=1$ نقطهٔ ماکزیمم موضعی و $x=3$ (مشتق از منفی به مثبت) نقطهٔ مینیمم موضعی است.
5. چالشهای مفهومی
پاسخ: خیر. نقطهٔ عطف افقی مانند تابع $f(x)=x^{3}$ در $x=0$ مشتق صفر دارد اما نه ماکزیمم است و نه مینیمم. شرط صفر بودن مشتق، شرط لازم است نه کافی.
پاسخ: نه. در این حالت خط مماس عمودی یا اصلاً مماس منحصربهفردی وجود ندارد. مثال: تابع $f(x)= -|x|$ در $x=0$ ماکزیمم دارد اما مشتقپذیر نیست (چون مشتق چپ و راست برابر نیستند) و خط مماس افقی وجود ندارد.
پاسخ: زیرا در ماکزیمم موضعی، در یک همسایگی، مقدار تابع از مقدار تابع در نقطهٔ ماکزیمم بیشتر نمیشود. این موضوع باعث میشود که نسبت تفاضلی برای $h>0$ غیر مثبت و برای $h غیر منفی باشد. با اعمال حد و یکسان بودن حد چپ و راست (مشتقپذیری)، مقدار مشتق مجبور است همزمان هم $\le 0$ باشد و هم $\ge 0$ که تنها صفر است.
6. دستهبندی نقاط بر اساس رفتار مشتق
در جدول زیر، انواع نقاط بحرانی به همراه وضعیت مماس افقی و نمونه تابع دستهبندی شده است:
| نوع نقطه | شرط مشتق | مماس افقی دارد؟ | مثال تابع |
|---|---|---|---|
| ماکزیمم موضعی مشتقپذیر | $f'(c)=0$ | بله | $-x^{2}$ |
| مینیمم موضعی مشتقپذیر | $f'(c)=0$ | بله | $x^{2}$ |
| نقطه عطف افقی | $f'(c)=0$ | بله (اما نه اکسترمم) | $x^{3}$ |
| ماکزیمم در نقطهٔ غیر مشتقپذیر | مشتق وجود ندارد | خیر | $-|x|$ |
پاورقی
1 قضیه فرما (Fermat's theorem): قضیهای در حساب دیفرانسیل که بیان میکند اگر تابعی در نقطهای از دامنه خود دارای اکسترمم موضعی باشد و در آن نقطه مشتقپذیر باشد، آنگاه مشتق تابع در آن نقطه صفر است.
2 اکسترمم (Extremum): به نقاط ماکزیمم یا مینیمم یک تابع، نقاط اکسترمم یا سره گفته میشود.
3 نقطه بحرانی (Critical point): نقطهای از دامنه تابع که یا مشتق در آن صفر است یا مشتق وجود ندارد.
4 نقطه عطف افقی (Horizontal inflection point): نقطهای که مشتق تابع در آن صفر است اما تابع در آن نقطه نه ماکزیمم دارد و نه مینیمم، بلکه تحدب نمودار تغییر میکند.