Problemi sulla divisibilità

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

Problemi sulla divisibilità

Messaggio da Hawk » 03 gen 2012, 19:43

Dato $ n\geq 3 $ con $ n \in \mathbb N $, mostrare che $ 1989 \mid n^{{n}^{n^n}}-n^{n^n} $.
« 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. »

Carlitosming
Messaggi: 18
Iscritto il: 02 apr 2010, 10:50

sulla divisibilità

Messaggio da Carlitosming » 04 gen 2012, 11:17

Hawk ha scritto:Dato $ n\geq 3 $ con $ n \in \mathbb N $, mostrare che $ 1989 \mid n^{{n}^{n^n}}-n^{n^n} $.
Non dovrebbe valere per n=4
Controesempio:13 divide 1989 dunque 13 divide $ n^{{n}^{n^n}}-n^{n^n} $
prendiamo $ n=4 $ e otteniamo $ 4^{4^4}(4^{{4}^{4^3}}-1) $
4 è comprimo con 13,dunque
$ 13 \mid (4^{{4}^{4^3}}-1) $
$ 13 \mid (256^{64}-1) $
$ 13 \mid (256^4-1) $ per teorema di fermat
ma $ (256^4-1) $ è conguro a $ -5 mod 13 $ dunque 13 non divide tutta la roba
Programmare in c
Agostilo Lorenzi
Vittorio Moriggia

Hawk
Messaggi: 306
Iscritto il: 20 mag 2010, 19:16
Località: Roma

Re: Problemi sulla divisibilità

Messaggio da Hawk » 04 gen 2012, 14:55

Un attimo, quando raccogli $ n^{n^n} $ non mi trovo con i conti, es $ n=4 $, dovrebbe venire $ 4^{{4^4}}=4^{256} $ e $ 4^{{4^4}^4}=4^{4^{256}} $ raccogliendo $ 4^{256}(4^{4^{256}-256}-1) $, che è diverso da quello che hai scritto.
« 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. »

LeZ
Messaggi: 284
Iscritto il: 08 mag 2011, 21:28

Re: sulla divisibilità

Messaggio da LeZ » 04 gen 2012, 15:17

Carlitosming ha scritto:
Hawk ha scritto:Dato $ n\geq 3 $ con $ n \in \mathbb N $, mostrare che $ 1989 \mid n^{{n}^{n^n}}-n^{n^n} $.
Non dovrebbe valere per n=4
Controesempio:13 divide 1989 dunque 13 divide $ n^{{n}^{n^n}}-n^{n^n} $
prendiamo $ n=4 $ e otteniamo $ 4^{4^4}(4^{{4}^{4^3}}-1) $
4 è comprimo con 13,dunque
$ 13 \mid (4^{{4}^{4^3}}-1) $
$ 13 \mid (256^{64}-1) $
$ 13 \mid (256^4-1) $ per teorema di fermat
ma $ (256^4-1) $ è conguro a $ -5 mod 13 $ dunque 13 non divide tutta la roba

La potenza è una funzione che va analizzata dall'alto verso il basso. E' sbagliatissimo dire che $ 4^{4^{4^{3}}} $=$ 256^{64} $, in quanto fa$ 4^{4^{64}} $. Notare che $ 256^{64} $ ha $ 155 $ cifre,$ 4^{4^{64}} $oltre $ 2\cdot{10^{38}} $ cifre.

Claudio.
Messaggi: 697
Iscritto il: 29 nov 2009, 21:34

Re: Problemi sulla divisibilità

Messaggio da Claudio. » 04 gen 2012, 17:02

A me al computer risulta che $5^{5^{5^{4}}}\equiv2 \pmod9$...

LeZ
Messaggi: 284
Iscritto il: 08 mag 2011, 21:28

Re: Problemi sulla divisibilità

Messaggio da LeZ » 04 gen 2012, 17:54

$ 1989=3^{2}\cdot{13}\cdot{17} $. Proviamo con $ n=5 $ come suggerito. $ 9\mid {(5^{5^{5^{4}}}-1)} $, ma $ 5^{5^{625}} $ per Eulero, $ 5^{625}\equiv {5 (9)} $, da cui $ 5^5\equiv {2 (9)} $. Effettivamente questo sarebbe un controesempio, ma forse ho commesso io un errore.

Hawk
Messaggi: 306
Iscritto il: 20 mag 2010, 19:16
Località: Roma

Re: Problemi sulla divisibilità

Messaggio da Hawk » 04 gen 2012, 18:20

Scusate, lo già scritto, ma come raccogliete?
A me viene $ 5^{5^5}(5^{5^{5^5}-5^5}-1) $, da dove spunta fuori $ 5^{5^{5^{4}}} $ :? ?
« 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. »

LeZ
Messaggi: 284
Iscritto il: 08 mag 2011, 21:28

Re: Problemi sulla divisibilità

Messaggio da LeZ » 04 gen 2012, 18:56

Hai ragione tu, abbiamo sbagliato a raccogliere ;)

Rispondi