منو
 کاربر Online
901 کاربر online
تاریخچه ی: برهان خلف

تفاوت با نگارش: 1

Lines: 1-20Lines: 1-20
 @#14:!مقدمه @#14:!مقدمه
-برهان خلف نوعی از برهان غیرمستقیم است؛ برای آنکه ثابت کنیم قضیه‌ای درست است می‌توانیم ثابت کنیم که خلاف آن قضیه ، یعنی ناارز آن (=نقیض) آن ، نادرست است. به این ترتیب که از صورت قضیه قسمتی را بعنوان فرض و قسمت دوم را بعنوان حکم در نظر می‌گیریم، بعد در جهت اثبات خلاف حکم مورد نظر حرکت می‌کنیم. بعد از طی مراحلی به جایی می‌رسیم که با فرض قضیه که در ابتدا آن را درست در نظر گرفته بودیم به تناقض می‌رسیم تناقض حاصل ما را به این مهم می‌رساند که جهتی را که برای اثبات خلاف حکم انتخاب کرده این نادرست است (زیرا با فرض در تناقض است) بنابراین حکم خلف رد شده و حکم قضیه اصلی اثبات می‌شود.

بنابراین با توجه به مطالب ذکر شده فوق اگر برای قضیه‌ای داشته باشیم {TEX()} {p\Rightarrow\ q} {TEX} خلاف قضیه می‌شود {TEX()} {(P\wedge \sim \Q} {TEX} و برای اثبات نادرستی {TEX()} {(P\sim\ wedge \Q} {TEX} ،برهان را از {TEX()} {\sim Q} {TEX} ، یعنی از خلاف حکم قضیه ، آغاز می‌کنیم و زنجیره‌ای از استلزام‌ها تشکیل می‌دهیم که به تعارض برخورد کند، یا نتیجه آن خلاف فرض ، خلاف یکی از قضیه‌های قبلا ثابت شده، یا خلاف یکی اصول پذیرفته شده باشند و در این صورت نادرستی {TEX()} {(P\wedge \sim \Q} {TEX} و در نتیجه درستی {p\Rightarrow\ q} {TEX} ثابت شده است.
+برهان خلف نوعی از برهان غیرمستقیم است؛ برای آنکه ثابت کنیم قضیه‌ای درست است می‌توانیم ثابت کنیم که خلاف آن قضیه ، یعنی ناارز آن (=نقیض) آن ، نادرست است. به این ترتیب که از صورت قضیه قسمتی را بعنوان فرض و قسمت دوم را بعنوان حکم در نظر می‌گیریم، بعد در جهت اثبات خلاف حکم مورد نظر حرکت می‌کنیم. بعد از طی مراحلی به جایی می‌رسیم که با فرض قضیه که در ابتدا آن را درست در نظر گرفته بودیم به تناقض می‌رسیم تناقض حاصل ما را به این مهم می‌رساند که جهتی را که برای اثبات خلاف حکم انتخاب کرده این نادرست است (زیرا با فرض در تناقض است) بنابراین حکم خلف رد شده و حکم قضیه اصلی اثبات می‌شود.

بنابراین با توجه به مطالب ذکر شده فوق اگر برای قضیه‌ای داشته باشیم {TEX()} {p\Rightarrow\ q} {TEX} خلاف قضیه می‌شود {TEX()} {(P\wedge \sim Q)} {TEX} و برای اثبات نادرستی {TEX()} {(P\wedge \sim Q)} {TEX} ، برهان را از {TEX()} {\sim Q} {TEX} ، یعنی از خلاف حکم قضیه ، آغاز می‌کنیم و زنجیره‌ای از استلزام‌ها تشکیل می‌دهیم که به تعارض برخورد کند، یا نتیجه آن خلاف فرض ، خلاف یکی از قضیه‌های قبلا ثابت شده، یا خلاف یکی اصول پذیرفته شده باشند و در این صورت نادرستی {TEX()} {(P\wedge \sim Q)} {TEX} و در نتیجه درستی {TEX()} {p\Rightarrow\ q} {TEX} ثابت شده است.
 !برهانی درباره نیمسازها  !برهانی درباره نیمسازها
 مثلا برای اثبات اینکه "اگر دو نیمساز داخلی از مثلثی برابر باشند، دو ضلع نظیر آنها با هم برابرند". (این قضیه عکس قضیه) "در ((مثلث متساوی‌الساقین)) دو نیمساز داخلی برابرند" است. قضیه اخیر بسادگی اثبات می‌شود اما اثبات عکس آن سالها ریاضی‌دانانی را به خود مشغول داشته است. در حال حاضر برای اثبات این قضیه دهها راه اثبات ارائه شده است که همه آنها بصورت برهان خلف هستند، یا از قضیه های کمکی بهره می‌گیرند که با برهان خلف ثابت شده‌‌اند برهان خلف ، نظم و یکپارچگی ریاضیات را بیش از پیش برای ما نشان می‌دهد، توسط این برهان ما به اتحاد و همبستگی مطالب ریاضی بیشتر واقف می‌شود.

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

در حقیقت با برخورد به یک تناقض در اثبات به روش برهان خلف ، تنها عدم درستی حکم خلف ثابت نمی‌شود بلکه ارتباط بین قضایای مختلف در ((ریاضیات)) بیشتر جلوه‌گری می‌کند و لذت ریاضیات در همین اتحاد و یکپارچگی است. برهان خلف زیر نخستین و در عین حال زیباترین این برهان‌هاست که برای درک بیشتر مطالب فوق ذکر می‌شود.
 !یک مثال !یک مثال
 در مثلث BD,ABC نیمساز زاویه B است و D روی ضلع AC واقع است. همین طور CE ((نیمساز)) زاویه C و روی ضلع AB قرار دارد همین طور داریم BD=CE ثابت کنید AB=AC؟  در مثلث BD,ABC نیمساز زاویه B است و D روی ضلع AC واقع است. همین طور CE ((نیمساز)) زاویه C و روی ضلع AB قرار دارد همین طور داریم BD=CE ثابت کنید AB=AC؟
 __*فرض (P) __  __*فرض (P) __
 #مثلث ABC #مثلث ABC
 #BD نیمساز زاویه D,B روی AC #BD نیمساز زاویه D,B روی AC
 #CE نیمساز زاویه E,C روی AB #CE نیمساز زاویه E,C روی AB
 #BD=CE #BD=CE
 __*حکم {TEX()} {(Q)} {TEX}__ : AB=AC __*حکم {TEX()} {(Q)} {TEX}__ : AB=AC
 !!برهان !!برهان
 هرگاه حکم‌ها درست باشد یا AB>AC یا AB
پس نتیجه می‌شود که زاویه {TEX()} {F_1} {TEX} از زاویه {TEX()} {C_3} {TEX} کوچکتر است یعنی CDAC است که با فرض ABAC باشد نتیجه می‌شود که AB
 هرگاه حکم‌ها درست باشد یا AB>AC یا AB
پس نتیجه می‌شود که زاویه {TEX()} {F_1} {TEX} از زاویه {TEX()} {C_3} {TEX} کوچکتر است یعنی CDAC است که با فرض ABAC باشد نتیجه می‌شود که AB
 !مباحث مرتبط با عنوان !مباحث مرتبط با عنوان
 *((فرض خلف)) *((فرض خلف))
-*((حک))
*((منطق ریاضی))#@
+*((ضایای ریاضی))
*((منطق و ریاضیات))#@
 --- ---
 *مطلب از: آیدا سلیم نژاد *مطلب از: آیدا سلیم نژاد

تاریخ شماره نسخه کاربر توضیح اقدام
 سه شنبه 17 بهمن 1385 [10:00 ]   2   مجید آقاپور      جاری 
 سه شنبه 17 بهمن 1385 [09:51 ]   1   مجید آقاپور      v  c  d  s 


ارسال توضیح جدید
الزامی
big grin confused جالب cry eek evil فریاد اخم خبر lol عصبانی mr green خنثی سوال razz redface rolleyes غمگین smile surprised twisted چشمک arrow



از پیوند [http://www.foo.com] یا [http://www.foo.com|شرح] برای پیوندها.
برچسب های HTML در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..