Στεκόμαστε στο σημείο (0, 0) του επιπέδου και κοιτάμε γύρω μας τα ακέραια σημεία του επιπέδου, τα σημεία δηλ. που έχουν και τις δύο συντεταγμένες τους ακέραιες. Αν είναι δύο τέτοια σημεία και για κάποιο τότε το σημείο είναι αόρατο σε μας (αφού η ακτίνα του φωτός που ξεκινάει από αυτό και κατευθύνεται προς εμάς κόβεται στο σημείο που βρίσκεται ανάμεσά μας).
Δείξτε ότι το σύνολο των αόρατων ακέραιων σημείων του επιπέδου περιέχει οσοδήποτε μεγάλα κομμάτια, περιέχει δηλ., για κάθε ένα σύνολο της μορφής
για κατάλληλα επιλεγμένα ακέραια .
Για να λυθεί το πρόβλημα αρκεί να βρούμε φυσικούς έτσι ώστε οι να μην είναι πρώτοι μεταξύ τους για
Πρώτα επιλέγουμε τον έτσι ώστε οι να διαιρούνται ο καθένας από τουλάχιστο διαφορετικούς πρώτους.
Επιλέγουμε φυσικούς αριθμούς επαγωγικά ως εξής:
οπότε
.
Στο δεύτερο βήμα ορίζουμε
οπότε
.
Επιπλέον αφού
ο διαιρείται από τουλάχιστο διαφορετικούς πρώτους για .
Επαγωγικά αν οριστεί ο έτσι ώστε οι να διαιρούνται από τουλάχιστο διαφορετικούς πρώτους για ,ορίζουμε
.
Τότε
.
Επιπλέον αφού
ο διαιρείται από τουλάχιστο διαφορετικούς πρώτους για (αφού οι πρώτοι που διαιρούν τον δεν διαιρούν τον ).
Θέτουμε .
Υπάρχουν πρώτοι διαφορετικοί ανά δύο έτσι ώστε για .
Τώρα από το Κινέζικο Θεώρημα μπορούμε να επιλέξουμε έτσι ώστε
Τότε άρα τα είναι αόρατα ακέραια σημεία του επιπέδου.
Μου αρέσει!Μου αρέσει!
Σχόλιο από pamp0s — 14 Ιανουαρίου, 2012 @ 10:15 μμ
Δε μπορώ να δω κάτι.
Για τα βλέπω ότι είναι διαφορετικά μεταξύ τους αλλά όχι αν αλλάξει και ο πρώτος δείκτης. Για παράδειγμα, γιατί είναι τα διαφορετικά;
Μου αρέσει!Μου αρέσει!
Σχόλιο από Mihalis Kolountzakis — 15 Ιανουαρίου, 2012 @ 10:32 μμ
Στη γραμμη του σχολιου ειναι καλύτερα να έλεγα:
» Για επιλέγουμε τον ακέραιο επαγωγικά ως εξής: »
Τώρα η επιλογή των γίνεται ως εξής:
Θέσαμε οπότε οι ακέραιοι διαιρούνται ο καθένας από τουλάχιστο διαφορετικούς πρώτους(Εμάς μας ενδιαφέρει μόνο για τους ).
Επιλέγουμε τους τυχαια από τους πρώτους που διαιρούν τον .
Μετά από τους πρώτους που διαιρούν τον (οι οποίοι είναι τουλάχιστο στο πλήθος) επιλέγουμε τους ετσι ώστε οι να είναι διαφορετικοί ανά δυο.
Συνεχίζοντας επαγωγικά επιλέγουμε τους ετσι ώστε να είναι διαφορετικοί ανά δύο.
Μου αρέσει!Μου αρέσει!
Σχόλιο από pamp0s — 16 Ιανουαρίου, 2012 @ 3:34 μμ
Σωστά, όλα καλά τώρα.
Μου αρέσει!Μου αρέσει!
Σχόλιο από Mihalis Kolountzakis — 16 Ιανουαρίου, 2012 @ 4:25 μμ