Ωραία λύση. Δίνω μία διαφορετική μόνο και μόνο για να επισημάνω μία ιδιότητα των ορθογωνίων τριγώνων που συχνά την ξεχνάμε (*).
Μπορούμε χωρίς βλάβη να υποθέσουμε
για κάποια
. Για την απόδειξη παίρνουμε τις τιμές που μας καθοδηγούν οι δύο τελευταίες, δηλαδή
και ελέγχουμε ότι ισχύει και η
.
To πλεονέκτημα είναι ότι τα
είναι "ελεύθερα", χωρίς συνθήκες που τα δένουν, οπότε δεν χρειάζονται τεχνάσματα στον δρόμο. Εδώ
το οποίο μπορούμε να παραγοντοποιήσουμε εύκολα αφού ως πολυώνυμο του
δεν έχει σταθερό όρο και μηδενίζεται για
(το βλέπουμε αυτό πριν ανοίξουμε τις παρενθέσεις).
Θα βρούμε ότι ισούται
Βάζοντας πίσω τις τιμές των
(για παράδειγμα ο όρος
) θα βρούμε
, όπως στην λύση του Πρόδρομου
(*) Σχολιάζω ότι τις παραστάσεις που έγραψα τις συναντάμε όταν δουλεύουμε με ακέραια μεγέθη, αλλά ισχύουν γενικότερα. Στα ακέραια
απλά τα
είναι και αυτά ακέραια, ως γνωστόν από την Θεωρία Αριθμών.