Fermatovo prvočíslo

Prvočíslo tvaru F_n = 2²ⁿ + 1, kde n je celé nezáporn číslo. Fermat se domníval, že čísla tohoto tvaru jsou prvočísly pro každé celé nezáporné n, L. Euler však v roce 1732 tuto domněku vyvrátil tím, že ukázal, že pro n = 5 vychází číslo složené (1 je dělitelné číslem 641). Studium Fermatových prvočísel úzce souvisí s konstrukcemi pravidelných mnohoúhelníků pravítkem a kružítkem.