Στην θεωρία αριθμών, τo μικρό θεώρημα του Φερμά αναφέρει πως αν ο p είναι πρώτος αριθμός, τότε για οποιονδήποτε ακέραιο a ο αριθμός a^p − a είναι ένα ακέραιο πολλαπλάσιο του p. Με το συμβολισμό της αριθμητικής για τα ισοϋπόλοιπα, αυτό γράφεται ως:^{[1]:87–88[2]:110–111[3]:62-81[4]:104-106[5]:142-143}

${\displaystyle a^{p}\equiv a{\pmod {p}}.}$

Για παράδειγμα, αν a = 2 και p = 7, τότε 2⁷-2 = 128−2 = 126 = 7 × 18, που είναι πολλαπλάσιο του 7.

Αν το a δεν διαιρείται από το p, τότε το μικρό θεώρημα του Φερμά είναι ισοδύναμο με το ότι το a^{p − 1} − 1 είναι ένα ακέραιο πολλαπλάσιο του p, ή με σύμβολα:

${\displaystyle a^{p-1}\equiv 1{\pmod {p}}.}$

Για παράδειγμα, αν a = 2 και p = 7, τότε 2⁶-1 = 64−1 = 63 = 7 × 9, που είναι πολλαπλάσιο του 7. Το θεώρημα (ή παραλλαγές αυτού) χρησιμοποιείται σε αλγορίθμους για τον έλεγχο πρώτων αριθμών, καθώς και για την επιτάχυνση του υπολογισμού υπολοίπων που χρησιμοποιείται σε αρκετές εφαρμογές της θεωρίας αριθμών, όπως η κρυπτογραφία.

• Για τα στοιχεία του ${\displaystyle \mathbb {Z} _{3}}$ έχουμε ότι

${\displaystyle 1^{2}}$	${\displaystyle 2^{2}}$
${\displaystyle 1=0\times 3+1}$	${\displaystyle 4=1\times 3+1}$

• Για τα στοιχεία του ${\displaystyle \mathbb {Z} _{5}}$ έχουμε ότι

${\displaystyle 1^{4}}$	${\displaystyle 2^{4}}$	${\displaystyle 3^{4}}$	${\displaystyle 4^{4}}$
${\displaystyle 1=0\times 5+1}$	${\displaystyle 16=3\times 5+1}$	${\displaystyle 81=16\times 5+1}$	${\displaystyle 256=51\times 5+1}$

• Για τα στοιχεία του ${\displaystyle \mathbb {Z} _{7}}$ έχουμε ότι

${\displaystyle 1^{6}}$	${\displaystyle 2^{6}}$	${\displaystyle 3^{6}}$	${\displaystyle 4^{6}}$	${\displaystyle 5^{6}}$	${\displaystyle 6^{6}}$
${\displaystyle 1=0\times 7+1}$	${\displaystyle 64=9\times 7+1}$	${\displaystyle 729=104\times 7+1}$	${\displaystyle 4096=585\times 7+1}$	${\displaystyle 15625=2232\times 7+1}$	${\displaystyle 46656=6665\times 7+1}$

Θα αποδείξουμε ότι ${\displaystyle a^{p}\equiv a{\pmod {p}}}$ με την χρήση της μαθηματικής επαγωγής για ${\displaystyle a=1,\ldots ,p-1}$.^[6]

Βασική περίπτωση: Για ${\displaystyle a=1}$, προφανώς ${\displaystyle a^{p}=1\equiv a{\pmod {p}}}$.

Επαγωγική περίπτωση: Ας υποθέσουμε ότι για τυχόν ${\displaystyle a>0}$ ισχύει ότι ${\displaystyle a^{p}\equiv a{\pmod {p}}}$. Τότε από το διωνυμικό θεώρημα, ισχύει ότι

${\displaystyle (a+1)^{p}=\sum _{k=0}^{p}{\binom {a}{q}}\cdot a^{q}}$.

Από τον ορισμό των διωνυμικών συντελεστών, έχουμε ότι

${\displaystyle {\binom {p}{k}}={\frac {p!}{k!(p-k)!}}={\frac {p\cdot (p-1)\cdot \ldots \cdot (p-k+1)}{k!}}}$.

Αφού ο ${\displaystyle p}$ είναι πρώτος αριθμός, κανένας από τους ${\displaystyle 2,\ldots ,k}$ δεν διαιρεί τον ${\displaystyle p}$, καθώς ${\displaystyle k<p}$. Επομένως,

${\displaystyle p\mid {\binom {p}{k}}}$.

Επιστρέφοντας στο διωνυμικό ανάπτυγμα, έχουμε ότι μόνο δύο όροι δεν είναι πολλαπλάσια του ${\displaystyle p}$. Συνεπώς,

${\displaystyle (a+1)^{p}=\sum _{k=0}^{p}{\binom {a}{q}}\cdot a^{q}\equiv {\binom {a}{p}}a^{p}+{\binom {a}{0}}a^{0}\equiv a^{p}+1{\pmod {p}}}$.

Χρησιμοποιώντας την επαγωγική υπόθεση, έχουμε ότι

${\displaystyle (a+1)^{p}\equiv a+1{\pmod {p}}.}$

Επομένως, αυτό ολοκληρώνει την επαγωγή και συνεπώς ισχύει για όλα τα ${\displaystyle a=1,\ldots ,p-1}$. Για μεγαλύτερα ${\displaystyle a}$, προκύπτει από την πολλαπλασιαστική ιδιότητα των υπολοίπων.

Για κάθε ${\displaystyle a=1,\ldots ,p-1}$ ισχύει ότι ${\displaystyle (a,p)=1}$, δηλαδή ο ${\displaystyle a}$ και ο ${\displaystyle p}$ είναι αριθμοί πρώτοι μεταξύ τους. Επομένως προκύπτει ότι υπάρχει μοναδικός αριθμός ${\displaystyle a^{-1}\in \{1,\ldots ,p-1\}}$ ώστε ${\displaystyle a\cdot a^{-1}\equiv 1{\pmod {p}}}$, ο πολλαπλασιαστικός αντίστροφος του ${\displaystyle a}$.

Θεωρούμε την συνάρτηση ${\displaystyle f_{a}:\{1,\ldots ,p-1\}\to \{1,\ldots ,p-1\}}$ που ορίζουμε ως εξής

${\displaystyle f_{a}(x)=(a\cdot x)\mod p}$.

Από την ιδιότητα του πολλαπλασιαστικού αντιστρόφου ισχύει ότι η ${\displaystyle f}$ είναι ένα προς ένα. Επομένως, το γινόμενο

${\displaystyle f_{a}(1)\cdot \ldots \cdot f_{a}(p-1)\equiv a\cdot (2a)\cdot \ldots \cdot ((p-1)\cdot a)\equiv 1\cdot 2\cdot \ldots \cdot (p-1){\pmod {p}}}$.

Συνεπώς, αναδιατάσσοντας τους όρους του αριστερού μέλους (χρησιμοποιώντας την αντιμεταθετική ιδιότητα του πολλαπλασιασμού), προκύπτει ότι

${\displaystyle a^{p-1}\cdot (1\cdot \ldots \cdot (p-1))\equiv (1\cdot \ldots \cdot (p-1)){\pmod {p}}.}$

(1)

Αφού οι αριθμοί ${\displaystyle 1,\ldots ,p-1}$ είναι σχετικά πρώτοι με τον ${\displaystyle p}$, το γινόμενό τους είναι σχετικά πρώτος με τον ${\displaystyle p}$ και συνεπώς έχει πολλαπλασιαστικό αντίστροφο κάποιον αριθμό ${\displaystyle (1\cdot \ldots \cdot (p-1))^{-1}}$.

Επομένως, πολλαπλασιάζοντας και τα δύο μέλη της (1) με ${\displaystyle (1\cdot \ldots \cdot (p-1))^{-1}}$, έχουμε ότι

${\displaystyle a^{p-1}\cdot (1\cdot \ldots \cdot (p-1))\cdot (1\cdot \ldots \cdot (p-1))^{-1}\equiv (1\cdot \ldots \cdot (p-1))\cdot (1\cdot \ldots \cdot (p-1))^{-1}{\pmod {p}},}$

που συνεπάγεται το ζητούμενο

${\displaystyle a^{p-1}\equiv 1{\pmod {p}}.}$

Το αντίστροφο του θεωρήματος δεν ισχύει. Δηλαδή, υπάρχουν σύνθετοι αριθμοί ${\displaystyle q}$ για τους οποίους έχουμε ${\displaystyle a^{q}\equiv a{\pmod {q}}}$ για κάθε ακέραιο ${\displaystyle a}$. Οι αριθμοί αυτοί ονομάζονται αριθμοί Carmichael και ένας τέτοιος είναι το ${\displaystyle 561}$.^[3]: 72

Ο σύνθετος αριθμός ${\displaystyle m}$ λέγεται ψευδοπρώτος σε σχέση με το ${\displaystyle a}$, αν ισχύει ότι ${\displaystyle a^{m-1}\equiv 1{\pmod {m}}}$. Ένας αριθμός Carmichael ${\displaystyle m}$ είναι ψευδοπρώτος για κάθε ${\displaystyle a}$ σχετικά πρώτο με το ${\displaystyle m}$.

Ένα αντίστροφο είναι το θεώρημα Lucas^[4]: 106 που λέει ότι

Το θεώρημα χρησιμοποιείται για να βρεθεί το υπόλοιπο μίας (μεγάλης) δύναμης με έναν πρώτο αριθμό. Για παράδειγμα, αν ψάχνουμε το υπόλοιπο της διαίρεσης του 3^100.000 με τον πρώτο αριθμό 53, από το θεώρημα έχουμε 3⁵²=1. Παρατηρούμε ότι 3^100.000 ≡ 3^{52 × 1923 + 4} ≡ (3⁵²)¹⁹²³ × 3⁴ ≡ 1¹⁹²³ × 3⁴ ≡ 81 ≡ 28 (mod 53).

Πιο γενικά, για να υπολογίσουμε το υπόλοιπο του ${\displaystyle a^{n}}$ με έναν πρώτο αριθμό ${\displaystyle p}$, ο υπολογισμός του ${\displaystyle a^{n}}$ θα χρειαζόταν πράξεις σε αριθμούς με ${\displaystyle O(n)}$ ψηφία. Το θεώρημα του Φερμά επιτρέπει να γίνουν αυτές οι πράξεις σε αριθμούς με ${\displaystyle O(\log n+\log p)}$ ψηφία, που είναι εκθετικά πιο γρήγορο.

Αν θέλουμε να βρούμε το υπόλοιπο μίας (μεγάλης) δύναμης με οποιονδήποτε αριθμό, τότε θα χρησιμοποιήσουμε το θεώρημα του Όιλερ, το οποίο είναι γενίκευση αυτού εδώ του θεωρήματος.

Το μικρό θεώρημα του Φερμά χρησιμοποιείται στον έλεγχο πρώτων αριθμών του Φερμά, έναν πιθανοτικό αλγόριθμο που ελέγχει αν ένας φυσικός αριθμός ${\displaystyle n}$ είναι πρώτος σε ${\displaystyle O(\log ^{2}n)}$ χρόνο με μία (πολύ) μικρή πιθανότητα λάθους.^{[7]:390-394[8]:56-57} Ο έλεγχος πρώτων αριθμών του Lucas και ο έλεγχος πρώτων των Miller–Rabin βασίζονται σε μικρές παραλλαγές του μικρού θεωρήματος του Φερμά.

Το μικρό θεώρημα του Φερμά είναι η βάση για τη "δοκιμή του Φερμά για το αν ένας αριθμός είναι πρώτος" και ένα από τα θεμελιώδη αποτελέσματα της στοιχειώδους Θεωρίας Αριθμών. Το θεώρημα ονομάστηκε από τον Πιέρ ντε Φερμά, που το διατύπωσε το 1640 και έλαβε το όνομα "μικρό θεώρημα" για να το ξεχωρίσουμε από το "τελευταίο θεώρημα" του Φερμά. Το απέδειξε ο Λέοναρντ Όιλερ το 1736, ο οποίος και το γενίκευσε με το θεώρημα του Όιλερ. Το όνομα "μικρό θεώρημα του Φερμά" το έδωσε το 1913 ο Κουρτ Χένσελ.

• Τελευταίο θεώρημα του Φερμά
• Θεώρημα του Όιλερ