تخمين فيرما كاتالان ينص على أن المعادلة a^m + b^n = c^k لها عدد محدود من الحلول بالأعداد الصحيحة الموجبة (a,b,c,m,n,k) حيث a,b,c أولية نسبياً وm,n,k>١ ومختلفة زوجياً، وشرط تباين الأسس ضروري لتجنب حلول لا نهائية؛ توجد نتائج جزئية مرتبطة بنظرية دارمون-جرانفيل وحدسية abc.
