Pagina 1 di 1

Problema turco

Inviato: 14 lug 2015, 15:03
da Hawk
Consideriamo: $ \displaystyle\prod_{n=1}^{1996}(1+nx^{3^{n}}) = 1+a_{1}x^{k_{1}}+a_{2}x^{k_{2}}+\cdots+a_{m}x^{k_{m}} $, con $ a_{1},a_{2},..., a_{m} $ diversi da 0 e $ k_{1}< k_{2}< \cdots < k_{m} $. Trovare $ a_{1996} $.

Re: Problema turco

Inviato: 04 set 2015, 15:40
da Simone97
Per caso è $ \frac {10!}{20} $? Se sì scrivo il procedimento

Re: Problema turco

Inviato: 06 set 2015, 17:11
da Hawk
No, mi spiace è sbagliato.

Re: Problema turco

Inviato: 06 set 2015, 19:43
da jordan
Scrivi lo stesso il procedimento, è l'idea che conta, non il risultato..

Re: Problema turco

Inviato: 07 set 2015, 20:06
da Simone97
Va bene, provo.
Intanto, $ \displaystyle k_i =\sum 3^j $, per un qualche insieme di $ j $ in $ {1, 2, ... 1996} $.
I $ k_i $ sono dunque, per ovvie ragioni, tutti e gli unici numeri che possono essere scritti in base $ 3 $ come stringhe di $ 0 $ e $ 1 $ di $ 1997 $ cifre. A questo punto considero la funzione $ f: \{k_i\} \to \{2, 4, ..., 2m\} $, che associa a ogni $ k_i $ il numero $ n $ tale che la rappresentazione in sistema binario di $ n $ sia uguale alla rappresentazione in sistema ternario di $ k_i $: $ f $ è una biiezione, e associa banalmente $ 2i $ a $ k_i $. Ora posso trovare facilmente la rappresentazione di $ k_{1996} $ in base $ 3 $: $ f(k_{1996})=2*1996=111110011000_2 $, perciò $ k_{1996}=111110011000_3 $. Quindi $ k_{1996}=3^3+3^4+3^7+3^8+3^9+3^{10}+3^{11} $.
Da qui concludo che $ a_{1996}=3*4*7*..=\frac{11!}{30} $.
E' scritto un po' male, spero che si capisca..

Re: Problema turco

Inviato: 07 set 2015, 20:38
da Hawk
Sì è giusto, anche il risultato finale. Però dovresti dimostrare che effettivamente esiste la tua $f$, nel senso perchè la rappresentazione in sistema binario di $ 2i $ è "uguale" alla rappresentazione in base $ 3 $ di $ k_i $? Questa implicazione mi sembra tutt'altro che banale.

Re: Problema turco

Inviato: 08 set 2015, 11:15
da Simone97
Dunque, tutte le rappresentazioni in base tre sono tutte le stringhe di $ 1 $ e $ 0 $ di $ 1997 $ cifre che terminano per $ 0 $, dato che nella produttoria non compare $ x^{3^0} $, perciò $ f(\{k_i\})=\{2, 4, ... 2m\} $ . Questo, unito al fatto che $ f $ è monotona (non è difficile da verificare), porta a concludere $ f(k_i)=2i $.
Meglio?