آخرین قضیه فرما !!! -

پیر فرما ریاضیدان فرانسوی قرن 17 میلادی جمله ای را در حاشیه کتابی از خود بر جا گذاشت که یکی از مشهورترین قضایای تاریخ ریاضیات نام گرفت.هر چند او در حاشیه ان کتاب اضافه کرده بود حل ان را در ذهن دارد ولی جای کافی برای نوشتن در اختیار ندارد، این قضیه تا 1994 لاینحل باقی مانده بود.

و اما صورت مساله:
xn + yn = zn جواب ندارد.

در سال 1993 با استفاده از نظریه های پیشرفته اندرو وایلز حلی برای آن ارائه کرد که دارای مشکلی بود ولی در سپتامبر 1994 اشکال این حل نوسط خود وایلز وباهمکاری یکی از همکارانش به نام تیلر برطرف شد
تلاش ها برای اثبات


در سال 1931 اشنیرلمان (1905-1938) که در آن موقع یک ریاضیدان روس جوان و گمنام بود موفقیت مهمی در این زمینه به دست آورد که برای همه متخصصان غیرمنتظره وشگفت‌آور بود. او ثابت کرد هر عدد صحیح مثبت را می‌توان به صورت مجموع حداکثر300000 عدد اول نمایش داد. گر چه این نتیجه در مقایسه با هدف اصلی یعنی اثبات انگاره‌ی گلدباخ مضحک به نظر می‌رسد، ولی این نخستین گام در آن جهت بود. این اثبات مستقیم و سازنده است، اما هیچ روش خاصی برای تجزیه یک عدد صحیح دلخواه به اعداد اول ارائه نمی‌کند.

بعدا وینوگرادوف ریاضیدان روس با استفاده ازروشهای هاردی،لیتلوود و همکار هندی برجسته آنهارامانوجان درنظریه تحلیلی اعداد، موفق شد تعداد عددهای اول مورد لزوم را از 300000 به 4 کاهش دهد. این نتیجه به تعداد مطلوب در انگاره گلدباخ بسیار نزدیکتر است ولی تفاوت عمده‌ای بین حکم اشنیرلمان و حکم وینوگرادوف وجود دارد که شاید مهمتر از اختلاف میان 300000 و 4 باشد. قضیه وینوگرادوف فقط به ازای همه اعداد صحیح «به اندازه کافی بزرگ» ثابت شده است؛ به بیان دقیق تر، او ثابت کرد عدد صحیح N ای وجود دارد به طوری که هر عدد صحیح n>N را می‌توان به شکل مجموع حداکثر 4 عدد اول نشان داد. اثبات وینوگرادوف راهی برای براورد کردن N به مانشان نمی‌دهد، و بر خلاف اثبات اشنیرلمان، اساساً غیرمستقیم و غیرسازنده است. درحقیقت، چیزی که وینوگرادوف ثابت کرد این است که فرض نامتناهی بودن تعداد عددهای صحیحی که قابل تجزیه به حداکثر 4 عدد اول نیستند، به نتیجه نامعقولی می‌انجامد. دراینجا با نمونه خوبی از تفاوت عمیق میان دو نوع اثبات، مستقیم و غیرمستقیم، رو به روییم.


در سال 1956 باروتسکین با نشان دادن اینکه عدد exp(exp(16/038))=n در قضیه وینوگرادف کافیست گام دیگری در این راه نهاد.


در 1919 ویگو برون رویکرد متفاوتی با عنوان روش غربال مطرح کرد که تعمیمی ازغربال اراتستن است. او ثابت کرد هر عدد صحیح زوجی که به قدر کافی بزرگ باشد ، مجموع دو عدد است که هر کدام از آنها حاصل‌ضرب حداکثر 9 عدد اول هستند.


در 1937 ریچی ثابت کرد هر عدد زوجی که به قدر کافی بزرگ باشد مجموع دو عدد است که یکی حاصل‌ضرب حداکثر دو عدد اول و دیگری حاصل‌ضرب حداکثر 366 عدد اول است.


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


در 1957 ، ونگ یوان با فرض درست بودن صورت تعمیم یافته فرضیه ریمان ثابت کرد هرعدد صحیح زوج به قدر کافی بزرگ ،‌مجموع یک عدد اول و حاصل‌ضرب حداکثر سه عدد اول است.


در 1948 آلفرد بدون استفاده از صورت تعمیم یافته فرضیه ریمان ثابت کرد که هر عدد زوج بقدر کافی بزرگ مجموع یک عدد اول و حاصل‌ضرب حداکثر c عدد اول است.


در 1961 باربن نشان داد که c=9 برای این منظور کفایت می‌کند.


در 1962 ، پان چنگ دونگ این مقدار را به c=5 کاهش داد. مدت کوتاهی پس از آن باربن و پان ، مستقل از هم ،‌آن را به c=4 کاهش دادند.

در 1965 بوخشتاب این قضیه را به ازای c=3 کاهش داد.

در 1966 ، چن جینگ ران روش غربال را بهتر کرد و قضیه را به ازای c=2 ثابت کرد. یعنی


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