برهان خلف

یکی از روش‌های اثبات در برهان و منطق

برهان خُلف (به انگلیسی: Proof by contradiction) یکی از روش‌های اثبات در برهان و منطق است. این روش اثبات غیرمستقیم نیز نامیده می‌شود. در روش برهان خلف، برای آنکه ثابت کنیم قضیه‌ای درست است، ثابت می‌کنیم که خلاف آن قضیه، یعنی نقیض آن، نادرست و چنین فرضی منجر به تناقض است.[۱][۲][۳] عبارت انگلیسی «Proof by Contradiction» به معنی «اثبات با رسیدن به تناقض» به‌نوعی تعریف آن نیز هست. همچنین برهان خلف به عنوان «اثبات غیرمستقیم»،[۴] «اثبات با فرض خلاف» و تعلیق به محال نیز شناخته می‌شود.[۵][۶]

برهان خلف معمولاً در اثبات عکس یک قضیه به‌کار می‌رود و مورد استفاده در قضیه‌های دوشرطی است.

در زندگی روزمره نیز برهان خلف بسیار استفاده می‌شود. گاهی برای طنز، گاهی برای رد حرف یک نفر و گاهی در سیاست.

روش اثبات با برهان خلف

ویرایش
  1. نقض حکم را درست فرض کنید.
  2. با این فرض جدید (فرض خلف)، شروع به استدلال کنید تا زمانی که به یک تناقض منطقی برسید.
  3. با توجه به اینکه به تناقض رسیدید، نتیجه بگیرید که فرض خلف باید نادرست بوده باشد و درنتیجه نقیض آن که خود حکم است، درست است و حکم ثابت می‌شود.[۷]

ساختار برهان خلف

ویرایش

برهان خلف از دو استدلال قیاسی تشکیل می‌شود و یک قیاس مرکب است. در استدلال نخست، ما می‌گوئیم که:

اگر   درست نباشد،   درست است.

اگر   درست باشد،   درست است.

پس اگر   درست نباشد،   درست است.

نتیجهٔ این استدلال، خود مقدمهٔ قیاس استثنایی دیگری می‌شود. در این قیاس می‌گوئیم:

اگر   درست نباشد،   درست است.

اما در واقع   درست است (بنا بر فرض قبلی یا چون یکی از اصول موضوع ماست).

پس فرض خلف باطل و   درست است.[۸]

مثال‌ها

ویرایش
  • ثابت کنید که «ریشۀ دوم ۲، گنگ است».

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

 

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

 

از اینجا نتیجه می‌شود که   زوج است، در نتیجه   نیز زوج است. از آنجایی که   و   هر دو اعدادی زوج هستند، پس ساده می‌شوند و نسبت به هم اول نیستند، اما این در تناقض با فرض ماست که فرض کرده بودیم که   و   نسبت به هم اول هستند. پس فرض خلف باطل شد و در نتیجه   گنگ است.[۹]  

قضیۀ اقلیدس بیان می‌کند که «تعداد اعداد اول، نامتناهی است». در اصول اقلیدس، این قضیه در کتاب نهم، گزارۀ 20 بیان شده‌است.[۱۰] به برهان خلف فرض کنید که تعداد اعداد اول، نامتناهی نباشد. یعنی متناهی و محدود باشد و تنها   عدد اول به شکل   داشته باشیم. حاصل‌ضرب این   عدد اول را   می‌نامیم:

 

سپس حاصل‌جمع آن‌ها با یک را   می‌نامیم:  . چون   از همۀ اعداد اول   تا   بزرگ‌تر است، پس طبق فرض خلف،   نمی‌تواند اول باشد. در نتیجه مرکب است. از آنجایی که هر عدد مرکب حداقل یک شمارندۀ اول دارد[۱۱]، پس   باید بر یکی از اعداد اول  تا   بخش‌پذیر باشد. این عدد را   در نظر بگیرید. پس هم   و هم   بر   بخش‌پذیر هستند. در نتیجه تفاضل آن‌ها یعنی   نیز بر   بخش‌پذیر است. اما این ممکن نیست؛ زیرا   برابر با یک است و عدد یک بر هیچ عدد اولی بخش‌پذیر نیست. پس فرض خلف باطل شد و در نتیجه تعداد اعداد اول، نامتناهی است.  

  • ثابت کنید که «تجزیۀ هر عدد طبیعی به عوامل اول، صرف نظر از ترتیب عوامل یکتا است».

یکی از قضایای مهم در نظریۀ اعداد، قضیۀ اساسی حساب است که بیان می‌کند که «هر عدد طبیعی بزرگ‌تر از یک را می‌توان به شکل ضرب یک یا چند عدد اول نمایش داد و این تجزیه صرف نظر از ترتیب عوامل، یکتا است».[۱۲] یکتا بودن تجزیه به عوامل اول را می‌توان با برهان خلف ثابت کرد. فرض کنید که   کوچک‌ترین عدد صحیح مثبتی است که که به دو صورت مختلف به اعداد اول تجزیه می‌شود. پس می‌نویسیم:

 

که   تا   و   تا   اعدادی اول هستند. همچنین هر   باید از هر   متمایز باشد؛ زیرا در غیر این صورت اگر مثلاً  ، آنگاه:

 

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

 

در نتیجه داریم:  . سپس می‌نویسیم:

 

همچنین هر دوی   و  ، چون برابر با   هستند، در نتیجه از   کوچک‌تر می‌باشند و از آنجایی که هر عدد کوچک‌تر از  ، تجزیۀ یکتا دارد، پس هر دوی   و   دارای تجزیۀ یکتا هستند و چون با هم برابرند، در نتیجه هر عاملی که در   می‌باشد، باید در   هم باشد. بنابراین   باید یا در تجزیۀ   وجود داشته باشد و یا در تجزیۀ  . اما هر دو حالت غیرممکن هستند؛ زیرا نشان دادیم که برای هر   از یک تا   و هر   از یک تا  ، داریم  ، پس   در تجزیۀ   نمی‌تواند وجود داشته باشد و اگر در تجزیۀ   باشد، آنگاه داریم:

 

که یعنی   بر   بخش‌پذیر است، اما از آنجایی که   و   هر دو اعدادی اول و متمایز هستند، چنین چیزی غیرممکن می‌باشد. پس فرض خلف باطل شد و در نتیجه تجزیۀ هر عدد طبیعی به اعداد اول، صرف نظر از ترتیب عوامل یکتا است.[۱۳]  

جستارهای وابسته

ویرایش

منابع

ویرایش
  1. G. H. Hardy, A Mathematician's Apology; Cambridge University Press, 1992. شابک ‎۹۷۸۰۵۲۱۴۲۷۰۶۷. PDF p.19 بایگانی‌شده در ۱۶ فوریه ۲۰۲۱ توسط Wayback Machine.
  2. S. M. Cohen, "Introduction to Logic", Chapter 5 "proof by contradiction ... Also called indirect proof or reductio ad absurdum ..."
  3. «An Introduction to Proof by Contradiction». nrich.maths.org. دریافت‌شده در ۲۰۲۲-۱۲-۱۰.
  4. آموزشی، دفتر انتشارات و فناوری. «برهان خلف». دفتر انتشارات و فناوری آموزشی. دریافت‌شده در ۲۰۲۲-۱۲-۱۰.
  5. "Reductio ad absurdum | logic". Encyclopedia Britannica (به انگلیسی). Retrieved 2019-10-25.
  6. «Proof by Contradiction | Brilliant Math & Science Wiki». brilliant.org (به انگلیسی). دریافت‌شده در ۲۰۲۲-۱۲-۱۱.
  7. «Making Mathematics: Mathematics Tools: Proof by Contradiction». www2.edc.org. دریافت‌شده در ۲۰۲۲-۱۲-۱۰.
  8. https://cohn.mit.edu/contradiction
  9. «A proof that the square root of 2 is irrational number». www.homeschoolmath.net. دریافت‌شده در ۲۰۲۲-۱۲-۱۲.
  10. "Euclid's Elements, Book 9, Proposition 20". Retrieved 2 October 2022.
  11. "Proof that every number has at least one prime factor". Mathematics Stack Exchange (به انگلیسی). Retrieved 2022-12-12.
  12. Weisstein, Eric W. "Fundamental Theorem of Arithmetic". mathworld.wolfram.com (به انگلیسی). Retrieved 2022-12-12.
  13. https://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic#Uniqueness_without_Euclid's_lemma

المنطق، محمدرضا مظفر، بحث قیاس خلف