🔢 Όταν ένα δισεκατομμύριο έλεγχοι δεν αρκούν: Η εξίσωση 313(x³+y³)=z³

Φανταστείτε ότι εξετάζουμε την εξίσωση

\[ 313(x^3+y^3)=z^3 \]

και δοκιμάζουμε με υπολογιστή τεράστιο αριθμό θετικών ακεραίων \(x,y,z\).

Δεν βρίσκουμε ούτε μία λύση.

Θα ήταν άραγε λογικό να συμπεράνουμε ότι λύσεις δεν υπάρχουν;

Όχι.

Η εξίσωση έχει πράγματι θετικές ακέραιες λύσεις. Το πρόβλημα είναι ότι οι μικρότερες βρίσκονται σε ασύλληπτα μεγάλη κλίμακα.

Σε κλασικές σημειώσεις του MIT αναφέρεται ότι οι μικρότερες θετικές τιμές που δίνουν λύση έχουν πάνω από 1000 ψηφία. :chatgpt-content-reference{index="1"}

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

Επειδή δείχνει με τον πιο καθαρό τρόπο τη διαφορά ανάμεσα σε δύο πράγματα:

«Δεν βρήκα αντιπαράδειγμα»

και

«Απέδειξα ότι αντιπαράδειγμα δεν υπάρχει».

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

Το μάθημα

Ένα δισεκατομμύριο σωστά παραδείγματα δεν αποδεικνύουν μια πρόταση για όλους τους θετικούς ακεραίους. Ένα μόνο αντιπαράδειγμα αρκεί για να την καταρρίψει.

Και πώς βρέθηκαν τόσο τεράστιες λύσεις;

Όχι με απλή brute-force αναζήτηση. Το πρόβλημα συνδέεται με τη θεωρία των ελλειπτικών καμπυλών, όπου χρησιμοποιούνται πολύ πιο βαθιές δομές από έναν απλό έλεγχο διαδοχικών ακεραίων. citeturn835917search35

Μάλιστα, αν επιτρέψουμε και αρνητικούς ακεραίους, έχουν βρεθεί πολύ μικρότερες λύσεις από τον Noam Elkies· όμως αυτές δεν απαντούν στο ίδιο ερώτημα για θετικούς \(x,y,z\). :chatgpt-content-reference{index="3"}

Στα μαθηματικά, το «φαίνεται αληθινό» και το «έχει αποδειχθεί» είναι δύο τελείως διαφορετικά πράγματα.

Και ίσως αυτή η εξίσωση είναι ένα από τα καλύτερα παραδείγματα του γιατί η απόδειξη παραμένει αναντικατάστατη.

📚

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

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

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

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