Principio di induzione?
Ciao ragazzi mi aiutate?
Devo dimostrare che $2^n - 1$ non è sempre un numero primo, come posso fare?
$P(1) = 2^1 - 1 = 1$
$P(2) = 2^2 - 1 = 3$
$P(3) = 2^3 - 1 = 7$
$P(4) = 2^4 - 1 = 15 ( falsa )$
OK questa è una dimostrazione ma non posso tutte le volte provare tutti i valori giusto? quindi come si fa?
Devo dimostrare che $2^n - 1$ non è sempre un numero primo, come posso fare?
$P(1) = 2^1 - 1 = 1$
$P(2) = 2^2 - 1 = 3$
$P(3) = 2^3 - 1 = 7$
$P(4) = 2^4 - 1 = 15 ( falsa )$
OK questa è una dimostrazione ma non posso tutte le volte provare tutti i valori giusto? quindi come si fa?
Risposte
"ignorante":quello che devi (di)mostrare è che $$\exists n \in \Bbb{N}(2^n-1 \notin \Bbb{P})$$ ed è quello che hai fatto, ovvero hai trovato un \(n \in \Bbb{N}\) tale che \(2^n-1 \notin \Bbb{P}\)
Ciao ragazzi mi aiutate?
Devo dimostrare che $2^n - 1$ non è sempre un numero primo, come posso fare?

P.S.= Come vedi l'induzione serve a poco (per certi aspetti hai usato una sorta di induzione empirica dalla quale però devi generalizzare/formalizzare un po meglio il ragionamento), preciso che \(\Bbb{P}=\text{insieme dei numeri primi}\)...
Ma mettiamo caso che l' $n$ fosse stato il 10 000 esimo numero per dimostrarlo cosi sarebbe stato troppo lungo, possibile non ci sia un metodo più veloce?
« Frustra fit per plura quod fieri potest per pauciora. » 
P.S.= Comunque sono sbadato, devi sapere che \(1 \notin \Bbb{P}\)...

P.S.= Comunque sono sbadato, devi sapere che \(1 \notin \Bbb{P}\)...

Potresti vederla così: se n è pari puoi indicarlo con $n=2h$, allora $2^n -1= 2^(2h)-1$, che è una differenza di quadrati e la puoi scrivere $2^(2h)-1 = (2^h -1)(2^h+1)$, per $h>=2$ si ha che $2^(2h)-1$ è un numero composto. Quindi ottieni un numero composto ogni volta che n è pari e maggiore di 4.
Ok grazie ad entrambi, mi piace la dimostrazione melia! Ma posso chiedere perché 1 non fa parte dei numeri primi? so che è cosi ma perché?
@ignorante, che definizione usi di numero primo?
no lo so che la definizione è quella ma mi chiedevo perché è cosi!
ok grazie!