close
دانلود فیلم

تکنیک های اثبات قضایا

تکنیک های اثبات قضایا
مشاوره و برنامه ریزی تا کنکور 97 "09217983480"
پکیــج شتــاب فروشگاه درس خونا بانک تست طبقه بندی کانون آزمون های ماز نرم افزار آزمون یار کتاب سیاه زیست

تبلیغات

محل تبلیغات شما

درباره مدیر

دکتر سعید خورسند

دانشجوی پزشکی شیراز

رتبه 317 کنکور 94

شبکه های اجتماعی

قالب وبلاگ

تبلیغات

محل تبلیغات شما
کانال ما در تلگرام : telegram.me/darskhoona_ir

تکنیک های اثبات قضایا

چندکلامی درباره روشهای عمومی اثبات
ترجمه آزاد مقاله Remarks About Methods of Proof

قصد ما مطرح کردن چند روش ساده و عمومی اثبات است که ممکن است شما بارها از هر کدام استفاده کرده باشید. برای راحتی کار در مثال ها دو تعریف زیر را می آوریم.

تعریف ۱:
 عدد n را زوج گوییم اگر بتوان آنرا به صورت n=2k که k عددی صحیح است، نوشت.
تعریف ۲: عدد n را فرد گوییم اگر بتوان آنرا به صورت n=2k+1 که k عددی صحیح است، نوشت.

۱٫ اثبات مستقیم (DIRECT PROOF) :
با فرض های قضیه آغاز می شود و با استنتاج، از آن نتایجی حاصل می شود، بیرون آوردن نتیاج ادامه می یابد تا اینکه به حکم مطلوب برسیم.

قضیه۱: اگر n زوج باشد آگاه n۲ زوج است.
اثبات: n زوج است (فرض) بنابراین عدد صحیحی چون k وجود دارد که n=۲k. بنابراین:

n۲ = (۲k)۲ = ۲ (۲k۲)

و می دانیم ۲k۲ نیز عددی صحیح است بنابراین طبق تعریف۱ n۲ عددی زوج است.

۲٫ اثبات عکس ِ نقیض قضیه به جای خود قضیه. (PROVING THE CONTRAPOSITIVE)
در این روش اثبات، ما می خواهیم نشان دهیم که « اگر “A” آنگاه “B” ». به جای آن ما یک قانون معادل آن را نشان می دهیم: « اگر “B نقض شود” ( Not B)، آنگاه “A نقض میشود” (Not A) ».

قضیه ۲: اگر n۲ زوج باشد، آنگاه n زوج است.
اثبات: در این مورد “n۲ زوج است” ‘گزاره A و “n زوج است” گزاره B می باشد. نشان می دهیم اگر n فرد باشد (نقیض B) آنگاه n۲ فرد است (نقیض A). به این ترتیب که: می دانیم که عدد صحیحی چون K هست که n=۲k+1. بنابراین:

n۲ = (۲k+۱)۲ = ۴k۲+۲k+۱ = ۲(۲k۲+k)+۱.

چون k صحیح است پس ۲k۲+k نیز صحیح است. پس ما نشان دادیم که n۲ فرد است.

 ۳٫ اثبات با تناقض (برهان خلف) (PROOF BY CONTRADICTION):

در این روش از برهان، می خواهیم نشان دهیم که ” اگر A آنگاه B “. برای این کار فرض میکنیم خلاف این حکم درست باشد (فرض خلف). یعنی فرض می کنیم که ” گزاره A درست و گزاره B غلط است.” . حالا باید به دنبال یک تناقض بگردیم. این تناقض ممکن است، با فرض قضیه و یا یک حکم بدیهی که از درستی آن مطلع هستیم ولی در فرض مسئله نیست، ایجاد شود. مثلا به این حکم برسیم که ۳ کوچکتر از ۰ است (تناقض با یک دانسته بدیهی). خوب! به محض اینکه به یک تناقض رسیدیم، نتیجه می گیریم که چیزی که فرض کردیم (فرض خلف) غلط بوده، پس قضیهدرسته.


قضیه ۳:
 
n و m را اعدا صحیح در نظر میگیریم. اگر n.m زوج باشد، حداقل یکی از اعداد n یا m ، زوج است.

اثبات: فرض میکنیم که “n.m زوج است (A) ولی نه m و نه n هیچکدام زوج نیستند (Not B)” (فرض خلف). بنابرای ما می توانیم بنویسیم:
عددیهای صحیح 
k و c وجود دارن که : n=۲k+۱ و m=۲c+۱ . 
در نتیجه:

n.m = (۲k+۱)(۲c+۱) =  ۴ k.c + ۲k + ۲c +۱ = ۲(۲k.c + k + c) +۱

 

که نشان می دهد

n.m فرد است. از آنجایی که این یک تناقض (با فرض) است، نتیجه میگیریم که قضیه درست است.

 

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

برای آشنایی با کامل ترین نوع منطق چند ارزشی (منطق فازی Fuzzy) می تونید به وبلاگ امید ریاضی سر بزنید.


  ۴٫ اثبات با استقراء (PROOF BY INDUCTION) :

در مواردی می خواهیم نشان دهیم که گزاره S(n) برای تمام اعداد صحیح بزرگتر از عدد صحیحی چون n0 درست است. برای این منظور باید دو مرحله را انجام دهیم:

 

 الف) مورد پایه: باید نسان دهیم که S(n0) ، (یعنی گزاره S(n) در مورد n0 ) درست است.

ب‌)   فرض استقرائی: فرض میکنیم که S(n) برای یکn > n درست باشد و نشان میدهیم که S(n+۱) نیز درست است.

 

قضیه ۴: برای هر n>=0 و x <> 1 داریم: (علامت <> یعنی مخالف)

۱+ x + x۲ + … + xn = (xn+1 – ۱)/(x-۱)

اثبات: ابتدا نشان میدهیم که برای مورد پایه درست است. برای n=0 ، S(0) میرساند که

        ۱= (x0+۱ -۱ )/(x -۱)   که این به روشنی درست است.

حالا فرض استقراء را دانبال می کنیم: فرض میکنیم که

۱+ x + x۲ + … + xn = (xn+1 – ۱)/(x-۱)

باید نشان دهیم که:

۱+ x + x۲ + … + xn  + xn+1 = (xn+۲ – ۱)/(x-۱)

داریم:

۱+ x + x۲ + … + xn  + xn+1  =  (xn+1 – ۱)/(x-۱) + xn+1

= ( xn+1 – ۱ + (x-۱).(xn+1) ) / (x-۱)

= ( xn+1 – ۱ + xn+۲ – xn+1 ) / (x-۱)

= ( xn+۲ – ۱ ) / (x-۱) .:.

 

که در اولین تساوی از فرض استقرائی استفاده کردیم و بقیه تساویها، اعمال ساده جبری اند. به این ترتیب قضیه ثابت شد.

 

نکته: معمولا نشان دادن اینکه حکم برای مورد پایه درست است بسیار بدیهی و ساده است. اما با این وجود این مرحله بسیار مهم است و عدم در نظر گرفتن آن ممکن است به نتایج غلطی منجر شود. برای اینکه مطلبمون زیاد طولانی نشه، روش پنجم اثبات رو هم میگم و مثال هایی در مورد اهمیت مورد پایه در روش استقرا و بعد دو روش غلط اثبات رو برای پست بعدی می گذاریم.


  ۵٫ رد کردن یک حکم با مثال نقض (DISPROOF BY COUNTEREXAMPLE):

 

گاهی لازم است نشان دهیم که یک حکم غلط است. برای نشان دادن اینکه یک “حکم” غلط است، یکی از ملزومات آوردن یک مثال نقض است. مثال زیر را ملاحظه فرمائید:

 

قضیه ۵ (اشتباه): به ازای هر n صحیح، ۳n زوج است.

اثبات اشتباه بودن: یک مثال نقض مورد n=۷ است. زیرا ۲۱=۷×۳ زوج نسیت.

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

 

خواستم پست طولانی نشه. یه جای خوب براس پیدا می کنم.شما کلمه های توی اسم روش ها رو بخونید فعلا. مثلا :  CONTRADICTION یعنی تناقض.

برچسب ها : اثبات , تكنيك هاي اثبات قضايا , تکنیک , قضایا , قضیه , منتظری ,

مطالب مرتبط

معرفی بهترین منابع کمک آموزشی کنکور
برنامه ریزی کنکور 93(هفته نهم) + برنامه ریزی سال های اول تا سوم(هفته پنجم)
برنامه ریزی کنکور 93(هفته هشتم) + برنامه ریزی سال های اول تا سوم(هفته چهارم)
برنامه ریزی کنکور 93(هفته هفتم) + برنامه ریزی سال های اول تا سوم(هفته چهارم)
برنامه ریزی کنکور 93(هفته ششم) + برنامه ریزی سال های اول تا سوم(هفته سوم)
برنامه ریزی کنکور 93(هفته پنجم) + برنامه ریزی سال های اول تا سوم(هفته دوم)
برنامه ریزی کنکور 93(هفته چهارم) + برنامه ریزی سال های اول تا سوم(هفته اول)
برنامه ریزی کنکور 93 (هفته سوم)
برنامه ریزی کنکور 93 (هفته دوم)
برنامه ریزی کنکور 93(هفته اول)

ارسال نظر برای این مطلب


نام
ایمیل (منتشر نمی‌شود) (لازم)
وبسایت
:) :( ;) :D ;)) :X :? :P :* =(( :O @};- :B /:) :S
نظر خصوصی
مشخصات شما ذخیره شود ؟ [حذف مشخصات] [شکلک ها]
کد امنیتی
قوانین بخش نظرات
1 - نظرات اسپم و تبلیغاتی تایید نخواهد شد.
2 - فقط نظراتی که جنبه عمومی داشته باشند تایید و منتشر می شوند.
3 - نظرات فینگلیش تایید نخواهند شد.
4 - هرگونه درخواست و یا حل مشکلات فقط در انجمن امکان پذیر است.
5 - لطفا انتقادات و پیشنهادات و همچنین درخواست های خود را از بخش های تماس با ما و درخواستی ها ارسال نمایید.

تبلیغات

محل تبلیغات شما

اطلاعات کاربری

نام کاربری :
رمز عبور :

فروشگاه محصولات سایت

محصولات و خدمات اختصاصی

آرشیو

محل تبلیغات شما
محل تبلیغات شما
محل تبلیغات شما
محل تبلیغات شما
محل تبلیغات شما
محل تبلیغات شما