欧几里得算法--(密码学基础)

根基:gcd(a,b)=gcd(b,a mod b)

先举个例子吧,gcd(16,6)=gcd(6,4)=gcd(4,2)=gcd(2,0)=2

学习这个定理的时候我想了几个问题.

第一个问题:为什么求出的就一定是他们两个数的公约数?

这个问题很简单我们只需要通过几何来计较即可,从横向来看两个2可以组成一个4,而从纵向来看一个4和一个2可以组成一个6(2可以组成纵向长度),而4又可以由2组成,所以2可以组成6,而16由2个6和1个4组成,所以2可以组成横向长度.

第二个问题:问什么求出来的就一定是最大的公约数呢?

gcd(a,b)=gcd(b,a mod b),这个公式是欧几里得算法的根基,只要证明了这个公式,我们就可以证明一定是最大公约数,还是上面的例子gcd(6,16)=gcd(6,16 mod 6)=gcd(6,4),我们可以通过下图即可证明.

我个人认为寻找最大公约数是一个动态的过程,首先16和6中有可能最大的公约数为6,则进行比较,但是16 mod 6 =4 显然不是,之后我们会将6除以2的得数3进行验证(除6之外最有可能的最大公约数),之后16 mod 3 =1,也不是之后便是6除以3=2了,16 mod 2 =0,得出最终结果.

而我们要证明的是gcd(6,16)=gcd(6,16 mod 6)=gcd(6,4) 也就是证明,gcd(a,b)=gcd(b,a mod b),由上图我们可知无论最有可能的最大公约数如何变化(上图为6,3,2),最终解释权始终在4的手上,因为无论最有可能的最大公约数如何变化他都是6个公约数,6和16中的6始终可以mod尽,关键在于4能不能和那个公约数mod尽,所以以此类推可以证明:gcd(a,b)=gcd(b,a mod b),以及一定是最大公约数.

相关推荐
Draina1 天前
在pycharm中运行sagemath脚本的配置过程
ide·python·安全·pycharm·密码学
花木偶3 天前
【郑大二年级信安小学期】Day6:CTF密码学&杂项&工具包
安全·web安全·密码学
Chen--Xing3 天前
第一届OpenHarmonyCTF--Crypto--WriteUp
网络安全·密码学·harmonyos
山登绝顶我为峰 3(^v^)34 天前
如何录制带备注的演示文稿(LaTex Beamer + Pympress)
c++·线性代数·算法·计算机·密码学·音视频·latex
应长天6 天前
密码学(斯坦福)
密码学
Turbo正则7 天前
量子计算基础概念以及八大分支
密码学·量子计算
网安INF18 天前
公钥加密与签名算法计算详解(含计算题例子)
网络·算法·网络安全·密码学
电院工程师19 天前
基于机器学习的侧信道分析(MLSCA)Python实现(带测试)
人工智能·python·嵌入式硬件·安全·机器学习·密码学
电院工程师20 天前
SM3算法C语言实现(无第三方库,带测试)
c语言·算法·安全·密码学
小七mod22 天前
【BTC】密码学原理
web3·区块链·密码学·比特币·btc·肖臻·北大区块链