:Trovare tutti gli interi n per cui esistono infinite n-uple $ (x_1, \dots, x_n ) $ tali che:
$ \displaystyle \sum_{i=1}^{n}{4^{x_i}} $e' un quadrato perfetto.
( vi avverto che nn so se il problema e' o no elementare)
Somme di potenze di 4
Somme di potenze di 4
vi propongo questo problema che ho creato a scuola mentre la prof spiegava petrarca :
Trovare tutti gli interi n per cui esistono infinite n-uple $ (x_1, \dots, x_n ) $ tali che:
$ \displaystyle \sum_{i=1}^{n}{4^{x_i}} $e' un quadrato perfetto.
( vi avverto che nn so se il problema e' o no elementare)
:Trovare tutti gli interi n per cui esistono infinite n-uple $ (x_1, \dots, x_n ) $ tali che:
$ \displaystyle \sum_{i=1}^{n}{4^{x_i}} $e' un quadrato perfetto.
( vi avverto che nn so se il problema e' o no elementare)
MIND TORNA CON NOI
-
darkcrystal
- Messaggi: 706
- Iscritto il: 14 set 2005, 11:39
- Località: Chiavari
Dunque, buffa congettura (piever ™)... se e solo se n è congruo a 0 o 1 modulo 3.
Tentiamo di dimostrarla. Sia $ a^2 = \sum 4^{x_i} $ Modulo 3, viene $ n \equiv a^2 $, dunque n NON è congruo a 2 modulo 3.
Lemma. Se c'è una n-upla, ce ne sono infinite: infatti basta aumentare tutti gli esponenti di uno per moltiplicare il risultato per 4, il che ovviamente dà un nuovo quadrato perfetto.
Resta quindi da dimostrare che ce n'è una. Voglio usare solo 1 e 2 (ossia, dimostrare che c'è una n-upla tale che $ x_i = 1 \mbox{ o } 2 \mbox{ } \forall i $). Usiamo k valori uguali a 1, e gli altri uguali a 2.
Si ha allora $ 16(n-k)+4k=a^2 \rightarrow 4(4n-3k)=a^2 $. 4 è un quadrato, (4n-3k) prende tutti i valori congrui a 4n mod 3 e compresi tra n e 4n, e lì in mezzo ci sarà pure un quadrato... (basta prendere $ \lfloor \sqrt{n} \rfloor +1 $ e $ \lfloor \sqrt{n} \rfloor +2 $, e poi controllare i casetti piccoli a mano)
Tutto sempre modulo errori vari.
Bye
!
Tentiamo di dimostrarla. Sia $ a^2 = \sum 4^{x_i} $ Modulo 3, viene $ n \equiv a^2 $, dunque n NON è congruo a 2 modulo 3.
Lemma. Se c'è una n-upla, ce ne sono infinite: infatti basta aumentare tutti gli esponenti di uno per moltiplicare il risultato per 4, il che ovviamente dà un nuovo quadrato perfetto.
Resta quindi da dimostrare che ce n'è una. Voglio usare solo 1 e 2 (ossia, dimostrare che c'è una n-upla tale che $ x_i = 1 \mbox{ o } 2 \mbox{ } \forall i $). Usiamo k valori uguali a 1, e gli altri uguali a 2.
Si ha allora $ 16(n-k)+4k=a^2 \rightarrow 4(4n-3k)=a^2 $. 4 è un quadrato, (4n-3k) prende tutti i valori congrui a 4n mod 3 e compresi tra n e 4n, e lì in mezzo ci sarà pure un quadrato... (basta prendere $ \lfloor \sqrt{n} \rfloor +1 $ e $ \lfloor \sqrt{n} \rfloor +2 $, e poi controllare i casetti piccoli a mano)
Tutto sempre modulo errori vari.
Bye
!"Solo due cose sono infinite: l'universo e la stupidità dell'uomo, e non sono tanto sicuro della prima" - Einstein
Membro dell'EATO
Membro dell'EATO