Η Ιστορία Πίσω από το Όνομα: Μικρό Θεώρημα του Fermat

📜 Πότε γεννήθηκε το όνομα «Μικρό Θεώρημα του Φερμά»;

Μια σύντομη ιστορική αναδρομή στο πώς ένα από τα πιο γνωστά θεωρήματα της θεωρίας αριθμών απέκτησε το όνομά του

---

🔍 Εισαγωγή

Το «Μικρό Θεώρημα του Φερμά» είναι γνωστό σε κάθε μαθηματικό και μαθητή διαγωνισμών. Όμως λίγοι γνωρίζουν πότε και πώς καθιερώθηκε αυτό το όνομα. Ο ίδιος ο Πιερ ντε Φερμά δεν χρησιμοποίησε ποτέ αυτόν τον τίτλο. Το όνομα εμφανίζεται πολύ αργότερα, καθώς το θεώρημα ενσωματώνεται στη σύγχρονη θεωρία αριθμών και ομαδική θεωρία.

Ας δούμε την ιστορική του πορεία.

---

🧭 Τα πρώτα βήματα: Hensel, 1913

Η παλαιότερη γνωστή αναφορά με τον όρο «kleine Fermatsche Satz» (Μικρό Θεώρημα του Φερμά) εντοπίζεται το 1913, στο κλασικό βιβλίο Zahlentheorie του Kurt Hensel:

«Für jede endliche Gruppe besteht nun ein Fundamentalsatz, welcher der kleine Fermatsche Satz genannt zu werden pflegt, weil ein einzelner Fall desselben zuerst von Fermat bewiesen worden ist.»

Μετάφραση:
Για κάθε πεπερασμένη ομάδα υπάρχει ένα θεμελιώδες θεώρημα, που συνηθίζεται να ονομάζεται "Μικρό Θεώρημα του Φερμά", επειδή μια ειδική περίπτωση του αποδείχθηκε πρώτος από τον Φερμά.

Η αναφορά αυτή υπογραμμίζει τη σύνδεση του θεωρήματος με τη γενικότερη αλγεβρική δομή των πεπερασμένων ομάδων.

---

📘 Στα αγγλικά: Uspensky, 1939

Το 1939, ο James V. Uspensky στο βιβλίο του Elementary Number Theory σημειώνει:

"Fermat stated a result from which an important theorem, known today as Fermat’s Little Theorem, follows."

Πρόκειται για μια από τις πρώτες εμφανίσεις της αγγλικής ονομασίας Fermat’s Little Theorem, σε διδακτικό πλαίσιο.

---

📰 Καθιέρωση στον αγγλόφωνο κόσμο: Kaplansky, 1945

Το 1945, στο άρθρο του Lucas’s Tests for Mersenne Numbers στο περιοδικό American Mathematical Monthly, ο Irving Kaplansky χρησιμοποιεί τον όρο με φυσικότητα, δείγμα του ότι είχε ήδη καθιερωθεί:

Fermat’s Little Theorem...

Η πηγή αυτής της παραπομπής παρέχεται από τον μαθηματικό W. Edwin Clark.

---

🧮 Το ίδιο το θεώρημα

Αν $p$ είναι πρώτος και $a$ είναι ακέραιος που δεν διαιρείται από το $\mathrm{p,\; \tau ό\tau \epsilon :}$

$$a^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$$

Αποτελεί θεμέλιο στη θεωρία αριθμών και έχει εφαρμογές:

• Στην κρυπτογραφία

• Στους διαγωνισμούς

• Στην αλγοριθμική αριθμητική

• Στις αποδείξεις με την τεχνική της «αντίφασης mod p»

---

📌 Συμπεράσματα

• Ο Φερμά δεν έδωσε όνομα στο θεώρημά του.

• Ο όρος «Μικρό Θεώρημα του Φερμά» εμφανίζεται το 1913 στα γερμανικά.

• Εδραιώνεται στη μαθηματική εκπαίδευση από το 1939 και στα μαθηματικά περιοδικά από το 1945.

📎 Ένα όνομα που χρειάστηκε πάνω από 250 χρόνια για να καθιερωθεί...