cretanman έγραψε:
Θέμα 3ο
Δίνονται 81 φυσικοί αριθμοί των οποίων οι πρώτοι διαιρέτες ανήκουν στο σύνολο

. Να αποδείξετε ότι υπάρχουν τέσσερις αριθμοί, από τους 81, που το γινόμενό τους είναι τέταρτη δύναμη φυσικού αριθμού.
Για κάθε ένα από τους αριθμούς

θέτουμε

όπου

είναι οι μεγαλύτερες δυνάμεις του 2,3 και 5 που τον διαιρούν τις οποίες όμως παίρνουμε

. Π.χ.

. Θέλουμε να βρούμε διακεκριμένα

[Αλέξανδρε, πρόσθεσε το διαφορετικοί ανά δύο στην εκφώνηση] ώστε

όπου η πρόσθεση γίνεται ανά συντεταγμένη

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

, μπορούμε να βρούμε αριθμούς

ώστε

. Αφαιρούμε αυτούς τους δύο αριθμούς από την λίστα. Έχουμε ακόμη 79 αριθμούς οπότε μπορούμε να βρούμε

ώστε

. Συνεχίζοντας, μπορούμε να βρούμε διακεκριμένους

ώστε

για κάθε

. Θέτουμε τώρα

και παρατηρούμε ότι

όπου

. Επειδή υπάρχουν 9

και τότε δύο από αυτά, έστω τα

με

είναι ίσα. Αλλά τότε έχουμε

και τελειώσαμε.
----------------------
Ας συμβολίσουμε με

τον μικρότερο αριθμό

ώστε αν έχουμε

φυσικούς αριθμούς των οποίων οι πρώτοι διαιρέτες ανήκουν σε ένα σύνολο

αριθμών τότε μπορούμε να βρούμε

από αυτούς που το άθροισμά τους να είναι τέλεια

δύναμη φυσικού. [Ισοδύναμα αν έχουμε

αριθμούς στο

με ακέραιες συντεταγμένες τότε μπορούμε να βρούμε

από αυτούς ώστε το κέντρο βάρος τους να έχει επίσης ακέραιες συντεταγμένες.] Το πρόβλημα ζητάει να δείξουμε ότι

.
Η εύρεση του

για κάθε ζεύγος

είναι ένα ανοικτό πρόβλημα. Μερικά γνωστά αποτελέσματα είναι τα εξής:

Αυτό είναι γνωστό ως θεώρημα Erdős-Ginzburg-Ziv. [Το είχα βάλει σαν άσκηση
εδώ αλλά έμεινε αναπάντητη.]

Αυτό ήταν γνωστό ως εικασία του Kemnitz. Αποδείχθηκε πριν μερικά χρόνια από τον Christian Reiher. [Γνωστός επίσης και για τα 4 χρυσά και ένα χάλκινο στην ΙΜΟ.]

. (Εύκολο, το αφήνω σαν άσκηση.)

όπου

είναι μια σταθερά που εξαρτάται από το

.
Αν επιτρέπεται η χρήση της εικασίας του Kemnitz, μπορούμε να δείξουμε άμεσα ότι

. Πράγματι από περιστεροφωλιά 13 από αυτές τις τριάδες θα είχαν την ίδια πρώτη συντεταγμένη. Επειδή όμως

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