费马大定理是一个常常被提及但在四百年内未被证明的数学难题。所谓费马大定理，是指满足条件：$a^n b^n=c^n$（其中a,b,c,n为正整数，n大于等于3），则a,b,c三数中必有一数大于n。也就是说，这个方程式（及其变式）没有正整数解。这个猜想的来龙去脉，首先要从17世纪法国数学家Pierre de Fermat说起。
更进一步来说，费马大定理中关于三次方程式的部分，直到十九世纪才被证实。其后，二十世纪初数学界公认费马大定理的部分证明。但直至1994年，英国学者Andrew Wiles才越过牛顿和Euler曾使用的的解题方式，同时补完他所称的“本质性遗漏”，证明了费马大定理。