حد خارج‌قسمت: اگر f و g در نقطه a حد داشته باشند و حد g در a صفر نباشد، آنگاه f/g در a حد دارد و حد آن برابر خارج‌قسمت حدهای f و g است.

بروزرسانی شده در: 14:01 1405/05/21 مشاهده: 52 دسته بندی: کپسول آموزشی

قضیه حد خارج‌قسمت در توابع: شرایط و اثبات

بررسی دقیق شرط non-zero بودن حد مخرج و نحوه محاسبه حد توابع کسری

اگر دو تابع f و g در نقطه a دارای حد باشند و حد g در آن نقطه صفر نباشد، آنگاه تابع خارج‌قسمت f/g نیز در a دارای حد است و مقدار آن برابر است با خارج‌قسمت حد f بر حد g. این قضیه یکی از قضایای پایه‌ای در محاسبه حد توابع گویا و کسری به شمار می‌رود.

بیان صوری قضیه حد خارج‌قسمت

فرمول اصلی قضیه

$ \lim_{x \to a} \frac{f(x)}{g(x)} = \frac{\lim_{x \to a} f(x)}{\lim_{x \to a} g(x)} $

در ریاضیات، اگر $ \lim_{x \to a} f(x) = L $ و $ \lim_{x \to a} g(x) = M $ که در آن $ M \neq 0 $، آنگاه حد خارج‌قسمت برابر است با $ L/M $. شرط $ M \neq 0 $ بسیار مهم است؛ زیرا اگر حد مخرج صفر باشد، خارج‌قسمت حدها تعریف نشده است و ممکن است حد تابع کسری وجود داشته باشد یا نداشته باشد (مانند موارد حد بینهایت یا حد با صفر ظاهری).

برای درک بهتر، فرض کنید می‌خواهیم حد تابع $ h(x) = \frac{2x+1}{x-1} $ را در $ x = 3 $ بیابیم. از آنجا که مخرج در نقطه $ x = 3 $ صفر نمی‌شود، می‌توانیم به راحتی حد را محاسبه کنیم:

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

شرایط لازم برای اعمال قضیه

برای استفاده از قضیه حد خارج‌قسمت، سه شرط اساسی باید برقرار باشد:

وجود حد صورت: تابع f(x) باید در نقطه a حد داشته باشد (می‌تواند متناهی یا نامتناهی باشد، اما در حالت نامتناهی باید دقت کرد).
وجود حد مخرج: تابع g(x) باید در نقطه a حد داشته باشد.
حد مخرج غیرصفر:$ \lim_{x \to a} g(x) \neq 0 $.

وضعیت حد مخرج	وضعیت حد صورت	آیا قضیه قابل اعمال است؟
غیرصفر	متناهی	بله
صفر	غیرصفر	خیر (حد بینهایت)
صفر	صفر	ابهام (رفع ابهام لازم است)

اثبات گام‌به‌گام قضیه با استفاده از تعریف حد

برای اثبات این قضیه از تعریف $ \epsilon - \delta $ حد (تعریف دقیق حد¹) استفاده می‌کنیم. فرض کنید $ \lim_{x \to a} f(x) = L $ و $ \lim_{x \to a} g(x) = M \neq 0 $. هدف نشان دادن این است که:

$ \forall \epsilon > 0, \exists \delta > 0 : 0 \lt |x-a| \lt \delta \Rightarrow \left| \frac{f(x)}{g(x)} - \frac{L}{M} \right| \lt \epsilon $

مراحل اثبات به صورت زیر است:

ابتدا عبارت $ \left| \frac{f(x)}{g(x)} - \frac{L}{M} \right| $ را بازنویسی می‌کنیم:

$ \left| \frac{f(x)}{g(x)} - \frac{L}{M} \right| = \left| \frac{M f(x) - L g(x)}{M g(x)} \right| = \frac{|M f(x) - L g(x)|}{|M| \cdot |g(x)|} $

صورت کسر را به صورت $ M(f(x)-L) + L(M - g(x)) $ می‌نویسیم. سپس:

$ |M f(x) - L g(x)| \le |M| \cdot |f(x)-L| + |L| \cdot |g(x)-M| $

از آنجا که $ g(x) \to M $ و $ M \neq 0 $، می‌توان $ \delta_1 $ چنان یافت که برای $ 0 \lt |x-a| \lt \delta_1 $ داشته باشیم $ |g(x)-M| \lt \frac{|M|}{2} $ و در نتیجه $ |g(x)| \gt \frac{|M|}{2} $.
با ترکیب نامساوی‌ها و انتخاب مناسب $ \delta_2, \delta_3 $ از روی تعاریف حد $ f $ و $ g $، در نهایت $ \delta = \min(\delta_1, \delta_2, \delta_3) $ قرار داده و نشان می‌دهیم که عبارت از $ \epsilon $ کوچکتر است.

مثال‌های عددی و کاربردی در محاسبه حد توابع گویا

در این بخش با چند مثال گوناگون، کاربرد قضیه حد خارج‌قسمت را بررسی می‌کنیم.

مثال ۱ (حد مستقیم): حد تابع $ \frac{x^2 - 4}{x+1} $ را در $ x \to 2 $ بیابید.

حد صورت: $ \lim_{x \to 2} (x^2-4) = 0 $ و حد مخرج: $ \lim_{x \to 2} (x+1) = 3 \neq 0 $. بنابراین:

$ \lim_{x \to 2} \frac{x^2-4}{x+1} = \frac{0}{3} = 0 $

مثال ۲ (رفع ابهام صفر بر صفر با استفاده از اتحاد): حد $ \lim_{x \to 1} \frac{x^2 - 1}{x - 1} $ را محاسبه کنید.

در اینجا هم حد صورت و هم حد مخرج صفر است؛ پس قضیه مستقیماً قابل اعمال نیست. اما می‌توان با اتحاد مزدوج² صورت را تجزیه کرد:

$ \frac{x^2-1}{x-1} = \frac{(x-1)(x+1)}{x-1} = x+1 \quad (x \neq 1) $

بنابراین حد برابر است با $ \lim_{x \to 1} (x+1) = 2 $. پس با وجود ابهام اولیه، پس از ساده‌سازی قضیه قابل اعمال است.

مثال ۳ (کاربرد در توابع مثلثاتی): حد معروف $ \lim_{x \to 0} \frac{\sin x}{x} = 1 $. در این حالت حد مخرج $ x $ صفر است، اما قضیه حد خارج‌قسمت را نمی‌توان مستقیماً اعمال کرد، زیرا به شکل $ 0/0 $ است. با این حال خود این حد یک نتیجه شناخته شده است که از راه‌های دیگر (مانند فشردگی) اثبات می‌شود و سپس می‌توان از آن در قضیه استفاده کرد.

کاربرد عملی قضیه در مسائل فیزیک و مهندسی

در بسیاری از مسائل فیزیک، کمیت‌ها به صورت نسبت دو تابع تعریف می‌شوند. برای نمونه، سرعت لحظه‌ای به صورت حد نسبت تغییرات مکان به تغییرات زمان تعریف می‌شود. اگر تابع مکان $ s(t) $ و تابع زمان $ t $ باشد، سرعت لحظه‌ای به صورت زیر است:

$ v(t) = \lim_{\Delta t \to 0} \frac{s(t+\Delta t) - s(t)}{\Delta t} $

اگر تابع مکان چندجمله‌ای باشد، حد مخرج $ \Delta t $ صفر است و صورت نیز صفر می‌شود، اما پس از ساده‌سازی (که معادل مشتق‌گیری است) می‌توان از قضیه حد خارج‌قسمت برای محاسبه مقدار نهایی استفاده کرد. این اصل بنیادی حساب دیفرانسیل است.

در مهندسی برق، برای محاسبه بهره تقویت‌کننده‌ها در فرکانس‌های خاص، از نسبت ولتاژ خروجی به ورودی استفاده می‌شود. اگر توابع ولتاژ دارای حد در نقطه‌ای باشند و حد مخرج غیرصفر باشد، بهره در آن نقطه با ضمانت وجود دارد.

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

۱. اگر حد مخرج صفر باشد، آیا حتماً حد تابع کسری وجود ندارد؟

لزوماً اینطور نیست. اگر حد صورت نیز صفر باشد، ممکن است پس از ساده‌سازی حد وجود داشته باشد (مانند مثال $ \lim_{x \to 0} \frac{x}{x} = 1 $). اگر حد صورت غیرصفر و حد مخرج صفر باشد، حد تابع کسری به سمت بینهایت میل می‌کند (حد نامتناهی) یا وجود ندارد (مثلاً از چپ و راست متفاوت باشد).

۲. آیا شرط عدم صفر بودن حد مخرج برای همه نقاط نزدیک به a نیز لازم است؟

خیر، قضیه فقط به حد در خود نقطه a توجه دارد؛ هرچند برای تعریف تابع کسری در همسایگی‌ای از a (به جز خود a) نیاز داریم که مخرج صفر نباشد. اما شرط اصلی قضیه روی حد مخرج است، نه مقدار خود تابع در a.

۳. اگر حد مخرج صفر نباشد ولی خود مخرج در نقطه a صفر شود، چه اتفاقی می‌افتد؟

چنین وضعیتی ممکن نیست. زیرا اگر تابع g در نقطه a تعریف شده و g(a)=0، آنگاه حد g در a (در صورت وجود) باید صفر باشد (به شرط پیوستگی). اما بحث قضیه درباره توابعی است که لزوماً در a تعریف نشده‌اند؛ شرط روی حد است، نه مقدار تابع.

نکات مهم در حل مسائل حد خارج‌قسمت

همیشه ابتدا حد صورت و حد مخرج را جداگانه محاسبه کنید.
اگر حد مخرج غیرصفر بود، با اطمینان از تقسیم حدها استفاده کنید.
اگر هر دو حد صفر شدند، به دنبال ساده‌سازی عبارت (با اتحاد، مزدوج، یا فاکتورگیری) باشید.
اگر حد مخرج صفر و حد صورت غیرصفر بود، پاسخ معمولاً $ +\infty $ یا $ -\infty $ است (بسته به علامت).
از حدهای شناخته شده مانند $ \lim_{x \to 0} \frac{\sin x}{x}=1 $ و $ \lim_{x \to 0} \frac{e^x-1}{x}=1 $ به عنوان ابزار استفاده کنید.

جمع‌بندی: قضیه حد خارج‌قسمت یکی از ابزارهای قدرتمند در محاسبه حد توابع کسری است، مشروط بر آنکه حد مخرج در نقطه مورد نظر صفر نباشد. در مواردی که ابهام $ 0/0 $ پیش می‌آید، باید با استفاده از روش‌های جبری یا حدهای شناخته شده، ابهام را رفع کرد و سپس قضیه را اعمال نمود. درک صحیح این قضیه پایه‌ای برای یادگیری مشتق‌گیری و انتگرال‌گیری در ریاضیات پیشرفته است.

پاورقی

¹ تعریف دقیق حد (Epsilon-Delta Definition): در ریاضیات، می‌گوییم حد تابع f(x) وقتی x به a نزدیک می‌شود برابر L است اگر برای هر عدد مثبت \epsilon، عدد مثبت \delta وجود داشته باشد به طوری که اگر 0 \lt |x-a| \lt \delta آنگاه |f(x)-L| \lt \epsilon.

² اتحاد مزدوج (Conjugate Identity): در جبر، عبارت a^2 - b^2 = (a-b)(a+b) را اتحاد مزدوج می‌نامند که برای ساده‌سازی عبارات کسری و رفع ابهام صفر بر صفر کاربرد دارد.

³ حد بینهایت (Infinite Limit): حالتی که مقدار تابع بدون کران بزرگ می‌شود؛ معمولاً وقتی مخرج به صفر میل می‌کند ولی صورت غیرصفر است رخ می‌دهد. با نمادهای \infty یا -\infty نمایش داده می‌شود.