socrates έγραψε:ΑΣΚΗΣΗ 907:
Βρείτε όλες τις τριάδες ακεραίων

ώστε

Καταρχήν κανένας εκ των

δε μπορεί να είναι αρνητικός
(*) και φανερά

.
Αν

τότε υποχρεωτικά

οπότε η αρχική γίνεται:

, άτοπο διότι το πρώτο μέλος είναι άρτιος ενώ το δεύτερο περιττός.
Άρα

.
Αν

τότε η αρχική γράφεται

. Παίρνοντας

έχουμε:

, άτοπο.
Άρα

.
Παίρνοντας

την αρχική έχουμε:

, απ' όπου ο

είναι περιττός κι έτσι έχουμε

.
Από το μικρό θεώρημα του Fermat παίρνουμε

, άρα το

επαναλαμβάνεται το πολύ κάθε

βήματα (ή διαιρέτη του

). Με απλό έλεγχο έχουμε ότι για να ισχύει η

πρέπει

. Άρα τελικά

και

.
Αντικαθιστώντας στην αρχική έχουμε

και παίρνοντας

έχουμε:

δηλαδή τελικά

και αν διακρίνουμε όλες τις περιπτώσεις να είναι οι

άρτιος-περιττός, καταλήγουμε εύκολα σε άτοπο.
Άρα η αρχική εξίσωση δεν έχει ακέραιες λύσεις.
(*) Σύντομη δικαιολόγηση: Αν

τότε αναγκαστικά οι

είναι αρνητικοί οπότε γράφοντας

με

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

και ένας από τους

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

και τώρα δε μπορεί να είναι οι

ταυτόχρονα αρνητικοί διότι το ένα μέλος είναι

και το άλλο

.
Αν ένας από τους

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

να είναι ίσος με 0 οι οποίες απορρίπτονται πολύ εύκολα.
Αλέξανδρος