
ώστε
![p_{n}=\left [ 10^{2^{n}}a \right ]-10^{2^{n-1}}\left [ 10^{2^{n-1}}a \right ] p_{n}=\left [ 10^{2^{n}}a \right ]-10^{2^{n-1}}\left [ 10^{2^{n-1}}a \right ]](/forum/ext/geomar/texintegr/latexrender/pictures/d7c49740dec43b823d630070b2c3f328.png)
όπου
είναι ο
στός πρώτοςΣυντονιστής: nkatsipis
ως εξής:
. Από το δεκαδικό ψηφίο της θέσης
μέχρι το δεκαδικό ψηφίο της θέσης
θα τοποθετήσουμε τον αριθμό
. Υπάρχουν
ελεύθερες θέσεις. Αν ο αριθμός
έχει λιγότερα ψηφία, π.χ.
, τότε στην αρχή τοποθετούμε όσα μηδενικά χρειάζονται, δηλαδή
.
είναι καλώς ορισμένο, πρέπει να δείξουμε ότι
ώστε να υπάρχουν όντως όσα ελεύθερα ψηφία χρειάζονται ώστε να τον τοποθετήσουμε. Αυτό αποδεικνύεται εύκολα επαγωγικά χρησιμοποιώντας το δεδομένο (το οποίο προκύπτει από την απόδειξη του Ευκλείδη) ότι
. (Υπάρχουν βέβαια και αρκετά καλύτερα φράγματα.)
έχει την ζητούμενη ιδιότητα.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης