2019年7月19日
严格证明扩展欧几里得算法的正确性
摘要： 严格证明扩展欧几里得算法的正确性 引理一：$m\mid x_i, i\in[1, k]$，则$m\mid a_1x_1+\dots + a_kx_k, a_i\in Z$ ​ 证明：设$mb_i=x_i$，则$a_1x_1+\dots+a_kx_k=a_1mb_1+\dots+a_kmb_k=m(a 阅读全文
posted @ 2019-07-19 18:58 pechpo 阅读(416) 评论(0) 推荐(0) 编辑