Staffetta tdn

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Nabir Albar
Messaggi: 62
Iscritto il: 22 nov 2010, 19:09
Località: Sto ca... Stoccarda!

Re: Staffetta tdn

Messaggio da Nabir Albar » 06 dic 2010, 22:03

Hai pienamente ragione, riscrivo le idee di fondo :lol:
1) la parte in cui mi riduco alle potenze di primi è la stessa strategia che si usa per dimostrare il Teorema Cinese del Resto, di poco generalizzata
2) i polinomi "nulli" (mod $ \displaystyle p^2 $) sono tutti e soli quelli nella forma $ \displaystyle p^2R_0(x)+px(x-1)\cdots(x-(p-1))R_1(x)+x(x-1)\cdots(x-(p-1))(x-p)(x-(p+1))\cdots(x-(2p-1))R_2(x) $ con $ \displaystyle R_0(x),R_1(x),R_2(x)\in\mathbb{Z}[x] $ di grado minore di p (a parte eventualmente $ \displaystyle R_2(x) $.
3) i polinomi "nulli" (mod $ \displaystyle p^a $ con $ \displaystyle a\le p $) sono tutti e soli quelli nella forma $ \displaystyle p^aR_0(x)+p^{a-1}x(x-1)\cdots(x-(p-1))R_1(x)+p^{a-2}x(x-1)\cdots(x-(2p-1))R_2(x)+\ldots+x(x-1)\cdots(x-(ap-1))R_a(x) $ con $ \displaystyle R_0(x),R_1(x),\ldots,R_a(x)\in\mathbb{Z}[x] $ di grado minore di p (a parte eventualmente $ \displaystyle R_a(x) $.
L'idea ovviamente è che un polinomio nullo è della forma $ \displaystyle \sum_{i=0}^a p^{a-i}(x^p-x)^i R_i(x) $, ma non si può dire a priori.
Cmq il messaggio precedente era la vendetta per l'exponential formula del senior :lol: :wink:

dario2994
Messaggi: 1428
Iscritto il: 10 dic 2008, 21:30

Re: Staffetta tdn

Messaggio da dario2994 » 06 dic 2010, 22:51

Nabir Albar ha scritto: Cmq il messaggio precedente era la vendetta per l'exponential formula del senior :lol: :wink:
:lol:
Comunque perfetto :) A te

p.s. per curiosità... chi sei?
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai

Nabir Albar
Messaggi: 62
Iscritto il: 22 nov 2010, 19:09
Località: Sto ca... Stoccarda!

Re: Staffetta tdn

Messaggio da Nabir Albar » 07 dic 2010, 18:36

Problema 84. Fissato un intero positivo $ z $, mostrare che l'equazione $ n!=z^x-z^y $ ha un numero finito di soluzioni in $ \mathbb{N} $.

Btw, sono il vecchio kn.

dario2994
Messaggi: 1428
Iscritto il: 10 dic 2008, 21:30

Re: Staffetta tdn

Messaggio da dario2994 » 08 dic 2010, 10:52

Se z=1 è ovvio. D'ora in poi sfrutto implicitamente $z>1$
Prendo il minor primo $p>z$.
Assumo esistano infinite soluzione $(a_n,x_n,y_n)$ (crescenti in $a_n$) che soddisfano e tali che $p\le a_n$.
Chiamo Eq:n l'uguaglianza:
$\displaystyle \frac{a_n!}{a_0!}=z^{x_n-x_0}\left(\frac{z^{y_n}-1}{z^{y_0}-1}\right)$
Che si dimostra sfruttando il fatto che le triple sono soluzioni e facendo quindi la divisione membro a membro
In Eq:n LHS è intero, quindi anche RHS lo è perciò $z^{y_n}-1\mid z^{y_0}-1$ da cui deriva $y_0\mid y_n$
Estraggo la valutazione p-adica da entrambe le parti di Eq:n :
$\displaystyle\left\lfloor\frac{a_n-a_0}{p}\right\rfloor\le \upsilon_p\left(\frac{z^{y_n}-1}{z^{y_0}-1}\right)$
Vale $p|z^{y_0}-1$ per la definizione di p, inoltre $y_0\mid y_n$ quindi posso applicare lifting the exponent (il cui nome in italiano è per me ancora un mistero glorioso) ottenendo
$\displaystyle\left\lfloor\frac{a_n-a_0}{p}\right\rfloor\le \upsilon_p\left(\frac{y_n}{y_0}\right)$
Da cui si ottiene:
$\displaystyle y_n\ge p^{\left\lfloor\frac{a_n-a_0}{p}\right\rfloor}$
Ma allora definitivamente $\displaystyle y_n> p^{\frac{a_n}{2p}}$
Deve valere perciò (sfruttando il fatto che $a_n,x_n,y_n$ sono soluzioni) $a_n!\ge z^{x_n}\cdot z^{p^{\frac{a_n}{2p}}}$ definitivamente. Da questo si ottiene che esistono n grandi a piacere (dato che gli $a_n$ sono infiniti sono anche grandi a piacere) tali che (pongo z=2... che è il caso peggiore):
$(2pn)!>2^{p^n}$
Estraggo il logaritmo in base 2 da entrambe le parti e maggiorizzo LHS:
$(2pn)^2>2pn+(2pn-1)+\dots +1>\log(2pn)+\log(2pn-1)+\dots + log(2)+log(1)>p^n$
Che ovviamente è falso definitivamente al crescere di $n$ quindi ho un assurdo da cui gli $a_n$ sono finiti.
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai

Nabir Albar
Messaggi: 62
Iscritto il: 22 nov 2010, 19:09
Località: Sto ca... Stoccarda!

Re: Staffetta tdn

Messaggio da Nabir Albar » 08 dic 2010, 13:58

Molto bene :D
Per chiarezza, hai sostituito implicitamente $ x\mapsto x+y $ e $ y\mapsto x $
Posta pure il nuovo problema

dario2994
Messaggi: 1428
Iscritto il: 10 dic 2008, 21:30

Re: Staffetta tdn

Messaggio da dario2994 » 08 dic 2010, 15:06

Problema 85:
Dato $n\ge 2$ intero, quanto vale:
$\displaystyle\upsilon_2\left(\binom{2^{n+1}}{2^n}-\binom{2^n}{2^{n-1}}\right)$
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai

matty96
Messaggi: 343
Iscritto il: 21 apr 2010, 14:30
Località: Matelandia di Calabria (CS)

Re: Staffetta tdn

Messaggio da matty96 » 08 dic 2010, 19:44

Penso che quel $v(n)$ sia una funzione particolare(?),potresti definirla?
<<Se avessi pensato (se pensassi) che la matematica è solo tecnica
e non anche cultura generale; solo calcolo e non anche filosofia,
cioè pensiero valido per tutti, non avrei fatto il matematico (non
continuerei a farlo)>> (Lucio Lombardo Radice, Istituzioni di
Algebra Astratta).
Mathforum
$ \displaystyle\zeta(s)=\sum_{n=1}^\infty \frac {1}{n^s} $

dario2994
Messaggi: 1428
Iscritto il: 10 dic 2008, 21:30

Re: Staffetta tdn

Messaggio da dario2994 » 08 dic 2010, 19:49

matty96 ha scritto:Penso che quel $v(k)$ sia una funzione particolare(?),potresti definirla?
Dato $p$ primo e $n$ intero positivo definisco $\upsilon_p(n)$ l'esponente di $p$ nella fattorizzazione di $n$
Si chiama valutazione p-adica e si scrive così in latex

Codice: Seleziona tutto

\upsilon_p(n)
Ad esempio $\upsilon_5(15)=1$ e $\upsilon_2(16)=4$ e $\upsilon_{11}(100)=0$
Insomma il problema sta chiedendo quanti 2 dividono quell'espressione ;)
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai

matty96
Messaggi: 343
Iscritto il: 21 apr 2010, 14:30
Località: Matelandia di Calabria (CS)

Re: Staffetta tdn

Messaggio da matty96 » 08 dic 2010, 19:57

ok.....grazie,ora ci penso un pò vediamo cosa ne esce. :wink:
<<Se avessi pensato (se pensassi) che la matematica è solo tecnica
e non anche cultura generale; solo calcolo e non anche filosofia,
cioè pensiero valido per tutti, non avrei fatto il matematico (non
continuerei a farlo)>> (Lucio Lombardo Radice, Istituzioni di
Algebra Astratta).
Mathforum
$ \displaystyle\zeta(s)=\sum_{n=1}^\infty \frac {1}{n^s} $

minima.distanza
Messaggi: 131
Iscritto il: 11 giu 2010, 17:56
Località: Milano, in provincia...

Re: Staffetta tdn

Messaggio da minima.distanza » 08 dic 2010, 21:33

bene, provo.
$ \binom{2^{n+1}}{2^n} -\binom{2^n}{2^{n-1}} = \frac{(2^{n+1})!}{(2^n)!(2^{n+1}-2^{n})!} -\frac{(2^{n})!}{(2^{n-1})!(2^{n}-2^{n-1})!} $. Essendo $ 2^{n+1} -2^n = 2^n $ si ha che l'espressione di partenza diventa:
$ \frac{(2^{n+1})!}{(2^n)!} -\frac{(2^n)!}{(2^{n-1})!} $.
Essendo $ \frac{(2^n)!}{(2^{n-1})!} =(2^{n-1}+1)(2^{n-1}+2) \dots (2^{n-1}+2^{n-1}) = \prod_{r=1}^{2^{n-1}}(2^{n-1}+r) $ Si ottiene che l'espressione di partenza diviene

$ \frac{\prod_{r=1}^{2^n}(2^n-r)}{(2^n)!} -\frac{\prod_{r=1}^{2^{n-1}}(2^{n-1}+r)}{(2^{n-1})!} $

Essendo però $ \prod_{r=1}^{2^{n-1}}(2^{n-1}+r) = \frac{\prod_{r=1}^{2^{n-1}}(2^{n-1}+r)^2}{\prod_{r=1}^{2^{n-1}}(2^{n-1}+r)} = \frac{\prod_{r=1}^{2^{n-1}}(2^{n}+2r)^2}{2^n\prod_{r=1}^{2^{n-1}}(2^{n-1}+r)} $ ( questo avviene in conseguenza del fatto che $ \prod_{r=1}^{2^{n-1}}(2^{n-1}+r)^2 $ ha $ 2^n $ fattori (che sono uguali a due a due, ma ciò ha poca importanza (?)))

Da qui l'espressione iniziale diventa

$ \frac{\prod_{r=1}^{2^{n}}(2^n+r)}{(2^n)!}-\frac{\prod_{r=1}^{2^{n-1}}(2^{n-1}+2r)^2}{(2^n)!\prod_{r=1}^{2^{n-1}}(2^{n-1}+2r)} $

Da cui, "unendo" le due frazioni e ( questa è la cosa che maggiormente mi lascia perplesso ) facendo qualche osservazione furba, si ottiene

$ \frac{\bigl( \prod_{r=1}^{2^{n-1}}(2^{n-1}+r)\prod_{k=1}^{2^{n-1}}(2^n+2k-1) -\prod_{r=1}^{2^{n-1}}(2^r+2r) \bigr) \prod_{r=1}^{2^{n-1}}(2^n+2r)}{(2^n)! \prod_{r=1}^{2^{n-1}}(2^{n-1}+r)} $. Bene.

Faccio alcune osservazioni:
$ \upsilon _2 (\prod_{r=1}^{2^{n-1}}(2^{n-1}+r)) = \upsilon _2 (2^n!) -\upsilon _2 (2^{n-1}!) = 2^n-1-( 2^{n-1} -1)= 2^{n-1} $

$ \upsilon _2 (\prod_{r=1}^{2^{n-1}}(2^r+2r)) = 2^{n-1} +2^{n-1} -1 = 2^n -1 $

EDITATO MOLTE VOLTE : <enigma>: ho corretto la parte giusta ? prima che vado avanti e faccio un disastro...

P.S. : aspetto risposte per fare qualsiasi cosa... :)
PPS: ho provato epr n=2 ed esche che è divisibile, è palese l'errore a questo punto, vedo di correggere in qualche modo...
Ultima modifica di minima.distanza il 08 dic 2010, 22:38, modificato 3 volte in totale.

Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Re: Staffetta tdn

Messaggio da <enigma> » 08 dic 2010, 22:30

Tranquillo, l'errore non è grossolano... è immane. :mrgreen: Visto che sembri avere tanta buona volontà, ti voglio mettere sulla strada giusta:
Testo nascosto:
$ \upsilon _2=3n $.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)

ndp15
Messaggi: 598
Iscritto il: 18 gen 2007, 19:01

Re: Staffetta tdn

Messaggio da ndp15 » 08 dic 2010, 23:17

ATTENZIONE CONTIENE POSSIBILE PROGETTO DI SOLUZIONE (non guardare se si vuole risolvere)
Testo nascosto:
éenso che dario2994 abbia messo il problema pensando a una linea di soluzione che portasse a trovare una formula chiusa carina. Però se mi scrivessi tutto ciò che c'è tra parentesi come prodotto o rapporto di fattoriali (di qualcosa) e poi utilizassi i seguenti fatti: $ v_p(a / b) = v_p(a) - v_p(b) $, $ v_p(ab) = v_p(a) + v_p(b) $ e soprattutto mi scrivessi ogni fattoriale in funzione di $ n $ con la seguente forumla $ \displaystyle v_p(n!) = \frac{n - s_p(n)}{p - 1} $ dove $ s_p(\cdot) $ è definitita come la funzione che associa a ogni intero la somma delle cifre della sua rappresentazione posizionale in base $ p $ non avrei risposto alla richiesta del problema? :roll: Nel caso fosse accettata una soluzione del genere avvisatemi che mi metto a scrivere qualche calcolo concreto.

dario2994
Messaggi: 1428
Iscritto il: 10 dic 2008, 21:30

Re: Staffetta tdn

Messaggio da dario2994 » 09 dic 2010, 13:44

ndp15 ha scritto:ATTENZIONE CONTIENE POSSIBILE PROGETTO DI SOLUZIONE (non guardare se si vuole risolvere)
Testo nascosto:
éenso che dario2994 abbia messo il problema pensando a una linea di soluzione che portasse a trovare una formula chiusa carina. Però se mi scrivessi tutto ciò che c'è tra parentesi come prodotto o rapporto di fattoriali (di qualcosa) e poi utilizassi i seguenti fatti: $ v_p(a / b) = v_p(a) - v_p(b) $, $ v_p(ab) = v_p(a) + v_p(b) $ e soprattutto mi scrivessi ogni fattoriale in funzione di $ n $ con la seguente forumla $ \displaystyle v_p(n!) = \frac{n - s_p(n)}{p - 1} $ dove $ s_p(\cdot) $ è definitita come la funzione che associa a ogni intero la somma delle cifre della sua rappresentazione posizionale in base $ p $ non avrei risposto alla richiesta del problema? :roll: Nel caso fosse accettata una soluzione del genere avvisatemi che mi metto a scrivere qualche calcolo concreto.
È accettata... ma secondo me non ti verrà...
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai

minima.distanza
Messaggi: 131
Iscritto il: 11 giu 2010, 17:56
Località: Milano, in provincia...

Re: Staffetta tdn

Messaggio da minima.distanza » 09 dic 2010, 13:55

<enigma> ha scritto:Tranquillo, l'errore non è grossolano... è immane. :mrgreen: Visto che sembri avere tanta buona volontà, ti voglio mettere sulla strada giusta:
Testo nascosto:
$ \upsilon _2=3n $.
:shock: Non è che ti sei dimenticato qualcosa nell'hint ? non mi sembra avere senso la formula che hai scritto...

Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Re: Staffetta tdn

Messaggio da <enigma> » 09 dic 2010, 14:52

minima.distanza ha scritto:
<enigma> ha scritto:Tranquillo, l'errore non è grossolano... è immane. :mrgreen: Visto che sembri avere tanta buona volontà, ti voglio mettere sulla strada giusta:
Testo nascosto:
$ \upsilon _2=3n $.
:shock: Non è che ti sei dimenticato qualcosa nell'hint ? non mi sembra avere senso la formula che hai scritto...
No, presa così non ha senso: chi vuol capire capisca. Io sono pigrissimo nello scrivere: a cosa potrà mai riferirsi la valutazione diadica? :lol:
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)

Rispondi