🧠 Τι λέει το Αρχιμήδειο αξίωμα;

Το Αρχιμήδειο αξίωμα είναι μια βασική ιδέα της αρχαίας γεωμετρίας και αριθμητικής που λέει το εξής απλό:

👉 Αν έχεις δύο μεγέθη, ένα μικρότερο $A$ και ένα μεγαλύτερο $B$, τότε αν προσθέσεις αρκετές φορές το μικρότερο στον εαυτό του, κάποια στιγμή θα ξεπεράσεις το μεγαλύτερο.

📏 Δηλαδή, για οποιαδήποτε δύο θετικούς αριθμούς $A < B$, υπάρχει ένας ακέραιος αριθμός $m$ τέτοιος ώστε:

$$m \cdot A > B$$

🔁 Παράδειγμα:

Αν $A = 0{,}3$ και $B = 2$, τότε:

• $0{,}3 \cdot 6 = 1{,}8$ (ακόμα μικρότερο)

• $0{,}3 \cdot 7 = 2{,}1$ ✅ (τώρα ξεπεράσαμε το 2)

Άρα το αξίωμα ισχύει.

---

📚 Ιστορικό υπόβαθρο:

Το αξίωμα αυτό διατυπώθηκε ρητά από τον Αρχιμήδη (3ος αιώνας π.Χ.) στο έργο του «Περί σφαίρας και κυλίνδρου», αλλά το είχε ήδη χρησιμοποιήσει ο Εύδοξος ο Κνίδιος, γι' αυτό ονομάζεται και αξίωμα του Ευδόξου.

---

🔬 Γιατί είναι σημαντικό;

Το αξίωμα είναι θεμελιώδες για πολλές μαθηματικές διαδικασίες, όπως:

• Η διαδοχική διαίρεση (π.χ. στον Ευκλείδειο αλγόριθμο),

• Οι βασικές πράξεις στη γεωμετρία και την ανάλυση.

Μόλις τον 19ο αιώνα οι μαθηματικοί ανακάλυψαν ότι υπάρχουν "περίεργα" μεγέθη (τα λεγόμενα μη Αρχιμήδεια μεγέθη) στα οποία δεν ισχύει αυτό το αξίωμα!