برهان خلف یا اثبات با تناقض روشی برای اثبات یک گزاره است که در آن، به‌جای اثبات مستقیم حکم، نادرست‌بودن آن را موقتاً فرض می‌کنیم. سپس این فرض را همراه با تعریف‌ها و دانسته‌های پذیرفته‌شده پیش می‌بریم. اگر استدلال به تناقضی واقعی برسد، مثلاً نتیجه‌ای با فرض اولیه ناسازگار شود یا ناممکنی شناخته‌شده‌ای به دست آید، فرضِ نادرست‌بودن حکم رد می‌شود و حکم اصلی نتیجه می‌گیرد. برای نمونه، در اثبات گنگ‌بودن ریشهٔ دوم ۲ فرض می‌کنیم این عدد به شکل کسرِ ساده‌شدهٔ دو عدد صحیح نوشته می‌شود. از این فرض نتیجه می‌گیریم صورت و مخرج هر دو زوج‌اند؛ اما این با ساده‌شده‌بودن کسر سازگار نیست. پس فرض اولیه نادرست است و ریشهٔ دوم ۲ گنگ است.
برای نوشتن برهان خلف، ابتدا گزاره را دقیق مشخص کنید و نقیض منطقی آن را بنویسید؛ سپس مرحله‌به‌مرحله پیامدهای فرض را استخراج کنید. تناقض باید از خود فرض و استدلال معتبر به دست آید، نه از اشتباه محاسباتی یا برداشت نادرست. این روش برای گزاره‌هایی که اثبات مستقیمشان دشوار است، و نیز برای نشان‌دادن ناممکن‌بودن یک وضعیت، کاربرد دارد. برهان خلف با استقرا یکی نیست: استقرا از یک حالت پایه و رابطهٔ انتقال استفاده می‌کند، اما برهان خلف بر رد فرض نقیض تکیه دارد. در ادامه، تعریف ساده، قالب نوشتن برهان، چند مثال حل‌شده و اشتباه‌های رایج را می‌خوانید.
برهان خلف چیست؟
برهان خلف، که در انگلیسی Proof by Contradiction نام دارد، روشی برای اثبات یک گزاره با فرضِ موقتِ نقیض آن است. اگر این فرض به تناقضی برسد، فرض نقیض رد می‌شود و گزارهٔ اصلی اثبات می‌شود.
به زبان ساده، اگر بخواهیم گزارهٔ «P درست است» را ثابت کنیم، فرض می‌کنیم «P درست نیست». سپس نتیجه‌های این فرض را بررسی می‌کنیم. اگر این نتیجه‌ها با یکدیگر یا با دانسته‌های مسئله ناسازگار باشند، فرض نادرست بوده است؛ بنابراین P درست است.
مراحل برهان خلف
- گزاره‌ای را که باید ثابت شود، دقیق بنویسید.
- نقیض منطقی گزاره را فرض کنید.
- با استفاده از فرض‌ها و قواعد معتبر، پیامدهای آن را به دست آورید.
- نشان دهید پیامدها به تناقضی روشن می‌رسند.
- نتیجه بگیرید فرض نقیض نادرست است؛ پس گزارهٔ اصلی درست است.
نکتهٔ اصلی این است که «فرض خلف» فقط ابزار موقت برهان است. در پایان باید مشخص کنید تناقض دقیقاً کدام فرض را رد می‌کند.
مثال اول: اثبات گنگ‌بودن ریشهٔ دوم ۲
می‌خواهیم ثابت کنیم ریشهٔ دوم ۲ عددی گنگ است؛ یعنی نمی‌توان آن را به صورت کسر دو عدد صحیح نوشت.
فرض خلاف می‌کنیم و می‌گوییم ریشهٔ دوم ۲ گویاست. در این صورت می‌توان آن را به شکل کسرِ ساده‌شدهٔ p/q نوشت؛ به‌طوری‌که p و q عدد صحیح باشند و عامل مشترکی جز ۱ نداشته باشند.
با به توان ۲ رساندن دو طرف داریم: ۲ = p²/q²، پس p² = ۲q². بنابراین p² زوج است و در نتیجه p نیز زوج است. پس می‌توان نوشت p = ۲k، که k عددی صحیح است. با جای‌گذاری به دست می‌آید: ۴k² = ۲q²، بنابراین q² = ۲k². پس q نیز زوج است.
اکنون p و q هر دو زوج‌اند و عامل مشترک ۲ دارند. این با فرضِ ساده‌شده‌بودن کسر p/q تناقض دارد. بنابراین فرضِ گویا بودن ریشهٔ دوم ۲ نادرست است و این عدد گنگ است.
مثال دوم: ثابت کنید a² − 4b برابر ۲ نیست
فرض کنید a و b عدد صحیح باشند. می‌خواهیم نشان دهیم a² − 4b ≠ ۲.
برای برهان خلف، فرض می‌کنیم a² − 4b = ۲. چون ۴b بر ۴ بخش‌پذیر است، این تساوی می‌گوید a² هنگام تقسیم بر ۴ باقی‌ماندهٔ ۲ دارد. اما مجذور هر عدد صحیح، هنگام تقسیم بر ۴، فقط می‌تواند باقی‌ماندهٔ ۰ یا ۱ داشته باشد: اگر a زوج باشد، a² بر ۴ بخش‌پذیر است؛ اگر فرد باشد، باقی‌ماندهٔ مربع آن ۱ است. پس باقی‌ماندهٔ ۲ ناممکن است و به تناقض می‌رسیم. بنابراین a² − 4b نمی‌تواند برابر ۲ باشد.
مثال سوم: بزرگ‌ترین عدد صحیح زوج وجود ندارد
فرض کنیم بزرگ‌ترین عدد صحیح زوجی وجود دارد و آن را N بنامیم. عدد N + ۲ نیز صحیح و زوج است، چون از جمع دو عدد صحیح زوج به دست می‌آید. همچنین N + ۲ از N بزرگ‌تر است. این با فرض بزرگ‌ترین‌بودن N تناقض دارد؛ پس بزرگ‌ترین عدد صحیح زوج وجود ندارد.
تفاوت برهان خلف با روش‌های دیگر اثبات
| روش | ایدهٔ اصلی | کاربرد معمول |
|---|---|---|
| اثبات مستقیم | از فرض‌ها به‌طور پیوسته به حکم می‌رسیم. | وقتی رابطهٔ میان فرض و نتیجه روشن است. |
| برهان خلف | نقیض حکم را فرض می‌کنیم و به تناقض می‌رسیم. | وقتی اثبات مستقیم دشوار است یا می‌خواهیم ناممکن‌بودن حالتی را نشان دهیم. |
| استقرای ریاضی | یک حالت پایه را ثابت می‌کنیم و درستی گام بعدی را از حالت قبلی نتیجه می‌گیریم. | برای گزاره‌هایی دربارهٔ اعداد طبیعی و دنباله‌ای از حالت‌ها. |
نقیض گزاره را درست بنویسید
یکی از خطاهای رایج، اشتباه‌گرفتن نقیض یک گزاره با گزاره‌ای شبیه به آن است. برای مثال، نقیض «همهٔ اعداد زوج‌اند» این نیست که «همهٔ اعداد فردند»؛ نقیض دقیق آن «حداقل یک عدد زوج نیست» است. در گزاره‌های دارای عبارت‌هایی مانند «همه»، «هیچ‌کدام» یا «وجود دارد»، ابتدا نقیض منطقی را با دقت بنویسید تا برهان از ابتدا بر فرض نادرستی بنا نشود.
اشتباه‌های رایج در برهان خلف
- نقیض نادرست: اگر فرض اولیه نقیض دقیق حکم نباشد، نتیجهٔ برهان قابل اتکا نیست.
- تناقض ساختگی: خطای محاسباتی یا نتیجه‌گیری نامعتبر، تناقض ریاضی محسوب نمی‌شود.
- مشخص‌نکردن تناقض: در پایان توضیح دهید کدام نتیجه با کدام فرض یا قاعده ناسازگار است.
- پنهان‌ماندن فرض‌ها: دامنهٔ متغیرها و شرط‌های مسئله، مانند صحیح‌بودن a و b، باید روشن باشد.
- استفادهٔ بی‌دلیل از روش: اگر اثبات مستقیم ساده و شفاف است، لازم نیست آن را پیچیده‌تر کنید.
پرسش‌های متداول
آیا برهان خلف همان اثبات غیرمستقیم است؟
برهان خلف یکی از روش‌های اثبات غیرمستقیم است. در این روش مشخصاً نقیض حکم فرض می‌شود و از آن تناقض به دست می‌آید.
چه زمانی از برهان خلف استفاده کنیم؟
وقتی اثبات مستقیم دشوار است، یا می‌خواهید نشان دهید وضعیتی ناممکن است، برهان خلف می‌تواند روش مناسبی باشد. بااین‌حال، انتخاب روش به ساختار مسئله بستگی دارد و برهان خلف برای همهٔ سؤال‌ها بهترین گزینه نیست.
آیا برهان خلف فقط در ریاضی کاربرد دارد؟
ساختار استدلال از فرض یک گزاره و بررسی پیامدهای آن تا رسیدن به ناسازگاری، در حوزه‌های دیگر نیز قابل استفاده است. اما برای نتیجه‌گیری معتبر باید مقدمات روشن باشند و تناقض واقعاً از آن مقدمات پیروی کند؛ در مسائل تجربی یا اجتماعی، صرفاً نشان‌دادن ناسازگاری یک فرض به‌تنهایی همهٔ ادعاهای دیگر را اثبات نمی‌کند.
آیا استدلال خلف همان استقرای ریاضی است؟
خیر. در برهان خلف، نقیض حکم را فرض می‌کنیم و به تناقض می‌رسیم. در استقرای ریاضی، یک حالت پایه و سپس رابطهٔ انتقال میان حالت‌ها را ثابت می‌کنیم.
جمع‌بندی
در برهان خلف، نقیض حکم را موقتاً فرض می‌کنیم و پیامدهای آن را تا رسیدن به تناقض معتبر پیش می‌بریم. با رد فرض نقیض، حکم اصلی ثابت می‌شود. دقت در نوشتن نقیض، رعایت شرط‌های مسئله و مشخص‌کردن تناقض، پایه‌های یک برهان خلف درست و قابل‌فهم‌اند.
