📐 Το Ανάποδο του Fermat
Το Τελευταίο Θεώρημα του Fermat λέει ότι \(a^n + b^n = c^n\) δεν έχει θετικές ακέραιες λύσεις για \(n > 2\). Χρειάστηκαν 358 χρόνια για την απόδειξη.
Το θεώρημα του tamref (Fermat γραμμένο ανάποδα) είναι το αντίστροφο παιχνίδι:
Η εξίσωση
δεν έχει θετικές ακέραιες λύσεις όταν \(N > 2\).
🪄 Η Απόδειξη
Υποθέτουμε \(x \le y < z\) (χωρίς βλάβη της γενικότητας, γιατί \(N^z > N^x, N^y\)).
Διαιρούμε και τα δύο μέλη με \(N^x\):
Άρα:
Και οι δύο παράγοντες δεξιά είναι θετικοί ακέραιοι, άρα και οι δύο ίσοι με 1:
- \(N^{y-x} = 1 \implies y = x\)
- \(N^{z-y} - 1 = 1 \implies N^{z-y} = 2\)
Η μόνη λύση σε θετικούς ακέραιους είναι \(N = 2\) και \(z - y = 1\).
Άρα για \(N > 2\) δεν υπάρχει καμία λύση.
🔢 Η Περίπτωση \(N = 2\)
Όταν \(N = 2\) υπάρχουν άπειρες λύσεις:
δηλαδή \(x = y\) και \(z = x + 1\).
📊 Fermat vs tamref
| Fermat | tamref | |
|---|---|---|
| Εξίσωση | \(a^n + b^n = c^n\) | \(N^x + N^y = N^z\) |
| Συνθήκη | \(n > 2\) | \(N > 2\) |
| Απόδειξη | 358 χρόνια | λίγες γραμμές |
🧠 Το Μάθημα
Μερικές φορές η ομορφιά βρίσκεται στην απλότητα. Το Fermat χρειάστηκε αιώνες. Το tamref χρειάζεται σχεδόν τίποτα — και το όνομά του είναι ανάστροφο.

Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου