√2: Μια Ασυνήθιστη Απόδειξη Αρρητότητας - Το Κόλπο του Estermann

📐 Η Κλασική Απόδειξη — και Μια Αλλιώτικη

Η αρρητότητα του \( \sqrt{2} \) είναι ένα από τα παλαιότερα και πιο διάσημα θεωρήματα των μαθηματικών. Η κλασική απόδειξη — αυτή που διδάσκεται στα σχολεία — χρησιμοποιεί άρτιους και περιττούς αριθμούς.

Αλλά υπάρχουν πολλές αποδείξεις — δεκάδες, όπως δείχνει η σχετική βιβλιογραφία. Μερικές είναι τόσο έξυπνες που σε κάνουν να χαμογελάς.

Μια από αυτές δημοσιεύτηκε από τον Γερμανό μαθηματικό Theodor Estermann (1902–1991) το 1975, στο περιοδικό Mathematical Gazette. Αντί να κοιτάξει την αρτιότητα των αριθμών, ο Estermann κοίταξε τους παρονομαστές — και βρήκε μια αντίφαση που κάνει την απόδειξη να στέκεται σχεδόν σε ένα μόνο βήμα.

Η Απόδειξη του Estermann — Βήμα προς Βήμα

Βήμα 1: Ξεκινάμε με μια απλή παρατήρηση:

\[ 1 < \sqrt{2} < 2 \]

Αυτό το ξέρουμε επειδή \( 1^2 < 2 < 2^2 \). Επομένως, ο αριθμός \( \sqrt{2} - 1 \) βρίσκεται ανάμεσα στο 0 και το 1.

Βήμα 2: Υποθέτουμε ότι \( \sqrt{2} \) είναι ρητός. Τότε και ο \( \sqrt{2} - 1 \) είναι ρητός. Μπορούμε να τον γράψουμε ως ανάγωγο κλάσμα:

\[ \sqrt{2} - 1 = \frac{a}{b} \]

με \( a, b \) φυσικούς αριθμούς, \( a < b \) (αφού το κλάσμα είναι μικρότερο του 1), και \( b \) όσο το δυνατόν μικρότερο.

Βήμα 3: Παίρνουμε το αντίστροφο του κλάσματος:

\[ \frac{b}{a} = \frac{1}{\sqrt{2} - 1} \]

Πολλαπλασιάζουμε αριθμητή και παρονομαστή με \( \sqrt{2} + 1 \):

\[ \frac{b}{a} = \frac{\sqrt{2} + 1}{2 - 1} = \sqrt{2} + 1 \]

Βήμα 4: Αφού \( \sqrt{2} = \frac{a}{b} + 1 \), έχουμε \( \sqrt{2} + 1 = \frac{a}{b} + 2 \). Άρα:

\[ \frac{b}{a} = \frac{a}{b} + 2 \]

Βήμα 5: Λύνουμε ως προς \( \frac{a}{b} \):

\[ \frac{a}{b} = \frac{b}{a} - 2 = \frac{b - 2a}{a} \]

Βήμα 6 — Η Αντίφαση: Το κλάσμα \( \frac{a}{b} \) ήταν ανάγωγο, με τον μικρότερο δυνατό παρονομαστή \(b\). Όμως το ίσο κλάσμα \( \frac{b-2a}{a} \) έχει μικρότερο παρονομαστή (\( a < b \)). Ένα ανάγωγο κλάσμα δεν μπορεί ποτέ να ισούται με ένα άλλο κλάσμα με μικρότερο παρονομαστή — άτοπο.

\[ \sqrt{2} \ \text{είναι ΑΡΡΗΤΟΣ} \]

Μια απλή σύγκριση παρονομαστών — και η αρρητότητα του √2 αποδεικνύεται χωρίς να μιλήσουμε ποτέ για άρτιους ή περιττούς αριθμούς. Επαληθεύσαμε συμβολικά κάθε βήμα αυτής της απόδειξης, και είναι πλήρως ορθή.

🌟 Η Ομορφιά της Ιδέας

Η απόδειξη δεν χρησιμοποιεί τίποτα περισσότερο από την ανισότητα \( 1 < \sqrt{2} < 2 \), την έννοια του ανάγωγου κλάσματος, και μια απλή αλγεβρική πράξη. Η ιδέα είναι τόσο απλή που σχεδόν νιώθει κανείς πως θα μπορούσε να την είχε σκεφτεί μόνος του — και αυτό είναι το σημάδι μιας πραγματικά όμορφης απόδειξης.

📜 Μια Σημείωση για την Ιστορία

Ο Theodor Estermann (1902–1991) ήταν Γερμανός μαθηματικός που διέπρεψε στη θεωρία αριθμών. Η απόδειξη δημοσιεύτηκε επίσημα στο άρθρο του «The irrationality of √2», Mathematical Gazette, τόμος 59, τεύχος 408 (1975), σελίδα 110. Η ίδια βασική ιδέα —η σύγκριση παρονομαστών αντί για αρτιότητα— χρησιμοποιήθηκε αργότερα και για την απόδειξη της αρρητότητας της τετραγωνικής ρίζας οποιουδήποτε μη τέλειου τετραγώνου φυσικού αριθμού.

🧠 Το Μάθημα

Η κλασική απόδειξη της αρρητότητας του √2 είναι όμορφη. Αυτή, όμως, δείχνει κάτι επιπλέον: ότι ακόμη και ένα θεώρημα γνωστό από την αρχαιότητα μπορεί να ξαναϊδωθεί με φρέσκα μάτια. Στα μαθηματικά, σπάνια υπάρχει μόνο ένας δρόμος προς την αλήθεια.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →