socrates έγραψε:
ΑΣΚΗΣΗ 521
Να βρεθούν όλοι οι άρτιοι θετικοί ακέραιοι

τέτοιοι ώστε
όπου

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

είναι διαιτέρης του

τότε και ο

πρέπει να είναι διαιρέτης του

. Άρα οι

είναι επίσης διαιρέτες του

. Επίσης είναι διαφορετικοί μεταξύ τους και άρα πρέπει να είναι όλοι οι διαιρέτες του

. Επομένως η συνθήκη μετασχηματίζεται σε
ή ισοδύναμα σε
όπου με

συμβολίζουμε το άθροισμα των διαιρετών του

. Ας μελετήσουμε λοιπόν λίγο περισσότερο αυτήν την συνάρτηση.
Έστω ότι

η παράσταση του

σε γινόμενο διαφορετικών πρώτων παραγόντων. Τότε κάθε διαιρέτης του

πρέπει να είναι της μορφής

όπου

για κάθε

. Άρα για να βρούμε το

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

με

για κάθε

. Επιπλέον κάθε τέτοιος αριθμός εμφανίζεται στο άθροισμα ακριβώς μία φορά οπότε το άθροισμα πράγματι ισούται με

.
Επομένως ισχύει ότι
Από εδώ παρατηρούμε άμεσα ότι αν ο

είναι πολλαπλάσιο του

με

τότε
Αυτό γιατί στο αντίστοιχο γινόμενο για το

κάθε ένας από τους παράγοντες είτε θα είναι ο ίδιος είτε θα έχει επιπλέον όρους στο άθροισμά του. Επιπλέον το αντίστοιχο γινόμενο για το

μπορεί να έχει και άλλους παράγοντες που αντιστοιχούν σε πρώτους που δεν διαιρούν

αλλά όχι τον

. Τέλος επειδή

δεν μπορεί να είναι όλοι οι παράγοντες των δύο γινομένων ακριβώς οι ίδιοι.
Πάμε τώρα πίσω στο πρόβλημα. Ξέρουμε ότι

επομένως ο

είναι πολλαπλάσιο του 2003. (Αφού οι

και

δεν έχουν κοινούς παράγοντες.) Επειδή ο

είναι άρτιος, πρέπει να είναι και πολλαπλάσιο του

. Άρα
Όπως έχουμε δείξει πιο πάνω η ισότητα ισχύει αν και μόνο αν

.