Pagina 1 di 1

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

Inviato: 12 ago 2012, 02:03
da jordan
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.

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

Inviato: 12 ago 2012, 20:34
da Ido Bovski
$\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$.

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

Inviato: 13 ago 2012, 14:07
da jordan
[Edit]: Tutto corretto

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

Inviato: 13 ago 2012, 16:21
da Ido Bovski
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:

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

Inviato: 13 ago 2012, 22:13
da jordan
Ido Bovski ha scritto:Dove sbaglio? :roll:
Errore mio, sorry :P vai pure avanti col prossimo