حد توان nام: اگر lim f(x) در a موجود باشد، آنگاه lim (f(x))^n برابر (lim f(x))^n است.

بروزرسانی شده در: 13:56 1405/05/21 مشاهده: 180 دسته بندی: کپسول آموزشی

قاعدهٔ حد توان nام: هم‌ارزی حد تابع و حد توان آن

بررسی دقیق رابطهٔ $\lim_{x \to a} [f(x)]^n = [\lim_{x \to a} f(x)]^n$ همراه با اثبات گام‌به‌گام و مثال‌های متنوع

خلاصهٔ مقاله: در این مقاله یاد می‌گیرید اگر حد تابع $f(x)$ در نقطهٔ $a$ موجود باشد (مقداری حقیقی یا بینهایت)، آنگاه حد تابع توان $n$ام آن برابر با توان $n$ام حد تابع است. با مفاهیم حد توابع¹، حد توان طبیعی²، حد توان گویا³ و شرایط لازم برای وجود این تساوی آشنا می‌شوید. همچنین با چالش‌های مرسوم مانند حد در بینهایت، توان‌های زوج و فرد و مواردی که حد تابع صفر است، روبه‌رو خواهید شد.

۱. تعریف حد تابع و مفهوم توان nام

فرض کنید $f(x)$ یک تابع حقیقی باشد و $a$ نقطه‌ای از دامنهٔ آن یا یک نقطهٔ مرزی باشد. عبارت $\lim_{x \to a} f(x) = L$ به این معناست که هرچه $x$ به $a$ نزدیک شود، مقدار تابع به عدد $L$ نزدیک می‌گردد. حال تابع جدید $[f(x)]^n$ را در نظر بگیرید که در آن $n$ یک عدد طبیعی (مانند $1,2,3,…$) یا در حالت کلی‌تر یک عدد گویا است.

مثال مقدماتی: فرض کنید $f(x) = 2x + 1$ و می‌خواهیم حد $[f(x)]^3$ را در $x \to 2$ محاسبه کنیم. طبق قاعدهٔ حد توان، ابتدا $\lim_{x \to 2} f(x) = 2(2)+1 = 5$ و سپس حد برابر $5^3 = 125$ است. می‌توان مستقیماً نیز $(2x+1)^3$ را به $x=2$ نزدیک کرد و همان نتیجه را گرفت.

۲. اثبات قاعدهٔ حد توان برای توان‌های طبیعی

برای اثبات این قاعده از خاصیت ضرب حدود استفاده می‌کنیم. می‌دانیم اگر $\lim_{x \to a} f(x) = L$ و $\lim_{x \to a} g(x) = M$ هر دو موجود باشند، آنگاه $\lim_{x \to a} f(x) \cdot g(x) = L \cdot M$. حال با استقراء ریاضی روی $n$ پیش می‌رویم:

پایهٔ استقراء ($n=1$): واضح است که $\lim_{x \to a} [f(x)]^1 = \lim_{x \to a} f(x) = L = L^1$. تساوی برقرار است.
فرض استقراء: فرض می‌کنیم برای عدد طبیعی $k$ داشته باشیم: $\lim_{x \to a} [f(x)]^k = L^k$.
گام استقراء ($n = k+1$): می‌نویسیم $[f(x)]^{k+1} = [f(x)]^k \cdot f(x)$. با استفاده از قاعدهٔ ضرب حدود و فرض استقراء داریم: $\lim_{x \to a} [f(x)]^{k+1} = (L^k) \cdot L = L^{k+1}$. بنابراین حکم برای $n = k+1$ نیز برقرار است.

در نتیجه برای هر عدد طبیعی $n$، قاعدهٔ $\lim_{x \to a} [f(x)]^n = [\lim_{x \to a} f(x)]^n$ همواره برقرار است، به شرط آنکه حد سمت راست موجود باشد. توجه داشته باشید که اگر $L = \pm\infty$ باشد، این قاعده برای توان‌های فرد صادق است و برای توان‌های زوج نیاز به دقت بیشتری داریم.

۳. مقایسهٔ حالت‌های مختلف: توان طبیعی در برابر توان گویا

نوع توان	شرط وجود حد تابع اصلی	شرط اضافی برای تساوی
طبیعی ($n \in \mathbb{N}$)	حد $f(x)$ موجود (متناهی یا نامتناهی)	برای حد نامتناهی: توان زوج نیازمند بررسی علامت
گویا ($n = p/q$)	حد $f(x)$ موجود و $f(x) \ge 0$ در همسایگی $a$ (برای مخرج زوج)	حد نهایی باید در دامنهٔ تابع ریشه باشد

۴. گسترش به توان‌های گویا و ریشه‌ها

هنگامی که توان به صورت $n = \frac{p}{q}$ با $q$ عددی فرد و $p$ صحیح باشد، قاعدهٔ حد توان به راحتی قابل گسترش است. اما اگر $q$ زوج باشد، برای اینکه عبارت $[f(x)]^{p/q}$ در اعداد حقیقی تعریف شود، باید $f(x) \ge 0$ در همسایگی نقطهٔ $a$ برقرار باشد. در این صورت اگر $\lim_{x \to a} f(x) = L$، آنگاه $L$ نیز باید غیرمنفی باشد و تساوی $\lim_{x \to a} [f(x)]^{p/q} = L^{p/q}$ برقرار است.

مثال با ریشه زوج: تابع $f(x) = \sqrt{x^2 + 1}$ را در نظر بگیرید. برای $x \to 0$ داریم $\lim_{x \to 0} (x^2+1) = 1$ و چون تابع زیر ریشه همواره مثبت است، $\lim_{x \to 0} \sqrt{x^2+1} = \sqrt{1} = 1$. در اینجا $n = 1/2$ و قاعده صادق است.

۵. کاربرد عملی و مثال‌های مرحله‌ای

فرض کنید می‌خواهیم حد تابع زیر را در $x \to 1$ محاسبه کنیم:

$\displaystyle \lim_{x \to 1} \left( \frac{x^2 - 1}{x - 1} \right)^4$

مرحله ۱: ابتدا حد تابع درون پرانتز را به دست می‌آوریم:

$\lim_{x \to 1} \frac{x^2 - 1}{x - 1} = \lim_{x \to 1} \frac{(x-1)(x+1)}{x-1} = \lim_{x \to 1} (x+1) = 2$

مرحله ۲: اکنون قاعدهٔ حد توان را اعمال می‌کنیم:

$\lim_{x \to 1} \left( \frac{x^2 - 1}{x - 1} \right)^4 = (2)^4 = 16$

مرحله ۳ (تأیید): اگر مستقیماً تابع ساده‌شدهٔ $(x+1)^4$ را در $x=1$ قرار دهیم، به $2^4=16$ می‌رسیم که صحت قاعده را نشان می‌دهد.

۶. چالش‌های مفهومی

سؤال ۱: آیا قاعدهٔ $\lim [f(x)]^n = [\lim f(x)]^n$ برای $n=0$ نیز برقرار است؟
پاسخ: بله. اگر $n=0$ باشد، $[f(x)]^0 = 1$ به شرطی که $f(x) \neq 0$. در این صورت حد برابر $1$ است. همچنین $[\lim f(x)]^0 = L^0 = 1$ (اگر $L \neq 0$). در حالت $L=0$، عبارت $0^0$ مبهم است و قاعده کاربرد ندارد.

سؤال ۲: اگر $\lim_{x \to a} f(x) = -\infty$ و $n=2$ باشد، تکلیف چیست؟
پاسخ: در این حالت $[f(x)]^2$ به سمت $+\infty$ می‌رود. اما اگر بخواهیم از قاعده استفاده کنیم، $(-\infty)^2$ در اعداد حقیقی تعریف نشده است. بنابراین قاعده برای توان زوج وقتی حد اصلی $-\infty$ است، مستقیم قابل اعمال نیست و باید رفتار تابع را جداگانه بررسی کرد.

سؤال ۳: آیا قاعدهٔ حد توان برای توابعی که حد آن‌ها موجود نیست، نیز ممکن است به طور اتفاقی برقرار باشد؟
پاسخ: بله، امکان دارد. مثلاً تابع $f(x) = 1$ برای $x \neq 0$ و $f(0) = 2$ را در $x \to 0$ در نظر بگیرید. حد $f(x)$ برابر $1$ است (موجود). اما اگر تابعی بسازیم که حد اصلی نداشته باشد ولی مربع آن حد داشته باشد، باز هم قاعده صدق نمی‌کند زیرا شرط «حد $f(x)$ موجود باشد» رعایت نشده است.

۷. جمع‌بندی

قاعدهٔ حد توان $n$ام یکی از ابزارهای پایه‌ای در محاسبهٔ حدود توابع است. این قاعده می‌گوید اگر حد تابع $f(x)$ در نقطه‌ای موجود باشد، می‌توان حد توان $n$ام آن را به صورت توان $n$ام همان حد محاسبه کرد. اثبات آن با استفاده از قاعدهٔ ضرب حدود و استقراء ریاضی انجام می‌شود. در حالت توان‌های گویا، باید به شرایط دامنه (به‌ویژه برای ریشه‌های زوج) توجه کرد. همچنین در برخورد با حدهای نامتناهی، توان‌های زوج و فرد رفتار متفاوتی دارند. تسلط بر این قاعده، محاسبهٔ حدود توابع مرکب و تواندار را سریع و سیستماتیک می‌کند.