ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ έγραψε: Δευ Οκτ 09, 2023 7:34 pm
Θεωρούμε θετικό ακέραιο

. Να βρεθούν όλα τα υποσύνολα των θετικών ακεραίων

με την εξής ιδιότητα:
Κάθε θετικός ακέραιος

μπορεί να γραφεί κατά μοναδικό τρόπο ως άθροισμα της μορφής

με τα

να είναι ακέραιοι.
Απάντηση: Αν

, τότε δεν υπάρχει κανένα τέτοιο σύνολο

. Αν

τότε

.
Πράγματι, είναι άμεσο ότι για

τέτοιο σύνολο δεν υπάρχει, ενώ για

γνωρίζουμε ότι κάθε

έχει μοναδική αναπαράσταση σε βάση

, άρα προκύπτει ότι το πιο πάνω σύνολο όντως ικανοποιεί. Μένει να αποδείξουμε ότι είναι και το μοναδικό. Εργαζόμαστε επαγωγικά. Έστω:

για κάθε

ισχύει ότι αν

τότε

με

.
Για

η

ισχύει, καθώς αν

τότε το

δεν γράφεται ως γραμμικός συνδυασμός των στοιχείων του

.
Αν ισχύει η

για κάθε

, τότε αν το

είναι δύναμη του

, τότε το

δεν γράφεται ως γραμμικός συνδυασμός μικρότερων στοιχείων του

(λόγω μοναδικότητας της αναπαράστασης σε βάση

), άρα αναγκαστικά

. Αν πάλι δεν είναι δύναμη του

, τέτοια αναπαράσταση υπάρχει, και αφού είναι μοναδική πρέπει

, όπως θέλαμε.
Χρησιμοποιώντας τώρα την ισχύ της

προκύπτει ο ζητούμενος χαρακτηρισμός του συνόλου

.