Open3
????
RSA
使う定理
-
ならa\equiv b \pmod n ac\equiv bc\pmod n -
,p \in \mathbb{P} がx の倍数でないとき、p x^{p-1}\equiv 1 \pmod p -
は整数解を持つax+by=1
証明1.
modの証明で
a\equiv b \pmod n \to a-b \equiv 0 \pmod n
1.1
a\equiv b \pmod n \to a+c \equiv b+c \pmod n
1.2 補足
a\equiv b \pmod n \to ac \equiv bc \pmod n
1.3 1.1の3行目
補足
-
逆の証明
( の最大公約数)=a,b が互いに素1 \Leftrightarrow a,b
a,bの最大公約数を とする.g と表せる.a=ga',b=gb' は互いに素.a',b'
元の式に代入して\begin{gather*} ga'x+gb'y=1\\ g(a'x+b'y)=1\\ \end{gather*} 右辺の因数は1だけなので
g=1
が互いに素\therefore a,b