基本概念
如果數a能被數b整除，a就叫做b的倍數，b就叫做a的約數。約數和倍數都表示一個整數與另一個整數的關系，不能單獨存在。如隻能說16是某數的倍數，2是某數的約數，而不能孤立地說16是倍數，2是約數。
"倍"與"倍數"是不同的兩個概念，"倍"是指兩個數相除的商，它可以是整數、小數或者分數。"倍數"隻是在數的整除的範圍内，相對于"約數"而言的一個數字的概念，表示的是能被某一個自然數整除的數。
幾個整數中公有的約數，叫做這幾個數的公約數；其中最大的一個，叫做這幾個數的最大公約數。例如：12、16的公約數有1、2、4，其中最大的一個是4，4是12與16的最大公約數，一般記為（12，16）=4。12、15、18的最大公約數是3，記為（12，15，18）=3。
幾個自然數公有的倍數，叫做這幾個數的公倍數，其中最小的一個自然數，叫做這幾個數的最小公倍數。例如：4的倍數有4、8、12、16，……，6的倍數有6、12、18、24，……，4和6的公倍數有12、24，……，其中最小的是12，一般記為[4，6]=12。12、15、18的最小公倍數是180。記為[12，15，18]=180。若幹個互質數的最小公倍數為它們的乘積的絕對值。
求法
質因數分解法
質因數分解法：把每個數分别分解質因數，再把各數中的全部公有質因數提取出來連乘，所得的積就是這幾個數的最大公約數。
例如：求24和60的最大公約數，先分解質因數，得24=2×2×2×3，60=2×2×3×5，24與60的全部公有的質因數是2、2、3，它們的積是2×2×3=12，所以，（24，60）=12。
把幾個數先分别分解質因數，再把各數中的全部公有的質因數和獨有的質因數提取出來連乘，所得的積就是這幾個數的最小公倍數。
例如：求6和15的最小公倍數。先分解質因數，得6=2×3，15=3×5，6和15的全部公有的質因數是3，6獨有質因數是2，15獨有的質因數是5，2×3×5=30，30裡面包含6的全部質因數2和3，還包含了15的全部質因數3和5，且30是6和15的公倍數中最小的一個，所以[6，15]=30。
短除法
短除法：短除法求最大公約數，先用這幾個數的公約數連續去除，一直除到所有的商互質為止，然後把所有的除數連乘起來，所得的積就是這幾個數的最大公約數。
短除法求最小公倍數，先用這幾個數的公約數去除每個數，再用部分數的公約數去除，并把不能整除的數移下來，一直除到所有的商中每兩個數都是互質的為止，然後把所有的除數和商連乘起來，所得的積就是這幾個數的最小公倍數，例如，求12、15、18的最小公倍數。
短除法的本質就是質因數分解法，隻是将質因數分解用短除符号來進行。
短除符号就是除号倒過來。短除就是在除法中寫除數的地方寫兩個數共有的質因數，然後落下兩個數被公有質因數整除的商，之後再除，以此類推，直到結果互質為止（兩個數互質）。
而在用短除計算多個數時，對其中任意兩個數存在的因數都要算出，其它沒有這個因數的數則原樣落下。直到剩下每兩個都是互質關系。
求最大公因數便乘一邊，求最小公倍數便乘一圈。
無論是短除法，還是分解質因數法，在質因數較大時，都會覺得困難。這時就需要用新的方法。
輾轉相除法
輾轉相除法：輾轉相除法是求兩個自然數的最大公約數的一種方法，也叫歐幾裡德算法。
例如，求（319，377）：
∵319÷377=0（餘319）
∴（319，377）=（377，319）；
∵377÷319=1（餘58）
∴（377，319）=（319，58）；
∵319÷58=5（餘29）
∴（319，58）=（58，29）；
∵58÷29=2（餘0）
∴（58，29）=29；
∴（319，377）=29。
可以寫成右邊的格式。
用輾轉相除法求幾個數的最大公約數，可以先求出其中任意兩個數的最大公約數，再求這個最大公約數與第三個數的最大公約數，依次求下去，直到最後一個數為止。最後所得的那個最大公約數，就是所有這些數的最大公約數。
更相減損法
更相減損法：也叫更相減損術，是出自《九章算術》的一種求最大公約數的算法，它原本是為約分而設計的，但它适用于任何需要求最大公約數的場合。
《九章算術》是中國古代的數學專著，其中的“更相減損術”可以用來求兩個數的最大公約數，即“可半者半之，不可半者，副置分母、子之數，以少減多，更相減損，求其等也。以等數約之。”
翻譯成現代語言如下：
第一步：任意給定兩個正整數；判斷它們是否都是偶數。若是，則用2約簡；若不是則執行第二步。
第二步：以較大的數減較小的數，接着把所得的差與較小的數比較，并以大數減小數。繼續這個操作，直到所得的減數和差相等為止。
則第一步中約掉的若幹個2與第二步中等數的乘積就是所求的最大公約數。
其中所說的“等數”，就是最大公約數。求“等數”的辦法是“更相減損”法。所以更相減損法也叫等值算法。
例1．用更相減損術求98與63的最大公約數。
解：由于63不是偶數，把98和63以大數減小數，并輾轉相減：
98-63=35
63-35=28
35-28=7
28-7=21
21-7=14
14-7=7
所以，98和63的最大公約數等于7。
這個過程可以簡單的寫為：
（98，63）=（35，63）=（35，28）=（7，28）=（7，21）=（7，14）=（7，7）=7.
例2．用更相減損術求260和104的最大公約數。
解：由于260和104均為偶數，首先用2約簡得到130和52，再用2約簡得到65和26。
此時65是奇數而26不是奇數，故把65和26輾轉相減：
65-26=39
39-26=13
26-13=13
所以，260與104的最大公約數等于13乘以第一步中約掉的兩個2，即13*2*2=52。
這個過程可以簡單地寫為：
（260,104）(/2/2)=>（65,26）=（39,26）=（13,26）=（13,13）=13.(*2*2)=>52
比較輾轉相除法與更相減損術的區别
（1）都是求最大公因數的方法，計算上輾轉相除法以除法為主，更相減損術以減法為主，計算次數上輾轉相除法計算次數相對較少，特别當兩個數字大小區别較大時計算次數的區别較明顯。
（2）從結果體現形式來看，輾轉相除法體現結果是以相除餘數為0則得到，而更相減損術則以減數與差相等而得到。
常用結論
在解有關最大公約數、最小公倍數的問題時，常用到以下結論：
（1）如果兩個自然數是互質數，那麼它們的最大公約數是1，最小公倍數是這兩個數的乘積。
例如8和9，它們是互質數，所以（8，9）=1，[8，9]=72。
（2）如果兩個自然數中，較大數是較小數的倍數，那麼較小數就是這兩個數的最大公約數，較大數就是這兩個數的最小公倍數。
例如18與3，18÷3=6，所以（18，3）=3，[18，3]=18。
（3）兩個整數分别除以它們的最大公約數，所得的商是互質數。
例如8和14分别除以它們的最大公約數2，所得的商分别為4和7，那麼4和7是互質數。
（4）兩個自然數的最大公約數與它們的最小公倍數的乘積等于這兩個數的乘積。
例如12和16，（12，16）=4，[12，16]=48，有4×48=12×16，即（12，16）×[12，16]=12×16。
（5）GCD(a,b) is the smallest positive linear combination of a and b. a與b的最大公約數是最小的a與b的正線性組合,即對于方程xa+yb=c來說,若x,a,y,b都為整數,那麼c的最小正根為gcd(a,b).
曆史發展
在求解最大公約數的幾種方法中，輾轉相除法最為出名。輾轉相除法是仍然在使用的曆史最悠久的算法之一。它首次出現于幾何原本（卷7命題1–2、卷10命題2–3）（大約公元前300年）。在卷7中用于整數，在卷10中用于線段的長度（也就是所說的實數，但是當時未有實數的概念）。卷10中出現的算法是幾何的，兩段線段a和b的最大公約數是準确測量a和b的最大長度。
這個算法可能并非歐幾裡得發明，而僅僅是将先人的結果編進他的幾何原本。數學家、曆史學家範德瓦爾登認為卷7的内容可能來自畢達哥拉斯學院出身的數學家寫的關于數論的教科書。輾轉相除法是被大約公元前375年的歐多克斯發現的，但也有可能更早之前就已經存在，因為歐幾裡得和亞裡士多德的這兩位曆史名人著作中都出現了ἀνθυφαίρεσις一詞（anthyphairesis，意為“輾轉相減”），
幾個世紀之後，輾轉相除法又分别被中國人和印度人獨立發現，主要用來解天文學中用到的丢番圖方程以及指定準确的曆法。5世紀末，印度數學家、天文學家阿裡亞哈塔可能是因為輾轉相除法在解丢番圖方程時的高效率而稱它為“粉碎機”。因為在中國，孫子算經中出現了此算法的一個特例中國剩餘定理，但是輾轉相除法的完整表述直到1247年秦九韶的數學九章中才出現。在歐洲，輾轉相除法首次出現于克勞德·巴希特（英語：Claude Gaspard Bachet de Méziriac）的著作Problèmes plaisants et délectables的第二版在歐洲，輾轉相除法廣泛使用于丢番圖方程和連分數。後來，英國數學家桑德森（英語：Nicholas Saunderson）将擴展歐幾裡得算法作為羅傑科茨（英語：Roger Cotes）對計算連分數的方法的研究發表。
19世紀，輾轉相除法孕育出了一些新的數系，如高斯整數和艾森斯坦整數。1815年，高斯用輾轉相除法證明高斯整數的分解是惟一的，他的研究發表于1832年。高斯在他的《算數研究》（published 1801）中，作為處理連分數的方法提到了這個算法。約翰·狄利克雷是第一個将輾轉相除法作為數論的基礎的數學家。狄利克雷提出，數論中的很多結論，如分解的惟一性，在任何使輾轉相除法成立的數系中有效。狄利克雷的觀點被理查德·戴德金修改和推廣，他用輾轉相除法研究代數整數。
戴德金是第一個用高斯整數的分解惟一性證明費馬平方和定理的數學家。戴德金還率先定義了歐幾裡得整環的概念。19世紀末，輾轉相除法的輝煌逐漸被戴德金的理想取代。
輾轉相除法的其他應用發展于19世紀。1829年，施圖姆将輾轉相除法用于施圖姆序列（用于确定多項式的不同實根的個數的方法）。
輾轉相除法是曆史上第一個整數關系算法（英語：integer relation algorithm），即尋找兩數的整數關系的算法。近年來，出現了一些新穎的整數關系算法，如埃拉曼·弗格森（英語：Helaman Ferguson）和福爾卡德于1979年發表的弗格森-福爾卡德算法、以及與它相關的LLL算法（英語：Lenstra–Lenstra–Lovász lattice basis reduction algorithm）、HJLS算法以及PSLQ算法（英語：PSLQ algorithm）。
1969年，科爾(Cole)和戴維(Davie)基于輾轉相除法創造了一種二人遊戲，叫做歐幾裡得遊戲。這個遊戲有最優策略。遊戲開始于兩列分别為a和b個棋子組成的序列，玩家輪流從較長一列中取走較短一列棋子數量的m倍的棋子。如果兩列棋子a和b分别由x和y個棋子組成，其中x大于y，那麼玩家可以序列a的棋子數量減少為自然數x−my。最後率先将一列棋子清空的玩家勝出。
擴展歐幾裡得算法
擴展歐幾裡德算法：擴展歐幾裡得算法（又稱擴充歐幾裡得算法）是用來解某一類特定的不定方程的一種方法，常用用來求解模線性方程及方程組。擴展的歐幾裡得算法可以用來計算模逆元，而模逆元在公鑰密碼學中占有舉足輕重的地位。
基本算法：對于不完全為 0 的非負整數 a，b，gcd（a，b）表示a，b的最大公約數，必然存在整數對x，y，使得gcd（a，b）=ax+by。
證明：設a>b。
1，顯然當 b=0，gcd（a，b）=a。此時x=1，y=0；
2，ab≠0時
設ax1+by1=gcd(a,b);
bx2+(a mod b)y2=gcd(b,a mod b);
根據樸素的歐幾裡德原理有 gcd(a,b)=gcd(b,a mod b);
則：ax1+by1=bx2+(a mod b)y2;
即：ax1+by1=bx2+(a-(a/b)*b)y2=ay2+bx2-(a/b)*by2;
根據恒等定理得：x1=y2; y1=x2-(a/b)*y2;
這樣我們就得到了求解 x1,y1 的方法：x1，y1的值基于x2，y2.
上面的思想是以遞歸定義的，因為gcd不斷的遞歸求解一定會有個時候b=0，所以遞歸可以結束。
Stein算法
歐幾裡德算法是計算兩個數最大公約數的傳統算法，無論從理論還是從實際效率上都是很好的。但是卻有一個緻命的缺陷，這個缺陷在素數比較小的時候一般是感覺不到的，隻有在大素數時才會顯現出來。
Stein算法由J. Stein 1961年提出，這個方法也是計算兩個數的最大公約數。和歐幾裡德算法算法不同的是，Stein算法隻有整數的移位和加減法，這對于程序設計者是一個福音。
Stein算法：
設置A1=A、B1=B和C1=1
1、如果An=0，Bn*Cn是最大公約數，算法結束
2、如果Bn=0，An*Cn是最大公約數，算法結束
3、如果An和Bn都是偶數，則An+1=An/2，Bn+1=Bn/2，Cn+1=Cn*2(注意，乘2隻要把整數左移一位即可，除2隻要把整數右移一位即可)
4、如果An是偶數，Bn不是偶數，則An+1=An/2，Bn+1=Bn，Cn+1=Cn(很顯然，2不是奇數的約數)
5、如果Bn是偶數，An不是偶數，則Bn+1=Bn/2，An+1=An，Cn+1=Cn(很顯然，2不是奇數的約數)
6、如果An和Bn都不是偶數，則An+1=|An-Bn|，Bn+1=min(An,Bn)，Cn+1=Cn
7、n加1，轉步驟1
考慮歐幾裡德算法，最惡劣的情況是，每次叠代a=2b-1,這樣，叠代後，r=b-1。如果a小于2N，這樣大約需要4N次叠代。而考慮Stein算法，每次叠代後，顯然A(n+1)B(n+1)≤AnBn/2，最大叠代次數也不超過4N次。也就是說，叠代次數幾乎是相等的。但是，需要注意的是，對于大素數，試商法将使每次叠代都更複雜，因此對于大素數Stein将更有優勢。
