【密码学】欧几里得算法扩展形式的证明
by 狐狐的鹿鹿
定理:如果 d=GCD(a,b), 那么存在整数s 和 t 使得 d=as + bt, 并且d是能被这样表示的最小正整数。
证明:
假设 S为 a,b线性组合的集合。S={s=k1a+k2b | k1,k2为整数,s>0},显然a,b本身属于S,且S不为空集
下面用反证法:
假设 d̸ | a, 则a可以容易的表示为:
a = dq + r, 0 < r < d...
原创
2018-12-07 14:34:12 ·
1159 阅读 ·
0 评论