Problema turco

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Hawk
Messaggi: 306
Iscritto il: 20 mag 2010, 19:16
Località: Roma

Problema turco

Messaggio 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} $.
« Due cose hanno soddisfatto la mia mente con nuova e crescente ammirazione e soggezione e hanno occupato persistentemente il mio pensiero: il cielo stellato sopra di me e la legge morale dentro di me. »
Simone97
Messaggi: 13
Iscritto il: 07 mar 2015, 12:12
Località: Piacenza

Re: Problema turco

Messaggio da Simone97 »

Per caso è $ \frac {10!}{20} $? Se sì scrivo il procedimento
Hawk
Messaggi: 306
Iscritto il: 20 mag 2010, 19:16
Località: Roma

Re: Problema turco

Messaggio da Hawk »

No, mi spiace è sbagliato.
« Due cose hanno soddisfatto la mia mente con nuova e crescente ammirazione e soggezione e hanno occupato persistentemente il mio pensiero: il cielo stellato sopra di me e la legge morale dentro di me. »
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Re: Problema turco

Messaggio da jordan »

Scrivi lo stesso il procedimento, è l'idea che conta, non il risultato..
The only goal of science is the honor of the human spirit.
Simone97
Messaggi: 13
Iscritto il: 07 mar 2015, 12:12
Località: Piacenza

Re: Problema turco

Messaggio 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..
Hawk
Messaggi: 306
Iscritto il: 20 mag 2010, 19:16
Località: Roma

Re: Problema turco

Messaggio 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.
« Due cose hanno soddisfatto la mia mente con nuova e crescente ammirazione e soggezione e hanno occupato persistentemente il mio pensiero: il cielo stellato sopra di me e la legge morale dentro di me. »
Simone97
Messaggi: 13
Iscritto il: 07 mar 2015, 12:12
Località: Piacenza

Re: Problema turco

Messaggio 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?
Rispondi