122. (a+1/2)^n+(b+1/2)^n è intero

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

122. (a+1/2)^n+(b+1/2)^n è intero

Messaggio da jordan » 12 ago 2012, 02:03

Dal 4 agosto Leonida non è si è fatto piu' vivo sul forum, e nessuno ha voluto postare quello nuovo, per cui..

Siano a e b due interi positivi fissati. Mostrare che esiste solo un numero finito di interi positivi n tali che $\displaystyle \left(a+\frac{1}{2}\right)^n+\left(b+\frac{1}{2}\right)^n$ è intero.
The only goal of science is the honor of the human spirit.

Ido Bovski
Messaggi: 232
Iscritto il: 07 mag 2012, 11:51

Re: 122. (a+1/2)^n+(b+1/2)^n è intero

Messaggio da Ido Bovski » 12 ago 2012, 20:34

$\displaystyle \left(a+\frac{1}{2}\right)^n+\left(b+\frac{1}{2}\right)^n=\frac{(2a+1)^n+(2b+1)^n}{2^n}=\frac{1}{2^n}\sum_{k=0}^n 2^k\binom{n}{k}(a^k+b^k)$
  • Se $n\neq 0$ è pari, allora $2^n\nmid (2a+1)^n+(2b+1)^n$, infatti
    $\displaystyle \sum_{k=0}^n 2^k\binom{n}{k}(a^k+b^k)\equiv \sum_{k=0}^1 2^k\binom{n}{k}(a^k+b^k)\equiv 2+2n(a+b)\equiv 2 \not\equiv 0 \pmod 4$
    Dunque non esiste un $n$ che soddisfa le condizioni richieste.
  • Se $n$ è dispari, allora, poiché $2|(2a+1)+(2b+1)$, per LTE
    $\nu_2((2a+1)^n+(2b+1)^n)=\nu_2((2a+1)+(2b+1))=1+\nu_2(a+b+1)$
    Pertanto $2^n|(2a+1)^n+(2b+1)^n$ per $ \lceil (1+\nu_2(a+b+1))/2 \rceil $ scelte di $n$.

Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Re: 122. (a+1/2)^n+(b+1/2)^n è intero

Messaggio da jordan » 13 ago 2012, 14:07

[Edit]: Tutto corretto
Ultima modifica di jordan il 13 ago 2012, 22:21, modificato 1 volta in totale.
The only goal of science is the honor of the human spirit.

Ido Bovski
Messaggi: 232
Iscritto il: 07 mag 2012, 11:51

Re: 122. (a+1/2)^n+(b+1/2)^n è intero

Messaggio da Ido Bovski » 13 ago 2012, 16:21

Proviamo a ragionare...
Se $n$ è dispari allora
$\displaystyle (2a+1)^n+(2b+1)^n=((2a+1)+(2b+1))\sum_{i=1}^n (-1)^{i+1}(2a+1)^{n-i}(2b+1)^{i-1}$
$\displaystyle \sum_{i=1}^n (-1)^{i+1}(2a+1)^{n-i}(2b+1)^{i-1}\equiv \sum_{i=1}^n (-1)^{i+1}\equiv -1 \pmod 2$
Quindi confermo che per $n$ dispari $\nu_2((2a+1)^n+(2b+1)^n)=\nu_2((2a+1)+(2b+1))$.
Dove sbaglio? :roll:

Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Re: 122. (a+1/2)^n+(b+1/2)^n è intero

Messaggio da jordan » 13 ago 2012, 22:13

Ido Bovski ha scritto:Dove sbaglio? :roll:
Errore mio, sorry :P vai pure avanti col prossimo
The only goal of science is the honor of the human spirit.

Rispondi