На пољу аритметике био је познати француски математичар Пиерре де Фермат, који је први пут 1637. изнео теорему која је гласила: „ако функција ф достигне локални максимум или минимум у ц, и ако је Изведеница ф´ (ц) постоји у тачки ц, тада је ф´ (ц) = 0. Ова теорема се обично примењује за проналажење локалних максимума и минимума диференцијабилних функција у отвореним интервалима, јер су све оне стационарне тачке функције, тј. оне тачке у којима је изведена функција једнака нули (ф´ (к) = 0).
Ферматова теорема пружа само неопходан услов за локалне максимуме и минимуме, мада не објашњава другу класу стационарних тачака, као што су тачке прегиба у неким случајевима, међутим други извод функције (ф´´) (ако заправо постоји) може рећи да ли је стационарна тачка максимум, минимум или тачка прегиба.
За математику теорема представља тврдњу која, полазећи од хипотезе, износи истину која се не може објаснити сама по себи, Ферматова теорема је теза са једноставним и достижним исказом, међутим да би се могла решити, било је потребно највише математичких метода. Комплекси 20. века.
Ову теорему је пронашао 5 година након Ферматове смрти (1665) његов син, забележио ју је на маргини аритметичке књиге Диофанта Александријског. Од тог времена многи су то желели да реше, чак и велике суме новца нуде се онима који су успели да га дешифрују.