Primalità e potenze di 5

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Primalità e potenze di 5

Messaggio da <enigma> » 02 feb 2011, 17:28

(Own) Dimostrare che $ 5^{4n}+5^{3n}+5^{2n}+5^n+1 $ è composto per ogni $ n \in \mathbb N ^\ast $.
Fonte: AMM 109 (2002), problema 10947.
Ultima modifica di <enigma> il 02 feb 2011, 19:20, modificato 1 volta in totale.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)

staffo
Messaggi: 305
Iscritto il: 01 mar 2010, 15:34

Re: Primalità e potenze di 5

Messaggio da staffo » 02 feb 2011, 17:44

Se in N consideri pure lo 0, allora non vale (almeno se ho capito bene io :wink: )

EDIT: scusate, avevo scritto una castronata, ho rimosso per pietà dei vostri occhi XD
Ultima modifica di staffo il 02 feb 2011, 19:01, modificato 5 volte in totale.
[tex]\Lambda \eta \delta r \epsilon \alpha[/tex]

sasha™
Messaggi: 328
Iscritto il: 11 mag 2009, 12:58

Re: Primalità e potenze di 5

Messaggio da sasha™ » 02 feb 2011, 18:52

Posso riscrivere la somma di potenze come $\frac{5^{5n} - 1}{4}$. Osservo che $5^{10} ≡ 1 \pmod{11}$ per FLT, congetturo $5^5 ≡ 1 \pmod{11}$, che è vero, basta verificare. Allora $5^{5n} ≡ 1 \pmod{11}$ per ogni $n$ intero positivo, e siccome $(4, 11)=1$, allora $11$ divide sempre la somma di potenze.

Mist
Messaggi: 542
Iscritto il: 01 gen 2011, 23:52
Località: Provincia di Milano

Re: Primalità e potenze di 5

Messaggio da Mist » 02 feb 2011, 19:02

<enigma> ha scritto:(Own) Dimostrare che $ 5^{4n}+5^{3n}+5^{2n}+5^n+1 $ è composto per ogni $ n \in \mathbb N $.
Fonte: AMM 109 (2002), problema 10947.
$ 5^{4n}+5^{3n}+5^{2n}+5^n+1 = x $
$ 5^{3n}+5^{2n}+5^{n}+5+\frac{1}{5^n} = \frac{x}{5^n} $
$\frac{1}{5^n}-5^{4n} = x\left( \frac{1}{5^n}-1 \right)$
$1-5^{5n} = x(1-5^n)$, $x= \frac{5^{5n}-1}{5^n-1}$
$\upsilon _p (x) = \upsilon _p (5^{5n}-1) - \upsilon _p (5^n-1)= \upsilon _p (5-1) +\upsilon _p (5n) - \upsilon _p (5-1)-\upsilon _p (n) =\upsilon _p (5n) -\upsilon _p (n) $
:shock: così la esce che $5|x$, che è palesemente falso... dove ho sbagliato ?

p.s: mi sa che non ho capito il lifting lemma :oops:
"Se [...] non avessi amore, non sarei nulla."
1Cor 13:2

"[...] e se io non so pentirmi del passato, la libertà è un sogno"
Soren Kierkegaard, Aut-Aut, Ed. Mondadori, pag. 102

ma_go
Site Admin
Messaggi: 1906
Iscritto il: 01 gen 1970, 01:00

Re: Primalità e potenze di 5

Messaggio da ma_go » 02 feb 2011, 19:10

Mist ha scritto:$\upsilon _p (x) = \upsilon _p (5^{5n}-1) - \upsilon _p (5^n-1)= \upsilon _p (5-1) +\upsilon _p (5n) - \upsilon _p (5-1)-\upsilon _p (n) =\upsilon _p (5n) -\upsilon _p (n)$
da quando $v_p(a^b-1) = v_p(a-1)+v_p(b)$?
sasha™ ha scritto:Posso riscrivere la somma di potenze come $\frac{5^{5n}-1}4$.
no (vedi il post di Mist).

Mist
Messaggi: 542
Iscritto il: 01 gen 2011, 23:52
Località: Provincia di Milano

Re: Primalità e potenze di 5

Messaggio da Mist » 02 feb 2011, 19:20

http://www.artofproblemsolving.com/blog/36408

Ok, non mi fiderò mai più di internet :lol:
"Se [...] non avessi amore, non sarei nulla."
1Cor 13:2

"[...] e se io non so pentirmi del passato, la libertà è un sogno"
Soren Kierkegaard, Aut-Aut, Ed. Mondadori, pag. 102

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

Re: Primalità e potenze di 5

Messaggio da <enigma> » 02 feb 2011, 19:23

staffo ha scritto:Se in N consideri pure lo 0, allora non vale (almeno se ho capito bene io :wink: )
Emendato il testo. Grazie per la segnalazione del possibile fraintendimento.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)

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

Re: Primalità e potenze di 5

Messaggio da <enigma> » 02 feb 2011, 19:27

Mist ha scritto:http://www.artofproblemsolving.com/blog/36408

Ok, non mi fiderò mai più di internet :lol:
Quando usi un teorema attento a controllare che siano soddisfatte tutte le sue condizioni! Usando lifting the exponent assumi $ v_p(5-1)>0 $ :?
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)

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

Re: Primalità e potenze di 5

Messaggio da Claudio. » 02 feb 2011, 20:41

Il caso $n \not\equiv 0 \pmod 5 $ si fa facilmente in modo brutale, nel caso n multiplo di 5 usando il computer trovo che il fattore comune più basso è
Testo nascosto:
101
:?

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

Re: Primalità e potenze di 5

Messaggio da <enigma> » 02 feb 2011, 21:34

Claudio. ha scritto:Il caso $n \not\equiv 0 \pmod 5 $ si fa facilmente in modo brutale, nel caso n multiplo di 5 usando il computer trovo che il fattore comune più basso è
Testo nascosto:
101
:?
Ti pare una soluzione? :shock:
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)

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

Re: Primalità e potenze di 5

Messaggio da <enigma> » 02 feb 2011, 21:41

Un'interessante generalizzazione per i più esperti: se $ 1<q\equiv 1 \pmod 4 $ è un numero naturale libero da quadrati, allora $ \Phi _q (q^n) $ è composto per ogni $ n \in \mathbb N ^\ast $.
Piccolo suggerimento:
Testo nascosto:
se $ \zeta $ è una radice $ q $-esima dell'unità allora $ q^n-\zeta $ è una differenza di quadrati in $ \mathbb Z [\zeta ] $.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)

ma_go
Site Admin
Messaggi: 1906
Iscritto il: 01 gen 1970, 01:00

Re: Primalità e potenze di 5

Messaggio da ma_go » 02 feb 2011, 22:23

Mist ha scritto:http://www.artofproblemsolving.com/blog/36408

Ok, non mi fiderò mai più di internet :lol:
credo che sia più utile non fidarsi di me, a questo punto. :roll:
interessante questo lemma.. comunque, come dice <enigma>, occhio alle ipotesi (in particolare quando usi i cannoni).

piever
Messaggi: 645
Iscritto il: 18 feb 2006, 13:15
Località: Roma
Contatta:

Re: Primalità e potenze di 5

Messaggio da piever » 03 feb 2011, 01:27

<enigma> ha scritto:Un'interessante generalizzazione per i più esperti: se $ 1<q\equiv 1 \pmod 4 $ è un numero naturale libero da quadrati, allora $ \Phi _q (q^n) $ è composto per ogni $ n \in \mathbb N ^\ast $.
Nascondo la mia domanda per non spoilerare troppo, per quanto...
Testo nascosto:
Diamine, non vorrai usare: $ \displaystyle q=\left(\sum_{k=1}^{q-1} \left(\frac{k}{q}\right) \zeta ^k \right)^2 $ ?? Il problema è carino per carità, ma se non hai soluzioni elementari avverti i malcapitati... La domanda iniziale, con q=5, ha soluzioni che non usano la fattorizzazione in estensioni ciclotomiche? A manina non riesco a escludere il caso $ n=5^a $
"Sei la Barbara della situazione!" (Tap)

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

Re: Primalità e potenze di 5

Messaggio da Claudio. » 03 feb 2011, 14:24

<enigma> ha scritto:
Claudio. ha scritto:Il caso $n \not\equiv 0 \pmod 5 $ si fa facilmente in modo brutale, nel caso n multiplo di 5 usando il computer trovo che il fattore comune più basso è
Testo nascosto:
101
:?
Ti pare una soluzione? :shock:
No -_- era solo una costatazione sul fatto che bisognava trattare alla fine solo quel caso e che mi sembrava più difficile del previsto, se la tua risposta stava a significare <<non mettere post inutili>> allora forse hai ragione :P

sasha™
Messaggi: 328
Iscritto il: 11 mag 2009, 12:58

Re: Primalità e potenze di 5

Messaggio da sasha™ » 03 feb 2011, 18:33

ma_go ha scritto:
sasha™ ha scritto:Posso riscrivere la somma di potenze come $\frac{5^{5n}-1}4$.
no (vedi il post di Mist).
Ah, che stupido, il denominatore è $5^n-1$, non $4$... Questo perché faccio le cose senza pensare. :lol:
Ovviamente immagino che $(5^n-1, 11) = 1$, per ogni $n$, sia falso... E in effetti non vale se $5|n$.

Se mi dite che c'è una soluzione elementare provo a continuare, altrimenti lascio perdere.

Rispondi