انتفای مقدم (بخش1)

مساله‌ای معروف: اگر ‎x + Math Formula‎ =1‎ باشد، مقدار Math Formula را بیابید.

راه معروف 1 (در ادامه نقد خواهد شد)

Math Formula

Math Formula

x1393+Math Formula = (x3)464 x + Math Formula

= (-1)464x+Math Formula = x + Math Formula = 1


راه 2 (در ادامه نقد خواهد شد)

اگر ‎an = xn + Math Formula‎ باشد، این لم به سادگی اثبات می‌شود:

an+1 = an a1 - Math Formula

حکم: با تعریف ‎an = xn + Math Formula‎ و فرض ‎a1 = 1‎ برای هر عدد طبیعی k داریم:

a6k-5=Math Formula , a6k-4=-1 , a6k-3=Math Formula , a6k-2=-1 , a6k-1=1 , a6k=2

این حکم به کمک استقرای ریاضی و لم یاد شده، بسیار سرراست اثبات می‌شود.
پس از آن جا که ‎1393 = Math Formula × 233 - 5‎، داریم: ‎a1393=Math Formula


راه 3 (نقد دو راه پیشین)

دو روش حل پیشین در میدان عددهای مختلط و نیز میدان عددهای حقیقی معتبر و درست هستند. به ویژه راه دوم در میدان عددهای مختلط بسیار چابک‌تر و کاراتر است.
اما در میدان عددهای حقیقی (معلومات دبیرستانی) شاید روش زیر دست کم قابل شنیدن باشد:

Math Formula x2-x+1=0 -> (x-Math Formula)2+Math Formula=0

به نتیجه‌ای نادرست رسیدیم. پس Math Formula نمی‌تواند درست باشد و دقیقا نادرست است.
بنابراین نتیجه گیری Math Formula یا حتی Math Formula به انتفای مقدم هر دو درست هستند.

توجه کنید هیچ یک از استدلال‌های 1، 2 یا 3 درستی Math Formula را اثبات نمی‌کنند. بلکه همگی "به درستی" این برابری را نتیجه می‌گیرند.


آقا اجازه! انتفای مقدم یعنی چه؟

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

Math Formula -> 5+1=5+2 -> 6=7

Math Formula -> 1+2=2+1 -> 3=3

یعنی از یک گزاره‌ی نادرست (به عنوان مقدم یا مقدمه) هم می‌توان "به درستی" یک گزاره‌ی نادرست را نتیجه گرفت و هم می‌توان "به درستی" یک گزاره‌ی درست را نتیجه گرفت.

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

درس: 
نهم- ریاضی- فصل3- استدلال و اثبات در هندسه