انتگرال را بفهمیم؛ مساحت، انباشت و قضیهٔ اساسی حساب

اول مشخص کن چه چیزی جمع می‌شود

در یک بازهٔ زمانی کوتاه، اگر سرعت تقریباً ثابت باشد، جابه‌جاییِ تقریبی برابر سرعت ضربدر طول بازه است. برای کل مسیر، این سهم‌ها را جمع می‌کنیم. روی نمودارِ سرعت بر حسب زمان، هر سهم یک مستطیل با ارتفاع سرعت و عرض زمان است. واحدِ حاصل، متر بر ثانیه ضربدر ثانیه، یعنی متر می‌شود.

این بررسی واحد ساده جلوی یک اشتباه را می‌گیرد: مساحتِ روی صفحه همیشه «متر مربع» نیست. واحد به محورهای نمودار بستگی دارد. زیر نمودارِ دبی بر حسب زمان، حجم انباشته می‌شود و زیر نمودارِ سرعت، جابه‌جایی. قبل از هر فرمول، بالای صفحه بنویس محور افقی و عمودی چه کمیتی‌اند. بدون این برچسب‌ها ممکن است حساب درست را برای سؤال اشتباه انجام بدهی.

منبع این بخش: OpenStax؛ قضیهٔ اساسی حساب ↗

مستطیل‌ها یک تقریب قابل بهبود می‌سازند

تابع افِ ایکس برابر دو ایکس را در بازهٔ صفر تا دو در نظر بگیر. با دو مستطیلِ یک‌واحدی و ارتفاعِ انتهای چپ، مجموعِ مساحت‌ها دو می‌شود؛ با انتهای راست، شش. مقدار واقعی چهار است. هر دو تقریب از همان تابع آمده‌اند، اما محل انتخاب ارتفاع متفاوت است. همین تفاوت نشان می‌دهد چرا روش تقریب را باید کنار عدد گزارش کرد.

با چهار مستطیلِ نیم‌واحدی، مجموعِ چپ سه و مجموعِ راست پنج می‌شود. فاصلهٔ دو تقریب کوچک‌تر شده است. برای این تابع صعودی، چپ کم‌برآورد و راست بیش‌برآورد می‌کند، اما این رفتار را بی‌دلیل به هر تابع نوسانی تعمیم نده. تعداد بیشتر بازه‌ها معمولاً کمک می‌کند، ولی کیفیت تقریب به رفتار تابع و روش انتخاب نقاط هم وابسته است.

از جمع متناهی تا حد

در تعریف انتگرال ریمان، بازه را به بخش‌های کوچک تقسیم می‌کنیم و مجموعِ ارتفاعِ انتخاب‌شده در هر بخش ضربدر عرض آن را در نظر می‌گیریم. در شرایط مناسب، با ریزتر شدن تقسیم‌بندی این مجموع به عددی مشخص نزدیک می‌شود. آن عدد انتگرال معین است. برای تابع پیوسته روی بازهٔ بسته، این سازوکار قابل اتکاست.

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

انتگرال علامت‌دار با مساحت هندسی فرق دارد

برای تابع دو ایکس در بازهٔ منفی یک تا یک، سهمِ سمت چپ محور افقی منفی و سهمِ سمت راست مثبت است. انتگرالِ علامت‌دار صفر می‌شود. با این حال، مساحت هندسیِ دو مثلث روی هم دو واحد مربع است. اگر سؤال «مساحت ناحیه» می‌خواهد، باید قسمت‌های زیر محور را با مقدار مثبت حساب کنی.

در مثال حرکت، همین فرق به شکلِ جابه‌جایی و مسافت ظاهر می‌شود. حرکت به جلو و سپس به عقب می‌تواند جابه‌جاییِ نهایی صفر داشته باشد، درحالی‌که مسافت طی‌شده مثبت است. برای یافتن مسافت از سرعتِ علامت‌دار، قدرمطلق سرعت را انباشت می‌کنیم. اگر نمودار از محور می‌گذرد، نقاط تغییر علامت را پیدا کن و بازه را به قسمت‌های مناسب بشکن.

پادمشتق و ثابتِ فراموش‌شده

پادمشتقِ دو ایکس، ایکس‌مربع به‌علاوهٔ یک ثابت دلخواه است. مشتقِ همهٔ اعضای این خانواده همان دو ایکس است، چون مشتق ثابت صفر می‌شود. بنابراین انتگرال نامعین یک خانوادهٔ تابع است و باید ثابت را نگه دارد. انتگرال معین، پس از اعمال دو کران، یک عدد به دست می‌دهد و ثابت مشترک در تفاضل حذف می‌شود.

یک کنترل سریع برای پادمشتق این است که از آن مشتق بگیری. اگر مشتقِ جواب به عبارت اولیه برنگردد، محاسبه نیاز به اصلاح دارد. برای مثال، پادمشتقِ سه ایکس‌مربع برابر ایکس‌مکعب به‌علاوهٔ ثابت است؛ مشتقش دوباره سه ایکس‌مربع می‌شود. این رفت‌وبرگشت از حفظِ بی‌بررسیِ جدول فرمول‌ها قابل اعتمادتر است و در جواب‌های AI هم به‌آسانی اجرا می‌شود.

قضیهٔ اساسی، پل میان تغییر و انباشت

اگر اف پیوسته باشد و افِ بزرگ یک پادمشتق آن باشد، انتگرال اف از آ تا ب برابر افِ بزرگِ ب منهای افِ بزرگِ آ است. این نتیجه به ما اجازه می‌دهد به‌جای جمع کردن بی‌نهایت مستطیل، از پادمشتق استفاده کنیم. شرط‌ها را از جمله حذف نکن؛ هر عبارت دلخواه را نمی‌توان بدون بررسی در این قالب قرار داد.

در مثالِ دو ایکس از صفر تا دو، پادمشتق ایکس‌مربع است. مقدار آن در دو چهار و در صفر صفر است، پس پاسخ چهار می‌شود؛ همان عددی که تقریب‌های مستطیلی به آن نزدیک می‌شدند. برای درکِ رابطه، هر دو راه را کنار هم بنویس: یکی معنی عدد را نشان می‌دهد و دیگری راه سریع محاسبه را. هیچ‌کدام را لازم نیست قربانی دیگری کنی.

سه انتگرال ساده را کامل حل کنیم

انتگرالِ سه ایکس‌مربع از صفر تا دو، با پادمشتقِ ایکس‌مکعب برابر هشت است. انتگرالِ عدد ثابتِ پنج از یک تا چهار برابر پانزده است، چون ارتفاعِ مستطیل پنج و عرض آن سه است. انتگرالِ ایکس از دو تا دو صفر است؛ بازه‌ای با عرض صفر سهمی به انباشت اضافه نمی‌کند.

اگر کران‌ها را عوض کنی، علامت انتگرال معکوس می‌شود. پس انتگرالِ پنج از چهار تا یک منفی پانزده است، نه پانزده. این علامت دربارهٔ جهتِ انباشت است و با مساحت هندسیِ مثبت فرق دارد. در تمرین، پیش از حساب یک تخمینِ علامت و اندازه بنویس. پاسخ عددی وقتی با این تخمین ناسازگار است، فرصت خوبی برای پیدا کردن خطای کران یا علامت است.

تغییر متغیر، برگشتِ قاعدهٔ زنجیره‌ای

انتگرالِ دو ایکس ضربدر ایکس‌مربع به‌علاوهٔ یک، در بازهٔ صفر تا یک را در نظر بگیر. متغیر تازه را ایکس‌مربع به‌علاوهٔ یک می‌گیریم؛ تغییر آن دو ایکس دی‌ایکس است. کرانِ صفرِ ایکس به یک و کرانِ یکِ ایکس به دو تبدیل می‌شود. مسئله به انتگرالِ یو از یک تا دو می‌رسد و پاسخ سه‌دوم است.

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

تقریب ذوزنقه‌ای با داده‌های محدود

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

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

def trapezoid(f, a, b, n):
    if n <= 0:
        raise ValueError("n must be positive")
    h = (b - a) / n
    total = (f(a) + f(b)) / 2
    total += sum(f(a + i * h) for i in range(1, n))
    return total * h

for n in [10, 100, 1000]:
    print(n, trapezoid(lambda x: x*x, 0, 2, n))

assert abs(trapezoid(lambda x: x*x, 0, 2, 1000) - 8/3) < 2e-6

تمرین نهایی و استفادهٔ درست از AI

تمرین اول: انتگرالِ چهار ایکس از صفر تا سه برابر هجده است. تمرین دوم: انتگرالِ ایکس از منفی دو تا دو صفر، اما مساحت هندسی چهار است. تمرین سوم: اگر سرعت ثابتِ سه متر بر ثانیه برای پنج ثانیه برقرار باشد، جابه‌جایی پانزده متر می‌شود. برای هر پاسخ، روش، واحد و معنای عدد را در یک جمله بنویس.

در ساروی بخواه ابتدا نمودار را توصیف کند و از تو بپرسد سؤال مساحت است یا انباشتِ علامت‌دار. بعد راه‌حل خودت را بده و فقط اولین خطا را بخواه. اگر مدل پادمشتق پیچیده‌ای پیشنهاد کرد، با مشتق گرفتن آن را بررسی کن. برای ادامه، درس گرادیان نشان می‌دهد مشتق چگونه وارد آموزش مدل می‌شود؛ انتگرال هم در احتمال و بسیاری از مدل‌های پیوسته دوباره ظاهر خواهد شد.