اثبات با محاسبهٔ معمولی چه تفاوتی دارد؟
در محاسبه ممکن است یافتن یک مقدار هدف اصلی باشد، اما در اثبات باید درستی یک گزاره را برای شرایط تعیینشده نشان دهید. نوشتن خود حکم یا آزمایش یک مثال کافی نیست؛ لازم است زنجیرهای از گامهای قابل توجیه بسازید.
اگر دلیل یک تبدیل یا نتیجه را نمیتوانید نام ببرید، آن گام برای مصحح نیز قابل پیگیری نیست.
صورت سؤال را به «فرض» و «حکم» بشکنید
فرضها اطلاعاتی هستند که اجازه دارید از آنها شروع کنید؛ حکم همان گزارهای است که باید به آن برسید. این دو را جدا بنویسید. نمادها، شرطها و عبارتهایی مانند «اگر»، «با فرض» و «نشان دهید» مرز این دو بخش را روشن میکنند.
پیش از نوشتن، یک مسیر پیدا کنید
- از فرض بپرسید چه نتیجههای مستقیمی میتوان گرفت.
- از حکم به عقب نگاه کنید و ببینید برای رسیدن به آن چه رابطهای لازم است.
- تعریف یا قضیهای را پیدا کنید که دو مسیر را به هم وصل میکند.
- فقط پس از یافتن پل، پاسخ مرتب را روی برگه بنویسید.
حل چرکنویس میتواند رفتوبرگشتی باشد، اما اثبات نهایی باید از فرض به حکم، خطی و خوانا ارائه شود.
قالب چهارستونی اثبات
| گام | آنچه مینویسید | دلیل |
|---|---|---|
| آغاز | فرضها و دادههای مستقیم | صورت سؤال |
| تبدیل | رابطه یا تساوی میانی | تعریف، خاصیت یا قضیه |
| ترکیب | پیوند نتیجههای میانی | استنتاج از گامهای قبل |
| پایان | همان حکم خواستهشده | حاصل زنجیره |
نمونهٔ ساختاری بدون وابستگی به یک درس
فرض: ویژگی الف برقرار است و طبق تعریف، الف باعث رابطهٔ ب میشود. حکم: رابطهٔ ب برقرار است.
پاسخ ناقص: پس ب درست است.
پاسخ روشن: بنا بر فرض، الف برقرار است. طبق تعریف دادهشده، هرگاه الف برقرار باشد رابطهٔ ب حاصل میشود. بنابراین با انطباق فرض بر تعریف، ب برقرار است.
حتی در این مثال ساده، نامبردن مبنای گذار از الف به ب همان چیزی است که نتیجه را به اثبات تبدیل میکند.
اثبات مستقیم، خلف و بررسی حالتها
در اثبات مستقیم از فرضها به حکم میروید. در برهان خلف، نقیض حکم را موقتاً میپذیرید و به ناسازگاری میرسید. در بررسی حالتها، همهٔ حالتهای ممکن و جدا از هم را پوشش میدهید. روش را بر اساس ساختار سؤال و ابزارهای آموختهشده انتخاب کنید؛ نام روش جای گامهای منطقی را نمیگیرد.
دلیل هر گام را کجا بنویسیم؟
دلیل را همان کنار یا بلافاصله پس از گام بیاورید: «طبق تعریف...»، «با استفاده از فرض دوم...» یا «از تساویهای قبل...». اگر چند گام را در یک خط ادغام میکنید، مطمئن شوید هیچ تبدیل مهمی پنهان نمیشود. خوانایی مسیر بخشی از کیفیت پاسخ تشریحی است.
مثال، شاهد اثبات همگانی نیست
یک یا چند مثال میتواند حدس را تقویت یا یک ادعای همگانی را نقض کند، اما معمولاً درستی آن را برای همهٔ حالتها ثابت نمیکند. اگر سؤال دربارهٔ یک مورد مشخص است، محاسبهٔ همان مورد ممکن است کافی باشد؛ اگر حکم کلی است، استدلال نیز باید همهٔ حالتهای مجاز را پوشش دهد.
خطاهای رایج در اثبات
- استفاده از خود حکم بهعنوان یکی از مقدمات؛
- نوشتن چند فرمول بدون بیان رابطهٔ منطقی؛
- تقسیم، سادهسازی یا تبدیل بدون توجه به شرط مجازبودن؛
- استناد به شکل ظاهری بهجای ویژگیهای دادهشده؛
- پریدن از فرض به نتیجه و حذف نتیجهٔ میانی؛
- پایاندادن پاسخ پیش از رسیدن صریح به حکم.
اگر مسیر اثبات را پیدا نکردیم
حکم را به تعریف پایهایتر تبدیل کنید، فرضها را نیز به پیامدهای مستقیمشان باز کنید و واژهٔ مشترک میان دو فهرست را پیدا کنید. گاهی رسم شکل کمکی، نامگذاری دقیق یا نوشتن شرط پنهان مسیر را آشکار میکند. از آزمون مثال برای کشف الگو استفاده کنید، سپس الگو را با قاعدهٔ معتبر اثبات کنید.
چکلیست کنترل اثبات
- آیا فرض و حکم را جابهجا نکردهام؟
- آیا دلیل هر تبدیل مهم مشخص است؟
- آیا از نتیجهای استفاده کردهام که هنوز ثابت نشده است؟
- آیا شرطهای تعریف یا قضیه برقرارند؟
- آیا زنجیره دقیقاً به حکم خواستهشده ختم میشود؟