teoria dei numeri

Vuoi proporre i tuoi esercizi? Qui puoi farlo!!

Moderatore: tutor

Bloccato
andrea84
Messaggi: 203
Iscritto il: 01 gen 1970, 01:00
Località: Trento

Messaggio da andrea84 »

Trovare il più piccolo intero n tale che 3^2003 divide 2^n+1.
<BR>
<BR>
<BR>Ciao <IMG SRC="images/forum/icons/icon_biggrin.gif">
Andrea 84 alias Brend
Avatar utente
gip
Messaggi: 86
Iscritto il: 01 gen 1970, 01:00
Località: Pisa, Scuola Superiore Sant'Anna
Contatta:

Messaggio da gip »

<!-- BBCode Quote Start --><TABLE BORDER=0 ALIGN=CENTER WIDTH=85%><TR><TD><font size=-1>Quote:</font><HR></TD></TR><TR><TD><FONT SIZE=-1><BLOCKQUOTE>
<BR>On 2004-07-31 19:38, andrea84 wrote:
<BR>Trovare il più piccolo intero n tale che 3^2003 divide 2^n+1.
<BR>
<BR>Ciao <IMG SRC="images/forum/icons/icon_biggrin.gif">
<BR></BLOCKQUOTE></FONT></TD></TR><TR><TD><HR></TD></TR></TABLE><!-- BBCode Quote End -->
<BR>
<BR>Bello! <IMG SRC="images/forum/icons/icon_smile.gif">
<BR>
<BR>Dimostriamo per induzione che per ogni n si ha che 2<sup>(3^n)</sup> = -1 (mod 3<sup>n+1</sup> ).
<BR>
<BR>Caso base:
<BR>2<sup>3^0</sup> = -1 (mod 3<sup>1</sup>).
<BR>
<BR>Passo induttivo:
<BR>dobbiamo dimostrare che se 2<sup>3^(n-1)</sup> = -1 (mod 3<sup>n</sup>) , allora 2<sup>3^n</sup> = -1 (mod 3<sup>n+1</sup>).
<BR>
<BR>2<sup>3^(n-1)</sup> = -1 (mod 3<sup>n</sup>) corrisponde a dire 2<sup>3^(n-1)</sup>=3<sup>n</sup>-1 (mod 3<sup>n</sup>), da cui anche 2<sup>3^(n-1)</sup>=3<sup>n</sup>-1 (mod 3<sup>n+1</sup>), da cui, elevando tutto al cubo, si ha: 2<sup>3^n</sup> = (3<sup>3n</sup> - 3<sup>(2n+1)</sup> + 3<sup>(n+1)</sup> - 1) (mod 3<sup>n+1</sup>), da cui si ricava 2<sup>3^n</sup> = -1 (mod 3<sup>n+1</sup>), ossia la tesi.
<BR>
<BR>Da questo si ottiene che 3<sup>2002</sup> soddisfa l\'equaz. richiesta. Tale numero è anche il minimo poichè le soluzioni ciclano ogni phi(3<sup>2003</sup>), numero maggiore di 3<sup>2002</sup>.
<BR>
<BR>Ciao!!
<BR>
<BR>[ Questo Messaggio è stato Modificato da: gip il 02-08-2004 01:22 ]<BR><BR>[ Questo Messaggio è stato Modificato da: gip il 02-08-2004 01:33 ]
Bloccato