ফের্মার শেষ উপপাদ্য: সংশোধিত সংস্করণের মধ্যে পার্থক্য

গাণিতিকভাবে, এই উপপাদ্যটি একটি Π₁ বাক্য।

 

 

ফের্মা তার উপপাদ্যের কোন সাধারণ প্রমাণ লিখে রেখে যাননি, তবে ''n'' = 4 - এ বিশেষ ক্ষেত্রটির জন্যে তার একটি প্রমাণ খুঁজে পাওয়া যায়। (যদিও এ ক্ষেত্রটি ১২২৫ সালে ইতালিয়ান গণিতবিদ [[ফিবোনাচ্চি]] প্রমাণ করেছিলেন।) এর ফলে কেবল বেজোড় [[মৌলিক সংখ্যা]] বিশিষ্ট ঘাতের জন্যে উপপাদ্যটি প্রমাণ করা বাকি থাকে। পরবর্তী দুই শতাব্দীতে (১৬৩৭ - ১৮৪৯) পর্যন্ত কেবল ৩, ৫ এবং ৭ - এ তিনটি মৌলিক সংখ্যার জন্যে উপপাদ্যটির সত্যতা যাচাই করা যায়, তবে [[সোফি জার্মেইন]] ১০০ এর ছোট সব মৌলিক সংখ্যার জন্যে উপপাদ্যটি প্রমাণ করেছিলেন। ১৯ শতকের মাঝামাঝি সময়ে [[আর্নস্ট কুমার]] মৌলিক সংখ্যাত একটি বড়সড় দলের জন্যে উপপাদ্যটি প্রমাণ করেন, যারা [[সাধারণ মৌলিক সংখ্যা]] নামে পরিচিত। কুমারের কাজের ওপর ভিত্তি করে এবং কম্পিউটার বিজ্ঞানের আধুনিক তত্ত্ব ব্যবহার করে গণিতবিদরা চল্লিশ লক্ষের চেয়ে ছোট সব মৌলিক সংখ্যার জন্যে উপপাদ্যের প্রমাণ সম্পন্ন করেন।