まず、520を17で割った余りを求めます。
520=17×30+10 なので、520≡10(mod17) です。 したがって、与えられた合同式は
10x≡1(mod17) となります。
次に、10の法17における逆元を求めます。つまり、10x≡1(mod17) を満たす x を探します。 10x=17k+1 となる整数 x,k を探します。 10x−17k=1 これは拡張ユークリッドの互除法で解くことができます。しかし、今回は簡単に試すことができます。
x=1,2,3,… で順に試すと、 x=1 のとき、10≡10(mod17) x=2 のとき、20≡3(mod17) x=3 のとき、30≡13(mod17) x=4 のとき、40≡6(mod17) x=5 のとき、50≡16≡−1(mod17) よって、10×5≡−1(mod17) より、 10×(−5)≡1(mod17) したがって、x≡−5≡12(mod17) つまり、x=12 が解の一つです。