حد (Limit) رفتار اطراف نقطه را هنگام نزدیکشدن ورودی به یک نقطه یا رشد بیکران آن توصیف میکند و به مقدار تعریفشده در خود نقطه وابسته نیست. پیوستگی (Continuity) در یک نقطهٔ داخلی، علاوه بر این، تعریف تابع در آن نقطه و برقراری را میخواهد. حد دوطرفه به برابری حدهای یکطرفه نیاز دارد. برای دنباله، ورودی عدد صحیح است.
۱. قوانین، کرانها و نمادگذاری مجانبی
جمع و ضرب حدهای متناهی از قوانین جبری پیروی میکنند. در تقسیم، حد مخرج باید ناصفر باشد؛ عبور حد متناهی از تابع پیوسته هنگامی مجاز است که حد آرگومان در دامنهٔ آن باشد. حد بینهایت، رشد فراتر از هر کران را بیان میکند، نه یک عدد حقیقی معمولی؛ مبهم است.
قضیهٔ فشردگی (Squeeze theorem) میگوید اگر در نزدیکی نقطهٔ حد، جز احتمالاً خود آن نقطه، برقرار باشد و هر دو کران به یک حد متناهی میل کنند، آنگاه . برای دنباله کافی است کرانها از جایی به بعد برقرار باشند.
همارزی مجانبی (Asymptotic equivalence) با نماد یعنی ، به شرط تعریفشدن نسبت از جایی به بعد. نماد یعنی و نماد یعنی قدرمطلق این نسبت کراندار میماند. همارزها در ضرب و تقسیم مفیدند؛ در تفریق باید خطا را در مقیاس باقیمانده پس از حذف کنترل کرد.
جزء صحیح، جزء کسری و ترکیب یکطرفه
جزء صحیح (Floor) به پایین گرد میکند، حتی برای ورودی منفی. جزء کسری (Fractional part) باقیماندهٔ آن است:
برای هر عدد صحیح ، مثبت یا منفی:
| نزدیکشدن | جزء صحیح در نزدیکی | حد جزء کسری |
|---|---|---|
برای نمونه، و . جزء کسری میتواند به یک نزدیک شود، بدون آنکه آن را اتخاذ کند. در ترکیب، سمت نزدیکشدن آرگومان داخلی را دنبال کنید: برای با کوچک، ؛ پس و .
خطای کراندارِ گردکردن با ضرب در عامل کوچک محو میشود:
این استدلال حد را از هر دو طرف ثابت میکند، بدون ضرب نامساویها در ورودی منفی. بنابراین برای هر ثابت حقیقی ، داریم .
مثال برد. برای حقیقی ثابت و ، عبارت برد دارد. برای ، عدد صحیح را انتخاب و را تعریف کنید تا دستیابی ثابت شود. این همانی یکسانبودن متغیر داخل و بیرون جزء صحیح را میخواهد.
در اتصال چندضابطهای باید برقرار باشد. برای مثال، شاخهٔ درست در چپ با شاخهٔ درست در راست آن، برای مثبت دقیقاً هنگامی منطبق میشود که و مقدار تعریفشده باشد. این فقط پیوستگی موضعی را ثابت میکند؛ برای ادعای سراسری، جهشهای دیگر جزء صحیح نیز باید بررسی شوند. همچنین در صفر حد و مقدار صفر دارد؛ پس پیوستگی مستلزم است.
مقدارهای میانی، نقطهٔ ثابت و علامت چندجملهای
قضیهٔ مقدار میانی (Intermediate value theorem) پیوستگی روی بازهٔ بستهٔ را میخواهد؛ هر مقدار بین مقدارهای دو انتها اتخاذ میشود. اگر ، ریشهای در داخل بازه هست. علامتهای مخالفِ ضعیف، ریشه در انتها را نیز مجاز میکنند؛ جهش علامت بدون پیوستگی، ریشهای را ثابت نمیکند.
برای نقطهٔ ثابت (Fixed point)، قضیه را بر اعمال کنید. اگر و ، یا جهت نامساویها معکوس باشد، یک وجود دارد که . بهویژه نگاشت پیوستهٔ یک بازهٔ بسته به خودش نقطهٔ ثابت دارد؛ یکتایی به اطلاعات بیشتر نیاز دارد.
برای چندجملهای درجهٔ با ضریب پیشروی ، علامت در بینهایت مثبت و منفی بهترتیب همان علامت و است. مخالفبودن علامتهای ناصفرِ و ریشهٔ مثبت میدهد، اما لزوماً ریشهٔ منفی نمیدهد؛ مثال نقض است. ادعاهای کلی را با چندجملهای ساده بیازمایید. بازههای مجزای تغییر علامت همراه کران درجه، ریشهها را میشمارند: در نقاط علامتهای متناوب دارد؛ پس بدون حل معادلهٔ درجهٔ سه، دقیقاً سه ریشهٔ حقیقی متمایز دارد.
۲. حدهای مبتنی بر بزرگترین پایه
برای پایههای مثبت ثابت ، قرار دهید . آنگاه
برابرشدن چند پایه با بیشینه، نتیجه را عوض نمیکند. همهٔ پایهها میتوانند کوچکتر از یک باشند: مجموع به صفر میل میکند، اما ریشهٔ مرتبهٔ n آن به بزرگترین پایه میرسد. وزنهای مثبت ثابت نیز حد را حفظ میکنند؛ برای کران پایین از وزن یک جملهٔ بیشینه و برای کران بالا از مجموع وزنها استفاده کنید. جملات علامتدار ممکن است یکدیگر را حذف کنند و رشد نمایی تعداد جملات نیز میتواند حد ریشه را تغییر دهد؛ هیچیک از این تعمیمها خودکار نیست.
مثال حلشده. بزرگترین توان را در بیرون میکشیم:
لازم نیست خود کروشه به یک میل کند؛ ریشهٔ مرتبهٔ n آن به یک میل میکند. کمیت تعیینکننده بیشینه است، نه میانگین حسابی.
آستانهٔ نقطهایِ توانهای زوج
برای هر پایهٔ حقیقی ثابت،
برای پیوسته و ثابت ، حد نقطهایِ بهترتیب ، یا صفر است. حالت تساوی را حفظ کنید. در هر نقطهٔ آستانه، حد شاخههای مجاور را با مقدار تعریفشده مقایسه کنید، چه پایه از آستانه عبور کند و چه فقط به آن برسد. صفرشدن میتواند جهش ظاهری را رفع کند؛ نقطهٔ آستانه خودبهخود ناپیوستگی نیست. برای پایهٔ مثلثاتی هر دو علامت را حل و تمام خانوادههای تناوبی را حفظ کنید.
۳. حذف لگاریتمی
برای مثبت، پیش از حدگیری رابطهٔ را به کار ببرید. اگر نسبت به ثابتی مثبت میل کند، پیوستگی پاسخ را میدهد. فاکتورگیری از جملهٔ غالب درون لگاریتم، ثابتهایی را حفظ میکند که تقریب بیش از حد خشن از دست میدهد.
نامهای بدون ابهام کسینوس هذلولوی وارون (Inverse hyperbolic cosine) و سینوس هذلولوی وارون (Inverse hyperbolic sine) شکلهای لگاریتمی زیر را دارند:
برای مثبت، فاکتورگیری از آرگومان میدهد:
بنابراین هر دو تابع برابر هستند هنگام . این روابط برای بینهایت مثبتاند. سینوس هذلولوی وارون فرد است و رفتار آن در بینهایت منفی باید با این علامت سازگار باشد. دامنهٔ حقیقی کسینوس هذلولوی وارون از یک شروع میشود.
مثال حلشده. عبارت زیر برای تمام ورودیهای مثبت بهاندازهٔ کافی بزرگ تعریف شده است:
در مقابل، رابطهٔ باعث صفرشدن تفاضل نمیشود؛ این تفاضل دقیقاً است. خطای نسبی بهتنهایی یک ثابت جمعی را تعیین نمیکند.
۴. انتخاب روش بر اساس ساختار
| ساختار | روش نخست | شرط یا تله |
|---|---|---|
| عبارت پیوسته در نقطهٔ متناهی | جایگذاری مستقیم | حد آرگومان باید در دامنهٔ مربوط باشد |
| ریشهٔ مرتبهٔ n از تعداد متناهی توان مثبت | کران با بزرگترین پایه | مثبتبودن مانع حذف است |
| تفاضل لگاریتمی واگرا | ترکیب لگاریتمها و فاکتورگیری | مثبتبودن آرگومانها را بررسی کنید |
| تفاضل رادیکالها | گویاکردن با مزدوج | مخرج جدید را حفظ کنید |
| خارجقسمت با آرگومانهای کوچک | همارز استاندارد یا بسط موضعی | نخستین جملهٔ باقیمانده پس از حذف را نگه دارید |
| خارجقسمت از نوع یا | هوپیتال با فرضهای لازم | مستقیماً برای جمع یا تفاضل کاربرد ندارد |
برای نمونه، هنگام . در صفر، حدهای استاندارد ، و را میتوان با متغیر داخلیای ترکیب کرد که در دامنهٔ حقیقی به صفر میل میکند. اگر جملات غالب حذف شوند، مرتبهٔ بعدی را حفظ و باقیمانده را توجیه کنید. تقریب موضعی تیلور و همگرایی یک سری نامتناهی کامل، دو ادعای جداگانهاند.
۵. توان متغیر و مرتبهٔ بسط
برای پایهٔ مثبت در نزدیکی نقطهٔ حد، از استفاده کنید. ابتدا حد توان را بیابید؛ حد متناهی مقدار میدهد و حدهای نامتناهی توان متناسب با علامت، صفر یا بینهایت مثبت میدهند. این روش توانهای مبهم را در دامنهٔ حقیقی معتبرشان رفع میکند. بسطهای مفید برای حقیقی عبارتاند از:
کسینوس در همسایگی کافیِ صفر مثبت است. در نتیجه . اگر جملههای درجهٔ دوم حذف شوند، پیش از تقسیم بر کمیت کوچکِ مرتبهٔ چهار، بسط را ادامه دهید. تعریفهای هذلولوی در کارت تابعهای مقدماتی و باقیماندههای تیلور در کارت مشتق آمدهاند.
برای هوپیتال، صورت مناسب یا بینهایت بر بینهایت، مشتقپذیری روی بازهٔ سوراخشدهٔ یکطرفه، ناصفربودن مشتق مخرج و وجود حد نسبت مشتقها مطابق قضیه لازماند. ابتدا صورتهای دیگر را تبدیل کنید؛ مشتقگیری مکرر بدون بررسی فرضها مجاز نیست.
۶. مجانب: معادلهٔ کامل خط را بازیابی کنید
مجانب (Asymptote) به حد واقعی نیاز دارد؛ صرف رشد نسبی کافی نیست.
| نوع | آزمون | بررسی |
|---|---|---|
| قائم | حد دستکم از یک طرف برابر یا است | نزدیکشدن در دامنهٔ حقیقی |
| افقی | یا | هر دو بینهایت را جدا بیازمایید |
| مایل | ، ، متناهی با | هر دو حد در یک سمت بینهایت باشند |
برای تابع گویا ابتدا تجزیه کنید و دامنهٔ اولیه را نگه دارید. ریشهٔ کاملاً حذفشدهٔ مخرج، حفرهٔ رفعشدنی و ریشهٔ حقیقیِ حذفنشده قطب میدهد. ریشههای حقیقی را با بازههای تغییر علامت و کران درجه بشمارید. تقسیم چندجملهای در بینهایت بخش چندجملهای را میدهد؛ درجههای برابر، حد افقی برابر نسبت ضرایب پیشرو و اختلاف درجهٔ یک، خط مایل میدهند. هر خط متمایز را حتی با نزدیکشدن از هر دو انتها یک بار بشمارید.
مثال عرض از مبدأ. برای ،
پس خط است؛ فقط شیب آن را میدهد. بهعنوان مثال دو انتهای متفاوت، تابع مجانب قائم و مجانبهای افقی در بینهایت منفی و در بینهایت مثبت دارد.
نکتهٔ کنکوری: ابتدا مقیاس واگرای مشترک را حذف کنید: بزرگترین توان را از زیر ریشهٔ مرتبهٔ n بیرون بکشید و لگاریتمها را پیش از حدگیری ترکیب کنید.
تلهٔ رایج: همارزی دو عبارت واگرا الزاماً به معنای میلکردن تفاضلشان به صفر نیست. همچنین نماد تابع وارون به معنای نگاشت وارون است، نه معکوس ضربی؛ پیش از سادهسازی، نماد و دامنه را بررسی کنید.