Ricavare classe opposta in Z

Kvashir
Ciao ragazzi, ho nuovamente bisogno del vostro aiuto...

Sto cercando di capire come ricavare la classe opposta in questo esercizio:

$2459^547(mod 10)$

potete aiutarmi in modo "semplice" a risolvere il quesito? Ecco il mio ragionamento:

ho diviso $2459$ per $10$ ottenendo così $9^547(mod 10)$

essendo $9$ e $10$ coprimi ho calcolato il $\phi$, ottenendo:

$phi(10) =4$

da ciò so che (per le proprietà delle congruenze?) $9^4-=1(mod 10)$

è corretto? Da ora in poi come proseguo?

Grazie e scusate per la domanda stupida :/

Risposte
Gi81
Ora devi eseguire la divisione euclidea di $547$ per $4$.

$547= q*4 +r$ con $q in ZZ$ e $r in {0,1,2,3}$. Quanto vengono $q$ e $r$?

Kvashir
$547 = 136*4+3$

quindi $q = 136$ $r = 3$

e adesso?

Gi81
Adesso si ha
$9^(547)= 9^((4*136)+3)= 9^(4*136) * 9^3 = (9^4)^136 * 9^3 -=_{mod 10} 1^(136)*9^3 = 9^3 = 729-=_{mod 10} 9$

Kvashir
tutto chiaro tranne una cosa, il $9^3$ da cosa è dato?

Gi81
A quale passaggio ti riferisci?

Kvashir
$9^(4*136)*9^3$

non riesco a scriverlo bene con i simboli ma dovrebbe essere comprensibile :)

edit, sistemato!

Gi81
Vuoi sapere perchè $9^(4*136 +3) = 9^(4*136)*9^3$?

E' una delle proprietà delle potenze: $a^(x+y)= a^x * a^y$
Nel nostro caso $a=9$, $x= 4*136$, $y=3$

Kvashir
oh, ok perfetto! Tutto chiaro, quindi in questo caso, 9 è la classe inversa e per trovare l'opposta? 10-9?

Gi81
Esatto: dato che $[2459^(547)]_{10} = [9]_{10}$, la sua classe opposta è $[1]_{10}$.

Ti volevo consigliare un metodo più veloce di quello standard: una volta arrivato a $9^(547) (mod 10)$ puoi notare che $9-=_{mod 10} -1$, dunque $9^(547) -=_{mod 10} (-1)^(547) = -1 -=_{mod 10} 9$.
In questo modo eviti la fastidiosissima divisione euclidea. Ciao

Kvashir
Grazie, sei gentilissimo... posso fare un'ultima domanda?

Cosa avremmo dovuto fare se 9 e 10 non fossero stati coprimi?

Kashaman
La domanda è mal posta, non ha senso chiedere se $9$ e $10$ non fossero stati coprimi :P
lo sono e basta, sempre.
Ma ho capito cosa vuoi chiedere, ma non esiste un metodo generale.
Ad esempio se avresti avuto
$50^(2985688745632156697)(mod5)$ non avresti dovuto ragionare sugli esponenti, basta che ti accorgevi che $50=0(mod5)$ e quindi anche quella cosa mostruosa è uguale a zero modulo 5.
Se avresti avuto ad esempio

$9^(9875)(mod6)$ avresti dovuto constatare che $9=3(mod6)$ e quindi
$9^(9875)=3^(9875)(mod6)$ a questo punto nessuno dei teoremetti che conosci ti sarebbero stati d'aiuto.
Però puoi constatare una cosa.
$3^1=3, 3^2=9=3 , 3^3=3 , 3^4=3 , 3^5=3,..........,3^10=0(mod6)$
quindi
$9^(9875)=3^(9875)=3^(9870)*3^5=(3^10)^9870*3^5=0*3^5=0(mod6)$

Kvashir
Grazie! :)

Gi81
@Kashaman: perchè $3^(10) -=_{mod 6}0$? :?

Rggb1
"Gi8":
@Kashaman: perchè $3^(10) -=_{mod 6}0$? :?

Infatti... ha fatto vedere che l'esponenziazione è ciclica - sempre 3 - e poi arrivato all'esponente 10 ha scritto 0. :)

Gi81
Già che ci siamo lo sistemo per benino (si scherza, eh :-D )
"Kashaman":
$9^(9875)=3^(9875)=3^(9870)*3^5=(3^10)^9870*3^5=0*3^5=0(mod6)$

Qui ci sono almeno due erroracci (oltre a quello segnalato in precedenza).

Kashaman, hai fatto l'esame l'altroieri! Quanto hai bevuto in questi giorni per dimenticarti le cose basilari? :lol:

Rggb1
"Gi8":
Quanto hai bevuto in questi giorni per dimenticarti le cose basilari? :lol:

:smt005 :smt082 :smt043 :-D

Kashaman
hihi che fesso che sono. Ho dato proprio di matto. Infatti è vero che $3^10=3(mod6)$ .
usando questo fatto ed usando il fatto che $9=3(mod6)$
si può dire che $9^(9875)=3^(9875)=(3^10)^987*3^5=3^987*3$ infatti $3^5=3(mod6)$
Dunque
$3^987*3=(3^10)^98*3^7*3=3^98*3^8$ ora $3^8=3(mod6)$
$3^98*3=(3^10)^9*3^8*3=3^9*3^8*3=3^10*3^8=3*3^8=3^9=19683=3(mod6)$

Penso sia più corretto adesso.

Rggb1
@Kashman
Questo starebbe bene nell'altro thread "Uccidere mosche con un cannone". :-D
Teorema: in $NN$, il valore $x=a^b(mod\ n)$ è periodico, a partire da un valore $h<=n$ con periodo $p<=n$.

La dimostrazione è banale. Ora si ha
$3^1-=3 (mod\ 6)$
$3^2=9-=3(mod\ 6)$
$3^3=27-=3(mod\ 6)$
eccetera. Quindi $3^9875-=3(mod\ 6)$.
;)

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