初等数论--整除--线性组合与最大公因数之间的关系
初等數論--整除--線性組合與最大公因數之間的關系
博主本人是初學初等數論(整除+同余+原根),本意是想整理一些較難理解的定理、算法,加深記憶也方便日后查找;如果有錯,歡迎指正。
我整理成一個系列:初等數論,方便檢索。
設a,b是兩個不全為零的整數,則(a,b)=min設a,b是兩個不全為零的整數,則(a,b)=min設a,b是兩個不全為零的整數,則(a,b)=min{s:s=ax+by,?x,y∈Z,s>0s:s=ax+by,{\forall}x,y\in Z,s>0s:s=ax+by,?x,y∈Z,s>0}
證明:證明:證明:
由輾轉相除法/歐幾里得算法,我們可得(a,b)=at+bs,?t,s∈Z,現在令d=at′+bs′,t′,s′∈Z,假設d<(a,b),則d=at′+bs′=(a,b)t′′t′+(a,b)s′′s′=(a,b)(t′′t′+s′′s′)即(a,b)∣d,這與d<(a,b)產生矛盾,所以(a,b)是a,b的線性組合中最小的由輾轉相除法/歐幾里得算法,我們可得(a,b)=at+bs,{\exists}t,s \in Z,\\ 現在令d=at'+bs',t',s'\in Z,假設d<(a,b),則\\ d=at'+bs'\\ =(a,b)t''t'+(a,b)s''s'\\ =(a,b)(t''t'+s''s')\\ 即(a,b)|d,這與d<(a,b)產生矛盾,所以(a,b)是a,b的線性組合中最小的由輾轉相除法/歐幾里得算法,我們可得(a,b)=at+bs,?t,s∈Z,現在令d=at′+bs′,t′,s′∈Z,假設d<(a,b),則d=at′+bs′=(a,b)t′′t′+(a,b)s′′s′=(a,b)(t′′t′+s′′s′)即(a,b)∣d,這與d<(a,b)產生矛盾,所以(a,b)是a,b的線性組合中最小的
(a,b)∣at′+bs′,還說明(a,b)|at'+bs',還說明(a,b)∣at′+bs′,還說明{s=ax+by,?x,y∈Z,s>0s=ax+by,{\forall}x,y\in Z,s>0s=ax+by,?x,y∈Z,s>0}這個集合是a,b的最大公因數的倍數的集合這個集合是a,b的最大公因數的倍數的集合這個集合是a,b的最大公因數的倍數的集合
總結
以上是生活随笔為你收集整理的初等数论--整除--线性组合与最大公因数之间的关系的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 初等数论--整除--欧几里得算法/辗转相
- 下一篇: 初等数论--整除--整数表示:算数分解定