Dovendo trovare l'inverso moltiplicativo di 4 mod 9 per la risoluzione della congruenza $ 4x -= 7 (mod 9) $ .
$ mcd(9,4)=1 $
Con l'algoritmo di Euclide trovo
$ 9 = 4*2 +1 $
$ 4 = 1*4 + 0 $
da cui $ 1 = 9 - 4*2 $
L'identità di Bezout è quindi verificata : $ 9*1 - 4*(2) =1 $
x = -2
L'inverso di $ 4 (mod 9) $ è -2 ? Perchè in quel caso avrei come soluzione per la congruenza $ {x=-2+9k| kin Z} $ ma non mi sembra sia corretto.