jordan ha scritto:Own. Quanti sono i numeri con al massimo n cifre che sono multipli di 3 e che non hanno come cifre il 4 e lo 0?
Sia $ j \in \mathbb{Z} $ un intero tale che $ 1 \le j \le n $. Definiamo la funzione $ f_j(x)=(x+x^2+x^3+x^5+x^6+x^7+x^8+x^9)^j $. Possiamo osservare che il coefficiente del monomio di grado $ 3y \le 9j $
conta esattamente quanti sono i multipli di $ 3 $ con somma delle cifre $ 3y $ i quali non hanno il $ 4 $ e lo $ 0 $ nella loro rappresentazione decimale. Esisteranno degli $ \{a_{j,i}\}_{0 \le i \le j} \in \mathbb{N} $ tali che $ \displaystyle f_j(x)=\sum_{i=0}^{9j}{a_{i,j}x^i} $. Per cui siamo interessati a trovare $ \displaystyle \sum_{j=1}^n{\sum_{i=0}^{3j}{a_{3i,j}} $. Possiamo affermare anche che dati $ (a,b,c) \in (\mathbb{Z})^3 $ tali che $ c \in \mathbb{P}:=\{2,3,5,...\} $ e $ (a,c)=1 $ e definita la funzione $ g(x)=ax+b $ allora esiste una bigezione tra $ \{0,1,2,\ldots,c-1\} $ e $ \{g(0),g(1),g(2),\ldots,g(c-1)\} $, infatti, se così non fosse, esisterebbero $ 0 \le \alpha < \beta \le c-1 \text{ con } (\alpha,\beta) \in \mathbb{N}^2 $ tali che $ g(\alpha)=g(\beta) $, ma allora $ a(\alpha-\beta)=0 $ in $ \mathbb{Z}/c\mathbb{Z} $, il che è assurdo per ipotesi. E' vero inoltre che se $ \epsilon $ è una delle $ \varphi(c) $ radici $ c $-esime primitive dell'unità allora $ \displaystyle \sum_{i=0}^{c-1}{\epsilon^i}=0 $. Per cui, assegnata un'arbitraria funzione $ p(x)=x^h $, con $ (h,c)=1 $ avremo $ \displaystyle \sum_{i=0}^{c-1}{p(\epsilon^i)}=\sum_{i=0}^{c-1}{\epsilon^i}=0 $. Applichiamo quanto detto al nostro caso, $ c=3 $.
Avremo direttamente che $ \displaystyle \sum_{j=1}^n{\sum_{i=0}^{3j}{a_{3i,j}}=\frac{1}{3} \sum_{j=1}^n{f_j(1)+f_j(\epsilon)+f_j(\epsilon^2)} $ $ \displaystyle =\frac{1}{3}\sum_{j=1}^n{8^j+(1+\epsilon)^j+(1+\epsilon^2)^j $, dove $ \epsilon $ è qui una radice cubica primitiva dell'unità.
Da qui son solo conti, infatti $ \displaystyle \frac{1}{3}\sum_{j=1}^n{8^j+(1+\epsilon)^j+(1+\epsilon^2)^j= \frac{1}{3} \cdot ( 8 \frac{8^n-1}{7}+ \sum_{j=1}^n{ (-\epsilon)^j+(-\epsilon^2)^j}) $ $ \displaystyle = \frac{1}{3} \cdot ( 8 \frac{8^n-1}{7}-\epsilon \frac{1-(-\epsilon)^n}{1+\epsilon}-\epsilon^2 \frac{1-(-\epsilon^2)^n}{1+\epsilon^2})= $
$ \displaystyle =\frac{1}{3} \cdot ( 8 \frac{8^n-1}{7}+\frac{1-(-\epsilon)^n}{\epsilon}+\epsilon(1-(-\epsilon^2)^n) $. Adesso questo numero sarà senz'altro intero, e possiamo notare che i due fattori in cui compaiono le radici cubiche hanno periodo esattamente pari a $ 6 $, per cui lo avrà anche il risultato.