Dimostrazione numero primo

elios2
Dimostrare che, se un numero primo $p$ è rappresentato dalla formula
$p=2^n+1$,
con $n$ positivo, allora $n$ è una potenza di 2.

[Ho provato a fare: $n=2^a$, quindi $p=2^2^a+1$, ma non so come andare avanti..]

Risposte
fedeb2
invece di fare $n=2^a$ prova a cercare una fattorizzazione di n quando n non è potenza di due, ovveo quando c'è un fattore primo dispari nella sua fattorizzazione
in altri termini, detto $p$ il fattore primo dispari, hai che $n=kp$ dove k puo essere qualsiasi numero.
avrai dunque $2^n+1=(2^p+1)(1-2^p+...+2^((k-1)p))$. occhio che il viceversa non è vero!!

elios2
Non ho capito l'ultimo passaggio..

fedeb2
fattorizzazione di una somma di potenze (su internet trovi in mezzo secondo dispense sull'argomento)
comunque imparale,comprendile e ricordatele perche servono negli esercizi piu disparati (consiglio personale :wink: )
tutto chiaro ora??

elios2
Credo di sì.. Grazie mille per tutte le risposte.

fedeb2
figurati!!!!! :wink:

elios2
Non capisco quel:
$2^n+1=(2^p+1)(1-...)$ perché nella seconda parentesi c'è quell'uno meno... etc?
Quello che ho trovato sulla fattorizzazione di una somma di potenze dall'indice dispari (che è quello che ci interessa) è che tale polinomio è appunto divisibile per la somma delle basi (quello che credo tu hai scritto con $2^p+1$). giusto? (me dubbiosa)

Steven11
Intanto credo si sta facendo confusione su $p$: secondo la traccià è il primo che sta al membro di sinistra, poi fedeb lo ha posto uguale al fattore primo dispari di $n$.

Inoltre non sono sicuro che si possa applicare quella fattorizzazione per qualunque $k$.
Secondo ciò che dici si avrebbe $2^p+1|2^(pk)+1$
che è falso, prendi $p=3$ e $k=4$

Questa strada potrebbe intraprendersi per mostrare che $n$ non è dispari (non so se ce la si fa, non mi ci sono messo), comunque rimarrebbe lo scoglio della potenza di $2$

elios2
Ok, ho capito.. Quindi probabilmente la strada di fedeb non funziona? mmmm... come fare?

fedeb2
scusate un attimo però...
se io ho $2^(p.2^k)+1$ questo si che è fattorizzabile.
basta infatti uguagliarlo a $2^((2^k)p)+1$ e si ottengono esponenti dispari, considerando $2^(2^k)$ come base e p come esponente.
quindi l'unica fattorizzazione infattibile si ha quando nell'esponente ci sono solo 2 e nessun numero dispari

Steven11
Si, è vero.
Diciamo che sono anche stato fuorviato da questo che hai scritto
"fedeb":
detto $p$ il fattore primo dispari, hai che $n=kp$ dove k puo essere qualsiasi numero.
avrai dunque $2^n+1=(2^p+1)(1-2^p+...+2^((k-1)p))$. occhio che il viceversa non è vero!!

perchè mi sa che nella prima parentesi invece di $2^p$ dovevi mettere $2^k$ :-)

fedeb2
vabbe credevo fosse indifferente... :oops:
comunque il ragionamento era quello
quindi abbiamo dimostrato che è fattorizzabile sse non ci sono fattori primi, giusto??

elios2
Grazie a tutti. :D

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.