[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"categoryMenus":3,"blogPost-13025":199,"$f1uv1q9scadj3z":222},{"status":4,"data":5},1,[6,46,106,124,144],{"id":4,"title":7,"list_order":4,"items":8},"آشنایی",[9,15,19,23,30,34,38,42],{"id":10,"link":11,"type":12,"slug":13,"title":14},8,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F8","content",null,"قوانین و مقررات",{"id":16,"link":17,"type":12,"slug":13,"title":18},9,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F9","پرسش های متداول",{"id":20,"link":21,"type":12,"slug":13,"title":22},12,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F12","راهنمای عضویت",{"id":24,"link":25,"type":26,"slug":27,"handler":28,"title":29},132,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fmakemoney","special","makemoney","makeMoney","درآمدزایی در گاما",{"id":31,"link":32,"type":12,"slug":13,"title":33},13,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F13","راهنمای دبیران",{"id":35,"link":36,"type":12,"slug":13,"title":37},15,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F15","راهنمای دانش آموزان",{"id":39,"link":40,"type":12,"slug":13,"title":41},141,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F141","تغییرات اخیر",{"id":43,"link":44,"type":12,"slug":13,"title":45},69,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F69","نرم افزارهای كاربردی",{"id":47,"title":48,"list_order":4,"items":49},2,"المپیادها",[50,54,58,62,66,70,74,78,82,86,90,94,98,102],{"id":51,"link":52,"type":12,"slug":13,"title":53},4,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F4","المپیاد ریاضی",{"id":55,"link":56,"type":12,"slug":13,"title":57},19,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F19","المپیاد فیزیک",{"id":59,"link":60,"type":12,"slug":13,"title":61},20,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F20","المپیاد شیمی",{"id":63,"link":64,"type":12,"slug":13,"title":65},21,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F21","المپیاد زیست شناسی",{"id":67,"link":68,"type":12,"slug":13,"title":69},22,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F22","المپیاد کامپیوتر",{"id":71,"link":72,"type":12,"slug":13,"title":73},23,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F23","المپیاد نجوم",{"id":75,"link":76,"type":12,"slug":13,"title":77},24,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F24","المپیاد ادبی",{"id":79,"link":80,"type":12,"slug":13,"title":81},25,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F25","المپیاد سلول‌های بنیادی",{"id":83,"link":84,"type":12,"slug":13,"title":85},95,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F95","المپیاد جغرافیا",{"id":87,"link":88,"type":12,"slug":13,"title":89},114,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F114","المپیاد علوم زمین",{"id":91,"link":92,"type":12,"slug":13,"title":93},115,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F115","المپیاد مدیریت، اقتصاد و حکمرانی",{"id":95,"link":96,"type":12,"slug":13,"title":97},140,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F140","المپیاد سواد رسانه‌ای",{"id":99,"link":100,"type":12,"slug":13,"title":101},136,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F136","المپیاد نانو",{"id":103,"link":104,"type":12,"slug":13,"title":105},151,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F151","المپیاد هوش مصنوعی",{"id":107,"title":108,"list_order":4,"items":109},3,"نمونه و تیزهوشان",[110,114,119],{"id":111,"link":112,"type":12,"slug":13,"title":113},26,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F26","آزمون ورودی پایه چهارم",{"id":115,"link":116,"type":26,"slug":117,"handler":117,"title":118},27,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fkhas6","khas6","آزمون ورودی پایه هفتم",{"id":120,"link":121,"type":26,"slug":122,"handler":122,"title":123},28,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fkhas9","khas9","آزمون ورودی پايه دهم",{"id":125,"title":126,"list_order":4,"items":127},7,"کتابهای درسی",[128,132,136,140],{"id":129,"link":130,"type":12,"slug":13,"title":131},43,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F43","دوره دبستان",{"id":133,"link":134,"type":12,"slug":13,"title":135},48,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F48","دوره اول متوسطه",{"id":137,"link":138,"type":12,"slug":13,"title":139},49,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F49","دوره دوم متوسطه",{"id":141,"link":142,"type":12,"slug":13,"title":143},50,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F50","بارم بندی دروس",{"id":10,"title":145,"list_order":10,"items":146},"پیشنهاد ویژه",[147,152,157,162,167,172,177,181,185,189,193],{"id":148,"link":149,"type":26,"slug":150,"handler":150,"title":151},108,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fhamahang6th","hamahang6th","امتحانات هماهنگ ششم",{"id":153,"link":154,"type":26,"slug":155,"handler":155,"title":156},71,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fhamahang9th","hamahang9th","امتحانات هماهنگ نهم",{"id":158,"link":159,"type":26,"slug":160,"handler":160,"title":161},147,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fnahaei10th","nahaei10th","امتحان نهایی دهم",{"id":163,"link":164,"type":26,"slug":165,"handler":165,"title":166},148,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fnahaei11th","nahaei11th","امتحان نهایی یازدهم",{"id":168,"link":169,"type":26,"slug":170,"handler":170,"title":171},94,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fnahaei12th","nahaei12th","امتحان نهایی دوازدهم",{"id":173,"link":174,"type":12,"slug":175,"title":176},68,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fkonkur","konkur","بیست‌وسه سال کنکور سراسری",{"id":178,"link":179,"type":12,"slug":13,"title":180},67,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F67","ويژه نامه نوبت دوم",{"id":182,"link":183,"type":12,"slug":13,"title":184},64,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F64","آزمون‌های نوبت دوم",{"id":186,"link":187,"type":12,"slug":13,"title":188},78,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F78","آزمون‌های نوبت اول",{"id":190,"link":191,"type":12,"slug":13,"title":192},90,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F90","آزمون سنجش آغازین",{"id":194,"link":195,"type":196,"slug":197,"title":198},173,"https:\u002F\u002Fhelpcenter.gama.ir\u002Fevent-timeline","link","تقویم-آموزشی","تقویم آموزشی",{"id":200,"section":178,"base":201,"course":202,"lesson":203,"title":204,"cat":205,"pic":206,"info_graphic":13,"podcast":13,"body":207,"tags":208,"metadata":13,"featured":212,"status":4,"views":213,"subdate":214,"up_date":215,"first_name":216,"last_name":217,"avatar":13,"title_url":218,"cat_title":219,"subdate_jalali":220,"update_jalali":221},13025,1170,1171,4927,"برهان خلف: اثبات با فرض نادرستی حکم و رسیدن به تناقض",14098,"https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FNGIdrPSEtUBLIPkek1Hl_800.png","\u003Cdiv id=\"microecon-article\" dir=\"rtl\" role=\"article\" aria-label=\"برهان خلف: اثبات با فرض نادرستی حکم و رسیدن به تناقض\" style=\"box-sizing: border-box; width: 100%; max-width: 980px; margin: 16px auto; padding: 16px; background: #ffffff; font-family: IRANSans, Tahoma, Arial, sans-serif; color: #667085; line-height: 1.8; word-break: break-word; : \">\r\n\u003Ch2 style=\"margin: 0 0 6px 0; font-size: 22px; font-weight: 800; color: #344054; : \">برهان خلف: فرمول ساده برای کشف تناقض‌ها (همراه با مثال‌های دبیرستانی)\u003C\u002Fh2>\r\n\u003Cdiv style=\"margin-top: 4px; font-size: 13px; opacity: .95; color: #667085; : \">آشنایی با روش اثبات غیرمستقیم، فرض نقیض و رسیدن به یک تناقض منطقی در ریاضیات و علوم پایه\u003C\u002Fdiv>\r\n\u003Cdiv style=\"margin: 14px 0 16px 0; padding: 12px 14px; border: 1px solid #ffb600; border-radius: 12px; background: #fff8e1; color: #667085; : \">\r\n\u003Cstrong>خلاصه:\u003C\u002Fstrong> برهان خلف (یا اثبات با فرض نادرستی حکم) یکی از قدرتمندترین روش‌های اثبات در ریاضیات است. در این روش ابتدا نقیض گزاره‌ای که می‌خواهیم ثابت کنیم را به عنوان فرض می‌پذیریم، سپس با استدلالی درست به یک تناقض (مانند \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P$\u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg P$\u003C\u002Fspan>) می‌رسیم. این تناقض نشان می‌دهد که فرض اولیه (نقیض حکم) نادرست بوده، بنابراین حکم اصلی درست است. در این مقاله یاد می‌گیرید چطور در مسئله‌های عدد صحیح، هندسه، و جبر از برهان خلف استفاده کنید.\r\n\u003C\u002Fdiv>\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">ماهیت برهان خلف: از فرض نادرستی تا رسیدن به پارادوکس\u003C\u002Fh3>\r\n\u003Cp style=\"margin: 0 0 12px 0; : \">برهان خلف که گاهی «اثبات با فرض خلاف» نیز نامیده می‌شود، بر پایه یک اصل منطقی به نام «قانون طرد شق ثالث» استوار است\u003Csup>1\u003C\u002Fsup>. این قانون می‌گوید یک گزاره یا درست است یا نادرست، راه سومی وجود ندارد. در این روش، به جای اثبات مستقیم درستی حکم \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q$\u003C\u002Fspan>، نشان می‌دهیم که فرض نادرستی \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q$\u003C\u002Fspan> (یعنی \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg Q$\u003C\u002Fspan>) به یک تناقض منطقی می‌انجامد. این تناقض می‌تواند به شکل یک عبارت و نقیض آن باشد، یا به شکلی که یک حقیقت مسلم ریاضی را نقض کند.\u003C\u002Fp>\r\n\u003Cdiv style=\"margin: 0 0 16px 0; padding: 12px 14px; border-radius: 12px; background: #fff7e6; border: 1px solid #ffb600; color: #7a5200; font-size: 13px; : \">\r\n\u003Cstrong>فرمول کلی برهان خلف:\u003C\u002Fstrong>\r\n\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; unicode-bidi: isolate; white-space: nowrap; : \">$ \\text{اگر } \\neg Q \\Rightarrow (R \\wedge \\neg R) \\text{ آن‌گاه } Q \\text{ درست است.} $\u003C\u002Fspan>\r\nدر اینجا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$R$\u003C\u002Fspan> یک گزاره دلخواه است. رسیدن به \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$R$\u003C\u002Fspan> و همزمان \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg R$\u003C\u002Fspan> نشانه شکست فرض اولیه است.\r\n\u003C\u002Fdiv>\r\n\u003Cp style=\"margin: 0 0 12px 0; : \">برای درک بهتر، یک مثال ساده از زندگی روزمره بیاوریم: فرض کنید می‌خواهیم ثابت کنیم «چراغ اتاق روشن است». به جای نگاه کردن مستقیم، می‌گوییم: «اگر چراغ روشن نبود، پس اتاق باید تاریک می‌بود. در حالی که من کتابم را می‌خوانم و نور کافی وجود دارد. این تناقض نشان می‌دهد فرض «روشن نبودن» اشتباه است، بنابراین چراغ روشن است.» در ریاضیات نیز همین ساختار را به صورت دقیق به کار می‌بریم.\u003C\u002Fp>\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">مراحل گام‌به‌گام اجرای برهان خلف در مسائل عدد صحیح\u003C\u002Fh3>\r\n\u003Cp style=\"margin: 0 0 12px 0; : \">برای اجرای درست برهان خلف، چهار مرحله اصلی را دنبال کنید:\u003C\u002Fp>\r\n\u003Cul style=\"padding-right: 18px; list-style-position: outside; : \">\r\n\u003Cli>\u003Cstrong>مرحله ۱:\u003C\u002Fstrong> گزاره مورد نظر را به شکل «اگر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P$\u003C\u002Fspan> آن‌گاه \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q$\u003C\u002Fspan>» بنویسید.\u003C\u002Fli>\r\n\u003Cli>\u003Cstrong>مرحله ۲:\u003C\u002Fstrong> فرض کنید که \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q$\u003C\u002Fspan> نادرست است (یعنی نقیض \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q$\u003C\u002Fspan> را بگیرید).\u003C\u002Fli>\r\n\u003Cli>\u003Cstrong>مرحله ۳:\u003C\u002Fstrong> با استفاده از قواعد منطقی و قضایای شناخته شده، از این فرض نتیجه‌گیری کنید تا به یک تناقض آشکار برسید (مثلاً \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$k$\u003C\u002Fspan> هم زوج باشد هم فرد).\u003C\u002Fli>\r\n\u003Cli>\u003Cstrong>مرحله ۴:\u003C\u002Fstrong> از آنجا که تناقض غیرقابل قبول است، فرض مرحله ۲ رد می‌شود؛ بنابراین \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q$\u003C\u002Fspan> درست است.\u003C\u002Fli>\r\n\u003C\u002Ful>\r\n\u003Cp style=\"margin: 12px 0 12px 0; : \">به عنوان یک مثال عینی: قضیه «اگر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$n^2$\u003C\u002Fspan> زوج باشد، آن‌گاه \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$n$\u003C\u002Fspan> زوج است (برای هر عدد صحیح \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$n$\u003C\u002Fspan>)» را در نظر بگیرید. فرض خلاف: \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$n$\u003C\u002Fspan> فرد است. پس \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$n=2k+1$\u003C\u002Fspan>. آن‌گاه \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$n^2 = (2k+1)^2 = 4k^2+4k+1 = 2(2k^2+2k)+1$\u003C\u002Fspan> که فرد است. اما فرض کردیم \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$n^2$\u003C\u002Fspan> زوج باشد. تناقض: همزمان زوج و فرد بودن. بنابراین فرض خلاف رد می‌شود و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$n$\u003C\u002Fspan> زوج است.\u003C\u002Fp>\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">مقایسه روش مستقیم و غیرمستقیم در اثبات‌های جبری\u003C\u002Fh3>\r\n\u003Cdiv role=\"region\" aria-label=\"مقایسه روش اثبات مستقیم و برهان خلف\" style=\"box-sizing: border-box; margin: 8px 0 16px 0; padding: 0; border: 1px solid #e5e7eb; border-radius: 12px; overflow: auto; -webkit-overflow-scrolling: touch; : \">\r\n\u003Ctable style=\"box-sizing: border-box; width: 100%; min-width: 600px; border-collapse: collapse; : \">\r\n\u003Cthead>\r\n\u003Ctr>\r\n\u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">ویژگی\u003C\u002Fth>\r\n\u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">اثبات مستقیم\u003C\u002Fth>\r\n\u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">برهان خلف (غیرمستقیم)\u003C\u002Fth>\r\n\u003C\u002Ftr>\r\n\u003C\u002Fthead>\r\n\u003Ctbody>\r\n\u003Ctr style=\"background: #ffffff; : \">\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">نقطه شروع\u003C\u002Ftd>\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">فرض درستی فرض‌ها (P)\u003C\u002Ftd>\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">فرض نادرستی نتیجه (¬Q)\u003C\u002Ftd>\u003C\u002Ftr>\r\n\u003Ctr style=\"background: #f8fafc; : \">\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">هدف نهایی\u003C\u002Ftd>\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">نتیجه‌گیری مستقیم Q\u003C\u002Ftd>\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">رسیدن به تناقض (مثلاً \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$R \\wedge \\neg R$\u003C\u002Fspan>)\u003C\u002Ftd>\u003C\u002Ftr>\r\n\u003Ctr style=\"background: #ffffff; : \">\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">موارد استفاده\u003C\u002Ftd>\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">عبارت‌های شرطی ساده با ارتباط مستقیم\u003C\u002Ftd>\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">هنگامی که نقیض حکم به تناقض سریع‌تری منجر شود\u003C\u002Ftd>\u003C\u002Ftr>\r\n\u003Ctr style=\"background: #f8fafc; : \">\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">مثال\u003C\u002Ftd>\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">اثبات: اگر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$a=b$\u003C\u002Fspan> آن‌گاه \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$a^2=b^2$\u003C\u002Fspan>\u003C\u002Ftd>\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">اثبات: \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\sqrt{2}$\u003C\u002Fspan> گنگ است (با فرض گویا بودن به تناقض می‌رسیم)\u003C\u002Ftd>\u003C\u002Ftr>\r\n\u003C\u002Ftbody>\r\n\u003C\u002Ftable>\r\n\u003C\u002Fdiv>\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">کاربرد عملی: اثبات نامتناهی بودن اعداد اول با برهان خلف\u003C\u002Fh3>\r\n\u003Cp style=\"margin: 0 0 12px 0; : \">یکی از مشهورترین کاربردهای برهان خلف، اثبات اقلیدس برای نامتناهی بودن اعداد اول است. فرض کنید بر خلاف آن، تعداد اعداد اول متناهی باشد. آنها را به صورت \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$p_1, p_2, …, p_k$\u003C\u002Fspan> فهرست می‌کنیم. عدد \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$N = p_1 \\times p_2 \\times … \\times p_k + 1$\u003C\u002Fspan> را در نظر بگیرید. این عدد بر هیچ یک از اعداد اول \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$p_1$\u003C\u002Fspan> تا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$p_k$\u003C\u002Fspan> بخش‌پذیر نیست (چون باقیمانده \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$1$\u003C\u002Fspan> می‌آید). بنابراین \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$N$\u003C\u002Fspan> یا خودش یک عدد اول جدید است، یا دارای مقسوم‌علیه اولی خارج از آن مجموعه است. در هر دو صورت، عدد اول جدیدی پیدا کردیم که در فهرست نبوده است. این با فرض متناهی بودن تناقض دارد. پس تعداد اعداد اول نامتناهی است.\u003C\u002Fp>\r\n\u003Cdiv style=\"margin: 0 0 16px 0; padding: 12px 14px; border-radius: 12px; background: #fff7e6; border: 1px solid #ffb600; color: #7a5200; font-size: 13px; : \">\r\n\u003Cstrong>نکته کلیدی:\u003C\u002Fstrong> در برهان خلف، شما هیچ‌گاه مستقیماً درستی حکم را نشان نمی‌دهید، بلکه ثابت می‌کنید که نادرستی حکم محال است. این روش مخصوصاً در قضایایی که نقیض آن ساده‌تر به نظر می‌رسد، بسیار کارآمد است.\r\n\u003C\u002Fdiv>\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">چالش‌های مفهومی در درک برهان خلف\u003C\u002Fh3>\r\n\u003Cdiv style=\"margin: 10px 0 0 0; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #f8fafc; : \">\r\n\u003Cp style=\"margin: 0 0 8px 0; : \">\u003Cstrong>۱. آیا می‌توان برای هر قضیه‌ای از برهان خلف استفاده کرد؟\u003C\u002Fstrong>\u003C\u002Fp>\r\n\u003Cp style=\"margin: 0 0 12px 0; : \">بله، از نظر منطقی هر گزاره درست را می‌توان با برهان خلف اثبات کرد. اما گاهی اثبات مستقیم کوتاه‌تر یا زیباتر است. قاعده این است: هرگاه فرض نقیض حکم به سرعت به تناقض می‌انجامد، برهان خلف گزینه مناسبی است.\u003C\u002Fp>\r\n\u003Cp style=\"margin: 0 0 8px 0; : \">\u003Cstrong>۲. فرق برهان خلف با برهان خلف محال (برهان غیرمستقیم) چیست؟\u003C\u002Fstrong>\u003C\u002Fp>\r\n\u003Cp style=\"margin: 0 0 12px 0; : \">در برخی منابع، برهان خلف را همان اثبات غیرمستقیم می‌دانند. اما در دسته‌بندی دقیق‌تر، «برهان خلف» زیرمجموعه‌ای از روش‌های غیرمستقیم است که در آن تناقض مستقیماً از فرض نادرستی حکم ناشی می‌شود، در حالی که در روش «خلف محال» ممکن است از فرض نادرستی حکم، نتیجه‌ای خلاف یک قضیه قطعی دیگر بگیریم.\u003C\u002Fp>\r\n\u003Cp style=\"margin: 0 0 8px 0; : \">\u003Cstrong>۳. آیا ممکن است در برهان خلف به تناقض نرسیم اما حکم همچنان درست باشد؟\u003C\u002Fstrong>\u003C\u002Fp>\r\n\u003Cp style=\"margin: 0 0 4px 0; : \">خیر. اگر نقیض حکم را فرض کنید و نتوانید به تناقض برسید، معنایش این نیست که حکم نادرست است. شاید روش استدلال شما ناکافی بوده یا باید از راه دیگری استفاده کنید. نرسیدن به تناقض، اثبات‌کننده درستی حکم نیست؛ فقط نشان می‌دهد آن فرض خاص منجر به تناقض نشده است.\u003C\u002Fp>\r\n\u003C\u002Fdiv>\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">جمع‌بندی و نتیجه نهایی\u003C\u002Fh3>\r\n\u003Cdiv style=\"margin: 16px 0 0 0; padding: 12px 14px; border-radius: 12px; background: #fffdf3; border: 1px solid #ffb600; color: #24292f; : \">\r\nبرهان خلف یک روش منطقی قدرتمند است که در آن به جای اثبات مستقیم یک حکم، نادرستی آن را فرض کرده و با استدلالی صحیح به یک تناقض می‌رسیم. این روش در ریاضیات دبیرستانی (اعداد اول، اعداد گنگ، مسائل زوج و فرد، هندسه) کاربرد گسترده دارد. مهمترین مهارتی که در این مقاله آموختید، تشخیص موقعیت‌هایی است که فرض نقیض، سریع‌تر از مسیر مستقیم به نتیجه می‌رسد. به یاد داشته باشید که هر برهان خلف باید در نهایت به یک پارادوکس منطقی آشکار ختم شود، نه یک عبارت مبهم.\r\n\u003C\u002Fdiv>\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">پاورقی\u003C\u002Fh3>\r\n\u003Cp style=\"margin: 4px 0 4px 0; : \">\u003Csup>1\u003C\u002Fsup> قانون طرد شق ثالث (Law of Excluded Middle): اصلی منطقی که می‌گوید برای هر گزاره‌ای، آن گزاره یا نقیضش همواره درست است؛ یعنی \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\vee \\neg P$\u003C\u002Fspan> یک tautology است.\u003C\u002Fp>\r\n\u003Cp style=\"margin: 4px 0 4px 0; : \">\u003Csup>2\u003C\u002Fsup> نقیض (Negation): گزاره‌ای که درستی آن در تضاد با درستی گزاره اصلی باشد. اگر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P$\u003C\u002Fspan> درست باشد، نقیض آن \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg P$\u003C\u002Fspan> نادرست است و برعکس.\u003C\u002Fp>\r\n\u003Cp style=\"margin: 4px 0 4px 0; : \">\u003Csup>3\u003C\u002Fsup> اعداد گنگ (Irrational Numbers): اعدادی حقیقی که نمی‌توان آنها را به صورت کسر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\frac{a}{b}$\u003C\u002Fspan> (با \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$a,b$\u003C\u002Fspan> صحیح و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$b \\neq 0$\u003C\u002Fspan>) نوشت، مانند \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\sqrt{2}$\u003C\u002Fspan> یا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\pi$\u003C\u002Fspan>.\u003C\u002Fp>\r\n\u003Cp style=\"margin: 4px 0 0 0; : \">\u003Csup>4\u003C\u002Fsup> تناقض (Contradiction): حالتی که در آن دو گزاره متضاد \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$R$\u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg R$\u003C\u002Fspan> همزمان صادق فرض شوند که در منطق کلاسیک غیرممکن است.\u003C\u002Fp>\r\n\u003C\u002Fdiv>",[209,210,211],"پایهٔ دوازدهم","ریاضیات گسسته دوازدهم","برهان خلف",0,145,"2026-05-06 02:48:32","2026-09-11 22:01:59","سحر","شیرزاد","برهان-خلف-اثبات-با-فرض-نادرستی-حکم-و-رسیدن-به-تناقض","کپسول آموزشی","1405\u002F02\u002F16","22:01 1405\u002F06\u002F20",{"tests":223,"papers":224,"files":225,"questions":226,"exams":227,"tutorials":228,"blogs":229},[],[],[],[],[],[],[230,239,247,255,263,271,279,287,295,303,311,320],{"id":231,"title":232,"cat":205,"pic":233,"up_date":234,"title_url":235,"url":236,"legacy_url":237,"cat_title":219,"update_jalali":238},13014,"درستی گزاره (صدق): حالتی که گزاره صحیح باشد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FtIfY5hTDq9uklTTwE2rz_200.png","2026-09-13 10:37:04","درستی-گزاره-صدق-حالتی-که-گزاره-صحیح-باشد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13014\u002Fدرستی-گزاره-صدق-حالتی-که-گزاره-صحیح-باشد","https:\u002F\u002Fgama.ir\u002Fblog\u002F13014\u002Fدرستی-گزاره-صدق-حالتی-که-گزاره-صحیح-باشد","1405\u002F06\u002F22",{"id":240,"title":241,"cat":205,"pic":242,"up_date":243,"title_url":244,"url":245,"legacy_url":246,"cat_title":219,"update_jalali":238},13015,"نادرستی گزاره (کذب): حالتی که گزاره غلط باشد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FnC9NHaQyPaFx8KyaBbY5_200.png","2026-09-13 10:33:13","نادرستی-گزاره-کذب-حالتی-که-گزاره-غلط-باشد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13015\u002Fنادرستی-گزاره-کذب-حالتی-که-گزاره-غلط-باشد","https:\u002F\u002Fgama.ir\u002Fblog\u002F13015\u002Fنادرستی-گزاره-کذب-حالتی-که-گزاره-غلط-باشد",{"id":248,"title":249,"cat":205,"pic":250,"up_date":251,"title_url":252,"url":253,"legacy_url":254,"cat_title":219,"update_jalali":238},13016,"مثال نقض: نمونه‌ای که یک گزاره کلی را رد می‌کند.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F9ZxXQUD1UrewPoWG9MEa_200.png","2026-09-13 10:30:53","مثال-نقض-نمونهای-که-یک-گزاره-کلی-را-رد-میکند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13016\u002Fمثال-نقض-نمونهای-که-یک-گزاره-کلی-را-رد-میکند","https:\u002F\u002Fgama.ir\u002Fblog\u002F13016\u002Fمثال-نقض-نمونهای-که-یک-گزاره-کلی-را-رد-میکند",{"id":256,"title":257,"cat":205,"pic":258,"up_date":259,"title_url":260,"url":261,"legacy_url":262,"cat_title":219,"update_jalali":238},13017,"حکم کلی: گزاره‌ای که برای همه حالت‌ها ادعا دارد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FEP0GI5qQsu3th91qXnY3_200.png","2026-09-13 10:28:33","حکم-کلی-گزارهای-که-برای-همه-حالتها-ادعا-دارد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13017\u002Fحکم-کلی-گزارهای-که-برای-همه-حالتها-ادعا-دارد","https:\u002F\u002Fgama.ir\u002Fblog\u002F13017\u002Fحکم-کلی-گزارهای-که-برای-همه-حالتها-ادعا-دارد",{"id":264,"title":265,"cat":205,"pic":266,"up_date":267,"title_url":268,"url":269,"legacy_url":270,"cat_title":219,"update_jalali":238},13018,"اثبات مستقیم: اثباتی که از فرض به نتیجه به‌صورت مستقیم می‌رسد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FDABIp6WAehXkKXsSG9FX_200.png","2026-09-13 10:24:30","اثبات-مستقیم-اثباتی-که-از-فرض-به-نتیجه-بهصورت-مستقیم-میرسد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13018\u002Fاثبات-مستقیم-اثباتی-که-از-فرض-به-نتیجه-بهصورت-مستقیم-میرسد","https:\u002F\u002Fgama.ir\u002Fblog\u002F13018\u002Fاثبات-مستقیم-اثباتی-که-از-فرض-به-نتیجه-بهصورت-مستقیم-میرسد",{"id":272,"title":273,"cat":205,"pic":274,"up_date":275,"title_url":276,"url":277,"legacy_url":278,"cat_title":219,"update_jalali":238},13019,"اعداد متوالی: اعدادی که پشت‌سرهم با فاصله ۱ قرار دارند.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FMQxKxC1tfajqKjaX6rsG_200.png","2026-09-13 10:21:49","اعداد-متوالی-اعدادی-که-پشتسرهم-با-فاصله-۱-قرار-دارند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13019\u002Fاعداد-متوالی-اعدادی-که-پشتسرهم-با-فاصله-۱-قرار-دارند","https:\u002F\u002Fgama.ir\u002Fblog\u002F13019\u002Fاعداد-متوالی-اعدادی-که-پشتسرهم-با-فاصله-۱-قرار-دارند",{"id":280,"title":281,"cat":205,"pic":282,"up_date":283,"title_url":284,"url":285,"legacy_url":286,"cat_title":219,"update_jalali":238},13020,"اثبات با بررسی همه حالت‌های ممکن","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FVXnKVCXmXgkUVE32J59s_200.png","2026-09-13 10:19:40","اثبات-با-بررسی-همه-حالتهای-ممکن","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13020\u002Fاثبات-با-بررسی-همه-حالتهای-ممکن","https:\u002F\u002Fgama.ir\u002Fblog\u002F13020\u002Fاثبات-با-بررسی-همه-حالتهای-ممکن",{"id":288,"title":289,"cat":205,"pic":290,"up_date":291,"title_url":292,"url":293,"legacy_url":294,"cat_title":219,"update_jalali":238},13021,"گزاره شرطی","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FCybtTp6I2uiF6cc7dz25_200.png","2026-09-13 10:16:51","گزاره-شرطی","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13021\u002Fگزاره-شرطی","https:\u002F\u002Fgama.ir\u002Fblog\u002F13021\u002Fگزاره-شرطی",{"id":296,"title":297,"cat":205,"pic":298,"up_date":299,"title_url":300,"url":301,"legacy_url":302,"cat_title":219,"update_jalali":238},13022,"هم‌ارزی منطقی: داشتن ارزش منطقی یکسان بین دو گزاره","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FGYn2mG9hAqsZs8tfDydF_200.png","2026-09-13 10:14:05","همارزی-منطقی-داشتن-ارزش-منطقی-یکسان-بین-دو-گزاره","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13022\u002Fهمارزی-منطقی-داشتن-ارزش-منطقی-یکسان-بین-دو-گزاره","https:\u002F\u002Fgama.ir\u002Fblog\u002F13022\u002Fهمارزی-منطقی-داشتن-ارزش-منطقی-یکسان-بین-دو-گزاره",{"id":304,"title":305,"cat":205,"pic":306,"up_date":307,"title_url":308,"url":309,"legacy_url":310,"cat_title":219,"update_jalali":238},13023,"ترکیب دوشرطی (↔): گزاره‌ای که دو طرف آن هم‌ارز باشند.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F1xjn7Jz5lwPOY4qyasjr_200.png","2026-09-13 10:11:29","ترکیب-دوشرطی-گزارهای-که-دو-طرف-آن-همارز-باشند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13023\u002Fترکیب-دوشرطی-گزارهای-که-دو-طرف-آن-همارز-باشند","https:\u002F\u002Fgama.ir\u002Fblog\u002F13023\u002Fترکیب-دوشرطی-گزارهای-که-دو-طرف-آن-همارز-باشند",{"id":312,"title":313,"cat":205,"pic":314,"up_date":315,"title_url":316,"url":317,"legacy_url":318,"cat_title":219,"update_jalali":319},13081,"درجهٔ رأس در گراف: تعداد یال‌های متصل به یک رأس در گراف","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FO0GeuBsv0VFDPo5mvRES_200.png","2026-09-12 21:20:01","درجه-رأس-در-گراف-تعداد-یالهای-متصل-به-یک-رأس-در-گراف","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13081\u002Fدرجه-رأس-در-گراف-تعداد-یالهای-متصل-به-یک-رأس-در-گراف","https:\u002F\u002Fgama.ir\u002Fblog\u002F13081\u002Fدرجه-رأس-در-گراف-تعداد-یالهای-متصل-به-یک-رأس-در-گراف","1405\u002F06\u002F21",{"id":321,"title":322,"cat":205,"pic":323,"up_date":324,"title_url":325,"url":326,"legacy_url":327,"cat_title":219,"update_jalali":319},13082,"رأس فرد در گراف: رأسی با درجهٔ فرد در گراف","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FzyE6HUE5oa0YdGckXDRS_200.png","2026-09-12 21:16:42","رأس-فرد-در-گراف-رأسی-با-درجه-فرد-در-گراف","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13082\u002Fرأس-فرد-در-گراف-رأسی-با-درجه-فرد-در-گراف","https:\u002F\u002Fgama.ir\u002Fblog\u002F13082\u002Fرأس-فرد-در-گراف-رأسی-با-درجه-فرد-در-گراف"]