Σελίδα 1 από 1

Σύνολο με ιδιότητα

Δημοσιεύτηκε: Σάβ Ιαν 23, 2016 10:18 pm
από socrates
Πόσους το πολύ αριθμούς μπορούμε να επιλέξουμε από το σύνολο \{1,2,...,2015\} έτσι ώστε να μην υπάρχουν δύο από αυτούς με διαφορά πρώτο αριθμό;

Re: Σύνολο με ιδιότητα

Δημοσιεύτηκε: Κυρ Ιαν 24, 2016 5:17 pm
από Demetres
Λήμμα: Έστω σύνολο A από 8 συνεχόμενους αριθμούς και έστω B υποσύνολο του A ώστε η διαφορά κάθε δύο αριθμών του B να μην είναι πρώτος. Τότε |B| \leqslant 2.

Απόδειξη λήμματος: Έστω x ο μικρότερος αριθμός του B. Τότε x+2,x+3,x+5,x+7 \notin B άρα οι υπόλοιποι αριθμοί που πιθανό να ανήκουν στο B είναι οι x+1,x+4,x+6. Το πολύ ένας από αυτούς όμως μπορεί να ανήκει στο B αφού οι ανά δύο διαφορές τους είναι πρώτοι.

Πόρισμα: Μπορούμε να διαλέξουμε το πολύ 504 αριθμούς από το \{1,2,\ldots,2015\} με την ζητούμενη ιδιότητα.

Απόδειξη πορίσματος: Άμεση αφού 504 = 2\lceil 2015/8\rceil.

Κατασκευή: Μπορούμε να διαλέξουμε 504 αριθμούς με την ζητούμενη ιδιότητα παίρνοντας όλους τους αριθμούς της μορφής 1 \bmod 4.