യൂക്ലിഡിന്റെ അൽഗൊരിതം എന്ന താളിന്റെ മൂലരൂപം കാണുക

{{prettyurl|Euclidean algorithm}} 
[[File:Euclid's algorithm Book VII Proposition 2 3.png|300px|thumb|right|BA, DC എന്ന നീളങ്ങളുടെ ഉസാഘ കണ്ടുപിടിക്കാൻ യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കുന്നു. രണ്ട് നീളങ്ങളും ഒരു അടിസ്ഥാന നീളത്തിന്റെ പൂർണ്ണസംഖ്യാഗുണിതമായാണ് എടുക്കുന്നത്. BA യിൽ നിന്ന് DC ഒരു തവണ കുറച്ചാൽ EA ലഭിക്കുന്നു. ഇതിനുശേഷം DCയിൽ നിന്ന് EA രണ്ടു തവണ കുറയ്ക്കാം. ബാക്കി വരുന്ന CFന്റെ മൂന്നിരട്ടിയാണ് EA. ഇതിനു ശേഷം ശിഷ്ടമില്ലാത്തതിനാൽ CF ആണ് ഉസാഘ എന്ന് ലഭിക്കുന്നു. വലതുഭാഗത്ത് [[നിക്കോമാക്കസ്|നിക്കോമാക്കസിന്റെ ]] ഉദാഹരണമായ 49ന്റെയും 21ന്റെയും ഉസാഘ ഈ വിധത്തിൽ കണ്ടുപിടിക്കുന്നത് കാണിക്കുന്നു (7 ആണ് ഉത്തരം).]]

രണ്ട് [[എണ്ണൽ സംഖ്യ]]കളുടെ [[ഉത്തമ സാധാരണ ഘടകം]] (ഉസാഘ) കാര്യക്ഷമമായി കണ്ടുപിടിക്കാനുള്ള ഒരു ഉപായമാണ് '''യൂക്ലിഡിന്റെ അൽഗൊരിതം''' അഥവാ '''യൂക്ലിഡിയൻ അൽഗൊരിതം'''. പ്രാചീന ഗ്രീസിലെ ഗണിതശാസ്ത്രജ്ഞനായിരുന്ന [[യൂക്ലിഡ്|യൂക്ലിഡിന്റെ]] പേരിലാണ് ഇത് അറിയപ്പെടുന്നത്. ക്രിസ്തുവിന് മുന്നൂറ് വർഷം മുമ്പ് [[എലിമെന്റ്സ്]] എന്ന തന്റെ ഗ്രന്ഥത്തിൽ യൂക്ലിഡാണ് ആദ്യമായി ഈ രീതി വിവരിച്ചത്. ഒരു പ്രശ്നത്തിന്റെ നിർദ്ധാരണത്തിന് പടിപടിയായി ഉപയോഗിക്കുന്ന നിശ്ചിതമായ ക്രിയകളുടെ ശ്രേണിയായ [[അൽഗൊരിതം|അൽഗൊരിതത്തിന്]] ഉത്തമോദാഹരണമാണിത്. [[ഭിന്നസംഖ്യ]]കളെ ലഘൂകരിക്കാനും [[സംഖ്യാസിദ്ധാന്തം|സംഖ്യാസിദ്ധാന്തത്തിലെയും]] [[ഗൂഢാലേഖനവിദ്യ]]യിലെയും മറ്റനേകം കണക്കുകൂട്ടലുകളിലും ഈ അൽഗൊരിതം ഉപയോഗിക്കുന്നു.

രണ്ടു സംഖ്യകളുടെ ഉസാഘ കണ്ടുപിടിക്കുമ്പോൾ വലിയ സംഖ്യയ്ക്കു പകരം സംഖ്യകളുടെ വ്യത്യാസം ഉപയോഗിച്ചാൽ ഉസാഘയിൽ വ്യത്യാസം വരുന്നില്ല എന്ന തത്ത്വമാണ് യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന് അടിസ്ഥാനം. ഉദാഹരണമായി, 252, 105 എന്നീ സംഖ്യകളുടെ ഉസാഘ 21 ആണ് (252&nbsp;=&nbsp;21&nbsp;×&nbsp;12, 105&nbsp;=&nbsp;21&nbsp;×&nbsp;5). 252നു പകരം അതിൽ നിന്ന് 105 കുറച്ചാൽ കിട്ടുന്ന 147 ഉപയോഗിച്ചാൽ ഉസാഘ 21 തന്നെ ലഭിക്കുന്നു (252&nbsp;−&nbsp;105&nbsp;=&nbsp;147&nbsp;=&nbsp;21&nbsp;×&nbsp;7). ഇങ്ങനെ വരുത്തുന്ന മാറ്റം ഓരോ പടിയിലും വലിയ സംഖ്യയുടെ വില കുറയ്ക്കുന്നതിനാൽ സംഖ്യകൾ ചെറുതായി വരുകയും ഒടുവിൽ തുല്യമാവുകയും ചെയ്യും. ആ അവസരത്തിൽ സംഖ്യകളുടെ വില ഉസാഘയ്ക്ക് തുല്യമായിരിക്കും. ഇതിനു ശേഷം അൽഗൊരിതത്തെ പിന്നോട്ടോടിച്ചാൽ ആദ്യത്തെ രണ്ട് സംഖ്യകളെ ഏത് പൂർണ്ണസംഖ്യകൾ കൊണ്ട് ഗുണിച്ച് അവയുടെ തുക കണ്ടാലാണ് ഉസാഘ ലഭിക്കുക എന്ന് കണ്ടുപിടിക്കാം. മുകളിലെ ഉദാഹരണമെടുത്താൽ, {{nowrap begin}}21 = 5 × 105 + (−2) × 252.{{nowrap end}} രണ്ട് സംഖ്യകളുടെ ഉസാഘയെ എല്ലായ്പ്പോഴും അവയുടെ [[രേഖീയസഞ്ചയം|രേഖീയസഞ്ചയമായി]] എഴുതാൻ സാധിക്കും എന്നത് [[ബെസു അനന്യത]] എന്നറിയപ്പെടുന്നു.

അൽഗൊരിതം മേൽ വിവരിച്ച പ്രകാരമാണ് ചെയ്യുന്നതെങ്കിൽ വലിയ സംഖ്യയിൽ നിന്ന് ചെറിയ സംഖ്യ ഒരുപാടു പ്രാവശ്യം കുറയ്ക്കേണ്ടി വന്നേക്കാം. ആദ്യത്തെ സംഖ്യ മറ്റേതിനെക്കാൾ വളരെയധികം വലുതാണെങ്കിലാണ് ഇങ്ങനെ സംഭവിക്കുക. സംഖ്യകൾ കുറയ്ക്കുന്നതിനു പകരം ഹരിച്ചാൽ കിട്ടുന്ന [[ശിഷ്ടം]] ഉപയോഗിച്ചാൽ അൽഗൊരിതത്തിന്റെ കാര്യക്ഷമത വളരെയധികം വർദ്ധിക്കുന്നു. സംഖ്യകൾ തുല്യമാകുന്നതിനു പകരം ഒരു സംഖ്യ പൂജ്യമാകുമ്പോഴാണ് ക്രിയകൾ അവസാനിപ്പിക്കേണ്ടതെന്നു മാത്രം. ചെറിയ സംഖ്യയിൽ ([[ദശാംശ സമ്പ്രദായം|ദശാംശ സമ്പ്രദായത്തിൽ]]) എത്ര അക്കങ്ങളുണ്ടോ അതിന്റെ അഞ്ചു മടങ്ങിൽ കുറവ് ക്രിയകൾ മാത്രമേ കാര്യക്ഷമമായ അൽഗൊരിതത്തിൽ വേണ്ടിവരൂ എന്ന് 1844-ൽ [[ഗബ്രിയേൽ ലാമേ]] തെളിയിച്ചു. ഇതാണ് അൽഗൊരിതങ്ങളുടെ [[ഗണനപരമായ സങ്കീർണ്ണതാസിദ്ധാന്തം|ഗണനപരമായ സങ്കീർണ്ണതാസിദ്ധാന്തത്തിന്]] തുടക്കം കുറിച്ചത്. അൽഗൊരിതത്തിന്റെ കാര്യക്ഷമത വർദ്ധിപ്പിക്കാനുള്ള കൂടുതൽ വഴികൾ ഇരുപതാം നൂറ്റാണ്ടിൽ കണ്ടുപിടിച്ചിട്ടുണ്ട്.

യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന് സൈദ്ധാന്തികമായും പ്രായോഗികമായും വളരെയധികം പ്രയോജനങ്ങളുണ്ട്. [[ഭിന്നസംഖ്യ]]കളെ ലഘൂകരിക്കാനും [[മോഡ്യുലാർ അങ്കഗണിതം|മോഡ്യുലാർ അങ്കഗണിതത്തിൽ]] [[ഹരണം]] നടത്താനും ഇത് ഉപയോഗിക്കാം. [[ഇന്റർനെറ്റ്|ഇന്റർനെറ്റിൽ]] ആശയവിനിമയം നടത്താനുപയോഗിക്കുന്ന [[ഗൂഢാലേഖനവിദ്യ]]യുടെ (ക്രിപ്റ്റോഗ്രാഫി) അടിസ്ഥാനം യൂക്ലിഡിന്റെ അൽഗൊരിതമാാണ്, ഈ ഗൂഢാലേഖനവിദ്യകളെ തകർക്കാൻ വേണ്ടി വലിയ സംഖ്യകളുടെ ഘടകങ്ങൾ കണ്ടെത്താനും ഈ അൽഗൊരിതം ഉപയോഗിക്കുന്നു. [[ഡയൊഫന്റൈൻ സമവാക്യം|ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾ]] നിർദ്ധരിക്കുക, [[ചൈനീസ് ശിഷ്ട പ്രമേയം|ചൈനീസ് ശിഷ്ട പ്രമേയമുപയോഗിച്ച്]] സർവ്വസമതകളുടെ വ്യവസ്ഥകൾക്ക് നിർദ്ധാരണം കാണുക, [[സതതഭിന്നം|സതതഭിന്നങ്ങൾ]] നിർമ്മിക്കുക, [[അഭിന്നകം|അഭിന്നകങ്ങളെ]] ഭിന്നസംഖ്യകളുപയോഗിച്ച് ഏകദേശനം ചെയ്യുക എന്നതിനെല്ലാം സഹായിക്കുന്നതിനു പുറമെ സംഖ്യാസിദ്ധാന്തത്തിലെ പ്രമേയങ്ങൾ തെളിയിക്കാനും ഈ അൽഗൊരിതം സഹായിക്കുന്നു. [[ലഗ്രാഞ്ചിന്റെ നാല് വർഗ്ഗ പ്രമേയം]], [[അങ്കഗണിതത്തിലെ അടിസ്ഥാന സിദ്ധാന്തം|അഭാജ്യ ഘടകക്രിയയുടെ അനന്യത]] എന്നിവ ഇങ്ങനെ തെളിയിക്കാവുന്നവയാണ്. ആദിമ അൽഗൊരിതം സംഖ്യകൾക്കും നീളങ്ങൾക്കും വേണ്ടി മാത്രമുള്ളതായിരുന്നെങ്കിലും പത്തൊമ്പതാം നൂറ്റാണ്ടിൽ [[ഗോസിയൻ പൂർണ്ണസംഖ്യ]]കൾ, ഒരു ചരത്തിലുള്ള [[ബഹുപദം|ബഹുപദങ്ങൾ]] മുതലായവയ്ക്കും ഉപയോഗിക്കാവുന്ന രീതിയിൽ സാമാന്യവൽക്കരിച്ചു. [[അമൂർത്തബീജഗണിതം|അമൂർത്തബീജഗണിതത്തിലെ]] ആധുനിക വിഭാവനമായ [[യൂക്ലിഡിയൻ മണ്ഡലം]] ഇതിനെ അടിസ്ഥാനമാക്കിയുള്ളതാണ്.

== പശ്ചാത്തലം: ഉത്തമ സാധാരണ ഘടകം ==
{{main|ഉത്തമ സാധാരണ ഘടകം}}

''a'', ''b'' എന്ന രണ്ട് എണ്ണൽ സംഖ്യകളുടെ ഉത്തമ സാധാരണ ഘടകം (ഉസാഘ) കണ്ടുപിടിക്കാനാണ് യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കുന്നത്. ''g'' ഇവയുടെ ഉസാഘയാണെങ്കിൽ ''a'', ''b'' എന്നിവയെ ''g'' കൊണ്ടു ഹരിച്ചാൽ ശിഷ്ടം വരാത്ത ഏറ്റവും വലിയ സംഖ്യയായിരിക്കുമത്. ഇംഗ്ലീഷിലെ പല പേരുകളിലൊന്ന് ''greatest common divisor'' എന്നായതിനാൽ gcd(''a'',&nbsp;''b'') എന്നാണ് സാധാരണയായി ഇതിനെ സൂചിപ്പിക്കുന്നത്. (''a'',&nbsp;''b'')<ref>{{Harvnb|Stark|1978|p=16}}</ref> എന്ന് കൂടുതൽ ലളിതമായി എഴുതാമെങ്കിലും [[വലയം (ഗണിതം)|വലയസിദ്ധാന്തത്തിൽ]] [[ഗുണജം|ഗുണജത്തെ]] (ideal) സൂചിപ്പിക്കാനും ഈ പ്രതീകമുപയോഗിക്കുന്നതിനാൽ ആശയക്കുഴപ്പമുണ്ടാകാം.

രണ്ട് സംഖ്യകളുടെ ഉസാഘ 1 ആണെങ്കിൽ അവയെ [[സഹ-അഭാജ്യം]] (coprime) എന്ന് പറയുന്നു.<ref>{{Harvnb|Stark|1978|p=21}}</ref> എന്നാൽ ഇതുകൊണ്ടുമാത്രം സംഖ്യകൾ [[അഭാജ്യസംഖ്യ|അഭാജ്യമാണെന്നു]] വരുന്നില്ല.<ref>{{Harvnb|LeVeque|1996|p=32}}</ref> ഉദാഹരണമായി 6, 35 എന്നീ രണ്ട് സംഖ്യകളും അഭാജ്യമല്ല: 6&nbsp;=&nbsp;2&nbsp;×&nbsp;3, 35&nbsp;=&nbsp;5&nbsp;×&nbsp;7. എങ്കിലും അവ രണ്ടിനെയും ശിഷ്ടം വരാതെ ഹരിക്കാനാകുന്ന ഒരേയൊരു എണ്ണൽ സംഖ്യ 1 ആയതിനാൽ അവ സഹ-അഭാജ്യമാണ്.

[[File:24x60.svg|thumb|upright|24×60 ചതുരത്തെ 12×12 വലിപ്പമുള്ള പത്ത് സമചതുരങ്ങളായി വിഭജിക്കാം. ഇവിടെ 24, 60 എന്നിവയുടെ ഉസാഘയാണ് 12. സാമാന്യവൽക്കരിക്കുകയാണെങ്കിൽ, ''a''×''b'' വലിപ്പമുള്ള ചതുരത്തെ ''c''×''c'' സമചതുരങ്ങളാക്കി മുറിക്കാൻ സാധിക്കുക ''c'' രണ്ട് സംഖ്യകളുടെയും ഭാജകമാവുമ്പോഴാണ്.]]
''g'' = gcd(''a'',&nbsp;''b'') എന്ന് കരുതുക. ''a'', ''b'' എന്നിവ ''g''യുടെ ഗുണിതങ്ങളായതിനാൽ ''a''&nbsp;=&nbsp;''mg'' എന്നും ''b''&nbsp;=&nbsp;''ng'' എന്നും എഴുതാം. ഉസാഘയായതിനാൽ ''G''&nbsp;>&nbsp;''g'' ആയ ഒരു സംഖ്യയെയും ഇപ്രകാരം എഴുതാൻ സാധിക്കുകയുമില്ല. ''m'', ''n'' എന്ന സംഖ്യകൾ സഹ-അഭാജ്യമായിരിക്കണം, അല്ലെങ്കിൽ അവയെ അവയുടെ ഉസാഘ കൊണ്ട് ഗരിച്ച് ''g''യെ ഗുണിക്കുക വഴി ''g''യുടെ വില വർദ്ധിപ്പിക്കാമെന്നു വരും. അതിനാൽ ''a'', ''b'' എന്നിവയുടെ രണ്ടിന്റെയും ഭാജകമായ മറ്റേതെങ്കിലും സംഖ്യ ''c''  ഉണ്ടെങ്കിൽ അത് ''g''യുടെ കൂടി ഭാജകമായിരിക്കണം എന്ന് കാണാം. അതായത്, ''a'', ''b'' എന്നിവയുടെ എല്ലാ ഭാജകങ്ങളുടെയും ഗുണിതമായ ഒരേയൊരു ധനപൂർണ്ണസംഖ്യ എന്ന രീതിയിലും ഉസാഘയെ നിർവചിക്കാം.<ref>{{Harvnb|LeVeque|1996|p=31}}</ref>

ഉസാഘയെ ഈ വിധത്തിൽ ചിത്രീകരിക്കാം.<ref>{{cite book | last = Grossman|first= J. W. | year = 1990 | title = Discrete Mathematics | url = https://archive.org/details/discretemathemat0000gros_a2g6| publisher = Macmillan | location = New York | isbn = 0-02-348331-8 | page = [https://archive.org/details/discretemathemat0000gros_a2g6/page/213 213]}}</ref> ''a'' × ''b'' വിസ്തീർണ്ണമുള്ള ഒരു ചതുരമെടുക്കുക, രണ്ട് വശങ്ങളുടെയും ഭാജകമായ ഒരു ''c'' ഉണ്ടെന്നും കരുതുക. എങ്കിൽ വശങ്ങളെ രണ്ടിനെയും ''c'' നീളമുള്ള ഭാഗങ്ങളായി മുറിക്കാൻ സാധിക്കും, അതുവഴി ചതുരത്തെ ''c''×''c'' വിസ്തീർണ്ണമുള്ള സമചതുരങ്ങളായും ഭാഗിക്കാം. ഇങ്ങനത്തെ ഏറ്റവും വലിയ സമചതുരത്തിന്റെ വശത്തിന്റെ നീളമാണ് ''a'', ''b'' എന്നിവയുടെ ഉസാഘ. ഉദാഹരണമായി, നീളം 60ഉം വീതി 24ഉം ഉള്ള ചതുരത്തെ 1×1, 2×2, 3×3, 4×4, 6×6  അഥവാ 12×12 വിസ്തീർണ്ണമുള്ള സമചതുരങ്ങളായി ഭാഗിക്കാം. അതിനാൽ 24, 60 എന്നീ സംഖ്യകളുടെ ഉസാഘ 12 ആണ്. 24×60 ചതുരത്തെ 12×12 വിസ്തീർണ്ണമുള്ള സമചതുരങ്ങളാക്കിയാൽ വീതിയുടെ ഭാഗത്ത് രണ്ടും (24/12&nbsp;=&nbsp;2) നീളത്തിന്റെ ഭാഗത്ത് അഞ്ചും (60/12&nbsp;=&nbsp;5) സമചതുരങ്ങളാണുണ്ടാവുക.

രണ്ട് സംഘ്യകളുടെയും [[അഭാജ്യഘടകം|അഭാജ്യഘടകങ്ങളുടെ]] ഗുണനഫലമാണ് അവയുടെ ഉസാഘ. ഇതിൽ ഒരേ അഭാജ്യഘടകം ഒന്നിലേറെ തവണ ഉപയോഗിക്കാം, എന്നാൽ അവയുടെ ഗുണനഫലം രണ്ട് സംഖ്യകളുടെയും ഭാജകമായി തുടരുന്നതുവരെ മാത്രമേ ഇങ്ങനെ ചെയ്യാവൂ.<ref name="Schroeder_21" >{{Harvnb|Schroeder|2005|pp=21–22}}</ref> ഉദാഹണമായി, 1836 നെ 2&nbsp;×&nbsp;3&nbsp;×&nbsp;3&nbsp;×&nbsp;7&nbsp;×&nbsp;11 എന്നും 3213 നെ 3&nbsp;×&nbsp;3&nbsp;×&nbsp;3&nbsp;×&nbsp;7&nbsp;×&nbsp;17 എന്നും അഭാജ്യഘടകങ്ങളായി [[ഘടകക്രിയ]] ചെയ്യാം. അവയുടെ ഉസാഘ പൊതുവായ അഭാജ്യഘടകങ്ങളുടെ ഗുണനഫലമായ 63&nbsp;=&nbsp;3&nbsp;×&nbsp;3&nbsp;×&nbsp;7 ആണ്. രണ്ട് സംഖ്യകൾക്ക് പൊതുവായി അഭാജ്യഘടകങ്ങളൊന്നുമില്ലെങ്കിൽ അവയുടെ ഉസാഘ 1 ആയിരിക്കും (ശൂന്യഗണത്തിന്റെ ഗുണനഫലം), ആയതിനാൽ അവ സഹ-അഭാജ്യമായിരിക്കും. ഘടകക്രിയ ചെയ്യാതെ തന്നെ ഉസാഘ കണ്ടുപിടിക്കാമെന്നതാണ് യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ ഒരു പ്രധാനമായ മെച്ചം.<ref>{{Harvnb|Schroeder|2005|p=19}}</ref><ref>{{cite book | last1 = Ogilvy | first1 = C. S. | author1-link = C. Stanley Ogilvy | last2 = Anderson | first2 = J. T. | year = 1966 | title = Excursions in number theory | url = https://archive.org/details/excursionsnumber00ogil_463 | publisher = [[Oxford University Press]] | location = New York | pages = [https://archive.org/details/excursionsnumber00ogil_463/page/n32 27]–29}}</ref> വലിയ സംഖ്യകളെ ഘടകക്രിയ ചെയ്യുന്നത് [[ഗണനപരമായ സങ്കീർണ്ണത]]യേറിയ പ്രശ്നമാണെന്ന് വിശ്വസിക്കപ്പെടുന്നു, വ്യാപകമായി ഉപയോഗിക്കപ്പെടുന്ന ചില [[ഗൂഢാലേഖനവിദ്യ]]കളുടെ സ്ഥൈര്യത്തിന് അടിസ്ഥാനം തന്നെ ഈ സങ്കീർണ്ണതയാണ്.<ref name="Schroeder_216" >{{Harvnb|Schroeder|2005|pp=216–219}}</ref>

വലയസിദ്ധാന്തം പോലുള്ള ഉയർന്ന ഗണിതശാസ്ത്രശാഖകളിൽ ഉപയോഗം വരുന്ന മറ്റൊരു വിധത്തിലും ഉസാഘയെ നിർവചിക്കാം:<ref name="Leveque_p33" >{{Harvnb|LeVeque|1996|p=33}}</ref> രണ്ട് സംഖ്യകളുടെ പൂർണ്ണസംഖ്യകൾകൊണ്ടുള്ള രേഖീയസഞ്ചയങ്ങളിൽ (linear combinations) വച്ച് ഏറ്റവും ചെറിയ ധനസംഖ്യയാണ് ഉസാഘ. അതായത്, ''u'', ''v'' എന്നിവ പൂർണ്ണസംഖ്യകളായുള്ള ''ua''&nbsp;+&nbsp;''vb'' എന്ന തരത്തിലുള്ള ഏറ്റവും ചെറീയ ധനസംഖ്യ. ''a'', ''b'' എന്നിവയുടെ പൂർണ്ണസംഖ്യകൾ കൊണ്ടുള്ള രേഖീയസഞ്ചയങ്ങളുടെ ഗണം ''g'' യുടെ ഗുണിതങ്ങളുടെ (''mg'', ഇവിടെ ''m'' ഒരു പൂർണ്ണസംഖ്യയാണ്) ഗണം തന്നെയാണ്. ആധുനിക ഗണിതശാസ്ത്രത്തിന്റെ ഭാഷയിൽ പറഞ്ഞാൽ, ''a'', ''b'' എന്നിവ ജനകങ്ങളായുള്ള ഗുണജം ''g'' മാത്രം ജനകമായുള്ള ഗുണജത്തിന് തുല്യമാണ്. ഒറ്റ അംഗം ജനകമായുള്ള ഗുണജത്തെ പ്രിൻസിപൽ ഗുണജം എന്ന് വിളിക്കുന്നു. പൂർണ്ണസംഖ്യകളുടെ ഗുണജങ്ങളെല്ലാം തന്നെ പ്രിൻസിപൽ ആണ്. ഉസാഘയുടെ ചില ഗുണധർമ്മങ്ങൾ തെളിയിക്കാൻ ഈ നിർവചനമാണ് കൂടുതൽ സഹായകമാവുക. ഉദാഹരണമായി, രണ്ട് സംഖ്യകളുടെ പൊതുഭാജകങ്ങളെല്ലാം അവയുടെ ഉസാഘയുടെ ഭാജകമായിരിക്കണമെന്നത് നിർവചനത്തിൽ നിന്ന് നേരിട്ട് നിരീക്ഷിക്കാം. ഈ നിർവചനങ്ങളുടെയെല്ലാം തുല്യത താഴെ തെളിയിക്കുന്നുണ്ട്.

മൂന്നോ അധികമോ സംഖ്യകളുടെ ഉസാഘ അവയുടെ പൊതുവായ അഭാജ്യഘടകങ്ങളുടെ ഗുണനഫലമാണ്.<ref>{{Harvnb|Stark|1978|p=25}}</ref> സംഖ്യകളെ ഈരണ്ടെണ്ണമായെടുത്ത് ഉസാഘ കണ്ടാലും മതി..<ref>{{Harvnb|Ore|1948|pp=47–48}}</ref> ഉദാഹരണമായി,
: {{math|1=gcd(''a'',&nbsp;''b'',&nbsp;''c'') = gcd(''a'',&nbsp;gcd(''b'',&nbsp;''c'')) = gcd(gcd(''a'',&nbsp;''b''),&nbsp;''c'') = gcd(gcd(''a'',&nbsp;''c''),&nbsp;''b'').}}
അതിനാൽ രണ്ട് സംഖ്യകളുടെ ഉസാഘ കണ്ടുപിടിക്കാനുതകുന്ന യൂക്ലിഡിന്റെ അൽഗൊരിതം രണ്ടിൽ കൂടുതൽ സംഖ്യകൾക്കു വേണ്ടിയും ഉപയോഗിക്കാം.

== വിവരണം ==
=== നടപടിക്രമം ===
യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിൽ ഒരേ ക്രിയ തന്നെ അൽഗൊരിതത്തിന്റെ അവസാനം വരെ കറേ തവണ ആവർത്തിക്കുന്നു. ഓരോ ക്രിയയുടെയും ഫലം അടുത്ത പടിയിൽ ഉപയോഗിക്കും. ഇതുവരെ ചെയ്ത ക്രിയകളുടെ എണ്ണം ''k'' ആണെന്നെടുക്കുക. അൽഗൊരിതത്തിന്റെ തുടക്കത്തിൽ ''k''&nbsp;=&nbsp;0 ആയിരിക്കും, അടുത്ത പടിയിൽ ''k''&nbsp;=&nbsp;1 അങ്ങനെ വർദ്ധിച്ചുവരുന്നു.

ഓരോ ക്രിയയുടെയും ഇൻപുട്ട് ''r''<sub>''k''&minus;1</sub>, ''r''<sub>''k''&minus;2</sub> എന്ന രണ്ട് ശിഷ്ടങ്ങളാണ്, ഇവ രണ്ടും ധനപൂർണ്ണസംഖ്യകളോ പൂജ്യമോ ആയിരിക്കും. അൽഗൊരിതത്തിന്റെ ഓരോ പടിയിലും ശിഷ്ടങ്ങൾ കുറഞ്ഞുവരുന്നതിനാൾ ''r''<sub>''k''&minus;1</sub> അതിന്റെ മുൻഗാമിയായ ''r''<sub>''k''&minus;2</sub> നെക്കാൾ ചെറുതായിരിക്കും. താഴെ കൊടുത്തിരിക്കുന്ന സമവാക്യത്തിന് നിർദ്ധാരണമായി ''q''<sub>''k''</sub> എന്ന ഹരണഫലവും ''r''<sub>''k''</sub> എന്ന ശിഷ്ടവും കണ്ടുപിടിക്കുകയാണ് ''k''ആമത്തെ പടിയുടെ ലക്ഷ്യം.
:<math>r_{k-2} = q_k r_{k-1} + r_k</math>
ഈ നിർദ്ധാരണത്തിൽ ''r''<sub>''k''</sub>&nbsp;<&nbsp;''r''<sub>''k''&minus;1</sub> ആയിരിക്കുകയും വേണം. മറ്റൊരു രീതിയിൽ പറഞ്ഞാൽ, ഫലം ''r''<sub>''k''&minus;1</sub>ൽ കുറവാകുന്നതു വരെ ''r''<sub>''k''&minus;2</sub>ൽ നിന്ന് ''r''<sub>''k''&minus;1</sub> കുറയ്ക്കുന്നു. ഇതിന്റെ അവസാനം കിട്ടുന്ന സംഖ്യയാണ് ''r''<sub>''k''</sub>.
അൽഗൊരിതത്തിന്റെ തുടക്കത്തിൽ (''k''&nbsp;=&nbsp;0) ശിഷ്ടങ്ങളായ ''r''<sub>−2</sub>, ''r''<sub>−1</sub> എന്നിവ ഉസാഘ കാണേണ്ട സംഖ്യകളായ ''a'', ''b'' എന്നിവയായിരിക്കും. അടുത്ത പടിയിൽ (''k''&nbsp;=&nbsp;1) ''b''യും മുൻപത്തെ പടിയിലെ ഫലമായ ''r''<sub>0</sub> യുമാണ് ശിഷ്ടങ്ങളായി ഉപയോഗിക്കുക. ഇങ്ങനെ നമുക്ക് അൽഗൊരിതത്തെ സമവാക്യങ്ങളുടെ ഒരു ശ്രേണിയായി എഴുതാം
:<math>\begin{align}
a &= q_0  b + r_0 \\
b &= q_1 r_0 + r_1 \\
r_0 &= q_2 r_1 + r_2 \\
r_1 &=q_3 r_2 + r_3 \\
&\,\,\,\vdots
\end{align}</math>
''a'' തുടക്കത്തിൽ ''b'' യെക്കാൾ ചെറുതാണെങ്കിൽ ആദ്യത്തെ പടി അവയെ പരസ്പരം വച്ചുമാറ്റുക മാത്രമേ ചെയ്യൂ. ഈ ക്രിയയുടെ ഫലങ്ങളായ ഹരണഫലം ''q''<sub>0</sub> പൂജ്യവും ശിഷ്ടം ''r''<sub>0</sub> ''a''യും ആയതിനാലാണിത്. അതിനാൽ ''k''&nbsp;≥&nbsp;0 ആകുമ്പോഴൊക്കെ ശിഷ്ടം ''r''<sub>''k''</sub> അതിന്റെ മുൻഗാമിയായ ''r''<sub>''k''−1</sub> നെക്കാൾ ചെറുതാണെന്നു വരുന്നു. ശിഷ്ടങ്ങൾ ഓരോ പടിയിലും ചെറുതാവും, എന്നാൽ ഒരിക്കലും പൂജ്യത്തിൽ കുറവാവുകയുമില്ല എന്നതിനാൽ ഒടുവിൽ ശിഷ്ടം ''r''<sub>''N''</sub> പൂജ്യമാവുന്ന അവസ്ഥയുണ്ടാവണം. അതോടെ അൽഗൊരിതം അവസാനിപ്പിക്കുന്നു. പൂജ്യത്തിനു തൊട്ടുമുമ്പ് ലഭിച്ച ശിഷ്ടമായ ''r''<sub>''N''−1</sub> ആണ് ''a'', ''b'' എന്ന സംഖ്യകളുടെ ഉസാഘ. തുടക്കത്തിലെ ശിഷ്ടമായ ''r''<sub>0</sub>നും ''r''<sub>''N''</sub>നും ഇടയിലെ പൂർണ്ണസംഖ്യകളുടെ എണ്ണം പരിമിതമായതിനാൽ ''N'' ഒരിക്കലും അനന്തമാവുകയില്ല.

=== തെളിവ് ===
യൂക്ലിഡിന്റെ അൽഗൊരിതം ശരിയായി ഉസാഘ കണ്ടുപിടിക്കുന്നു എന്ന് തെളിയിക്കുന്നത് രണ്ടു പടിയായാണ്.<ref>{{Harvnb|Stark|1978|pp=16–20}}</ref> പൂജ്യത്തിനു മുമ്പായി കിട്ടുന്ന ശിഷ്ടമായ ''r''<sub>''N''−1</sub> ഉസാഘ കാണേണ്ട ''a'', ''b'' എന്ന സംഖ്യകളുടെ ഭാജകമാണ് എന്ന് തെളിയിക്കുകയാണ് ആദ്യത്തെ പടി. പൊതു ഭാജകമായതിനാൽ അത് ഉസാഘയായ ''g''യെക്കാൾ വലുതായിരിക്കില്ല എന്ന് വരുന്നു. രണ്ടാമത്തെ പടിയിൽ ''a'', ''b'' എന്ന സംഖ്യകൾക്കും പൊതുവായുള്ള ഉസാഘയുൾപ്പെടെയുള്ള ഏത് ഭാജകവും  ''r''<sub>''N''−1</sub>ന്റെയും ഭാജകമാണെന്ന് തെളിയിക്കുന്നു. അതിനാൽ ഉസാഘ ഈ സംഖ്യയെക്കാൾ ചെറുതോ അതിന് തുല്യമോ ആയിരിക്കണം. ഈ രണ്ട് പ്രസ്താവനകളും പരസ്പരവിരുദ്ധമാവാതിരിക്കാനുള്ള ഒരേയൊരു വഴി ''r''<sub>''N''−1</sub>&nbsp;=&nbsp;''g'' ആവുകയാണ്.

ആദ്യ പടിയായി ''a'', ''b'' എന്നിവയുടെ ഭാജകമാണ് ''r''<sub>''N''−1</sub> എന്ന് ഇപ്രകാരം തെളിയിക്കാം. ആദ്യമായി, ''r''<sub>''N''−1</sub> അതിന്റെ മുൻഗാമിയായ ''r''<sub>''N''−2</sub>ന്റെ ഭാജകമാണെന്ന് നിരീക്ഷിക്കുക
: {{math|1=''r''<sub>''N''−2</sub> = ''q''<sub>''N''</sub> ''r''<sub>''N''−1</sub>}}
അവസാനത്തെ ശിഷ്ടമായ ''r''<sub>''N''</sub> പൂജ്യമായതിനാലാണിത്. ഇതിനു മുമ്പത്തെ പടിയിലെ സമവാക്യമെടുത്താൽ
: {{math|1=''r''<sub>''N''−3</sub> = ''q''<sub>''N''−1</sub> ''r''<sub>''N''−2</sub> + ''r''<sub>''N''−1</sub>}}
വലതുഭാഗത്തെ രണ്ട് പദങ്ങളും ''r''<sub>''N''−1</sub> ന്റെ ഗുണിതങ്ങളായതിനാൽ ''r''<sub>''N''−1</sub> അതിന്റെ അടുത്ത മുൻഗാമിയായ ''r''<sub>''N''−3</sub>ന്റെയും ഭാജകമാണെന്നു കാണാം. ഈ വിധത്തിൽ തുടരുകയാണെങ്കിൽ ''r''<sub>''N''−1</sub> അതിനു മുമ്പുള്ള എല്ലാ ശിഷ്ടങ്ങളുടെയും ഭാജകമാണെന്നു വരുന്നു, ഈ ശിഷ്ടങ്ങളിൽ ''a'', ''b'' എന്നിവയും പെടുന്നു എന്നത് പ്രധാനമാണ്. ''r''<sub>''N''−1</sub>നു മുമ്പ് ലഭിച്ച ശിഷ്ടങ്ങളായ ''r''<sub>''N''−2</sub>, ''r''<sub>''N''−3</sub> മുതലായവയൊന്നും തന്നെ ശിഷ്ടം വരുന്നതിനാൽ ''a'' യുടെയോ ''b'' യുടെയോ ഭാജകങ്ങളാവില്ല. ''r''<sub>''N''−1</sub> എന്നത് ''a'', ''b'' എന്നിവയുടെ പൊതു ഭാജകമായതിനാൽ ''r''<sub>''N''−1</sub>&nbsp;≤&nbsp;''g''.

''a'', ''b'' എന്നീ സംഖ്യകളുടെ ഭാജകമായ ഏത് ''c''യും അൽഗൊരിതത്തിലെ എല്ലാ ശിഷ്ടങ്ങളുടെയും ഭാജകമായിരിക്കും എന്ന് തെളിയിക്കുകയാണ് അടുത്ത പടി. നിർവചനമനുസരിച്ച് ''a''യെയും ''b''യെയും ''c''യുടെ ഗുണിതങ്ങളായി എഴുതാം: ''a''&nbsp;=&nbsp;''mc'', ''b''&nbsp;=&nbsp;''nc''. ഇവിടെ ''m'', ''n'' എന്നിവ എണ്ണൽ സംഖ്യകളാണ്. അൽഗൊരിതത്തിന്റെ ആദ്യത്തെ പടിയെടുത്താൽ
:''r''<sub>0</sub>&nbsp;=&nbsp;''a''&nbsp;−&nbsp;''q''<sub>0</sub>''b''&nbsp;=&nbsp;''mc''&nbsp;−&nbsp;''q''<sub>0</sub>''nc''&nbsp;=&nbsp;(''m''&nbsp;−&nbsp;''q''<sub>0</sub>''n'')''c''
അതായത്, ''c'' ആദ്യത്തെ പടിയിലെ ശിഷ്ടമായ ''r''<sub>0</sub>യുടെ ഭാജകമാണ്. ഇതേ വാദമുപയോഗിച്ചാൽ ''c'' ഇതെത്തുടർന്നു വരുന്ന പടികളിലെ ശിഷ്ടങ്ങളായ ''r''<sub>1</sub>, ''r''<sub>2</sub> മുതലായവയുടെയും ഭാജകമാണെന്ന് കാണാം. അതായത്, ''r''<sub>''N''−1</sub>ന്റെ ഭാജകമാണ് ഉസാഘയായ ''g'' എന്നും, അതിനാൽത്തന്നെ ''g''&nbsp;≤&nbsp;''r''<sub>''N''−1</sub> എന്നും വരുന്നു. ഇതിന്റെ വിപരീതം (''r''<sub>''N''−1</sub>&nbsp;≤&nbsp;''g'') നേരത്തെ തെളിയിച്ചിട്ടുള്ളതിനാൽ ''g''&nbsp;=&nbsp;''r''<sub>''N''−1</sub> എന്ന് ലഭിക്കുന്നു. അതായത്, ഇതിനു മുമ്പുള്ള എല്ലാ ജോടികളുടെയും ഉസാഘ ''g'' തന്നെയാണ്:<ref>{{harvnb|Knuth|1997|p=320}}</ref><ref name="Lovasz_2003">{{cite book | last1 = Lovász |first1=L.|author1-link=László Lovász|last2= Pelikán|first2=J.|last3=Vesztergombi|first3= K. |author3-link= Katalin Vesztergombi | year = 2003 | title = Discrete Mathematics: Elementary and Beyond | publisher = Springer-Verlag | location = New York | isbn = 0-387-95584-4 | pages = 100–101}}</ref>
: {{math|1=''g'' = gcd(''a'', ''b'') = gcd(''b'', ''r''<sub>0</sub>) = gcd(''r''<sub>0</sub>, ''r''<sub>1</sub>) = … = gcd(''r''<sub>''N''−2</sub>, ''r''<sub>''N''−1</sub>) = ''r''<sub>''N''−1</sub>.}}
===ഉദാഹരണം===
[[File:Euclidean algorithm 1071 462.gif|upright|thumb|വ്യവകലനം ഉപയോഗിക്കുന്ന യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ ആനിമേഷൻ. തുടക്കത്തിൽ ചതുരത്തിന്റെ നീളം ''a''&nbsp;=&nbsp;1071 ഉം വീതി ''b''&nbsp;=&nbsp;462 ഉം ആണ്. 462&times;462 സമചതുരങ്ങൾ കൊണ്ട് ചതുരം നിറയ്ക്കാൻ ശ്രമിച്ചാൽ 462&times;147 വിസ്തീർണ്ണമുള്ള ചതുരം ബാക്കിയാകും. ഈ ചതുരത്തെ അടുത്ത പടിയിൽ 147&times;147 സമചതുരങ്ങൾ കൊണ്ട് നിറയ്ക്കാൻ ശ്രമിക്കാം, 21&times;147 വിസ്തീർണ്ണമുള്ള ചതുരങ്ങളാണ് ബാക്കിയാവുക. തുടർന്ന് ഇതിനെ 21&times;21 സമചതുരങ്ങൾ കൊണ്ട് നിറച്ചാൽ ശിഷ്ടമുണ്ടാവില്ലെന്ന് കാണാം. ഏറ്റവും ചെറിയ സമചതുരത്തിന്റെ വശമായ 21 ആണ് തുടക്കത്തിലെ സംഖ്യകളായ 1071, 462 എന്നിവയുടെ ഉസാഘ.]]
യൂക്ലിഡിന്റെ അൽഗൊരിതമുപയോഗിച്ച് ''a''&nbsp;=&nbsp;1071, ''b''&nbsp;=&nbsp;462 എന്നിവയുടെ ഉസാഘ കാണേണ്ടതുണ്ടെന്ന് കരുതുക. ശിഷ്ടം 462-ൽ കുറവാകുന്നതുവരെ 462-ന്റെ ഗുണിതങ്ങൾ 1071-ൽ നിന്ന് കുറയ്ക്കുകയാണ് ആദ്യ പടി. രണ്ടുതവണയേ (''q''<sub>0</sub>&nbsp;=&nbsp;2) ഇങ്ങനെ കുറയ്ക്കാൻ പറ്റുകയുള്ളൂ, അതോടെ 147 ശിഷ്ടമായി ലഭിക്കും:
: {{math|1=1071 = 2 × 462 + 147.}}
ഇതിനു ശേഷം ശിഷ്ടമായ 147-ന്റെ ഗുണിതങ്ങളെ 462-ൽ നിന്ന് ആവുന്നത്ര തവണ കുറയ്ക്കും. മൂന്നു തവണ കുറച്ചാൽ (''q''<sub>1</sub>&nbsp;=&nbsp;3) ശിഷ്ടം 147ലും കുറവായി 21 ആവും:
: {{math|1=462 = 3 × 147 + 21.}}
അടുത്ത പടിയിൽ 21-ന്റെ ഗുണിതങ്ങളെ 147ൽ നിന്ന് കുറയ്ക്കുന്നു. ഏഴ് തവണ (''q''<sub>2</sub>&nbsp;=&nbsp;7) കുറച്ചാൽ ഒന്നും ബാക്കി വരാതെ സംഖ്യ പൂജ്യമാവും:
: {{math|1=147 = 7 × 21 + 0.}}
അവസാനത്തെ ശിഷ്ടം പൂജ്യമായതിനാൽ 1071,462 എന്ന സംഖ്യകളുടെ ഉസാഘയായി 21 (മുമ്പത്തെ പടിയിലെ ശിഷ്ടം) കണ്ടുപിടിച്ച് അൽഗൊരിതം അവസാനിക്കുന്നു. {{math|1=1071 = 3^2 × 7 × 17, 462 = 2 × 3 × 7 × 11}} എന്നിങ്ങനെ സംഖ്യകളുടെ ഘടകക്രിയ ചെയ്താൽ ഈ ഉത്തരം ശരിയാണെന്നു കാണാം. അൽഗഗൊരിതത്തിലെ പടികൾ ഇവിടെ പട്ടികപ്പെടുത്തിയിരിക്കുന്നു
{| class="wikitable" id="basic_Euclidean_algorithm" style="margin-left:auto; margin-right:auto; text-align:center"
|-
!പടി ''k''!!സമവാക്യം!!ഹരണഫലവും ശിഷ്ടവും
|-
| 0 || {{math|1=1071 = ''q''<sub>0</sub> 462 + ''r''<sub>0</sub>}} || {{math|1=''q''<sub>0</sub> = 2}}, {{math|1=''r''<sub>0</sub> = 147}}
|-
| 1 || {{math|1=462 = ''q''<sub>1</sub> 147 + ''r''<sub>1</sub>}} || {{math|1=''q''<sub>1</sub> = 3}}, {{math|1=''r''<sub>1</sub> = 21}}
|-
| 2 || {{math|1=147 = ''q''<sub>2</sub> 21 + ''r''<sub>2</sub>}} || {{math|1=''q''<sub>2</sub> = 7}}, {{math|1=''r''<sub>2</sub> = 0}}; അൽഗൊരിതം അവസാനിച്ചു
|}
===ചിത്രീകരണം===
[[യൂക്ലിഡിന്റെ_അൽഗൊരിതം#പശ്ചാത്തലം:_ഉത്തമ_സാധാരണ_ഘടകം|മേലെ]] ഉസാഘയെ ജ്യാമിതീയമായ വ്യാഖ്യാനിച്ച രീതിയിൽ അൽഗൊരിതത്തിലെ ക്രിയകളെയും ചിത്രീകരിക്കാം.<ref name="Kimberling_1983">{{cite journal | last = Kimberling|first= C.|authorlink=Clark Kimberling | year = 1983 | title = A Visual Euclidean Algorithm | url = https://archive.org/details/sim_mathematics-teacher_1983-02_76_2/page/108| journal = Mathematics Teacher | volume = 76 | pages = 108–109}}</ref> ''a''×''b'' വിസ്തീർണ്ണമുള്ള (ഇവിടെ  ''a'', ''b''യെക്കാൾ വലുതാണ്) ഒരു ചതുരത്തെ സമചതുരങ്ങൾ കൊണ്ട് നിറയ്ക്കണമെന്ന് കരുതുക.  ആദ്യം നമുക്ക് ചതുരത്തെ  ''b''×''b'' സമചതുരങ്ങൾ കൊണ്ട് മൂടാൻ ശ്രമിക്കാം. പക്ഷെ ആവുന്നത്ര സമചതുരങ്ങൾ ചേർത്തുകഴിഞ്ഞാൽ ഒരു ''r''<sub>0</sub>×''b'' ചതുരം ബാക്കിയാവും. ഇതിനെ പിന്നീട് ''r''<sub>0</sub>×''r''<sub>0</sub> സമചതുരങ്ങൾ കൊണ്ട് മൂടാൻ ശ്രമിക്കാം. ഇതിന്റെ അവസാനം ഒരു ''r''<sub>1</sub>×''r''<sub>0</sub> ചതുരം ബാക്കിയാവുകയും അതിനെ അടുത്ത പടിയിൽ ''r''<sub>1</sub>×''r''<sub>1</sub> സമചതുരങ്ങൾ കൊണ്ട് മൂടാൻ ശ്രമിക്കുകയും ചെയ്യാം. ഒരു പടിയിൽ ചതുരത്തെ സമചതുരങ്ങൾ കൊണ്ട് പൂർണ്ണമായി മൂടാൻ സാധിക്കുകമ്പോഴാണ് ഈ ക്രിയാശ്രേണി അവസാനിക്കുന്നത്. ഒടുവിൽ ചേർത്ത ഏറ്റവും ചെറിയ സമചതുരത്തിന്റെ വശത്തിന്റെ നീളമാണ് ആദ്യത്തെ ചതുരത്തിന്റെ വശങ്ങളുടെ ഉസാഘ. ഉദാഹരണമായി, ആനിമേഷനിലെ തുടക്കത്തിലെ പച്ച ചതുരത്തിന്റെ വശങ്ങളുടെ നീളം 1071, 462 ആണ്, ഇവയുടെ ഉസാഘയായ 21 ആണ് ഏറ്റവും ചെറിയ ചുവന്ന സമചതുരമത്തിന്റെ വശം.
===യൂക്ലിഡിയൻ ഹരണം===
''k''ആമത്തെ പടിയിൽ ''r''<sub>''k''−1</sub>, ''r''<sub>''k''−2</sub> എന്നീ സംഖ്യകളുപയോഗിച്ച് ഹരണഫലമായ ''q''<sub>''k''</sub>യും ശിഷ്ടമായ ''r''<sub>''k''</sub>യും കണ്ടുപിടിക്കുകയാണ് ചെയ്യേണ്ടത്.
: {{math|1=''r''<sub>''k''−2</sub> = ''q''<sub>''k''</sub> ''r''<sub>''k''−1</sub> + ''r''<sub>''k''</sub>}}
ഇവിടെ ''r''<sub>''k''</sub>യുടെ കേവലവില ''r''<sub>''k''−1</sub>ന്റേതിനെക്കാൾ കുറവായിരിക്കണം. [[യൂക്ലിഡിയൻ ഹരണം|യൂക്ലിഡിയൻ ഹരണത്തിന്]] അടിസ്ഥാനമായ പ്രമേയം ഈ നിഷ്കർഷയോടെ ഹരണഫലവും ശിഷ്ടവും കണ്ടുപിടിക്കുന്നത് സാധ്യമാണെന്നും ഫലം അനന്യമാണെന്നും പറയുന്നു.<ref name="Cohn_1962">{{Harvnb|Cohn|1962|pp=104–110}}</ref>

യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ മൂലരൂപത്തിൽ ആവർത്തിച്ച് വ്യവകലനം ചെയ്തുകൊണ്ടാണ് ഹരണഫലവും ശിഷ്ടവും കണ്ടിരുന്നത്. അതായത്, ഫലം ''r''<sub>''k''−1</sub>ൽ കുറവാവുന്നതു വരെ ''r''<sub>''k''−2</sub>ൽ നിന്ന് ''r''<sub>''k''−1</sub> ആവർത്തിച്ച് കുറയ്ക്കുന്നു. ഇതിനുശേഷം ''r''<sub>''k''</sub>, ''r''<sub>''k''−1</sub> എന്നിവയെ പരസ്പരം വച്ചുമാറിയ ശേഷം പ്രക്രിയ തുടരുന്നു. ഇങ്ങനെ ആവർത്തിച്ച് വ്യവകലനം ചെയ്യുന്നതിനു പകരം ഒറ്റ ക്രിയകൊണ്ടുതന്നെ ഹരണഫലവും ശിഷ്ടവും കാണാൻ യൂക്ലിഡിയൻ ഹരണം വഴി സാധിക്കുന്നു. കാര്യക്ഷമത വർദ്ധിപ്പിക്കുന്നതിനു പുറമെ, ഹരണഫലങ്ങൾ ആവശ്യമില്ലാത്തതിനാൽ ശിഷ്ടം മാത്രം നൽകുന്ന [[മോഡ്യുലോ]] സംക്രിയ ഉപയോഗിക്കാനും സാധിക്കുന്നു. അതിനാൽ യൂക്ലിഡിയൻ ഹരണം ഉപയോഗിച്ചുള്ള അൽഗൊരിതത്തിന്റെ ക്രിയകളെ ഇപ്രകാരം എഴുതാം
: {{math|1=''r''<sub>''k''</sub> = ''r''<sub>''k''−2</sub> mod ''r''<sub>''k''−1</sub>.}}
=== പ്രയോഗത്തിൽ ===

അൽഗൊരിതത്തിന്റെ പ്രയോഗം [[സ്യൂഡോകോഡ്]] ഉപയോഗിച്ച് വ്യക്തമാക്കാം. ഉദാഹരണത്തിന് ഹരണം ഉപയോഗിക്കുന്ന അൽഗൊരിതം ഇപ്രകാരം എഴുതാം<ref>{{harvnb|Knuth|1997|pp=319–320}}</ref>

 '''function''' gcd(a, b)
     '''while''' b ≠ 0
        t := b; 
        b := a '''mod''' b; 
        a := t; 
     '''return''' a;

''k'' ആമത്തെ പടിയുടെ ആരംഭത്തിൽ ''b'' മുമ്പത്തെ ശിഷ്ടമായ ''r''<sub>''k''−1</sub> ഉം ''a'' മുൻഗാമിയായ ''r''<sub>''k''−2</sub> ഉം ആയിരിക്കും. ''b'' := ''a'' mod ''b'' എന്ന ക്രിയ മേൽ വിവരിച്ച ''r''<sub>''k''</sub> ≡ ''r''<sub>''k''−2</sub> mod ''r''<sub>''k''−1</sub> എന്ന ആവർത്തനബന്ധത്തിന്റെ പ്രയോഗമാണ്. താൽക്കാലികമായ ചരമായ ''t'' ശിഷ്ടങ്ങളെ പരസ്പരം വച്ചുമാറാനാണ് ഉപയോഗിക്കുന്നത്. പടിയുടെ അവസാനം ശിഷ്ടമായ ''r''<sub>''k''</sub> യുടെ വില ''b'' യിലും, മുമ്പത്തെ പടിയിലെ ശിഷ്ടമായ ''r''<sub>''k''−1</sub> ന്റെ വില ''a'' യിലും എത്തുന്നു.

ഹരണത്തിനു പകരം വ്യവകലനമാണ് യൂക്ലിഡിന്റെ മൂല അൽഗൊരിതത്തിൽ ഉപയോഗിക്കുന്നത്. ശിഷ്ടം കണ്ടുപിടിക്കാൻ (''b''&nbsp;=&nbsp;''a'' mod ''b'') ആവർത്തിച്ച് സംഖ്യ കുറയ്ക്കുന്നു.<ref>{{harvnb|Knuth|1997|pp=318–319}}</ref> ഹരണം ഉപയോഗിക്കുന്ന അൽഗൊരിതത്തിൽ നിന്ന് വ്യത്യസ്തമായി പൂർണ്ണസംഖ്യകൾക്കു (ധനസംഖ്യയാകണമെന്ന നിർബന്ധമില്ല) പകരം എണ്ണൽസംഖ്യകളാണ് ഇവിടെ ഉപയോഗിക്കുന്നത്, ''a'' = ''b'' ആവുമ്പോൾ അൽഗൊരിതം അവസാനിപ്പിക്കുകയും ചെയ്യും.

 '''function''' gcd(a, b)
     '''while''' a ≠ b 
         '''if''' a > b
            a := a − b; 
         '''else'''
            b := b − a; 
     '''return''' a;

മുമ്പത്തെ ശിഷ്ടങ്ങളായ ''r''<sub>''k''−1</sub>, ''r''<sub>''k''−2</sub> എന്നിവയുടെ വിലകൾ ''a'', ''b'' എന്ന ചരങ്ങൾ മാറിമാറി സ്വീകരിക്കുന്നു. ഒരു പടിയുടെ തുടക്കത്തിൽ ''a'' യുടെ വില ''b'' യെക്കാൾ വലുതാണെന്ന് കരുതുക; എങ്കിൽ ''r''<sub>''k''−2</sub> > ''r''<sub>''k''−1</sub> ആയതിനാൽ ''a'' എന്ന ചരത്തിലുള്ളത് ''r''<sub>''k''−2</sub> ന്റെ വിലയാണെന്ന് വരുന്നു. ''a'' യുടെ വില ''b'' യെക്കാൾ ചെറുതാവുന്നത് വരെ ''b'' യെ ''a'' യിൽ നിന്ന് കുറയ്ക്കുന്നു. പുതിയ ശിഷ്ടമായ ''r''<sub>''k''</sub> യുടെ വില അപ്പോൾ ''a'' യിലെത്തുന്നു. തുടർന്ന് ''b'' യുടെ വില ''a'' യിൽ കുറവാവുന്നത് വരെ ''a'' കുറച്ച്  അടുത്ത ശിഷ്ടമായ ''r''<sub>''k''+1</sub> കണ്ടുപിടിക്കുന്നു, ഇങ്ങനെയാണ് അൽഗൊരിതം പുരോഗമിക്കുന്നത്.

ഓരോ പടിയിലെയും സംഖ്യാജോടിയുടെ ഉസാഘ തുല്യമാണ് എന്നതും അൽഗൊരിതം അവസാനിപ്പിക്കാൻ gcd(''r''<sub>''N''−1</sub>,&nbsp;0)&nbsp;=&nbsp;''r''<sub>''N''−1</sub> എന്ന നിബന്ധനയും അടിസ്ഥാനമാക്കി [[സ്വാവർത്തനം]] ഉപയോഗിക്കുന്ന രീതിയിലും അൽഗൊരിതം എഴുതാം<ref>{{Harvnb|Stillwell|1997|p=14}}</ref>.

 '''function''' gcd(a, b)
     '''if''' b = 0
        '''return''' a; 
     '''else'''
        '''return''' gcd(b, a '''mod''' b);

ഉദാഹരണമായി gcd(1071,&nbsp;462) കണ്ടുപിടിക്കാൻ സ്വാവർത്തനം ഉപയോഗിച്ച് gcd(462,&nbsp;1071&nbsp;mod&nbsp;462)&nbsp;=&nbsp;gcd(462,&nbsp;147) കണ്ടെത്താൻ ശ്രമിക്കുന്നു. ഇതിനുള്ള സ്വാവർത്തനം gcd(147,&nbsp;462&nbsp;mod&nbsp;147)&nbsp;=&nbsp;gcd(147,&nbsp;21) കണ്ടുപിടിക്കുന്നതിലേക്കും തുടർന്ന് gcd(21,&nbsp;147&nbsp;mod&nbsp;21)&nbsp;=&nbsp;gcd(21,&nbsp;0) യിലേക്കും നയിക്കുന്നു. ഇവിടെ രണ്ടാമത്തെ സംഖ്യ പൂജ്യമായതിനാൽ ഉസാഘ ആദ്യത്തെ സംഖ്യയായ 21 ആണ്.
=== ശിഷ്ടത്തിന്റെ കുറഞ്ഞ കേവലവില ഉപയോഗിക്കുന്ന രീതി ===
ശിഷ്ടത്തിന്റെ ഋണവിലകളും കൂടി ഉപയോഗിക്കുന്ന തരത്തിലും യൂക്ലിഡിന്റെ അൽഗൊരിതം പ്രയോഗവൽക്കരിക്കാം. അൽഗൊരിതത്തിന്റെ ഒരു പടിയിൽ ലഭിക്കുന്ന ഹരണഫലത്തോട് 1 കൂട്ടുകയാണെങ്കിൽ ശിഷ്ടം ഋണസംഖ്യയായി മാറും. ഈ ഋണശിഷ്ടത്തിന്റെ [[കേവലവില]] ഹരണഫലത്തോട് 1 കൂട്ടാതെ ലഭിക്കുന്ന ധനശിഷ്ടത്തെക്കാൾ കുറവാണെങ്കിൽ പരിഷ്കരിച്ച ഹരണഫലവും ശിഷ്ടവും ഉപയോഗിച്ചുകൊണ്ടാണ് ഈ അൽഗൊരിതം പുരോഗമിക്കുന്നത്.<ref name="Ore_least_abs_remainders" >{{Harvnb|Ore|1948|p=43}}</ref><ref name="Stewart_1964">{{cite book | last = Stewart|first= B. M. | year = 1964 | title = Theory of Numbers | url = https://archive.org/details/theorynumbers00stew| edition = 2nd | publisher = Macmillan | location = New York | pages = [https://archive.org/details/theorynumbers00stew/page/n53 43]–44 | lccn = 64010964}}</ref> ഇതുവരെ
: {{math|1=''r''<sub>''k''−2</sub> = ''q''<sub>''k''</sub> ''r''<sub>''k''−1</sub> + ''r''<sub>''k''</sub>}}
എന്ന സമവാക്യത്തിൽ {{math|1={{!}}''r''<sub>''k''−1</sub>{{!}}&nbsp;>&nbsp;''r''<sub>''k''</sub>&nbsp;>&nbsp;0}} ആണെന്നായിരുന്നു നാം കല്പിച്ചിരുന്നത്. എന്നാൽ ഇതിൽ നിന്ന് വ്യത്യസ്തമായി ഒരു ഋണശിഷ്ടം {{math|1=''e''<sub>''k''</sub>}} ഇപ്രകാരം കണ്ടുപിടിക്കാം:

{{math|1=''r''<sub>''k''−1</sub>&nbsp;>&nbsp;0}} ആണെങ്കിൽ
: {{math|1=''r''<sub>''k''−2</sub> = (''q''<sub>''k''</sub> + 1) ''r''<sub>''k''−1</sub> + ''e''<sub>''k''</sub>}}
അഥവാ {{math|1=''r''<sub>''k''−1</sub>&nbsp;<&nbsp;0}} ആണെങ്കിൽ
: {{math|1=''r''<sub>''k''−2</sub> = (''q''<sub>''k''</sub> &minus; 1) ''r''<sub>''k''−1</sub> + ''e''<sub>''k''</sub>}}
{{math|1={{!}}''e''<sub>''k''</sub>{{!}}&nbsp;<&nbsp;{{!}}''r''<sub>''k''</sub>{{!}}}} ആവുന്ന അവസരത്തിൽ {{math|1=''r''<sub>''k''</sub>}} യ്ക്കു പകരം {{math|1=''e''<sub>''k''</sub>.}} ഉപയോഗിക്കുകയാണെങ്കിൽ ഓരോ പടിയിലും താഴെ കൊടുത്തിരിക്കുന്ന നിഷ്കർഷ അനുസരിക്കുന്ന അൽഗൊരിതം ലഭിക്കുന്നു:
: {{math|1={{!}}''r''<sub>''k''</sub>{{!}}&nbsp;≤&nbsp;{{!}}''r''<sub>''k''&minus;1</sub>{{!}}&nbsp;/&nbsp;2 }}
അൽഗൊരിതത്തിന്റെ എല്ലാ ഭാഷ്യങ്ങളിലും വച്ച് ഇതിനാണ് ഏറ്റവും കുറവ് പടികൾ ആവശ്യമായി വരിക എന്ന് [[Leopold Kronecker|ലിയോപോൾഡ് ക്രോണെക്കർ]] തെളിയിച്ചിട്ടുണ്ട്.<ref name="Ore_least_abs_remainders" /><ref name="Stewart_1964" /> സാമാന്യവൽക്കരിക്കുകയാണെങ്കിൽ, ''a'', ''b'' എന്ന സംഖ്യകളുടെ ഉസാഘ കാണാനാവശ്യമായ പടികളുടെ എണ്ണം ഏറ്റവും കുറവാകുന്നത് <math>\left |\frac{r_{k+1}}{r_k}\right |<\frac{1}{\varphi}\sim 0.618,</math> ആവുന്ന തരത്തിൽ {{math|''q''<sub>''k''</sub>}} തിരഞ്ഞെടുക്കുമ്പോഴാണ് (ഇവിടെ  <math>\varphi</math> [[സുവർണ്ണ അനുപാതം|സുവർണ്ണാനുപാതമാണ്]]).<ref>{{cite journal|last=Lazard|first=D.|year=1977|title=Le meilleur algorithme d'Euclide pour ''K''[''X''] et '''Z''' |language=fr |journal=Comptes rendus de l'Académie des Sciences|volume=284|pages=1–4}}</ref>

==ചരിത്രം==
[[File:Euklid.jpg|thumb|[[യൂക്ലിഡ്|യൂക്ലിഡിനും]] (ചിത്രത്തിൽ) നൂറ്റാണ്ടുകൾ മുമ്പു തന്നെ യൂക്ലിഡിയൻ അൽഗൊരിതം കണ്ടുപിടിക്കപ്പെട്ടിട്ടുണ്ടാവാം.]]
സാധാരണയായി ഉപയോഗിക്കപ്പെടുന്ന അൽഗൊരിതങ്ങളിൽ ഏറ്റവും പഴക്കമേറിയവയിലാണ് യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ സ്ഥാനം.<ref name="Knuth, p. 318">{{harvnb|Knuth|1997}}, p. 318</ref> ക്രിസ്തുവിനും മുന്നൂറുവർഷത്തോളം മുമ്പ് യൂക്ലിഡ് എഴുതിയ [[എലിമെന്റ്സ്]] എന്ന ഗ്രന്ഥത്തിൽ ഈ അൽഗൊരിതം പ്രത്യക്ഷപ്പെടുന്നു (ഏഴാം പുസ്തകം വാദം 1-2, പത്താം പുസ്തകം വാദം 2-3). ഏഴാം പുസ്തകത്തിൽ പൂർണ്ണസംഖ്യകൾക്കുവേണ്ടിയും പത്താം പുസ്തകത്തിൽ [[രേഖാഖണ്ഡം|രേഖാഖണ്ഡങ്ങളുടെ]] നീളങ്ങൾക്കു വേണ്ടിയുമാണ് അൽഗൊരിതം ആസൂത്രണം ചെയ്തിരിക്കുന്നത്. ആധുനിക ഗണിതശാസ്ത്രത്തിൽ [[വാസ്തവികസംഖ്യ]]കളുടെ ഉസാഘ കാണുന്നതിന് സമാനമാണ് ഇങ്ങനെ നീളങ്ങളുടെ ഉസാഘ കണ്ടുപിടിക്കുന്നത്. എന്നാൽ യൂക്ലിഡിന്റെ കാലത്ത് വാസ്തവികസംഖ്യകൾ എന്ന ആശയം ഉരുത്തിരിഞ്ഞിട്ടില്ലായിരുന്നു. ''a'', ''b'' എന്നീ നീളങ്ങളുടെ ഉസാഘ ''g'' അവയെ രണ്ടിനെയും പൂൂർണ്ണസംഖ്യ എണ്ണം ഭാഗങ്ങളായി അളക്കാൻ സാധിക്കുന്ന ഏറ്റവും വലിയ നീളമാണ്. അതായത്, ''a'', ''b'' എന്നിവ രണ്ടും ''g''യുടെ പൂർണ്ണസംഖ്യാഗുണിതങ്ങളായി വരുന്ന തരത്തിലുള്ള ഏറ്റവും വലിയ നീളമാണ് ''g''.

ഈ അൽഗൊരിതം കണ്ടുപിടിച്ചത് യൂക്ലിഡ് ആയിരിക്കാൻ സാധ്യതയില്ല, മുൻകാലത്തെ ഗണിതശാസ്ത്രജ്ഞരുടെ കണ്ടെത്തലുകൾ ''എലിമെന്റ്സിൽ'' സമാഹരിച്ച കൂട്ടത്തിലുള്ളതാവാം.<ref name="Weil_1983">{{cite book | authorlink = André Weil|last=Weil|first=A. | year = 1983 | title = Number Theory | publisher = Birkhäuser | location = Boston | isbn = 0-8176-3141-0 | pages = 4–6}}</ref><ref name="Jones_1994">{{cite book | last = Jones|first= A. | year = 1994 | chapter = Greek mathematics to AD 300 | title = Companion encyclopedia of the history and philosophy of the mathematical sciences | publisher = Routledge | location = New York | isbn = 0-415-09238-8 | pages = 46–48}}</ref> [[പൈതഗോറസ്|പൈതഗോറിയൻ സ്കൂളിലെ]] ഗണിതശാസ്ത്രജ്ഞർ സംഖ്യാസിദ്ധാന്തത്തെക്കുറിച്ചെഴുതിയ ഒരു ഗ്രന്ഥത്തിൽ നിന്നാണ് എലിമെന്റ്സിലെ ഏഴാം പുസ്തകം ഉരുത്തിരിഞ്ഞതെന്ന് ഗണിതശാസ്ത്രജ്ഞനും ചരിത്രകാരനുമായ [[Bartel Leendert van der Waerden|ബി. എൽ. ഫാൻ ഡെർ വേർഡൻ]] നിർദ്ദേശിക്കുന്നു.<ref name="van_der_Waerden_1954">{{cite book | authorlink = Bartel Leendert van der Waerden|last=van der Waerden|first= B. L. | year = 1954 | title = Science Awakening | url = https://archive.org/details/scienceawakening00waer| series = translated by Arnold Dresden | publisher = P. Noordhoff Ltd | location = Groningen | pages = [https://archive.org/details/scienceawakening00waer/page/114 114]–115}}</ref> ക്രിസ്തുവിന് 375 വർഷം മുമ്പ് [[നിഡസിലെ യുഡോക്സസ്|നിഡസിലെ യുഡോക്സസിന്]] ഈ അൽഗൊരിതത്തെക്കുറിച്ച് അറിയുമായിരുന്നിരിക്കാം.<ref name="Knuth, p. 318"/><ref>{{cite journal | last = von Fritz|first= K. | year = 1945 | title = The Discovery of Incommensurability by Hippasus of Metapontum | url = https://archive.org/details/sim_annals-of-mathematics_1945-04_46_2/page/242| journal = Annals of Mathematics | volume = 46 | pages = 242–264 | doi = 10.2307/1969021 | jstor = 1969021 | issue = 2}}</ref> യൂക്ലിഡും [[അരിസ്റ്റോട്ടിൽ|അരിസ്റ്റോട്ടിലും]] ἀνθυφαίρεσις (ആന്റിഫൈറസിസ് അഥവാ വ്യുൽക്രമ വ്യവകലനം) എന്ന സാങ്കേതികപദം ഉപയോഗിച്ചിരുന്നതിനാൽ<ref>{{cite journal | last = Becker | first = O. | year = 1933 | title = Eudoxus-Studien I. Eine voreuklidische Proportionslehre und ihre Spuren bei Aristoteles und Euklid | volume = 2 | pages = 311–333 | journal = Quellen und Studien zur Geschichte der Mathematik B}}</ref> യൂഡോക്സസിനും മുമ്പുതന്നെ അൽഗൊരിതം കണ്ടുപിടിക്കപ്പെട്ടിരിക്കാനും സാധ്യതയുണ്ട്.<ref>{{cite book | authorlink = T. L. Heath | last = Heath |first = T. L. | year = 1949 | title = Mathematics in Aristotle | url = https://archive.org/details/mathematicsarist00heat | publisher = Oxford Press | pages = [https://archive.org/details/mathematicsarist00heat/page/n92 80]–83}}</ref><ref>{{cite book | authorlink = David Fowler (mathematician)|last=Fowler|first=D. H. | year = 1987 | title = The Mathematics of Plato's Academy: A New Reconstruction | url = https://archive.org/details/mathematicsofpla0000fowl_h9l3| publisher = Oxford University Press | location = Oxford | isbn = 0-19-853912-6 | pages = [https://archive.org/details/mathematicsofpla0000fowl_h9l3/page/31 31]–66}}</ref>

നൂറ്റാണ്ടുകൾക്കു ശേഷം ഇന്ത്യയിലും ചൈനയിലും യൂക്ലിഡിന്റെ അൽഗൊരിതം വീണ്ടും സ്വതന്ത്രമായി കണ്ടുപിടിക്കപ്പെട്ടു.<ref name="Stillwell, p. 31">{{Harvnb|Stillwell|1997|p=31}}</ref> ജ്യോതിഃശാസ്ത്രത്തിൽ കണക്കുകൂട്ടലുകൾ നടത്താനും കൃത്യതയാർന്ന കലണ്ടറുകൾ ഉണ്ടാക്കാനും വേണ്ടി [[ഡയൊഫന്റൈൻ സമവാക്യം|ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾ]] നിർദ്ധരിക്കുന്നതിനായായിരുന്നു ഇത്. ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾ നിർദ്ധരിക്കുന്നതിൽ വളരെ ഫലപ്രദമായതിനാൽ അഞ്ചാം നൂറ്റാണ്ടിലെ ഗണിതശാസ്ത്രജ്ഞനും ജ്യോതിഃശാസ്ത്രജ്ഞനുമായ [[ആര്യഭടൻ]] അൽഗൊരിതത്തെ വിശേഷിപ്പിച്ചത് ''തവിടുപൊടിയാക്കുന്നത്'' (pulverizer) എന്നായിരുന്നു.<ref name="Tattersall, p. 70">{{Harvnb|Tattersall|2005|p=70}}</ref><ref>{{Harvnb|Rosen|2000|pp=86–87}}</ref> [[ചൈനീസ് ശിഷ്ടപ്രമേയം|ചൈനീസ് ശിഷ്ടപ്രമേയത്തിന്റെ]] ഒരു വിശിഷ്ടഭാഷ്യം (special case) ''സുൻസി സുവാൻജിങ് (Sunzi Suanjing)'' എന്ന ചൈനീസ് ഗ്രന്ഥത്തിൽ മുമ്പേ വിവരിച്ചിരുന്നുവെങ്കിലും<ref>{{Harvnb|Ore|1948|pp=247–248}}</ref> 1247-ൽ [[Qin Jiushao|ക്വിൻ ജിയുഷാവോ]] ആണ് ''ഷുഷു ജിയുസാങ് (Shushu Jiuzhang 數書九章)'' എന്ന ഗ്രന്ഥത്തിൽ പ്രമേയത്തിന്റെ സാമാന്യഭാഷ്യത്തിന്റെ നിർദ്ധാരണം പ്രസിദ്ധീകരിച്ചത്.<ref>{{Harvnb|Tattersall|2005|pp=72, 184–185}}</ref> യൂറോപ്പിൽ യൂക്ലിഡിന്റെ അൽഗൊരിതം ആദ്യമായി വിവരിക്കപ്പെടുന്നത് [[Claude Gaspard Bachet de Méziriac|ക്ലോദ് ഗസ്പാർദ് ബാഷെ ദെ മെസിറിയാക്]] എഴുതിയ ''പ്രോബ്ലെം പ്ലെയ്സാന്ത് എ ദെലെക്താബ്ല് (Problèmes plaisants et délectables, ഹൃദ്യവും ആസ്വാദ്യവുമായ പ്രശ്നങ്ങൾ)'' എന്ന ഗ്രന്ഥത്തിന്റെ രണ്ടാം പതിപ്പിലാണ്.<ref name="Tattersall, p. 70"/> ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾ നിർദ്ധരിക്കാനും [[സതതഭിന്നം|സതതഭിന്നങ്ങൾ]] കണ്ടുപിടിക്കാനുമാണ് യൂറോപ്പിൽ അൽഗൊരിതം ഉപയോഗിച്ചിരുന്നത്. അൽഗൊരിതത്തിന്റെ വികസിതരൂപം ([[വികസിത യൂക്ലിഡിയൻ അൽഗൊരിതം]]) പ്രസിദ്ധീകരിച്ചത് ഇംഗ്ലീഷ് ഗണിതശാസ്ത്രജ്ഞനായ [[നിക്കോളാസ് സോണ്ടേർസൺ|നിക്കോളാസ് സോണ്ടേർസണായിരുന്നു]].<ref>{{cite book|last1=Saunderson|first1=Nicholas|title=The Elements of Algebra in Ten Books|date=1740|publisher=University of Cambridge Press|url=http://www.e-rara.ch/zut/content/structure/2440626|accessdate=1 November 2016}}</ref> സതതഭിന്നങ്ങൾ കാര്യക്ഷമമായി കണക്കുകൂട്ടാൻ വേണ്ടി [[റോജർ കോട്സ്]] ആണ് ഈ രീതി കണ്ടുപിടിച്ചത് എന്നാണ് സോണ്ടേഴ്സൺ പറഞ്ഞത്.<ref>{{Harvnb|Tattersall|2005|pp=72–76}}</ref>

പത്തൊമ്പതാം നൂറ്റാണ്ടിൽ [[ഗോസ്സിയൻ പൂർണ്ണസംഖ്യകൾ]], [[ഐസൻസ്റ്റൈൻ പൂർണ്ണസംഖ്യകൾ]] മുതലായ പുതിയ സംഖ്യാവ്യവസ്ഥകൾ വികസിപ്പിച്ചെടുത്തത് യൂക്ലിഡിന്റെ അൽഗൊരിതം അടിസ്ഥാനമാക്കിയാണ്. 1815-ൽ ഗോസ്സിയൻ പൂർണ്ണസംഖ്യകളെ അനന്യമായി ഘടകക്രിയ ചെയ്യാമെന്ന് തെളിയിക്കാൻ [[കാൾ ഫ്രെഡറിക് ഗോസ്സ്]] ഈ അൽഗൊരിതം ഉപയോഗിച്ചു (1832-ലാണ് ഈ ഫലം പ്രസിദ്ധീകരിച്ചത്).<ref name="Gauss_1832">{{cite journal | authorlink = Carl Friedrich Gauss|last=Gauss|first=C. F. | year = 1832 | title = Theoria residuorum biquadraticorum | journal = Comm. Soc. Reg. Sci. Gött. Rec. | volume = 4}} Reprinted in {{cite book|first=C. F.|last=Gauss|year=2011|chapter=Theoria residuorum biquadraticorum commentatio prima |title=Werke|volume=2|publisher=Cambridge Univ. Press|pages=65–92|doi=10.1017/CBO9781139058230.004}} and {{cite book|first=C. F.|last=Gauss|year=2011|chapter=Theoria residuorum biquadraticorum commentatio secunda|title=Werke|volume=2|publisher=Cambridge Univ. Press|pages=93–148|doi=10.1017/CBO9781139058230.005}}</ref> 1801-ൽ പ്രസിദ്ധീകരിച്ച തന്റെ ''ഡിസ്ക്വിസിഷൻസ് അരിത്മെറ്റികേ ([[Disquisitiones Arithmeticae]])'' എന്ന ഗ്രന്ഥത്തിൽ ഗോസ്സ് അൽഗൊരിതത്തെ മുമ്പേ പരാമർശിച്ചിരുന്നുവെങ്കിലും അത് സതതഭിന്നങ്ങൾ കണ്ടുപിടിക്കാനുള്ള ഒരു രീതി എന്ന നിലയിലായിരുന്നു.<ref name="Stillwell, p. 31"/> [[Peter Gustav Lejeune Dirichlet|പീറ്റർ ഗുസ്താവ് ലെജോൻ ദിരിക്ലേ]] ആണ് യൂക്ലിഡിന്റെ അൽഗൊരിതത്തെ സംഖ്യാസിദ്ധാന്തത്തിന്റെ അടിസ്ഥാനശിലയായി വിവരിച്ചത്.<ref>{{Harvnb|Stillwell|1997|pp=31–32}}</ref> പൂർണ്ണസംഖ്യകൾക്കു മാത്രമല്ല, യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കാൻ സാധിക്കുന്ന മറ്റേത് സംഖ്യാവ്യവസ്ഥയും അനന്യമായ ഘടകക്രിയ ഉൾപ്പെടെയുള്ള സംഖ്യസിദ്ധാന്തപ്രമേയങ്ങൾ അനുസരിക്കും എന്ന് ദിരിക്ലേ നിരീക്ഷിച്ചു.<ref>{{Harvnb|Lejeune Dirichlet|1894|pp=29–31}}</ref> സംഖ്യാസിദ്ധാന്തത്തെക്കുറിച്ചുള്ള ദിരിക്ലേയുടെ പ്രഭാഷണങ്ങൾ സംശോധനം ചെയ്യുകയും വ്യാപിപ്പിക്കുകയും ചെയ്ത [[റിച്ചാർഡ് ഡെഡിക്കിന്റ്]] [[ബീജീയ പൂർണ്ണസംഖ്യ]]കൾ എന്ന പൂർണ്ണസംഖ്യകളുടെ പുതിയ സാമാന്യവൽക്കരണത്തെക്കുറിച്ച് പഠിക്കാൻ യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിച്ചു. ഗോസ്സിയൻ പൂർണ്ണസംഖ്യകളുടെ അനന്യമായ ഘടകക്രിയ ഉപയോഗിച്ച് ഡെഡിക്കിന്റ് [[ഫെർമയുടെ രണ്ട് വർഗ്ഗ പ്രമേയം]] ആദ്യമായി തെളിയിച്ചു.<ref>[[Richard Dedekind]] in {{Harvnb|Lejeune Dirichlet|1894|loc=Supplement XI}}</ref>  യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ സാമാന്യവൽക്കരണങ്ങൾ അനുസരിക്കുന്ന സംഖ്യാവ്യവസ്ഥകളായ [[യൂക്ലിഡിയൻ മണ്ഡലം|യൂക്ലിഡിയൻ മണ്ഡലങ്ങളെ]] നിർവചിച്ചതും ഡെഡിക്കിന്റ് തന്നെ. പത്തൊമ്പതാം നൂറ്റാണ്ടിന്റെ അവസാനത്തോടെ ഡെഡിക്കിന്റിന്റെ [[ഗുണജം|ഗുണജങ്ങളുടെ]] സാമാന്യസിദ്ധാന്തം യൂക്ലിഡിന്റെ അൽഗൊരിതത്തെക്കാൾ പ്രചാരം നേടി.<ref>{{Harvnb|Stillwell|2003|pp=41–42}}</ref>

{| class="toccolours" style="float: left; margin-left: 1em; margin-right: 1em; font-size: 85%; color:black; width:23em; max-width: 25%;" cellspacing="5"
| style="text-align: left;" |
"ഇന്നും അതിജീവിക്കുന്ന ഏറ്റവും പഴക്കമേറിയതും നിസ്സാരമല്ലാത്തതുമായ അൽഗൊരിതമായതിനാൽ [യൂക്ലിഡിന്റെ അൽഗൊരിതം] എല്ലാ അൽഗൊരിതങ്ങളുടെയും പിതാമഹനാണ് ([Euclid's algorithm] is the granddaddy of all algorithms, because it is the oldest nontrivial algorithm that has survived to the present day)."
|-
| style="text-align: left;" | [[ഡൊണാൾഡ് കനൂത്ത്]], ''[[ദി ആർട്ട് ഓഫ് കമ്പ്യൂട്ടർ പ്രോഗ്രാമിംഗ്]], വാള്യം 2: സെമിന്യൂമെറിക്കൽ അൽഗൊരിതംസ്'', രണ്ടാം പതിപ്പ് (1981), പേജ് 318.
|}

പത്തൊമ്പതാം നൂറ്റാണ്ടിൽ യൂക്ലിഡിന്റെ അൽഗൊരിതം വേറെയും ആവശ്യങ്ങൾക്ക് ഉപയോഗിക്കാൻ തുടങ്ങി. ഒരു [[ബഹുപദം|ബഹുപദത്തിന്]] ഏതെങ്കിലും ഇടവേളയിൽ എത്ര [[വാസ്തവികസംഖ്യ|വാസ്തവിക]] നിർദ്ധാരണങ്ങളുണ്ടെന്ന് കണ്ടുപിടിക്കാനുപയോഗിക്കുന്ന [[Sturm's theorem|സ്റ്റുർമ് ശൃംഖലകൾ]] സൃഷ്ടിക്കുന്നതിന് ഈ അൽഗൊരിതം സഹായകമാണെന്ന് 1829-ൽ [[Jacques Charles François Sturm|ചാൾസ് സ്റ്റുർമ്]] തെളിയിച്ചു.<ref>{{cite journal | last = Sturm |first = C. | authorlink = Jacques Charles François Sturm | year = 1829 | title = Mémoire sur la résolution des équations numériques |language=fr | journal = Bull. des sciences de Férussac | volume = 11 | pages = 419–422}}</ref> ഒരു വാസ്തവികസംഖ്യാഗണത്തിലെ സംഖ്യകളെ ഏത് പൂർണ്ണസംഖ്യാ ഗുണോത്തരങ്ങൾ കൊണ്ട് ഗുണിച്ച് തുക കണ്ടാലാണ് (അത് സാധ്യമെങ്കിൽ) പൂജ്യം ഫലമായി ലഭിക്കുക എന്ന് കണ്ടുപിടിക്കാനുപയോഗിക്കുന്ന Integer relation അൽഗൊരിതങ്ങളിൽ ആദ്യത്തേതാണ് യൂക്ലിഡിന്റെ അൽഗൊരിതം. യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ പിൻഗാമികളായി ഈ ആവശ്യത്തിനായി മറ്റനേകം അൽഗൊരിതങ്ങൾ അടൂത്തകാലത്തായി കണ്ടുപിടിച്ചിട്ടുണ്ട്.<ref>{{MathWorld|urlname=IntegerRelation|title=Integer Relation}}</ref><ref>{{cite journal | last = Peterson |first = I. | date = 12 August 2002 | title = Jazzing Up Euclid's Algorithm | journal = ScienceNews | url=http://www.sciencenews.org/view/generic/id/172/title/Math_Trek__Jazzing_Up_Euclids_Algorithm}}</ref><ref>{{cite journal | last = Cipra | first = B. A. | title = The Best of the 20th Century: Editors Name Top 10 Algorithms | journal = SIAM News | volume = 33 | date = 16 May 2000 | publisher = [[Society for Industrial and Applied Mathematics]] | issue = 4 | url = https://www.siam.org/pdf/news/637.pdf | access-date = 19 July 2016 | archive-url = https://web.archive.org/web/20160922144038/https://www.siam.org/pdf/news/637.pdf | archive-date = 22 September 2016 | dead-url = yes | df = dmy-all }}</ref>

1969-ൽ കോളും ഡേവിയും യൂക്ലിഡിന്റെ അൽഗൊരിതത്തെ അടിസ്ഥാനമാക്കി രണ്ടുപേർക്കു കളിക്കാവുന്ന ഒരു കളി വികസിപ്പിച്ചു. ''യൂക്ലിഡിന്റെ കളി (The game of Euclid)'' എന്നാണ് ഇതിന്റെ പേര്.<ref>{{cite journal | last1 = Cole | first1 = A. J. | last2 = Davie | first2 = A. J. T. | year = 1969 | title = A game based on the Euclidean algorithm and a winning strategy for it | url = https://archive.org/details/sim_mathematical-gazette_1969-12_53_386/page/354 | journal = Math. Gaz. | volume = 53 | pages = 354–357 | doi = 10.2307/3612461 | jstor = 3612461 | issue = 386}}</ref> ''a'', ''b'' വീതം എണ്ണം കല്ലുകളുള്ള രണ്ട് കൂമ്പാരങ്ങളാണ് കളിയുടെ തുടക്കത്തിലുണ്ടാവുക. ഓരോ കളിക്കാരിയും അവരുടെ അവസരമെത്തുമ്പോൾ ചെറിയ കൂമ്പാരത്തിന്റെ ഒരു ഗുണിതം എണ്ണം കല്ലുകൾ വലിയ കൂമ്പാരത്തിൽ നിന്ന് കുറയ്ക്കുന്നു. അതായത്, ഒരു അവസരത്തിന്റെ തുടക്കത്തിൽ കൂമ്പാരങ്ങളിൽ ''x'', ''y'' വീതം കല്ലുകളാണുള്ളതെന്നും ''x'' നെക്കാളും ചെറുതാണ് ''y'' എന്നും ഇരിക്കട്ടെ. അടുത്ത അവസരത്തിൽ കളിക്കാരി ''x'' കല്ലുകളുള്ള വലിയ കൂമ്പാരത്തിൽ നിന്നും ചെറിയ കൂമ്പാരത്തിലെ കല്ലുകളുടെ എണ്ണമായ ''y'' യുടെ ''m'' ഇരട്ടി കുറച്ച് ''x'' − ''my'' കല്ലുകൾ ബാക്കിയാക്കുന്നു (ഈ സംഖ്യ പൂജ്യത്തിൽ കുറവാകുന്നത് അനുവദിനീയമല്ല). ഒരു കൂമ്പാരത്തിലെ കല്ലുകളെല്ലാം നീക്കുന്ന കളിക്കാരിയാണ് കളിയിലെ വിജയി.<ref>{{Harvnb|Rosen|2000|p=95}}</ref><ref>{{cite book | last = Roberts | first = J. | year = 1977 | title = Elementary Number Theory: A Problem Oriented Approach | url = https://archive.org/details/Elementary_00_Robe | publisher = [[MIT Press]] | location = Cambridge, MA | isbn = 0-262-68028-9 | pages = [https://archive.org/details/Elementary_00_Robe/page/1 1]–8}}</ref> ഈ കളിയിൽ രണ്ടുപേരും നന്നായി കളിച്ചാൽ ആരാണ് ജയിക്കുകയെന്നും എങ്ങനെയാണ് ജയം കരസ്ഥമാക്കാൻ കഴിയുക എന്നും തുടക്കത്തിലെ കല്ലുകളിലെ എണ്ണത്തിൽ നിന്നു തന്നെ കണ്ടുപിടിക്കാം.<ref>{{cite journal | doi = 10.2307/2689037 | last = Spitznagel | first = E. L. | year = 1973 | title = Properties of a game based on Euclid's algorithm | jstor = 2689037 | journal = Math. Mag. | volume = 46 | issue = 2 | pages = 87–92}}</ref>

==ഗണിതത്തിലെ ഉപയോഗങ്ങൾ==

===ബെസു അനന്യത===
''a'', ''b'' എന്ന പൂർണ്ണസംഖ്യകളുടെ ഉസാഘ ''g'' ആണെങ്കിൽ ''g''യെ ''a'' യുടെയും ''b'' യുടെയും പൂർണ്ണസംഖ്യകൾ ഗുണോത്തരങ്ങളായുള്ള രേഖീയസഞ്ചയമായി എഴുതാൻ സാധിക്കും എന്ന് [[ബെസു അനന്യത]] (Bézout's identity) പറയുന്നു.<ref>{{cite book | last1 = Jones |first1=G. A. | last2 = Jones | first2 = J. M. | year = 1998 | chapter = Bezout's Identity | title = Elementary Number Theory | url = https://archive.org/details/elementarynumber00jone_936 | publisher = Springer-Verlag | location = New York | pages = [https://archive.org/details/elementarynumber00jone_936/page/n21 7]–11}}</ref> അതായത്, ''g''&nbsp;=&nbsp;''sa''&nbsp;+&nbsp;''tb'' എന്ന സമവാക്യത്തിന് നിർദ്ധാരണമായി ''s'', ''t'' എന്ന പൂർണ്ണസംഖ്യകളെ കണ്ടുപിടിക്കുന്നത് എല്ലായ്പ്പോഴും സാധ്യമാണ്.<ref>{{Harvnb|Rosen|2000|p=81}}</ref><ref>{{Harvnb|Cohn|1962|p=104}}</ref>

യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിലെ സമവാക്യങ്ങൾ വിപരീതക്രമത്തിലെടുക്കുകയാണെങ്കിൽ ഹരണഫലങ്ങളായ ''q''<sub>0</sub>, ''q''<sub>1</sub> മുതലായവ ഉപയോഗിച്ച് ''s'', ''t'' എന്നിവയുടെ വിലകൾ കണക്കുകൂട്ടാം.<ref>{{Harvnb|Rosen|2000|p=91}}</ref> അവസാനത്തെ സമവാക്യത്തിനു തൊട്ടു മുമ്പത്തേത് അനുസരിച്ച് ''g'' യുടെ വില ഹരണഫലമായ ''q''<sub>''N''−1</sub>, മുമ്പത്തെ രണ്ട് പടികളിലെ ശിഷ്ടങ്ങളായ ''r''<sub>''N''−2</sub> , ''r''<sub>''N''−3</sub> എന്നിവയുടെ വിലകളുമായി ബന്ധിപ്പിക്കാം
: {{math|1=''g'' = ''r''<sub>''N''−1</sub> = ''r''<sub>''N''−3</sub> − ''q''<sub>''N''−1</sub> ''r''<sub>''N''−2</sub>&nbsp;.}}

ഇതേ രീതിയിൽ വലതുഭാഗത്തെ ശിഷ്ടങ്ങളെ മുൻ പടികളിലെ ഹരണഫലങ്ങളുടെയും ശിഷ്ടങ്ങളുടെയും അടിസ്ഥാനത്തിൽ എഴുതാം
: {{math|1=''r''<sub>''N''−2</sub> = ''r''<sub>''N''−4</sub> − ''q''<sub>''N''−2</sub> ''r''<sub>''N''−3</sub>}} ,
: {{math|1=''r''<sub>''N''−3</sub> = ''r''<sub>''N''−5</sub> − ''q''<sub>''N''−3</sub> ''r''<sub>''N''−4</sub>&nbsp;.}}

ആദ്യത്തെ സമവാക്യത്തിൽ ''r''<sub>''N''−2</sub>, ''r''<sub>''N''−3</sub> എന്നിവയ്ക്കു പകരം ഈ രണ്ട് സമവാക്യങ്ങളുടെ വലതുഭാഗങ്ങൾ കൊടുത്താൽ ''g'' യെ ശിഷ്ടങ്ങളായ ''r''<sub>''N''−4</sub>, ''r''<sub>''N''−5</sub> എന്നിവയുടെ രേഖീയസഞ്ചയമായി എഴുതാം. തുടക്കത്തിലെ സംഖ്യകളായ ''a'', ''b'' എന്നിവ എത്തുന്നതു വരെ ഈ പ്രക്രിയ തുടരുന്നു:

: {{math|1=''r''<sub>2</sub> = ''r''<sub>0</sub> − ''q''<sub>2</sub> ''r''<sub>1</sub>}}
: {{math|1=''r''<sub>1</sub> = ''b'' − ''q''<sub>1</sub> ''r''<sub>0</sub>}}
: {{math|1=''r''<sub>0</sub> = ''a'' − ''q''<sub>0</sub> ''b''.}}

ശിഷ്ടങ്ങളായ ''r''<sub>0</sub>, ''r''<sub>1</sub> മുതലായവയ്ക്കുള്ള സമവാക്യങ്ങളെല്ലാം ഒന്നിനുപുറകെ ഒന്നായി ഉപയോഗിച്ചാൽ കിട്ടുന്ന സമവാക്യം ''g'' യെ ''a'', ''b'' എന്നിവയുടെ രേഖീയസഞ്ചയമായി വിവരിക്കുന്നതായിരിക്കും: ''g''&nbsp;=&nbsp;''sa''&nbsp;+&nbsp;''tb''. ബെസു അനന്യതയും ഈ പ്രക്രിയയും മറ്റ് യൂക്ലിഡിയൻ മണ്ഡലങ്ങളിലും ഉപയോഗിക്കാവുന്നതാണ്.

=== ഗുണജങ്ങൾ ===
ബെസു അനന്യത ഉപയോഗിച്ച് ''a'', ''b'' എന്ന രണ്ടു സംഖ്യകളുടെ ഉസാഘയായ ''g'' യെ വേറൊരു തരത്തിൽ നിർവചിക്കാം.<ref name="Leveque_p33" >{{Harvnb|LeVeque|1996|p=33}}</ref> ''u'', ''v'' എന്നിവ പൂർണ്ണസംഖ്യകളായി വരുന്ന വിധത്തിൽ ''ua''&nbsp;+&nbsp;''vb'' എന്ന രൂപത്തിൽ എഴുതാൻ സാധിക്കുന്ന എല്ലാ സംഖ്യകളുടെയും ഗണമെടുക്കുക. ''a'' യും ''b'' യും ''g'' യുടെ ഗുണിതങ്ങളായതിനാൽ ഈ ഗണത്തിലെ അംഗങ്ങളെല്ലാം തന്നെ ''g'' യുടെ ഗുണിതങ്ങളാണ്. ''a'', ''b'' എന്നിവയുടെ ഏത് പൊതു ഘടകത്തിന്റെ കാര്യത്തിലും ഈ പ്രസ്താവന ശരിയാണ് — അതായത്, ഗണത്തിലെ അംഗങ്ങളെല്ലാം തന്നെ ഏത് പൊതു ഘടകത്തിന്റെയും ഗുണിതമായി വരും. എന്നാൽ മറ്റ് പൊതു ഘടകങ്ങളിൽ നിന്ന് വ്യത്യസ്തമായി, ഉസാഘ ഈ ഗണത്തിലെ അംഗമാണെന്ന് ബെസു അനന്യത പറയുന്നു (ഗണത്തിലെ അംഗങ്ങളുടെ നിർവചനത്തിൽ ബെസു അനന്യതയിലെ ഗുണോത്തരങ്ങൾ ഉപയോഗിച്ച് ''u''&nbsp;=&nbsp;''s'', ''v''&nbsp;=&nbsp;''t'' എന്നെടുത്താൽ കിട്ടുന്ന അംഗത്തിന്റെ വില ''g'' ആയിരിക്കും‌). ''g'' യുടെ ഗുണിതമാണ് ഓരോ അംഗവും എന്നതിനാൽ മറ്റ് പൊതു ഘടകങ്ങളൊന്നും ഗണത്തിലെ അംഗങ്ങളാവാൻ സാധിക്കില്ല. ''g'' യുടെ ഗുണിതങ്ങളെല്ലാം തന്നെ ഗണത്തിൽ ഉൾപ്പെടുന്നുവെന്നും എളുപ്പത്തിൽ നിരീക്ഷിക്കാം,  ''mg'' എന്ന ഗുണിതം ലഭിക്കാൻ ''u''&nbsp;=&nbsp;''ms'', ''v''&nbsp;=&nbsp;''mt'' എന്ന ഗുണോത്തരങ്ങളെടുത്താൽ മതിയാവും. ബെസു അനന്യതയെ ''m'' കൊണ്ട് ഗുണിച്ചാൽ ഇത് തെളിയിക്കാം
: {{math|1=''mg'' = ''msa'' + ''mtb''.}}
''ua''&nbsp;+&nbsp;''vb'' എന്ന രീതിയിൽ എഴുതാൻ സാധിക്കുന്ന സംഖ്യകളുടെ ഗണം ഉസാഘയുടെ ഗുണിതങ്ങളുടെ ഗണം തന്നെയാണെന്ന് ഇതുവഴി കാണാം. അതായത്, ''a'', ''b'' എന്ന സംഖ്യകളെ പൂർണ്ണസംഖ്യകളെക്കൊണ്ട് ഗുണിച്ച് തുക കണ്ടാൽ ലഭിക്കുന്ന സംഖ്യകളുടെ ഗണം gcd(''a'', ''b'') യുടെ ഗുണിതങ്ങളുടെ ഗണമാണ്. അതിനാൽ ''a'', ''b'' എന്നിവയുടെ [[ഗുണജം|ഗുണജത്തിന്റെ]] (ideal) [[ഗുണജത്തിന്റെ ജനകം|ജനകമാണ്]] (generator) അവയുടെ ഉസാഘയായ ''g''. ഉസാഘയുടെ ഈ നിർവചനമാണ് ആധുനിക [[അമൂർത്തബീജഗണിതം|അമൂർത്തബീജഗണിതത്തിലെ]] സങ്കല്പങ്ങളായ [[Principal ideal|പ്രിൻസിപൽ ഗുണജങ്ങൾ]] (ഒറ്റ അംഗം ജനകമായുള്ള ഗുണജം), [[Principal ideal domain|പ്രിൻസിപൽ ഗുണജ മണ്ഡലം]] (ഓരോ ഗുണജവും പ്രിൻസിപൽ ആയുള്ള [[മണ്ഡലം (വലയസിദ്ധാന്തം)|മണ്ഡലം]]) എന്നിവയുടെ അടിസ്ഥാനം.

ഈ ഫലമുപയോഗിച്ച് ചില ഗണിതപ്രശ്നങ്ങൾ നിർവചിക്കാനാകും.<ref>{{Harvnb|Schroeder|2005|p=23}}</ref> ഉദാഹരണമായി ''a'', ''b'' വ്യാപ്തമുള്ള രണ്ട് ഗ്ലാസുകളെടൂക്കുക. ആദ്യത്തെ ഗ്ലാസ്സിന്റെ ''u'' ഗുണിതങ്ങളും രണ്ടാമത്തെ ഗ്ലാസ്സിന്റെ ''v'' ഗുണിതങ്ങളും കൂട്ടുകയോ കുറയ്ക്കുകയോ ചെയ്താൽ ''ua''&nbsp;+&nbsp;''vb'' എന്ന തരത്തിലെഴുതാവുന്ന ഏത് വ്യാപ്തവും കൃത്യമായി അളക്കാൻ സാധിക്കും. ഈ അളവുകളെല്ലാം തന്നെ ''g''&nbsp;=&nbsp;gcd(''a'',&nbsp;''b'') യുടെ ഗുണിതങ്ങളാണെന്ന് കാണാം.

=== വികസിത യൂക്ലിഡിയൻ അൽഗൊരിതം ===
ബെസു അനന്യതയിലെ ''s'', ''t'' എന്ന ഗുണോത്തരങ്ങളെ [[വികസിത യൂക്ലിഡിയൻ അൽഗൊരിതം]] ഉപയോഗിച്ച് കണ്ടുപിടിക്കാം. യൂക്ലിഡിന്റെ അൽഗൊരിതത്തോട് രണ്ട് സമാവർത്തന സമവാക്യങ്ങൾ ചേർത്താണ് ഇത് സാധിക്കുന്നത്<ref>{{Harvnb|Rosen|2000|pp=90–93}}</ref>
: {{math|1=''s''<sub>''k''</sub> = ''s''<sub>''k''−2</sub> − ''q''<sub>''k''</sub>''s''<sub>''k''−1</sub>}}
: {{math|1=''t''<sub>''k''</sub> = ''t''<sub>''k''−2</sub> − ''q''<sub>''k''</sub>''t''<sub>''k''−1</sub>}}
സമാവർത്തനത്തിന്റെ തുടക്കത്തിലെ വിലകൾ ഇവയാണ്
: {{math|1=''s''<sub>−2</sub> = 1, ''t''<sub>−2</sub> = 0}}
: {{math|1=''s''<sub>−1</sub> = 0, ''t''<sub>−1</sub> = 1.}}
''N+1'' പടികൾക്കൊടുവിൽ ശിഷ്ടം ''r''<sub>''N+1''</sub>&nbsp;=&nbsp;0 ആകുമ്പോൾ അൽഗൊരിതം അവസാനിക്കുകയും ''s''&nbsp;=&nbsp;''s''<sub>''N''</sub>, ''t''&nbsp;=&nbsp;''t''<sub>''N''</sub> എന്നിങ്ങനെ ബെസു അനന്യതയിലെ ഗുണോത്തരങ്ങൾ ലഭിക്കുകയും ചെയ്യുന്നു.

ഇങ്ങനെ ലഭിക്കുന്ന സംഖ്യകൾ ബെസു അനന്യതയിലെ ഗുണോത്തരങ്ങളാണെന്ന് [[ഗണിതീയാഗമനം]] വഴി തെളിയിക്കാം. ''k''&nbsp;−&nbsp;1 പടികൾ വരെ സമാവർത്തനബന്ധം ശരിയാണെന്ന് കരുതുക. അതായത്, ''j'' യുടെ വില ''k'' യിൽ കുറവാകുമ്പോഴൊക്കെ താഴെ കൊടുത്തിരിക്കുന്ന സമവാക്യം ശരിയാണെന്നിരിക്കട്ടെ
: {{math|1=''r''<sub>''j''</sub> = ''s''<sub>''j''</sub> ''a'' + ''t''<sub>''j''</sub> ''b''}}
അൽഗൊരിതത്തിന്റെ ''k'' ആമത്തെ പടിയിൽ 
: {{math|1=''r''<sub>''k''</sub> = ''r''<sub>''k''−2</sub> − ''q''<sub>''k''</sub>''r''<sub>''k''−1</sub>.}}
എന്ന സമവാക്യം ലഭിക്കുന്നു. സമാവർത്തനബന്ധം ''r''<sub>''k''−2</sub>, ''r''<sub>''k''−1</sub> എന്നിവയ്ക്ക് ശരിയാണെന്നാണ് ഗണിതീയാഗമനത്തിൽ സങ്കല്പിച്ചിരിക്കുന്നത് എന്നതിനാൽ അവയെ യോജിച്ച ''s'', ''t'' വിലകളുടെ അടിസ്ഥാനത്തിൽ എഴുതാം
: {{math|1=''r''<sub>''k''</sub> = (''s''<sub>''k''−2</sub> ''a'' + ''t''<sub>''k''−2</sub> ''b'') − ''q''<sub>''k''</sub>(''s''<sub>''k''−1</sub> ''a'' + ''t''<sub>''k''−1</sub> ''b'').}}
ഈ സമവാക്യത്തെ പുനഃക്രമീകരിച്ചാൽ ''k'' ആമത്തെ പടിയിലെ സമാവർത്തനബന്ധം ലഭിക്കുന്നു.
: {{math|1=''r''<sub>''k''</sub> = ''s''<sub>''k''</sub> ''a'' + ''t''<sub>''k''</sub> ''b'' = (''s''<sub>''k''−2</sub> − ''q''<sub>''k''</sub>''s''<sub>''k''−1</sub>) ''a'' + (''t''<sub>''k''−2</sub> − ''q''<sub>''k''</sub>''t''<sub>''k''−1</sub>) ''b''.}}

അൽഗൊരിതത്തിന്റെ തുടക്കത്തിലെ ''r''<sub>−2</sub>, ''r''<sub>−1</sub> എന്നീ ശിഷ്ടങ്ങൾക്കും സമാവർത്തനസമവാക്യം ശരിയായതിനാൽ ഒടുവിൽ ''N'' ആമത്തെ പടിയിൽ
: {{math|1=g = ''r''<sub>''N''</sub> = ''s''<sub>''N''</sub> ''a'' + ''t''<sub>''N''</sub> ''b''}}
എന്ന സമവാക്യം ലഭിക്കുന്നു. ബെസു അനന്യതയിലെ ഗുണോത്തരങ്ങൾ വലതുഭാഗത്തു കാണാം.

=== മാട്രിക്സ് രീതി ===
''s'', ''t'' എന്ന സംഖ്യകളെ തത്തുല്യമായ [[മാട്രിക്സ്]] രീതി ഉപയോഗിച്ചും കണ്ടുപിടിക്കാം.<ref name="Koshy_2002">{{cite book | last = Koshy | first = T. | year = 2002 | title = Elementary Number Theory with Applications | publisher = Harcourt/Academic Press | location = Burlington, MA | isbn = 0-12-421171-2 | pages = 167–169}}</ref> യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിലെ പടികളിലെ സമവാക്യങ്ങളായ
: <math>
\begin{align}
a & = q_0 b + r_0 \\
b & = q_1 r_0 + r_1 \\
& \,\,\,\vdots \\
r_{N-2} & = q_N r_{N-1} + 0
\end{align}
</math>
എന്നിവയെ ഹരണഫലങ്ങളുടെ 2×2 മാട്രിക്സുകളെക്കൊണ്ട് ശിഷ്ടങ്ങളുടെ ദ്വിമാന [[സദിശം|സദിശങ്ങളെ]] (vector) ഗുണിക്കുന്ന രീതിയിൽ എഴുതാം
:<math>
\begin{pmatrix} a \\ b \end{pmatrix} =
\begin{pmatrix} q_0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} b \\ r_0 \end{pmatrix} =
\begin{pmatrix} q_0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} q_1 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} r_0 \\ r_1 \end{pmatrix} =
\cdots =
\prod_{i=0}^N \begin{pmatrix} q_i & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} r_{N-1} \\ 0 \end{pmatrix} \,.
</math>

എല്ലാ ഹരണഫല മാട്രിക്സുകളുടെയും ഗുണനഫലത്തെ '''M''' കൊണ്ട് സൂചിപ്പിച്ചാൽ
:<math>
\mathbf{M} = \begin{pmatrix} m_{11} & m_{12} \\ m_{21} & m_{22} \end{pmatrix} =
\prod_{i=0}^N \begin{pmatrix} q_i & 1 \\ 1 & 0 \end{pmatrix} =
\begin{pmatrix} q_0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} q_1 & 1 \\ 1 & 0 \end{pmatrix} \cdots \begin{pmatrix} q_{N} & 1 \\ 1 & 0 \end{pmatrix} \,.
</math>
യൂക്ലിഡിയൻ അൽഗൊരിതത്തെ ഇങ്ങനെ ലഘൂകരിച്ച് എഴുതാം
:<math> 
\begin{pmatrix} a \\ b \end{pmatrix} =
\mathbf{M} \begin{pmatrix} r_{N-1} \\ 0 \end{pmatrix} =
\mathbf{M} \begin{pmatrix} g \\ 0 \end{pmatrix} \,.
</math>
''g'' യെ ''a'' യുടെയും ''b'' യുടെയും രേഖീയസഞ്ചയമായി എഴുതാൻ ഈ സമവാക്യത്തിന്റെ രണ്ടു ഭാഗങ്ങളെയും '''M''' ന്റെ മാട്രിക്സ് വിപരീതത്തെക്കൊണ്ട് ഗുണിച്ചാൽ മതിയാകും.<ref name="Koshy_2002" /><ref name="Bach_1996">{{cite book | last1 = Bach | first1 = E. | author1-link = Eric Bach | last2= Shallit | first2 = J. | author2-link = Jeffrey Shallit | year = 1996 | title = Algorithmic number theory | url = https://archive.org/details/algorithmicnumbe01bach | publisher = MIT Press | location = Cambridge, MA | isbn = 0-262-02405-5 | pages = [https://archive.org/details/algorithmicnumbe01bach/page/n79 70]–73}}</ref> ഓരോ ഹരണഫല മാട്രിക്സിന്റെയും [[സാരണികം]] (determinant) -1 ആയതിനാൽ അവയുടെ ഗുണനഫലമായ '''M''' ന്റെ സാരണികം (−1)<sup>''N''+1</sup> ആണ്. ഇത് ഒരിക്കലും പൂജ്യമാവുകയില്ല എന്നതിനാൽ '''M''' ന്റെ മാട്രിക്സ് വിപരീതം കണ്ടുപിടിക്കുന്നതും സമവാക്യം നിർദ്ധരിക്കുന്നതും എപ്പോഴും സാധ്യമാണ്.
:<math>
\begin{pmatrix} g \\ 0 \end{pmatrix} =
\mathbf{M}^{-1} \begin{pmatrix} a \\ b \end{pmatrix} =
(-1)^{N+1} \begin{pmatrix} m_{22} & -m_{12} \\ -m_{21} & m_{11} \end{pmatrix} \begin{pmatrix} a \\ b \end{pmatrix} \,.
</math>
ഈ മാട്രിക്സ് സമവാക്യത്തിന്റെ ആദ്യത്തെ വരി
: {{math|1=''g'' = (−1)<sup>''N''+1</sup> ( ''m''<sub>22</sub> ''a'' − ''m''<sub>12</sub> ''b'')}}
എന്നായതിനാൽ ബെസു അനന്യതയിലെ പൂർണ്ണസംഖ്യാ ഗുണോത്തരങ്ങൾ ''s''&nbsp;=&nbsp;(−1)<sup>''N''+1</sup>''m''<sub>22</sub>, ''t''&nbsp;=&nbsp;(−1)<sup>''N''</sup>''m''<sub>12</sub> എന്നിവയാണെന്നു കാണാം. ഓരോ പടിയിലും രണ്ട് ഗുണനങ്ങളും രണ്ട് സങ്കലനങ്ങളും ആവശ്യം വരുന്നതിനാൽ മാട്രിക്സ് രീതി തത്തുല്യമായ സമാവർത്തനത്തിന്റെ അത്ര തന്നെ കാര്യക്ഷമമാണെന്നു വരുന്നു.

=== യൂക്ലിഡിന്റെ പ്രമേയികയും അനന്യമായ ഘടകക്രിയയും ===
യൂക്ലിഡിന്റെ അൽഗൊരിതം പ്രയോഗിക്കുന്ന മിക്ക അവസരങ്ങളിലും ബെസു അനന്യത അത്യന്താപേക്ഷിതമാണ്. പൂർണ്ണസംഖ്യകളെ അഭാജ്യസംഖ്യകളുടെ ഗുണനഫലമായി എഴുതുന്ന രീതി അനന്യമാണെന്ന [[അങ്കഗണിതത്തിലെ അടിസ്ഥാന സിദ്ധാന്തം]] ഇതിന്നുദാഹരണമാണ്.<ref>{{Harvnb|Stark|1978|pp=26–36}}</ref>

''L'' എന്ന സംഖ്യ ''u'', ''v'' എന്നീ സംഖ്യകളുടെ ഗുണനഫലമാണെന്നു കരുതുക. അതായത്, ''L''&nbsp;=&nbsp;''uv''. ഇനി ''w'' എന്ന മറ്റൊരു സംഖ്യ ''L'' ന്റെ ഘടകമാണെന്നു കരുതുക. ''u'' വിനോട് സഹ അഭാജ്യമാണ്  ''w'' എങ്കിൽ അത് ''v'' യുടെ ഘടകമായിരിക്കണം എന്ന് ഇപ്രകാരം തെളിയിക്കാം: ''u'', ''w'' എന്ന സംഖ്യകളുടെ ഉസാഘ 1 ആയതിനാൽ ബെസു അനന്യത ഉപയോഗിച്ച് 
: {{math|1=1 = ''su'' + ''tw''}}
എന്ന സമവാക്യത്തിന് നിർദ്ധാരണമായി ''s'', ''t'' എന്ന പൂർണ്ണസംഖ്യകൾ കണ്ടുപിടിക്കാനാകും. സമവാക്യത്തിന്റെ രണ്ടു ഭാഗവും ''v'' കൊണ്ടു ഗുണിച്ചാൽ
: {{math|1=''v'' = ''suv'' + ''twv'' = ''sL'' + ''twv''}}
എന്ന് ലഭിക്കുന്നു. വലതുഭാഗത്തെ രണ്ട് പദങ്ങളും ''w'' ന്റെ ഗുണിതങ്ങളായതിനാൽ ഇടതുഭാഗമായ ''v'' യും ''w'' ന്റെ ഗുണിതമാണെന്നു വരുന്നു. ഈ ഫലം [[യൂക്ലിഡിന്റെ പ്രമേയിക]] എന്നറിയപ്പെടുന്നു.<ref name="Ore, p. 44">{{Harvnb|Ore|1948|p=44}}</ref> ഇതിൽ നിന്നും, ഒരു അഭാജ്യസംഖ്യ ''L'' ന്റെ ഘടകമാണെങ്കിൽ ''L'' ന്റെ ഒരു ഘടകമെങ്കിലും ആ അഭാജ്യസംഖ്യയുടെ ഗുണിതമായിരിക്കണം എന്നു കാണാം. നേരെമറിച്ച്, ''w'' എന്ന സംഖ്യ ''a''<sub>1</sub>, ''a''<sub>2</sub>, …, ''a''<sub>''n''</sub> എന്നിവയോടെല്ലാം സഹ-അഭാജ്യമാണെങ്കിൽ ''w'' അവയുടെ ഗുണനഫലമായ ''a''<sub>1</sub>&nbsp;×&nbsp;''a''<sub>2</sub>&nbsp;×&nbsp;…&nbsp;×&nbsp;''a''<sub>''n''</sub> നോടും സഹ-അഭാജ്യമാണെന്നു വരുന്നു.<ref name="Ore, p. 44"/>

യൂക്ലിഡിന്റെ പ്രമേയിക ഉപയോഗിച്ച് ഏതൊരു പൂർണ്ണസംഖ്യയുടെയും ഘടകക്രിയ അനന്യമാണെന്ന് തെളിയിക്കാം.<ref>{{Harvnb|Stark|1978|pp=281–292}}</ref> ഇങ്ങനെയല്ല, ''L'' നെ ''m'', ''n'' വീതം ഘടകങ്ങളുള്ള രണ്ട് രീതികളിൽ ഘടകക്രിയ ചെയ്യാം എന്ന് കരുതുക
: {{math|1=''L'' = ''p''<sub>1</sub>''p''<sub>2</sub>…''p''<sub>''m''</sub> = ''q''<sub>1</sub>''q''<sub>2</sub>…''q''<sub>''n''</sub>&nbsp;.}}
''p'' എന്ന ഓരോ അഭാജ്യസംഖ്യയും ''L'' ന്റെ ഘടകമായതിനാൽ അത് ''q'' ഘടകങ്ങളിലൊന്നിന്റെയും ഘടകമായിരിക്കണം. എന്നാൽ ''q'' യും ഒരു അഭാജ്യസംഖ്യയായതുകൊണ്ട് ''p''&nbsp;=&nbsp;''q'' എന്ന് വരുന്നു. ഇങ്ങനെ അഭാജ്യ ഘടകങ്ങളെയെല്ലാം ഓരോന്നോരോന്നായി ജോടികളാക്കിയ ശേഷം ''L'' ൽ നിന്ന് ഹരിച്ചെടുത്ത് ഈ പ്രക്രിയ തുടരുകയാണെങ്കിൽ ഘടകങ്ങളൊന്നും ബാക്കിയാവില്ലെന്നു കാണാം. അതായത്, അഭാജ്യഘടകങ്ങളുടെ ക്രമത്തിൽ വ്യതാസമുണ്ടാകാമെന്നതൊഴിച്ചാൽ ഏതു സംഖ്യയെയും അഭാജ്യസംഖ്യകളായി ഘടകക്രിയ ചെയ്യുന്ന രീതി അനന്യമാണ്. ഈ ഫലം ഗണിതത്തിലെ ഒട്ടേറെ തെളിവുകളിൽ പ്രധാന പങ്കു വഹിക്കുന്നു.

=== രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾ ===
[[File:Diophante Bezout.svg|thumb|300px|9''x''&nbsp;+&nbsp;12''y''&nbsp;=&nbsp;483 എന്ന രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യത്തിന്റെ [[ആരേഖം]]. നിർദ്ധാരണങ്ങൾ നീല വൃത്തങ്ങളായി കാണിച്ചിരിക്കുന്നു]]
പൂർണ്ണസംഖ്യകൾ മാത്രം നിർദ്ധാരണങ്ങളായി എടുക്കുന്ന സമവാക്യങ്ങളാണ് [[ഡയൊഫന്റൈൻ സമവാക്യം|ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾ]]. മൂന്നാം നൂറ്റാണ്ടിലെ അലക്സാണ്ട്രിയൻ ഗണിതശാസ്ത്രജ്ഞനായിരുന്ന [[ഡയോഫാന്റസ്|ഡയോഫാന്റസിന്റെ]] പേരിലാണ് ഇവ അറിയപ്പെടുന്നത്.<ref>{{Harvnb|Rosen|2000|pp=119–125}}</ref> രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾക്ക് സാധാരണ ഗതിയിൽ താഴെ കൊടുത്തിരിക്കുന്ന രൂപമാണുണ്ടാവുക<ref>{{Harvnb|Schroeder|2005|pp=106–107}}</ref>
: {{math|1=''ax'' + ''by'' = ''c''}}
ഇവിടെ ''a'', ''b'', ''c'' എന്നിവ തന്നിരിക്കുന്ന പൂർണ്ണസംഖ്യകളാണ്; ''x'', ''y'' എന്നിവ കണ്ടൂപിടിക്കേണ്ട പൂർണ്ണസംഖ്യകളും. ഇതിനെ [[മോഡ്യുലർ അങ്കഗണിതം|മോഡ്യുലർ അങ്കഗണിതമുപയോഗിച്ച്]] ''x'' നുള്ള സമവാക്യമായി എഴുതാം:
: {{math|1=''ax'' &equiv; ''c'' mod ''b''.}}
''a'' യുടെയും ''b'' യുടെയും ഉസാഘയാണ് ''g'' എന്നിരിക്കട്ടെ. ''ax''&nbsp;+&nbsp;''by'' യിലെ രണ്ട് പദങ്ങളും ''g'' യുടെ ഗുണിതങ്ങളായതിനാൽ ''c'' യും ഗുണിതമായിരിക്കണമെന്നു വരുന്നു, അല്ലാത്തപക്ഷം സമവാക്യത്തിന് നിർദ്ധാരണങ്ങളുണ്ടാവില്ല. സമവാക്യത്തിന്റെ രണ്ടു ഭാഗത്തെയും ''c''/''g'' കൊണ്ടു ഹരിച്ചാൽ സമവാക്യം ബെസു അനന്യതയുടെ രൂപത്തിലേക്കു മാറുന്നു
: {{math|1=''sa'' + ''tb'' = ''g''}}
ഇവിടെ ''s'' ന്റെയും ''t'' യുടെയും വില [[#വികസിത യൂക്ലിഡിയൻ അൽഗൊരിതം|വികസിത യൂക്ലിഡിയൻ അൽഗൊരിതം]] ഉപയോഗിച്ച് കണ്ടുപിടിക്കാം.<ref>{{Harvnb|Schroeder|2005|pp=108–109}}</ref> ഡയൊഫന്റൈൻ സമവാക്യത്തിന്റെ ഒരു നിർദ്ധാരണം ഇങ്ങനെ കണ്ടുപിടിക്കാം: ''x''<sub>1</sub>&nbsp;=&nbsp;''s'' (''c''/''g''), ''y''<sub>1</sub>&nbsp;=&nbsp;''t'' (''c''/''g'').

സാധാരണ ഗതിയിൽ ഒരു രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യത്തിന്റെ പരിഹാരങ്ങളുടെ എണ്ണം പൂജ്യമോ അനന്തമോ ആണ്.<ref>{{Harvnb|Rosen|2000|pp=120–121}}</ref> പരിഹാരങ്ങൾ അനന്തമാണെങ്കിൽ കണ്ടുപിടിക്കുന്നതെങ്ങനെയെന്നു നോക്കാം. ഒരേ രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യത്തിന്റെ നിർദ്ധാരണങ്ങളാണ് (''x''<sub>1</sub>,&nbsp;''y''<sub>1</sub>), (''x''<sub>2</sub>,&nbsp;''y''<sub>2</sub>) എന്നു കരുതുക. അതായത്,
: {{math|1=''ax''<sub>1</sub> + ''by''<sub>1</sub> = ''c'' = ''ax''<sub>2</sub> + ''by''<sub>2</sub>}}
അഥവാ
: {{math|1=''a''(''x''<sub>1</sub> − ''x''<sub>2</sub>) = ''b''(''y''<sub>2</sub> − ''y''<sub>1</sub>).}}
അതായത്, രണ്ട് പരിഹാരങ്ങളുടെ ''x'' വിലകൾക്കിടയിലുള്ള കുറഞ്ഞ വ്യത്യാസം ''b''/''g'' യും ''y'' വിലകൾക്കിടയിലുള്ള കുറഞ്ഞ വ്യത്യാസം ''a''/''g'' യുമാണ്. അതായത്, സമവാക്യത്തിന്റെ നിർദ്ധാരണങ്ങളെ സാമാന്യരൂപത്തിൽ ഇങ്ങനെയെഴുതാം:
: {{math|1=''x'' = ''x''<sub>1</sub> − ''bu''/''g''}}
: {{math|1=''y'' = ''y''<sub>1</sub> + ''au''/''g''}}.
''u'' വിന്റെ വില എല്ലാ പൂർണ്ണസംഖ്യകളുമെടുത്താൽ (''x''<sub>1</sub>,&nbsp;''y''<sub>1</sub>) എന്ന ഒറ്റ നിർദ്ധാരണത്തിൽ നിന്ന് അനന്തം എണ്ണം പരിഹാരങ്ങളെല്ലാം കണ്ടുപിടിക്കാം. പരിഹാരത്തിലെ സംഖ്യകളെല്ലാം എണ്ണൽസംഖ്യകളാകണമെന്ന് നിഷ്കർഷിച്ചാൽ (''x''&nbsp;>&nbsp;0,&nbsp;''y''&nbsp;>&nbsp;0) പരിഹാരങ്ങളുടെ എണ്ണം പരിമിതമാണെന്നു വരാം. ചരങ്ങളെക്കാൾ എണ്ണം സമവാക്യങ്ങളുള്ള ചില ഡയൊഫന്റൈൻ വ്യവസ്ഥകൾക്ക് പരിമിതമായ പരിഹാരങ്ങൾ മാത്രമുണ്ടാകാൻ ഈ നിഷ്കർഷ കാരണമാകാം;<ref>{{Harvnb|Stark|1978|p=47}}</ref> പൂർണ്ണസംഖ്യകൾക്ക് പകരം വാസ്തവികസംഖ്യകൾ ഉപയോഗിച്ച് നിർദ്ധരിക്കുന്ന രേഖീയ സമവാക്യ വ്യവസ്ഥകളിൽ ഇത് ഒരിക്കലും സംഭവിക്കില്ല.

=== ഗുണനവിപരീതവും ആർ.എസ്.എ. അൽഗൊരിതവും ===
പരിമിത എണ്ണം സംഖ്യകളുള്ള ഒരു ഗണവും ഗണത്തിലെ സംഖ്യകളുടെ മേൽ പ്രവർത്തിക്കുന്ന നാല് സംക്രിയകളും ചേർന്ന ബീജീയഘടനയാണ് [[പരിമിതക്ഷേത്രം]]. സങ്കലനം, വ്യവകലനം, ഗുണനം, ഹരണം എന്നിവയുടെ സാമാന്യവത്കരണങ്ങളാണ് ഈ സംക്രിയകൾ, ഇവ സാധാരണ സംഖ്യകളെപ്പോലെ [[ക്രമനിയമം]], [[സാഹചര്യനിയമം]], [[വിതരണനിയമം]] എന്നിവ പാലിക്കുകയും ചെയ്യുന്നു. ഉദാഹരണമായി, {0,&nbsp;1,&nbsp;2,&nbsp;…,&nbsp;12} എന്ന പതിമൂന്ന് സംഖ്യകളുടെ ഗണം [[മോഡ്യുലർ അങ്കഗണിതം|മോഡ്യുലർ അങ്കഗണിത]] സംക്രിയകൾക്കു കീഴിൽ ഒരു പരിമിതക്ഷേത്രമാണ്. ഈ ക്ഷേത്രത്തിൽ നാല് സംക്രിയകളും (സങ്കലനം, വ്യവകലനം, ഗുണനം, ഹരണം) [[മോഡ്യുലോ]] 13 ആയാണ് ചെയ്യുക. അതായത്, സംക്രിയയുടെ ഫലം 0 നും 12 നും ഇടയിലല്ലെങ്കിൽ അത്തരമൊരു സംഖ്യ ലഭിക്കുന്നതു വരെ 13 കൂട്ടുകയോ കുറയ്ക്കുകയോ ചെയ്യുന്നു. ഉദാഹരണമായി,  5&nbsp;×&nbsp;7&nbsp;=&nbsp;35&nbsp;mod&nbsp;13&nbsp;=&nbsp;9. ഇത്തരം പരിമിതക്ഷേത്രങ്ങൾ ''p'' എന്ന ഏത് അഭാജ്യസംഖ്യയുപയോഗിച്ചും നിർമ്മിക്കാം. കൂടുതൽ സങ്കീർണ്ണമായ നിർവ്വചനങ്ങളുപയോഗിച്ചാൽ അഭാജ്യസംഖ്യകളുടെ ഘാതങ്ങൾക്കും (''p''<sup>&nbsp;''m''</sup>) പരിമിതക്ഷേത്രങ്ങൾ സൃഷ്ടിക്കുക സാധ്യമാണ്. പരിമിതക്ഷേത്രങ്ങൾ [[ഇവാരിസ്റ്റെ ഗാൽവ|ഗാൽവ]] ക്ഷേത്രങ്ങൾ എന്ന പേരിലും അറിയപ്പെടുന്നു, ഇവയെ GF(''p'') എന്നോ GF(''p''<sup>&nbsp;''m''</sup>) എന്നോ ആണ് സൂചിപ്പിക്കുക.

''a'' ഇത്തരമൊരു ക്ഷേത്രത്തിലെ പൂജ്യമല്ലാത്ത അംഗമാണെങ്കിൽ അതിന് അനന്യമായ [[മോഡ്യുലർ ഗുണനവിപരീതം]] ഉണ്ടായിരിക്കും. ''a'' യുടെ മോഡ്യുലർ ഗുണനവിപരീതം എന്നത് {{nowrap|1=''aa''<sup>−1</sup>&nbsp;=&nbsp;''a''<sup>−1</sup>''a''&nbsp;≡&nbsp;1&nbsp;mod&nbsp;''m''.}} എന്ന സമവാക്യം അനുസരിക്കുന്ന ''a''<sup>−1</sup> എന്ന സംഖ്യയാണ്. ''ax''&nbsp;≡&nbsp;1&nbsp;mod&nbsp;''m'',<ref>{{Harvnb|Schroeder|2005|pp=107–109}}</ref> എന്ന [[സർവ്വസമത|സർവ്വസമതയ്ക്ക്]] നിർദ്ധാരണം കാണുന്നതു വഴി ഈ സംഖ്യ കണ്ടുപിടിക്കാം. ഇത് താഴെക്കൊടുത്തിരിക്കുന്ന രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യം നിർദ്ധരിക്കുന്നതിന് തുല്യമാണ്<ref>{{Harvnb|Stillwell|1997|pp=186–187}}</ref>
: {{math|1=''ax'' + ''my'' = 1.}}
ഈ സമവാക്യം മേൽ വിവരിച്ചതുപോലെ യൂക്ലിഡിന്റെ അൽഗൊരിതമുപയോഗിച്ച് നിർദ്ധരിക്കാം. മൊഡ്യുലാർ ഗുണനവിപരീതങ്ങൾ കാണുന്നത് [[ഇകൊമേഴ്സ്|ഇകൊമേഴ്സിൽ]] വ്യാപകമായി ഉപയോഗിക്കുന്ന [[ആർ.എസ്.എ. അൽഗൊരിതം|ആർ.എസ്.എ. അൽഗൊരിതത്തിന്റെ]] അവശ്യഭാഗമാണ്.<ref>{{Harvnb|Schroeder|2005|p=134}}</ref> ക്ഷേത്രങ്ങൾക്കു പകരം [[വലയം (ഗണിതം‌)|വലയങ്ങളാണ്]] ആർ.എസ്.എ. അൽഗൊരിതത്തിൽ ഉപയോഗിക്കുന്നതെങ്കിലും വലയങ്ങളിലും (ഗുണനവിപരീതമുള്ള) അംഗങ്ങളുടെ ഗുണനവിപരീതം യൂക്ലിഡിന്റെ അൽഗൊരിതമുപയോഗിച്ച് കണ്ടുപിടിക്കാം. വാർത്താവിനിമയത്തിൽ തെറ്റുകൾ തിരുത്താനുപയോഗിക്കുന്ന എറർ കറക്റ്റിങ് കോഡുകളിലും യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന് ഉപയോഗമുണ്ട്. ഉദാഹരണമായി, ഗാൽവ ക്ഷേത്രങ്ങൾ ഉപയോഗിക്കുന്ന [[BCH code|ബി.സി.എച്. കോഡ്]], [[റീഡ്-സോളമൻ കോഡ്]] എന്നിവ ഡീകോഡ് ചെയ്യാൻ [[Berlekamp–Massey algorithm|ബെർൽകാംപ്-മാസ്സേ അൽഗൊരിതത്തിനു]] പകരമായി ഇത് ഉപയോഗിക്കാം.<ref>{{cite book|title=Error Correction Coding: Mathematical Methods and Algorithms|url=https://archive.org/details/errorcorrectionc00moon|page=[https://archive.org/details/errorcorrectionc00moon/page/n312 266]|first=T. K.|last=Moon|publisher=John Wiley and Sons|year=2005|isbn=0-471-64800-0}}</ref>

=== ചൈനീസ് ശിഷ്ട പ്രമേയം ===
ഒന്നിലേറെ രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾ നിർദ്ധരിക്കാനും യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കാം..<ref>{{Harvnb|Rosen|2000|pp=143–170}}</ref> ഇത്തരം സമവാക്യങ്ങൾ [[ചൈനീസ് ശിഷ്ട പ്രമേയം|ചൈനീസ് ശിഷ്ട പ്രമേയത്തിൽ]] (Chinese remainder theorem) കാണാം. പൂർണ്ണസംഖ്യകളെ വിവരിക്കാനുള്ള ഒരു വ്യത്യസ്തമായ രീതിയാണിത്. സംഖ്യകളെ അവയുടെ അക്കങ്ങളുപയോഗിച്ച് വിവരിക്കുന്നതിനു പകരം ''m''<sub>''i''</sub> എന്ന പരസ്പരം സഹ-അഭാജ്യമായ ''N'' സംഖ്യകൾ കൊണ്ടു ഹരിച്ചാൽ കിട്ടുന്ന ശിഷ്ടങ്ങളായ ''x''<sub>''i''</sub> എന്നിവ കൊണ്ട് സൂചിപ്പിക്കുന്നു. ഈ സർവ്വസമതകളെ ഇപ്രകാരം എഴുതാം:<ref>{{Harvnb|Schroeder|2005|pp=194–195}}</ref>

: <math>
\begin{align}
x_1 & \equiv x \pmod {m_1} \\
x_2 & \equiv x \pmod {m_2} \\
& \,\,\,\vdots \\
x_N & \equiv x \pmod {m_N} \,.
\end{align}
</math>
''x''<sub>''i''</sub> എന്ന ശിഷ്ടങ്ങളുപയോഗിച്ച് ''x'' കണ്ടുപിടിക്കുകയാണ് ലക്ഷ്യം. ഈ സമവാക്യങ്ങളെയെല്ലാം കൂട്ടിച്ചേർത്ത് ''m''<sub>''i''</sub> എന്ന മാപാങ്കങ്ങളുടെ (moduli) ഗുണനഫലമായ ''M'' മാപാങ്കമായുള്ള ഒറ്റ രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യമായി മാറ്റുക വഴി ഇത് സാധിക്കാം. ''m''<sub>''i''</sub> ഒഴികെയുള്ള മാപാങ്കങ്ങളുടെ ഗുണനഫലത്തെ ''M''<sub>''i''</sub> എന്ന് വിളിക്കുക:
: <math> M_i = \frac M {m_i}. </math>
താഴെ കൊടുത്തിരിക്കുന്ന സമവാക്യമനുസരിക്കുന്ന (യഥാർത്ഥത്തിൽ ''N'' സമവാക്യങ്ങൾ) സംഖ്യകൾ കണ്ടുപിടിക്കുകയാണ് നിർദ്ധാരണത്തിലെ പ്രധാന പടി
: <math> M_i h_i \equiv 1 \pmod {m_i} \,. </math>
''h''<sub>''i''</sub> എന്ന സംഖ്യകളിൽ നിന്നും ''x'' കണ്ടുപിടിക്കാൻ ഈ സൂത്രവാക്യമുപയോഗിക്കാം
: <math> x \equiv (x_1 M_1 h_1 + x_2 M_2 h_2 + \cdots + x_N M_N h_N) \pmod M \,.</math>

''h''<sub>''i''</sub> എന്ന സംഖ്യകൾ ''M''<sub>''i''</sub> എന്നിവയുടെ ഗുണനവിപരീതങ്ങളായതിനാൽ മുൻപത്തെ ഭാഗത്ത് വിവരിച്ചതുപോലെ അവയെ യൂക്ലിഡിന്റെ അൽഗൊരിതമുപയോഗിച്ച് കണ്ടുപിടിക്കാം.

===സ്റ്റേൺ-ബ്രോക്കോട്ട് ട്രീ===
എല്ലാ ധന [[ഭിന്നകസംഖ്യ]]കളെയും ഒരു അനന്ത [[ബൈനറി സർച്ച് ട്രീ]]യുടെ രൂപത്തിൽ ക്രമീകരിക്കാൻ യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കാം. ഈ ട്രീ [[സ്റ്റേൺ-ബ്രോക്കോട്ട് ട്രീ]] എന്നറിയപ്പെടുന്നു. 1 എന്ന സംഖ്യയെ 1/1 എന്ന ഭിന്നസംഖ്യയുടെ രൂപത്തിൽ ട്രീയുടെ മൂലത്തിൽ (root) നിക്ഷേപിക്കാം. ''a''/''b'' എന്ന മറ്റേത് സംഖ്യയുടെയും ട്രീയിലെ സ്ഥാനം നിർണ്ണയിക്കുന്നത് യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ മൂലരൂപമുപയോഗിച്ച് ഉസാഘയായ gcd(''a'',''b'') കണ്ടാണ്. അൽഗൊരിതത്തിന്റെ മൂലരൂപത്തിൽ ശിഷ്ടം കാണുന്നതിനു പകരം വലിയ സംഖ്യയിൽ നിന്ന് ചെറുത് കുറയ്ക്കുകയും സംഖ്യകൾ തുല്യമാകുമ്പോൾ നിർത്തുകയുമാണല്ലോ ചെയ്യുന്നത്. ആദ്യത്തെ സംഖ്യയിൽ നിന്ന് രണ്ടാമത്തേത് കുറയ്ക്കുകയാണെങ്കിൽ ട്രീയിലെ ഒരു ശീഷത്തിൽ നിന്ന് അതിന്റെ വലത്തെ പിൻഗാമിയിലേക്ക് (right child) നീങ്ങുന്നു, പകരം രണ്ടാമത്തെ സംഖ്യയിൽ നിന്ന് ആദ്യത്തേതാണ് കുറയ്ക്കുന്നതെങ്കിൽ ഇടത്തെ പിൻഗാമിയിലേക്കാണ് (left child) നീങ്ങുക. മൂലത്തിൽ നിന്ന് തുടങ്ങി ഈ നിയമമനുസരിച്ച് നീങ്ങിയാൽ അൽഗൊരിതം അവസാനിക്കുമ്പോൾ എത്തുന്ന ശീർഷമാണ് ട്രീയിൽ ''a''/''b'' യുടെ സ്ഥാനം. ഈ പഥത്തിന്റെ നീളവും ക്രമവും ''a''/''b'' അതിന്റെ ലഘൂകരിച്ച രൂപത്തിലാണോ സൂചിപ്പിച്ചിരിക്കുന്നത് എന്നതിനെ ആശ്രയിക്കുന്നില്ല.<ref>{{cite book|title=Concrete mathematics|page=123|author1-link=Ronald Graham|last1=Graham|first1=R.|author2-link=Donald Knuth|last2=Knuth|first2=D. E.|author3-link=Oren Patashnik|last3=Patashnik|first3=O.|publisher=Addison-Wesley|year=1989}}</ref> അതിനാൽ ഓരോ ധനഭിന്നകസംഖ്യയുടെയും ട്രീയിലെ സ്ഥാനം അനന്യമാണെന്നു വരുന്നു.

[[Image:SternBrocotTree.svg|thumb|400px|സ്റ്റേൺ-ബ്രോക്കോട്ട് ട്രീയുടെ ആദ്യത്തെ നാല് തലങ്ങൾ]]

ഉദാഹരണമായി, 3/4 ന്റെ ശീർഷത്തിലെത്താൻ ട്രീയുടെ മൂലത്തിൽ തുടങ്ങി ഇടത്തേക്ക് ഒരു തവണയും തുടർന്ന് വലത്തേക്ക് രണ്ടു തവണയും നീങ്ങുന്നു:
:<math> 
\begin{align}
 & \gcd(3,4) & \leftarrow \\
= {} & \gcd(3,1) & \rightarrow \\
= {} & \gcd(2,1) & \rightarrow \\
= {} & \gcd(1,1).
\end{align}
</math>

ഭിന്നകസംഖ്യകളുടെ മറ്റൊരു ബൈനറി ട്രീ ആയ [[കാൽകിൻ-വിൽഫ് ട്രീ]]യുമായും യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന് ബന്ധമുണ്ട്. പഥം വിപരീതക്രമത്തിലാണ് നിർമ്മിക്കുന്നത് എന്നതാണ് വ്യത്യാസം: അതായത്, ട്രീയുടെ മൂലത്തിൽ നിന്ന് സംഖ്യയുടെ ശീർഷത്തിലേക്കുള്ള പഥത്തിനു പകരം സംഖ്യയുടെ ശീർഷത്തിൽ നിന്ന് ട്രീയുടെ മൂലത്തിലേക്ക് പോകുന്നു.

===സതതഭിന്നം===
[[സതതഭിന്നം|സതതഭിന്നങ്ങളുമായും]] (continued fraction) യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന് അടുത്ത ബന്ധമുണ്ട്.<ref name="Vinogradov_1954">{{cite book | authorlink = Ivan Matveyevich Vinogradov | last=Vinogradov | first= I. M. | year = 1954 | title = Elements of Number Theory | url = https://archive.org/details/elementsofnumber0000vino | publisher = Dover | location = New York | pages = [https://archive.org/details/elementsofnumber0000vino/page/3 3]–13}}</ref> അൽഗൊരിതത്തിലെ പടികളുടെ സമവാക്യങ്ങളെ ഇപ്രകാരവും എഴുതാം:
:<math>
\begin{align}
\frac a b &= q_0 + \frac{r_0} b \\
\frac b {r_0} &= q_1 + \frac{r_1}{r_0} \\
\frac{r_0}{r_1} &= q_2 + \frac{r_2}{r_1} \\
& \,\,\, \vdots \\
\frac{r_{k-2}}{r_{k-1}} &= q_k + \frac{r_k}{r_{k-1}} \\
& \,\,\,  \vdots \\
\frac{r_{N-2}}{r_{N-1}} &= q_N\,.
\end{align}
</math>
ഓരോ സമവാക്യത്തിന്റെയും വലതുഭാഗത്തെ രണ്ടാമത്തെ പദം അടുത്ത സമവാക്യത്തിന്റെ ഇടതുഭാഗത്തിന്റെ വ്യുൽക്രമമാണ്. അതിനാൽ ആദ്യത്തെ രണ്ട് സമവാക്യങ്ങളെയും ഈ വിധത്തിൽ കൂട്ടിച്ചേർക്കാം
:<math>\frac a b = q_0 + \cfrac 1 {q_1 + \cfrac{r_1}{r_0}} \,.</math>
മൂന്നാമത്തെ സമവാക്യമുപയോഗിച്ച് ഛേദത്തിലെ ''r''<sub>1</sub>/''r''<sub>0</sub> എന്ന പദത്തെ വികസിപ്പിക്കാം
:<math>\frac a b = q_0 + \cfrac 1 {q_1 + \cfrac 1 {q_2 + \cfrac{r_2}{r_1}}}\,. </math>
ഓരോ പടിയിലെയും ''r''<sub>''k''</sub>/''r''<sub>''k''−1</sub> എന്ന ശിഷ്ടങ്ങളുടെ അനുപാതത്തെ ഇങ്ങനെ അടുത്ത സമവാക്യമുപയോഗിച്ച് വികസിപ്പിക്കാം. അവസാനത്തെ സമവാക്യവും ഇങ്ങനെ ഉപയോഗിച്ചു കഴിയുമ്പോൾ ഒരു സതതഭിന്നം ലഭിക്കുന്നു
:<math>\frac a b = q_0 + \cfrac 1 {q_1 + \cfrac 1 {q_2 + \cfrac{1}{\ddots + \cfrac 1 {q_N}}}} = [ q_0; q_1, q_2, \ldots , q_N ] \,.</math>
[[#ഉദാഹരണം|മുകളിൽ]] gcd(1071, 462) കണ്ടുപിടിച്ചപ്പോൾ ''q''<sub>''k''</sub> എന്ന ഹരണഫലങ്ങളായി ലഭിച്ചത് 
2, 3, 7 എന്ന സംഖ്യകളായിരുന്നു. അതിനാൽ 1071/462 എന്ന ഭിന്നസംഖ്യയെ സതതഭിന്നരൂപത്തിൽ ഇപ്രകാരം എഴുതാം
:<math>\frac{1071}{462} = 2 + \cfrac 1 {3 + \cfrac 1 7} = [2; 3, 7]</math>
ഇത് ശരിയാണെന്ന് നേരിട്ട് കണക്കുകൂട്ടിയാൽ കാണാൻ വിഷമമില്ല. ഇപ്രകാരം ഏത് ഭിന്നകസംഖ്യയുടെയും സതതഭിന്നരൂപം യൂക്ലിഡിന്റെ അൽഗൊരിതമുപയോഗിച്ച് കണ്ടുപിടിക്കാം.

===ഫാക്റ്ററൈസേഷൻ അൽഗൊരിതങ്ങൾ===
വലിയ സംഖ്യകളുടെ [[ഘടകക്രിയ]] ചെയ്യാനുപയോഗിക്കുന്ന ഫാക്റ്ററൈസേഷൻ അൽഗൊരിതങ്ങളിലെ ഒരു പ്രധാന പടിയാണ് ഉസാഘ കാണുന്നത്.<ref>{{harvnb|Crandall|Pomerance|2001}}, pp.  225–349</ref> [[പൊളാർഡ്സ് റോ അൽഗൊരിതം]],<ref>{{harvnb|Knuth|1997}}</ref> [[ഷോർ അൽഗൊരിതം]],<ref>{{cite journal | authorlink = Peter Shor|last=Shor |first=P. W. | year = 1997 | title = Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer | journal = SIAM Journal on Scientific and Statistical Computing | volume = 26 | page = 1484 | doi=10.1137/s0097539795293172|arxiv=quant-ph/9508027}}</ref> [[Dixon's factorization method|ഡിക്സൺ രീതി]]<ref>{{cite journal | last = Dixon |first= J. D. | year = 1981 | title = Asymptotically fast factorization of integers | url = https://archive.org/details/sim_mathematics-of-computation_1981-01_36_153/page/255 | journal = Math. Comput. | volume = 36 | pages = 255–260 | doi = 10.2307/2007743 | jstor = 2007743 | issue = 153}}</ref> [[Lenstra elliptic curve factorization|ലെൻസ്ട്ര എലിപ്റ്റിക് കർവ് ഫാക്റ്ററൈസേഷൻ]]<ref>{{cite journal | authorlink = Hendrik Lenstra|last=Lenstra|first=H. W.,  Jr. | year = 1987 | title = Factoring integers with elliptic curves | url = https://archive.org/details/sim_annals-of-mathematics_1987-11_126_3/page/649| journal = Annals of Mathematics | volume = 126 | pages = 649–673 | doi = 10.2307/1971363 | jstor = 1971363 | issue = 3}}</ref> എന്നിവയെല്ലാം ഇങ്ങനെ ഉസാഘ ആവശ്യമുള്ള അൽഗൊരിതങ്ങളാണ്. ഇതിനായ ഉസാഘ കാണാൻ യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കാം. [[സതതഭിന്ന ഫാക്റ്ററൈസേഷൻ]] രീതിയിൽ സതതഭിന്നങ്ങൾ കണ്ടുപിടിക്കാനും അൽഗൊരിതം സഹായിക്കുന്നു.<ref>{{harvnb|Knuth|1997}}, pp. 380–384</ref>

== ഗണനപരമായ സങ്കീർണ്ണത ==
[[Image:Euclidean Algorithm Running Time.svg|thumb|300px|gcd(''x'',''y'') കണ്ടുപിടിക്കാൻ യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിൽ എടുക്കുന്ന പടികളുടെ എണ്ണം. ചുവപ്പും മഞ്ഞയും ബിന്ദുക്കൾ താരതമ്യേന കുറഞ്ഞ എണ്ണം പടികളിൽ ഉസാഘ കണ്ടുപിടിക്കാനാവുന്നത് സൂചിപ്പിക്കുന്നു, വയലറ്റും നീലയും ബിന്ദുക്കൾ സൂചിപ്പിക്കുന്ന സംഖ്യാജോടികൾക്ക് കൂടുതൽ പടികൾ ആവശ്യമാണ്. ഏറ്റവും ഇരുണ്ട ഭാഗം ''y'' = ''Φx'' എന്ന രേഖയോടടുത്താണ് (ഇവിടെ ''Φ'' [[സുവർണ്ണാനുപാതം|സുവർണ്ണാനുപാാതമാണ്]]).]]
യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ [[ഗണനപരമായ സങ്കീർണ്ണത]] സമഗ്രമായി പഠിക്കപ്പെട്ടിട്ടുണ്ട്.<ref>{{harvnb|Knuth|1997}}, pp. 339–364</ref> അൽഗൊരിതത്തിന്റെ കാര്യക്ഷമത കണ്ടുപിടിക്കാൻ അൽഗൊരിതത്തിലെ പടികളുടെ എണ്ണത്തെ ഒരു പടിയുടെ ഗണനപരമായ ചിലവ്വുകൊണ്ട് ഗുണിച്ചാൽ മതി. യൂക്ലിഡിന്റെ അൽഗൊരിതത്തെക്കുറിച്ച് ഇത്തരത്തിലുള്ള ആദ്യത്തെ പഠനം നടത്തിയത് 1811-ൽ എ.എ.എൽ. റെയ്നോഡ് ആണ്,<ref>{{cite book | last = Reynaud |first=A.-A.-L. | year = 1811 | title = Traité d'arithmétique à l'usage des élèves qui se destinent à l'École Polytechnique | edition = 6th | publisher = Courcier | location = Paris | at = Note 60, p.&nbsp;34 }} As cited by {{harvtxt|Shallit|1994}}.</ref> ''u'', ''v'' എന്ന സംഖ്യകളുടെ ഉസാഘ കണ്ടുപിടിക്കാൻ ''v'' പടികൾ മതിയെന്ന് കണ്ടുപിടിക്കുകയും പിന്നീട് ഈ സീമ ''v''/2 &nbsp;+&nbsp;2 ആയി മെച്ചപ്പെടുത്തുകയും ചെയ്തു. [[Émile Léger|എമിൽ ലെഷെർ]] 1837-ൽ അൽഗൊരിതം ഏറ്റവുമധികം പടികളെടൂക്കുന്ന അവസ്ഥയെക്കുറിച്ച് പഠിച്ചു. അനുക്രമമായ [[ഫിബനാച്ചി ശ്രേണി]]കളുടെ ഉസാഘ കണ്ടുപിടിക്കുമ്പോഴാണ് ഇത് സംഭവിക്കുന്നത്.<ref name="Shallit" />  ഇതിനു ശേഷം 1841-ൽ [[Pierre Joseph Étienne Finck|പിയേർ ജോസെഫ് എറ്റിയെൻ ഫിങ്ക്]] പടികളുടെ എണ്ണം 2&nbsp;log<sub>2</sub>&nbsp;''v''&nbsp;+&nbsp;1 മതിയെന്നും അതിനാൽ യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ സങ്കീർണ്ണത ഇൻപുട്ട് വലിപ്പത്തിന്റെ ബഹുപദമാണെന്നും (polynomial time) കണ്ടെത്തി.<ref>{{cite book | last = Finck | first = P.-J.-E. | title = Traité élémentaire d'arithmétique à l'usage des candidats aux écoles spéciales |language=fr | publisher = Derivaux | year = 1841}}</ref><ref name="Shallit">{{cite journal | authorlink = Jeffrey Shallit|last=Shallit|first=J. | year = 1994 | title = Origins of the analysis of the Euclidean algorithm | journal = Historia Math. | volume = 21 | pages = 401–419 | doi=10.1006/hmat.1994.1031|ref=harv}}</ref> ഫിങ്കിന്റെ അപഗ്രഥനം പരിഷ്കരിച്ച [[ഗബ്രിയേൽ ലാമേ]] ചെറിയ സംഖ്യയായ ''b'' യെ [[ദശാംശസമ്പ്രദായം|ദശാംശസമ്പ്രദായത്തിൽ]] എഴുതാനെടുക്കുന്ന അക്കങ്ങളുടെ എണ്ണമായ ''h'' ന്റെ അഞ്ചിരട്ടി പടികളേ അൽഗൊരിതത്തിൽ ആവശ്യം വരൂ എന്ന് തെളിയിച്ചു.<ref>{{cite journal | authorlink = Gabriel Lamé|last=Lamé|first=G. | year = 1844 | title = Note sur la limite du nombre des divisions dans la recherche du plus grand commun diviseur entre deux nombres entiers |language=fr | journal = Comptes Rendus Acad. Sci. | volume = 19 | pages = 867–870}}</ref><ref>{{cite journal | last = Grossman | first = H. | year = 1924 | title = On the Number of Divisions in Finding a G.C.D | url = https://archive.org/details/sim_american-mathematical-monthly_1924-11_31_9/page/443 | journal = The American Mathematical Monthly | volume = 31 | page = 443 | doi = 10.2307/2298146 | jstor = 2298146 | issue = 9}}</ref><ref>{{cite book | last = Honsberger | first = R. | authorlink = Ross Honsberger | year = 1976 | title = Mathematical Gems II | publisher = The [[Mathematical Association of America]] | isbn = 0-88385-302-7 | pages = 54–57}}</ref>

ഒരു സംഖ്യ എത്ര വലുതാണെങ്കിലും അതിനെ കമ്പ്യൂട്ടറിന്റെ മെമ്മറിയിൽ ഒറ്റ മഷീൻ വാക്കിൽ സൂക്ഷിക്കാം എന്ന് കരുതുകയാണെങ്കിൽ സംഖ്യകൾക്കു മേൽ ഹരണം, ശിഷ്ടം മുതലായ സംക്രിയകൾ നടത്താൻ എടുക്കുന്ന സമയം സ്ഥിരമാണ് (സംഖ്യയുടെ വലിപ്പത്തെ ആശ്രയിക്കുന്നില്ല). ഈ കല്പനയെ uniform cost model എന്നാണ് അൽഗൊരിതങ്ങളുടെ ഗണനപരമായ സങ്കീർണ്ണതാസിദ്ധാന്തത്തിൽ വിളിക്കുന്നത്. ഈ അനുമാനത്തിനു കീഴിൽ അൽഗൊരിതത്തിന്റെ ഓരോ പടിയും ചെയ്യാനെടുക്കുന്ന സമയം ഒരു സ്ഥിരാങ്കമാണെന്നും അതിനാൽ അൽഗൊരിതത്തിന്റെ ആകെ സങ്കീർണ്ണത ''O''(''h'') ആണെന്നും വരുന്നു. എന്നാൽ ഒരു മഷീൻ വാക്കിലൊതുങ്ങാത്ത വലിയ സംഖ്യകളുടെ കാര്യത്തിൽ ഈ കല്പന ശരിയാവില്ല. വലിയ സംഖ്യകളുടെ ശിഷ്ടം കാണാനെടൂക്കുന്ന അൽഗൊരിതത്തിന്റെ സങ്കീർണ്ണത ''O''(''h''<sup>2</sup>)<ref name="Knuth-257-261"/> വരെ ആകാം എന്നതിനാൽ [[telescoping series|ടെലിസ്കോപിങ് സീരീസ്]] ഉപയോഗിച്ച് യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ മൊത്തം സങ്കീർണ്ണതയും ''O''(''h''<sup>2</sup>) ആണെന്നു കാണാം. വലിയ സംഖ്യകളെ കാര്യക്ഷമമായി ഗുണിക്കാനുപയോഗിക്കുന്ന [[Schönhage–Strassen algorithm|ഷോൺഹാഗെ-സ്ട്രാസെൻ അൽഗൊരിതം]] മുതലായവ ഉപയോഗിച്ച് യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ സങ്കീർണ്ണത ഇനിയും കുറച്ച് ക്വാസിലീനിയർ (quasilinear) വരെയാക്കാം.<ref name="Crandall_2001" /><ref name="Moller08"/>

=== പടികളുടെ എണ്ണം ===
''a'', ''b'' എന്ന സംഖ്യകളുടെ ഉസാഘ കാണാനെടുക്കുന്ന പടികളുടെ എണ്ണത്തെ ''T''(''a'',&nbsp;''b'') കൊണ്ടു സൂചിപ്പിക്കാം.<ref name="Knuth, p. 344">{{harvnb|Knuth|1997}}</ref> ഇവയുടെ ഉസാഘ ''g'' ആണെങ്കിൽ ''a''&nbsp;=&nbsp;''mg'' എന്നും ''b''&nbsp;=&nbsp;''ng'' എന്നും വരുന്ന തരത്തിൽ ''m'', ''n'' എന്ന സഹ-അഭാജ്യസംഖ്യകൾ കണ്ടുപിടിക്കാം. ഇതുപയോഗിച്ച്
: {{math|1=''T''(''a'', ''b'') = ''T''(''m'', ''n'')}}
എന്നു ലഭിക്കുന്നു (യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിലെ എല്ലാ പടികളെയും ''g'' കൊണ്ട് ഹരിച്ചാൽ ഇത് കാണാം)<ref>{{Harvnb|Ore|1948|p=45}}</ref> ''a'', ''b'' എന്ന സംഖ്യകളെ രണ്ടിനെയും ''w'' എന്ന സംഖ്യകൊണ്ട് ഗുണിച്ചാലും പടികളുടെ എണ്ണത്തിൽ മാറ്റം വരില്ല, ''T''(''a'', ''b'') = ''T''(''wa'', ''wb''). അതിനാൽ അടുത്തടുത്ത സംഖ്യകളുടെ കാര്യത്തിൽ പോലും ഉസാഘ കാണാനെടുക്കുന്ന പടികളുടെ എണ്ണം വ്യത്യാസപ്പെടാം. അതായത്,  T(''a'', ''b'') യും T(''a'',&nbsp;''b''&nbsp;+&nbsp;1) യും കാണാനാവശ്യമായ പടികൾ അവയുടെ ഉസാഘയനുസരിച്ച് വളരെ വ്യത്യസ്തമാണെന്നു വരാം.

യൂക്ലിഡിന്റെ അൽഗൊരിതം സമാവർത്തനമുപയോഗിക്കുന്നതിനാൽ താഴെ കൊടുത്തിരിക്കുന്ന സമവാക്യം ലഭിക്കുന്നു
: {{math|1=''T''(''a'', ''b'') = 1 + ''T''(''b'', ''r''<sub>0</sub>) = 2 + ''T''(''r''<sub>0</sub>, ''r''<sub>1</sub>) = … = ''N'' + ''T''(''r''<sub>''N''−2</sub>, ''r''<sub>''N''−1</sub>) = ''N'' + 1 .}}

ഇവിടെ ''T''(''x'', 0)&nbsp;=&nbsp;0 എന്ന് കല്പിച്ചിരിക്കുന്നു.<ref name="Knuth, p. 344"/>

==== കൂടിയ വില ====
ഉസാഘ കണ്ടുപിടിക്കാൻ യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിൽ ''N'' പടികൾ ആവശ്യമായ ഏറ്റവും ചെറിയ സംഖ്യാജോടി [[ഫിബനാച്ചി സംഖ്യ]]കളായ ''F''<sub>''N''+2</sub>, ''F''<sub>''N''+1</sub> എന്നിവയാണ്.<ref name="Knuth, p. 343">{{harvnb|Knuth|1997}}, p. 343</ref> കൂടുതൽ കൃത്യമായി പറയുകയാണെങ്കിൽ, യൂക്ലിഡിന്റെ അൽഗൊരിതം ''a''&nbsp;>&nbsp;''b'' ആയ രണ്ടു സംഖ്യകളുടെ ഉസാഘ കാണാൻ ''N'' പടികളെടുക്കുന്നുവെങ്കിൽ ''a''&nbsp;≥&nbsp;''F''<sub>''N''+2</sub>, ''b''&nbsp;≥&nbsp;''F''<sub>''N''+1</sub> ആയിരിക്കും. [[ഗണിതീയാഗമനം]] വഴി ഇത് തെളിയിക്കാം.<ref>{{Harvnb|Mollin|2008|p=21}}</ref> ''N''&nbsp;=&nbsp;1 ആണെങ്കിൽ ''a'' യുടെ ഭാജകമായിരിക്കണം ''b''. ഇങ്ങനെ വരുന്ന ഏറ്റവും ചെറിയ സംഖ്യകൾ ''b''&nbsp;=&nbsp;1, ''a''&nbsp;=&nbsp;2 ആണ്. ഇവ യഥാക്രമം ഫിബനാച്ചി സംഖ്യകളായ ''F''<sub>2</sub>, ''F''<sub>3</sub> എന്നിവയാണെന്നു കാണാം. ''N'' ന്റെ ''M''&nbsp;−&nbsp;1 വരെയുള്ള എല്ലാ വിലകൾക്കും ഈ പ്രസ്താവന ശരിയാണെന്നു കരുതുക. ''M'' പടികളുള്ള അൽഗൊരിതത്തിന്റെ ആദ്യത്തെ ക്രിയ ''a''&nbsp;=&nbsp;''q''<sub>0</sub>''b''&nbsp;+&nbsp;''r''<sub>0</sub> കാണുകയാണ്, ഇതിനു ശേഷം ''b''&nbsp;>&nbsp;''r''<sub>0</sub> എന്നിവയുടെ ഉസാഘ ''M''&nbsp;−&nbsp;1 പടികളുപയോഗിച്ച് കാണുന്നു. ഗണിതീയാഗമനത്തിലെ പരികല്പനയനുസരിച്ച് ''b''&nbsp;≥&nbsp;''F''<sub>''M''+1</sub>, ''r''<sub>0</sub>&nbsp;≥&nbsp;''F''<sub>''M''</sub> ആണല്ലോ. അതിനാൽ 
:''a''&nbsp;=&nbsp;''q''<sub>0</sub>''b''&nbsp;+&nbsp;''r''<sub>0</sub>&nbsp;≥&nbsp;''b''&nbsp;+&nbsp;''r''<sub>0</sub>&nbsp;≥&nbsp;''F''<sub>''M''+1</sub>&nbsp;+&nbsp;''F''<sub>''M''</sub>&nbsp;=&nbsp;''F''<sub>''M''+2</sub>
ഇതാണ് ''M'' ആമത്തെ പടിയിൽ തെളിയിക്കേണ്ടിയിരുന്ന അസമത. 1944-ൽ [[ഗബ്രിയേൽ ലാമേ]] ആണിത് തെളിയിച്ചത്. [[ഗണനപരമായ സങ്കീർണ്ണതാസിദ്ധാന്തം|ഗണനപരമായ സങ്കീർണ്ണതാസിദ്ധാന്തത്തിന്]] തുടക്കം കുറിച്ചത് ഈ ഫലമാണ്,<ref>{{Harvnb|LeVeque|1996|p=35}}</ref> ഫിബനാച്ചി സംഖ്യകളുടെ ആദ്യത്തെ പ്രായോഗികമായ ഉപയോഗവും ഈ തെളിവിലായിരുന്നു.<ref name="Knuth, p. 343"/>

യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിലെ പടികളുടെ എണ്ണം സംഖ്യകളെ ദശാംശസമ്പ്രദായത്തിലെഴുതുമ്പോളുള്ള അക്കങ്ങളുടെ എണ്ണത്തിന്റെ അഞ്ചിരട്ടിയിൽ കൂടുകയില്ല എന്നും ഈ ഫലമുപയോഗിച്ച് തെളിയിക്കാം.<ref>{{Harvnb|Mollin|2008|pp=21–22}}</ref> അൽഗൊരിതം ''N'' പടികളുപയോഗിക്കുന്നുവെങ്കിൽ ''b'' യുടെ വില ചുരുങ്ങിയത് ''F''<sub>''N''+1</sub> ആയിരിക്കും എന്ന് മേലെ കണ്ടല്ലോ. [[സുവർണ്ണാനുപാതം|സുവർണ്ണാനുപാതത്തെ]] ''φ'' കൊണ്ട് സൂചിപ്പിച്ചാൽ ഇതിന്റെ വില ''φ''<sup>''N''&minus;1</sup> എങ്കിലും വരും. ''b''&nbsp;≥&nbsp;''φ''<sup>''N''&minus;1</sup> ആയതിനാൽ ''N''&nbsp;&minus;&nbsp;1&nbsp;≤&nbsp;log<sub>''φ''</sub>''b'' എന്നു വരുന്നു. സുവർണ്ണാനുപാതത്തിന്റെ [[ലോഗരിതം|സ്വാഭാവിക ലോഗരിതത്തിന്റെ]] വില 1/5 ൽ കുറവായതിനാൽ
:(''N''&nbsp;&minus;&nbsp;1)/5&nbsp;<&nbsp;log<sub>10</sub>''φ''&nbsp;log<sub>''φ''</sub>''b''&nbsp;=&nbsp;log<sub>10</sub>''b''.
എന്നു കാണാം. അതായത്, ''N''&nbsp;≤&nbsp;5&nbsp;log<sub>10</sub>''b''. ചെറിയ സംഖ്യയായ ''b'' യുടെ അക്കങ്ങളുടെ എണ്ണം ''h'' ആണെങ്കിൽ യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിൽ [[സമയസങ്കീർണ്ണത|''O''(''h'')]] ഹരണങ്ങളേ ആവശ്യമായി വരൂ.

====ശരാശരി====
യൂക്ലിഡിന്റെ അൽഗൊരിതം പൂർത്തീകരിക്കാനെടുക്കുന്ന ശരാശരി പടികളുടെ എണ്ണത്തെ മൂന്ന് രീതിയിൽ നിർവചിക്കാം. വലിയ സംഖ്യയായ ''a'' നിർണ്ണയിച്ച ശേഷം ചെറിയ സംഖ്യയായ ''b'' യെ 0 മുതൽ ''a''&nbsp;−&nbsp;1 വരെയുള്ള പൂർണ്ണസംഖ്യകളിൽ നിന്ന് തുല്യ [[സംഭാവ്യത]]യോടെ തിരഞ്ഞെടുത്താൽ അൽഗൊരിതത്തിനാവശ്യമായ ശരാശരി പടികളുടെ എണ്ണമെടുക്കുകയാണ് ഒരു വഴി. ഇതിനെ ''T''(''a'') എന്ന് സൂചിപ്പിക്കാം<ref name="Knuth, p. 344"/>
:<math>T(a) = \frac 1 a \sum_{0 \leq b<a} T(a, b).</math>
''T''(''a'',&nbsp;''b'') യുടെ വില സംഖ്യകളുടെ ഉസാഘയ്ക്കനുസരിച്ച് കാര്യമായി മാറുന്നതിനാൽ ''T''(''a'') യും ഇവ്വിധം അവിച്ഛിന്നമായിരിക്കാൻ സാധ്യതയുണ്ട്.<ref>{{harvnb|Knuth|1997}}, p. 353</ref> ഇത്തരം ഏറ്റക്കുറച്ചിലുകളൊഴിവാക്കാൻ ''b'' യെ 0 മുതൽ ''a''&nbsp;−&nbsp;1 വരെയുള്ള പൂർണ്ണസംഖ്യകളിൽ വച്ച് ''a'' യോട് സഹ-അഭാജ്യമായുള്ളവ മാത്രമെടുത്ത് ശരാശരി പടികളുടെ എണ്ണം കാണാം, ഇതിനെ ''τ''(''a'') കൊണ്ട് സൂചിപ്പിക്കുന്നു
:<math>\tau(a) = \frac 1 {\varphi(a)} \sum_{\begin{smallmatrix} 0 \leq b<a \\  \gcd(a, b) = 1 \end{smallmatrix}} T(a, b).</math>
ഇവിടെ ''φ''(''a'') എന്നത് ''a'' യെക്കാൾ ചെറുതും ''a'' യോട് സഹ-അഭാജ്യവുമായ സംഖ്യകളുടെ എണ്ണമാണ്, ഇതിനെ [[ഓയ്‌ലറുടെ ടോഷ്യന്റ് ഫലനം]] എന്ന് വിളിക്കുന്നു. ഈ ''τ'' ശരാശരി ''a'' യുടെ വില വർദ്ധിക്കുന്നതിനനുസരിച്ച് ഏതാണ്ട് ക്രമമായാണ് വർദ്ധിക്കുന്നത്<ref>{{harvnb|Knuth|1997}}, p. 357</ref><ref>{{cite journal | last = Tonkov | first= T. | year = 1974 | title = On the average length of finite continued fractions | journal = Acta Arithmetica | volume = 26 | pages = 47–57}}</ref>
:<math>\tau(a) = \frac{12}{\pi^2}\ln 2 \ln a + C + O(a^{-1/6-\varepsilon}).</math>
ക്രമമായ വർദ്ധനവിൽ നിന്നുള്ള വ്യതിയാനം ഏതാണ്ട് ''a''<sup>−(1/6) + ''ε''</sup> മാത്രമാണ് (ഇവിടെ ''ε'' [[അനന്തസൂക്ഷ്മം|അനന്തസൂക്ഷ്മത്തെ]] സൂചിപ്പിക്കുന്നു). സമവാക്യത്തിലെ ''C'' പോർട്ടറുടെ സ്ഥിരാങ്കം എന്നറിയപ്പെടുന്നു.<ref>{{mathworld|id=PortersConstant|title=Porter's Constant}}</ref> ഇതിന്റെ വില
:<math>C= -\frac 1 2 + \frac{6 \ln 2}{\pi^2}\left(4\gamma -\frac{24}{\pi^2}\zeta'(2) + 3\ln 2 - 2\right) \approx 1.467</math>
ആണ്. ഇവിടെ ''γ'' [[Euler–Mascheroni constant|ഓയ്‌ലർ-മസ്കരോണി സ്ഥിരാങ്കവും]] ζ' [[Riemann zeta function|റീമാൻ സീറ്റ ഫലനത്തിന്റെ]] [[derivative|അവകലജവുമാണ്]].<ref>{{cite journal | last = Porter | first = J. W. | year = 1975 | title = On a Theorem of Heilbronn | journal = Mathematika | volume = 22 | pages = 20–28 | doi = 10.1112/S0025579300004459}}</ref><ref>{{cite journal | last = Knuth|first = D. E. | authorlink = Donald Knuth | year = 1976 | title = Evaluation of Porter's Constant | url = https://archive.org/details/sim_computers-mathematics-with-applications_1976_2/page/137| journal = Computers and Mathematics with Applications | volume = 2 | pages = 137–139 | doi = 10.1016/0898-1221(76)90025-0 | issue = 2}}</ref> (12/π<sup>2</sup>) എന്ന ആദ്യത്തെ ഗുണോത്തരം രണ്ട് സ്വതന്ത്രമായ രീതികളുപയോഗിച്ചാണ് കണ്ടുപിടിച്ചത്.<ref>{{cite journal | last = Dixon | first = J. D. | year = 1970 | title = The Number of Steps in the Euclidean Algorithm | journal = J. Number Theory | volume = 2 | pages = 414–422 | doi = 10.1016/0022-314X(70)90044-2 | issue = 4|bibcode = 1970JNT.....2..414D }}</ref><ref>{{cite book | last = Heilbronn | first = H. A. | authorlink = Hans Heilbronn | year = 1969 | chapter = On the Average Length of a Class of Finite Continued Fractions | title = Number Theory and Analysis | editor = Paul Turán | publisher = Plenum | location = New York | pages = 87–96 | lccn = 76016027}}</ref>

''a'' യുടെ ഭാജകങ്ങളായ ''d'' കളെയെല്ലാം പരിഗണിച്ച് ''τ'' ശരാശരിയിൽ നിന്നും ''T'' ശരാശരി കണ്ടുപിടിക്കാം<ref>{{harvnb|Knuth|1997}}, p. 354</ref>
:<math> T(a) = \frac 1 a \sum_{d \mid a} \varphi(d) \tau(d)</math>
താഴെ കൊടുത്തിരിക്കുന്ന സൂത്രവാക്യമുപയോഗിച്ച് ഇതിന്റെ വില ഏകദേശനം ചെയ്യാം<ref name="Norton_1990">{{cite journal | last = Norton | first = G. H. | year = 1990 | title = On the Asymptotic Analysis of the Euclidean Algorithm | journal = Journal of Symbolic Computation | volume = 10 | pages = 53–58 | doi = 10.1016/S0747-7171(08)80036-3}}</ref>
:<math>T(a) \approx C + \frac{12}{\pi^2} \ln 2 \left(\ln a - \sum_{d \mid a} \frac{\Lambda(d)} d\right).</math>
ഇവിടെ Λ(''d'') [[von Mangoldt function|മാൻഗോൾട്ട് ഫലനമാണ്]].<ref>{{harvnb|Knuth|1997}}, p. 355</ref>

''a'', ''b'' എന്ന രണ്ട് സംഖ്യകളും 1 മുതൽ ''n'' വരെയുള്ള പൂർണ്ണസംഖ്യകളിൽ നിന്ന് തുല്യ സംഭാവ്യതയോടെ തിരഞ്ഞെടുത്ത് മൂന്നാമതൊരു രീതിയിലും ശരാശരി നിർവ്വചിക്കാം, ഇതിനെ ''Y''(''n'') എന്ന് സൂചിപ്പിക്കുന്നു<ref name="Norton_1990" />
:<math>Y(n) = \frac 1 {n^2} \sum_{a=1}^n \sum_{b=1}^n T(a, b) = \frac 1 n \sum_{a=1}^n T(a).
</math>

''T''(''a'') യ്ക്ക് മേലെക്കൊടുത്ത ഏകദേശസൂത്രവാക്യമുപയോഗിച്ച് ''Y''(''n'') നെയും ഏകദേശനം ചെയ്യാം<ref>{{harvnb|Knuth|1997}}, p. 356</ref>
: <math>Y(n) \approx \frac{12}{\pi^2} \ln 2 \ln n + 0.06.</math>

=== ഒരു പടിയുടെ സങ്കീർണ്ണത ===
യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ ''k'' ആമത്തെ പടിയിൽ  ''r''<sub>''k''−2</sub>, ''r''<sub>''k''−1</sub> എന്ന സംഖ്യകളുപയോഗിച്ച് ''q''<sub>''k''</sub> എന്ന ഹരണഫലവും ''r''<sub>''k''</sub> എന്ന ശിഷ്ടവും കണക്കാക്കുകയാണ് ചെയ്യുന്നത്
: {{math|1=''r''<sub>''k''−2</sub> = ''q''<sub>''k''</sub> ''r''<sub>''k''−1</sub> + ''r''<sub>''k''</sub>.}}
ഹരണഫലമായ ''q''<sub>''k''</sub> കണ്ടുപിടിക്കുന്നതാണ് കൂടുതൽ പ്രയാസമേറിയത്, ഇതിന്റെ വില കിട്ടിയാൽ അതുപയോഗിച്ച് ശിഷ്ടമായ ''r''<sub>''k''</sub> എളുപ്പത്തിൽ കണ്ടുപിടിക്കാം
: {{math|1=''r''<sub>''k''</sub> = ''r''<sub>''k''−2</sub> − ''q''<sub>''k''</sub> ''r''<sub>''k''−1</sub>.}}
''h'' ബിറ്റുകളുള്ള സംഖ്യകളെ ഹരിക്കാനെടുക്കുന്ന സമയസങ്കീർണ്ണത ''O''(''h''(''ℓ''+1)) ആണ് (ഇവിടെ ഹരണഫലത്തിലെ ബിറ്റുകളുടെ എണ്ണമാണ് ''ℓ'').<ref name="Knuth-257-261">{{harvnb|Knuth|1997}}, pp. 257–261</ref>

വ്യവകലനമുപയോഗിക്കുന്ന യൂക്ലിഡിന്റെ മൂല അൽഗൊരിതം ഇതിലും വളരെ മന്ദഗതിയിലുള്ളതാണ്. ഒരു തവണ ഹരിക്കുന്നത് ''q'' തവണ വ്യവകലനം ചെയ്യുന്നതിന് തുല്യമാണല്ലോ. ''a'' യുടെയും ''b'' യുടെയും ഹരണഫലം വളരെ വലുതാണെങ്കിൽ ഒരുപാടു തവണ വ്യവകലനം ചെയ്യേണ്ടി വരും. എന്നിരുന്നാലും, സാധാരണഗതിയിൽ ഹരണഫലങ്ങൾ ചെറിയ സംഖ്യകളായിരിക്കും എന്ന് തെളിയിക്കാൻ സാധിക്കും. ''u''&nbsp;=&nbsp;(''q''&nbsp;+&nbsp;1)<sup>2</sup> എന്നെടുത്താൽ ''q'' ഹരണഫലമായി വരാനുള്ള സംഭാവ്യത ഏകദേശം ln|''u''/(''u''&nbsp;−&nbsp;1)| എന്നതിനാലാണിത്.<ref>{{harvnb|Knuth|1997}}, p. 352</ref> ഹരണഫലമായി 1, 2, 3, 4 എന്ന സംഖ്യകൾ ലഭിക്കാനുള്ള സംഭാവ്യത യഥാക്രമം ഏകദേശം 41.5%, 17.0%, 9.3%, 5.9% ഇങ്ങനെയാണെന്നു കാണാം. വ്യവകലനം ഹരണത്തെക്കാൽ സങ്കീർണ്ണത കുറഞ്ഞ സംക്രിയയായതിനാൽ (പ്രത്യേകിച്ച് വലിയ സംഖ്യകൾക്ക്<ref>{{cite book | last = Wagon | first = S. | authorlink = Stan Wagon | year = 1999 | title = Mathematica in Action | url = https://archive.org/details/mathematicaactio00wago_723 | publisher = Springer-Verlag | location = New York | isbn = 0-387-98252-3 | pages = [https://archive.org/details/mathematicaactio00wago_723/page/n359 335]–336}}</ref>) വ്യവകലനമുപയോഗിക്കുന്ന മൂല അൽഗൊരിതത്തിന് ഹരണമുപയോഗിക്കുന്ന അൽഗൊരിതത്തോട് കിടനിൽക്കാനാകും.<ref>{{Harvnb|Cohen|1993|p=14}}</ref> യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ [[binary GCD algorithm|ബൈനറി രൂപം]] ഇതിനെ അടിസ്ഥാനമാക്കിയതാണ്.<ref>{{Harvnb|Cohen|1993|pp=14–15, 17–18}}</ref>

പടികളുടെ എണ്ണവും ഒരു പടി ചെയ്യാനെടുക്കുന്ന സമയവുമുപയോഗിച്ച് യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ സമയസങ്കീർണ്ണത തുടക്കത്തിലെ സംഖ്യകളിലെ ശരാശരി അക്കങ്ങളുടെ എണ്ണമായ ''h'' ന്റെ രണ്ടാംകൃതിയാണെന്ന് (''h''<sup>2</sup>) കാണാം. ''r''<sub>0</sub>,&nbsp;''r''<sub>1</sub>,&nbsp;…,&nbsp;''r''<sub>''N''−1</sub> എന്നീ ശിഷ്ടങ്ങളുടെ അക്കങ്ങളുടെ എണ്ണം ''h''<sub>0</sub>, ''h''<sub>1</sub>, …, ''h''<sub>''N''−1</sub> ആണെന്നെടുക്കുക. പടികളുടെ എണ്ണം ''h'' നോടൊപ്പം രേഖീയമായാണ് വർദ്ധിക്കുന്നത് എന്നതിനാൽ അൽഗൊരിതം എടുക്കുന്ന ആകെ സമയം
:<math>
O\Big(\sum_{i<N}h_i(h_i-h_{i+1}+2)\Big)\subseteq O\Big(h\sum_{i<N}(h_i-h_{i+1}+2) \Big) \subseteq O(h(h_0+2N))\subseteq O(h^2)</math>
ആണെന്ന് വരുന്നു.

=== മറ്റു രീതികൾ ===
യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ ലാളിത്യം കാരണം അതിന് വളരെ പ്രചാരം ലഭിച്ചിട്ടുണ്ട്. പ്രത്യേകിച്ച് ചെറിയ സംഖ്യകളുടെ ഉസാഘ കാണാൻ അൽഗൊരിതം വ്യാപകമായി ഉപയോഗിക്കപ്പെടുന്നു.<ref>{{cite book | last = Sorenson | first = Jonathan P. | contribution = An analysis of the generalized binary GCD algorithm | mr = 2076257 | pages = 327–340 | publisher = American Mathematical Society | location = Providence, RI | series = Fields Institute Communications | title = High primes and misdemeanours: lectures in honour of the 60th birthday of Hugh Cowie Williams | volume = 41 | year = 2004 | url = https://books.google.com/books?id=udr3tHHwBl0C&pg=PA327 | quote = The algorithms that are used the most in practice today [for computing greatest common divisors] are probably the binary algorithm and Euclid's algorithm for smaller numbers, and either Lehmer's algorithm or Lebealean's version of the ''k''-ary GCD algorithm for larger numbers.| isbn = 9780821887592
 }}</ref> ഉസാഘ കാണാനുപയോഗിക്കുന്ന മറ്റ് രീതികളുടെ കാര്യക്ഷമത യൂക്ലിഡിന്റെ അൽഗൊരിതവുമായി താരതമ്യം ചെയ്യാം.

''a'', ''b'' എന്ന സംഖ്യകളുടെ ഉസാഘ കാണാനുള്ള ഒരു വഴി അവയുടെ പൊതു ഘടകങ്ങളെല്ലാം കണ്ടുപിടിക്കുകയാണ്, ഈ ഘടകങ്ങളിൽ ഏറ്റവും വലുതാണ് ഉസാഘ. 2 മുതൽ ചെറിയ സംഖ്യയായ ''b'' വരെയുള്ള എല്ലാ സംഖ്യകളെക്കൊണ്ടും ഹരിച്ചു നോക്കി പൊതു ഘടകങ്ങൾ കണ്ടുപിടിക്കാം. ഇതിനെടുക്കുന്ന ക്രിയകളുടെ എണ്ണം ''b'' വലുതാകുന്നതിനനുസരിച്ച് രേഖീയമായും ''b'' യിലെ അക്കങ്ങളുടെ എണ്ണമനുസരിച്ച് [[എക്സ്പോണെൻഷ്യൽ വളർച്ച|ഘാതാങ്കമായും]] (exponential) വളരുന്നു. [[#പശ്ചാത്തലം: ഉത്തമ സാധാരണ ഘടകം|മുകളിൽ]] വിവരിച്ചതുപോലെ ''a'' യുടെയും ''b'' യുടെയും പൊതുവായ അഭാജ്യ ഘടകങ്ങളുടെ ഗുണനഫലമായതിനാൽ ആ വിധത്തിലും ഉസാഘ ക്കണ്ടുപിടിക്കാം.<ref name="Schroeder_21" /> എന്നാൽ പൂർണ്ണസംഖ്യകളെ [[ഘടകക്രിയ]] ചെയ്യാനുള്ള അൽഗൊരിതങ്ങളും ഉയർന്ന സമയസങ്കീർണ്ണതയുള്ളവയായതിനാൽ യൂക്ലിഡിന്റെ അൽഗൊരിതത്തോളം കാര്യക്ഷമമല്ല. ഇങ്ങനെ പൂർണ്ണസംഖ്യകളെ ഘടകക്രിയ ചെയ്യൽ പ്രയാസമാണ് എന്നതാണ് പല ആധുനിക ഗൂഢാലേഖനവിദ്യകളുടെയും അടിസ്ഥാനം.<ref name="Schroeder_216" />

കമ്പ്യൂട്ടറിൽ ഉപയോഗിക്കുന്ന [[ദ്വയാങ്കസംഖ്യാവ്യവസ്ഥ]] അടിസ്ഥാനമാക്കി ഹരണത്തിനു പകരം കൂടുതൽ വേഗത്തിൽ ചെയ്യാവുന്ന സംക്രിയകളുപയോഗിച്ച് ഉസാഘ കാണുന്ന രീതിയാണ് [[binary GCD algorithm|ദ്വയാങ്ക ഉസാഘ അൽഗൊരിതം]].<ref>{{harvnb|Knuth|1997}}, pp. 321–323</ref><ref>{{cite journal | last = Stein | first = J. | year = 1967 | title = Computational problems associated with Racah algebra | journal = Journal of Computational Physics | volume = 1 | pages = 397–405 | doi = 10.1016/0021-9991(67)90047-2 | issue = 3| bibcode = 1967JCoPh...1..397S }}</ref> ഈ അൽഗൊരിതത്തിന്റെയും [[സമയസങ്കീർണ്ണത]] ''O''(''h''²) ആണെങ്കിലും സാധാരണ കമ്പ്യൂട്ടറുകളിൽ അത് യൂക്ലിഡിന്റെ അൽഗൊരിതത്തെക്കാൾ വേഗത്തിൽ ഉസാഘ കാണുന്നു.<ref name="Crandall_2001">{{harvnb|Crandall|Pomerance|2001}}, pp. 77–79, 81–85, 425–431</ref> ''a'' യുടെയും ''b'' യുടെയും ആദ്യ അക്കങ്ങൾ മാത്രം പരിശോധിച്ച് കാര്യക്ഷമത വർദ്ധിപ്പിക്കാൻ സാധിക്കും.<ref>{{harvnb|Knuth|1997}}, p. 328</ref><ref>{{cite journal | last = Lehmer|first = D. H.|authorlink=Derrick Henry Lehmer | year = 1938 | title = Euclid's Algorithm for Large Numbers | journal = The American Mathematical Monthly | volume = 45 | pages = 227–233 | doi = 10.2307/2302607 | jstor = 2302607 | issue = 4}}</ref> ഇതുപോലെ മറ്റ് സംഖ്യാവ്യവസ്ഥകളെ അടിസ്ഥാനമാക്കിയും  (''k''-ary അൽഗൊരിതങ്ങൾ) ഉസാഘ കണ്ടുപിടിക്കാനുള്ള അൽഗൊരിതങ്ങൾ വികസിപ്പിക്കാം,<ref>{{cite journal | last = Sorenson |first=J. | year = 1994 | title = Two fast GCD algorithms | journal = J. Algorithms | volume = 16 | pages = 110–144 | doi = 10.1006/jagm.1994.1006}}</ref>  ഇവ അഞ്ചിരട്ടി വരെ വേഗത്തിൽ ഉസാഘ കണ്ടുപിടിക്കാൻ സഹായിക്കുന്നു.<ref>{{cite journal | last = Weber |first=K. | year = 1995 | title = The accelerated GCD algorithm | journal = ACM Trans. Math. Softw. | volume = 21 | pages = 111–122 | doi = 10.1145/200979.201042}}</ref> ദ്വയാങ്ക അൽഗൊരിതത്തിന്റെ പൊതു തത്ത്വങ്ങളെ അടിസ്ഥാനമാക്കി ഏത് സംഖ്യാവ്യവസ്ഥയിലും ഉസാഘ കാണാനുള്ള വേഗം കൂട്ടുന്ന അൽഗൊരിതമാണ് [[Lehmer's GCD algorithm|ലെഹ്മറുടെ ഉസാഘ അൽഗൊരിതം]].

വളരെ വലിയ സംഖ്യകളുടെ (25,000 ലേറെ അക്കങ്ങൾ) ഉസാഘ കാണാനുള്ള [[quasilinear time|ക്വാസിലീനിയർ]] അൽഗൊരിതങ്ങളുമുണ്ട്.<ref>{{cite book | last1 = Aho|first1= A.|author1-link=Alfred Aho|last2= Hopcroft|first2= J.|author2-link=John Hopcroft|last3=Ullman|first3=J.|author3-link=Jeffrey Ullman | year = 1974 | title = The Design and Analysis of Computer Algorithms | url = https://archive.org/details/designanalysisco00ahoa_502| publisher = Addison–Wesley | location = New York | pages = [https://archive.org/details/designanalysisco00ahoa_502/page/n309 300]–310 | isbn = 0-201-00029-6}}</ref> ഷോൺഹാഗെ,<ref>{{cite journal | last = Schönhage|first= A. |authorlink=Arnold Schönhage| title = Schnelle Berechnung von Kettenbruchentwicklungen |language=de | journal = Acta Informatica | volume = 1 | pages = 139–144 | doi = 10.1007/BF00289520 | year = 1971 | issue = 2}}</ref><ref>{{cite book | last = Cesari|first= G. | year = 1998 | chapter = Parallel implementation of Schönhage's integer GCD algorithm | title = Algorithmic Number Theory: Proc. ANTS-III, Portland, OR | editor = G. Buhler | publisher = Springer-Verlag | location = New York | pages = 64–76|volume=1423|series=Lecture Notes in Computer Science}}</ref> സ്റ്റെഹ്ലെ-സിമ്മെർമാൻ<ref>{{cite book | last1 = Stehlé|first1=D.|last2=Zimmermann|first2=P. | year = 2005 | chapter = [[Gal's accurate tables]] method revisited | title = Proceedings of the [[17th IEEE Symposium on Computer Arithmetic]] ([[ARITH-17]]) | publisher = [[IEEE Computer Society Press]] | location = Los Alamitos, CA}}</ref> മുതലായവരുടെ അൽഗൊരിതങ്ങൾ ഉദാഹരണമാണ്. യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ [[#മാട്രിക്സ് രീതി|മാട്രിക്സ് രീതി]] ആണ് ഇവയ്ക്കടിസ്ഥാനം. ഇവയുടെ സമയസങ്കീർണ്ണത പൊതുവെ {{nowrap|''O''(''h'' (log ''h'')<sup>2</sup> (log log ''h''))}} ആണ്.<ref name="Crandall_2001" /><ref name="Moller08">{{cite journal | last = Möller|first= N. | title = On Schönhage's algorithm and subquadratic integer gcd computation | journal = Mathematics of Computation | volume = 77 | pages = 589–607 | doi = 10.1090/S0025-5718-07-02017-0 | year = 2008 | url=http://www.lysator.liu.se/~nisse/archive/sgcd.pdf | issue = 261| bibcode = 2008MaCom..77..589M }}</ref>

== സാമാന്യവത്കരണങ്ങൾ ==
സാധാരണ ഗതിയിൽ എണ്ണൽ സംഖ്യകളുടെ ഉസാഘ കാണാനാണ് യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കുന്നതെങ്കിലും [[വാസ്തവികസംഖ്യ]]കൾക്കായും [[ബഹുപദം|ബഹുപദങ്ങൾ]],<ref name="Lang_1984"/> [[ദ്വിമാന പൂർണ്ണസംഖ്യ]]കൾ,<ref name="weinberger"/> [[ഹുർവിറ്റ്സ് ക്വാട്ടേർണിയൻ|ഹുർവിറ്റ്സ് ക്വാട്ടേർണിയനുകൾ]]<ref name="stillwell151-152"/> മുതലായ ഗണിതഘടനകൾക്കായും അൽഗൊരിതത്തെ സാമാന്യവത്കരിക്കാം. ഇത്തരം ഗണിതഘടനകളിൽ [[അനന്യമായ ഘടകക്രിയ]] സാധ്യമാണ് എന്ന് തെളിയിക്കാൻ അൽഗൊരിതം ഉപയോഗിക്കുന്നു. അതായത്, ഘടനയിലെ അംഗങ്ങളെ [[അച്ഛേദ്യ അംഗം|അച്ഛേദ്യമായ അംഗങ്ങളാക്കി]] (ഘടനയിൽ അഭാജ്യസംഖ്യകൾക്ക് സമാനമായ അംഗങ്ങളാണിവ) ഘടകക്രിയ നടത്താൻ ഒരു വഴിയേ ഉള്ളൂ എന്ന് തെളിയിക്കാം. സംഖ്യാസിദ്ധാന്തത്തിലെ പല തെളിവുകളുടെയും അടിസ്ഥാനം അനന്യമായ ഘടകക്രിയയാണ്.

=== ഭിന്നകസംഖ്യകളും വാസ്തവികസംഖ്യകളും ===
യൂക്ലിഡ് [[എലിമെന്റ്സ്|എലിമെന്റ്സിലെ]] പത്താം പുസ്തകത്തിൽ വിവരിച്ചതുപോലെ [[വാസ്തവികസംഖ്യ]]കൾക്കും യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കാം. {{mvar|a}}, {{mvar|b}} എന്ന വാസ്തവികസംഖ്യകളിൽ നിന്നും ഇവ പൂർണ്ണസംഖ്യാഗുണിതങ്ങളായി വരുന്ന {{mvar|g}} എന്ന വാസ്തവികസംഖ്യ കാണുകയാണ് അൽഗൊരിതത്തിന്റെ ലക്ഷ്യം. അതായത്, {{math|1=''a'' = ''mg''}}, {{math|1=''b'' = ''ng''}} എന്ന സമവാക്യങ്ങൾ ശരിയായി വരുകയും {{mvar|m}}, {{mvar|n}} എന്നിവ പൂർണ്ണസംഖ്യകളാവുകയും വേണം.<ref name="Weil_1983" /> {{mvar|a}} യുടെയും {{mvar|b}} യുടെയുമിടയിൽ ഒരു പൂർണ്ണസംഖ്യാബന്ധം (integer relation) കണ്ടുപിടിക്കുന്നതിനു തുല്യമാണിത്; അതായത്, {{math|1=''sa'' + ''tb'' = 0}} എന്ന സമവാക്യമനുസരിക്കുന്ന {{mvar|s}}, {{mvar|t}} എന്ന പൂർണ്ണസംഖ്യകൾ കണ്ടുപിടിക്കുക. രണ്ട് നീളങ്ങൾ [[Commensurability (mathematics)|സാനുപാതമാണോ]] എന്ന ചോദ്യത്തിനുത്തരമായാണ് യൂക്ലിഡ് ഈ രീതി വികസിപ്പിച്ചത്.<ref>{{cite book | last1 = Boyer |first1=C. B.|last2= Merzbach|first2=U. C. |author2-link=Uta Merzbach| year = 1991 | title = A History of Mathematics | url = https://archive.org/details/historymathemati00boye_328 | edition = 2nd | publisher = Wiley | location = New York | isbn = 0-471-54397-7 | pages = [https://archive.org/details/historymathemati00boye_328/page/n135 116]–117}}</ref><ref>{{cite book | authorlink = Florian Cajori|last=Cajori|first= F, | year = 1894 | title = A History of Mathematics | url = https://archive.org/details/historyofmathema001062mbp| publisher = Macmillan | location = New York | page = [https://archive.org/details/historyofmathema001062mbp/page/n79 70] | isbn = 0-486-43874-0}}</ref>

വാസ്തവികസംഖ്യകൾക്കു മേൽ യൂക്ലിഡിന്റെ അൽഗൊരിതം പ്രയോഗിക്കുന്നതിൽ പൂർണ്ണസംഖ്യകളുടെ അൽഗൊരിതവുമായി രണ്ടു വ്യത്യാസങ്ങൾ കാണാം. ഹരണഫലങ്ങളായ {{math|''q''<sub>''k''</sub>}} മുമ്പത്തെപ്പോലെ പൂർണ്ണസംഖ്യകളാണെങ്കിലും ശിഷ്ടങ്ങളായ {{math|''r''<sub>''k''</sub>}} വാസ്തവികസംഖ്യകളാണ് എന്നതാണ് ആദ്യത്തെ വ്യത്യാസം. അൽഗൊരിതത്തിലെ പടികളുടെ എണ്ണം പരിമിതമല്ല എന്നതാണ് രണ്ടാമത്തേത്. {{mvar|N}} പടികളോടെ അൽഗൊരിതം അവസാനിക്കുക {{math|''a''/''b''}} [[ഭിന്നകസംഖ്യ]]യാകുമ്പോൾ (അതായത്, രണ്ടു പൂർണ്ണസംഖ്യകളുടെ അനുപാതം‌) മാത്രമാണ്,
:<math>\frac{a}{b} = \frac{mg}{ng} = \frac{m}{n}.</math>
ഇങ്ങനെ വരുമ്പോൾ ഈ [[ഭിന്നം|ഭിന്നത്തെ]] {{math|1=[''q''<sub>0</sub>; ''q''<sub>1</sub>, ''q''<sub>2</sub>, ..., ''q''<sub>''N''</sub>]}} എന്നിങ്ങനെ ഒരു പരിമിത [[സതതഭിന്നം|സതതഭിന്നമായി]] എഴുതാനാകും. അൽഗൊരിതം അവസാനിക്കുന്നില്ലെങ്കിൽ {{math|''a''/''b''}} ഒരു [[അഭിന്നകസംഖ്യ]]യായിരിക്കും, അതിന്റെ സതതഭിന്നമായ {{math|1=[''q''<sub>0</sub>; ''q''<sub>1</sub>, ''q''<sub>2</sub>, …]}} അനന്തവും.<ref>{{cite book|title=Algorithmic Cryptanalysis|first=Antoine|last=Joux|publisher=CRC Press|year=2009|isbn=9781420070033|url=https://books.google.com/books?id=buQajqt-_iUC&pg=PA33|page=33}}</ref> ഇങ്ങനെ അനന്തമായ സതതഭിന്നങ്ങൾക്ക് ഉദാഹരണമാണ് [[സുവർണ്ണാനുപാതം|സുവർണ്ണാനുപാതവും]] ({{math|1=''φ'' = [1; 1, 1, ...]}}) [[രണ്ടിന്റെ വർഗ്ഗമൂലം|രണ്ടിന്റെ വർഗ്ഗമൂലവും]] ({{math|1={{sqrt|2}} = [1; 2, 2, ...]}}‌).<ref>{{cite book|title=Mathematical Omnibus: Thirty Lectures on Classic Mathematics|first1=D. B.|last1=Fuks|first2=Serge|last2=Tabachnikov|authorlink2=Sergei Tabachnikov|publisher=American Mathematical Society|year=2007|isbn=9780821843161|page=13|url=https://books.google.com/books?id=IiG9AwAAQBAJ&pg=PA13}}</ref> {{math|''a''/''b''}} എന്ന വാസ്തവികസംഖ്യകളുടെ അനുപാതങ്ങൾ [[almost all|ഏതാണ്ടെല്ലാം]] തന്നെ അഭിന്നകങ്ങളായതിനാൽ അൽഗൊരിതം അവസാനിക്കാതിരിക്കാനാണ് കൂടുതൽ സാധ്യത.<ref>{{cite book|title=The Universal Book of Mathematics: From Abracadabra to Zeno's Paradoxes|first=David|last=Darling|authorlink=David J. Darling|publisher=John Wiley & Sons|year=2004|isbn=9780471667001|url=https://books.google.com/books?id=HrOxRdtYYaMC&pg=PA175|page=175|contribution=Khintchine's constant}}</ref>

അനന്തമായ സതതഭിന്നത്തെ ''k'' പടികൾക്കു ശേഷം മുറിക്കാം. ഇങ്ങനെ ലഭിക്കുന്ന {{math|1=[''q''<sub>0</sub>; ''q''<sub>1</sub>, ''q''<sub>2</sub>, ..., ''q''<sub>''k''</sub>]}} എന്ന പരിമിത സതതഭിന്നം {{math|''a''/''b''}} യുടെ ഏകദേശവില നൽകുന്നു. {{mvar|k}} യുടെ വില വർദ്ധിക്കുന്നതിനനുസരിച്ച് ഈ ഏകദേശനം കൂടുതൽ കൃത്യമായി വരുന്നു. ''k''ആമത്തെ പടിയിലെ ഏകദേശവില {{math|''m''<sub>''k''</sub>/''n''<sub>''k''</sub>}} ആണ്, ഈ അനുക്രമത്തെ [[Convergent (continued fraction)|അഭിസാരി]] (convergent) എന്നു വിളിക്കുന്നു. ഈ ഭിന്നത്തിലെ അംശവും ഛേദവും സഹ-അഭാജ്യമായ പൂർണ്ണസംഖ്യകളാണ്, ഇവ താഴെക്കൊടുത്തിരിക്കുന്ന ആവർത്തനബന്ധം അനുസരിക്കുന്നു,
:<math>\begin{align}
   m_k &= q_k m_{k-1} + m_{k-2} \\
   n_k &= q_k n_{k-1} + n_{k-2}.
 \end{align}</math>
{{math|1=''m''<sub>−1</sub> = ''n''<sub>−2</sub> = 1}}, {{math|1=''m''<sub>−2</sub> = ''n''<sub>−1</sub> = 0}} എന്ന അടിസ്ഥാനവിലകളോടെയാണ് ആവർത്തനബന്ധം ആരംഭിക്കുന്നത്. {{math|''m''<sub>''k''</sub>/''n''<sub>''k''</sub>}} എന്ന അഭിസാരി {{math|''a''/''b''}} യെ ഏകദേശനം ചെയ്യുന്ന ഭിന്നകങ്ങളിൽ ഛേദം {{math|''n''<sub>''k''</sub>}} ആയുള്ളവയിൽ വച്ച് ഏറ്റവും കൃത്യമായിരിക്കും:<ref>{{cite book|title=Explorations in Quantum Computing|first=Colin P.|last=Williams|publisher=Springer|year=2010|isbn=9781846288876|url=https://books.google.com/books?id=QE8S--WjIFwC&pg=PA277|pages=277–278}}</ref>
:<math> \left|\frac{a}{b} - \frac{m_k}{n_k}\right| < \frac{1}{n_k^2}.</math>

===ബഹുപദങ്ങൾ===
ഒരു ചരത്തിനുമേലുള്ള (''x'' എന്നെടുക്കുക) ബഹുപദങ്ങളെ കൂട്ടുകയും ഗുണിക്കുകയും ചെയ്യുന്നതിനു പുറമെ അവയെ അച്ഛേദ്യ ബഹുപദങ്ങളുടെ (അഭാജ്യസംഖ്യകൾക്ക് സമാനമായ അംഗങ്ങളാണിവ) ഗുണനഫലമായി എഴുതാനും സാധിക്കും. {{math|''a''(''x'')}}, {{math|''b''(''x'')}} എന്ന ബഹുപദങ്ങളുടെ പൊതുവായ അച്ഛേദ്യ ബഹുപദ ഘടകങ്ങളുടെ ഗുണനഫലമാണ് അവയുടെ ബഹുപദ ഉസാഘയായ {{math|''g''(''x'')}}. യൂക്ലിഡിന്റെ അൽഗൊരിതമുപയോഗിച്ച് ബഹുപദ ഉസാഘ കണ്ടുപിടിക്കാം.<ref name="Lang_1984" >{{cite book | authorlink = Serge Lang|last=Lang|first= S. | year = 1984 | title = Algebra | url = https://archive.org/details/algebra0000lang| edition = 2nd | publisher = Addison–Wesley | location = Menlo Park, CA | isbn = 0-201-05487-6 | pages = [https://archive.org/details/algebra0000lang/page/190 190]–194}}</ref> പൂർണ്ണസംഖ്യകളൂടെ അൽഗൊരിതത്തിന് സമാനമായാണ് ഇവിടെയും ഉസാഘ കാണുന്നത്. {{mvar|k}} ആമത്തെ പടിയിൽ ഹരണഫലമായ {{math|''q''<sub>''k''</sub>(''x'')}} എന്ന ബഹുപദവും {{math|''r''<sub>''k''</sub>(''x'')}} എന്ന ശിഷ്ട ബഹുപദവും കണ്ടുപിടിക്കുന്നു. ഇവ താഴെക്കൊടുത്തിരിക്കുന്ന ആവർത്തനബന്ധം അനുസരിക്കുന്നു,
:<math>r_{k-2}(x) = q_k(x)r_{k-1}(x) + r_k(x).</math>
{{math|1=''r''<sub>−2</sub>(''x'') = ''a''(''x'')}}, {{math|1=''r''<sub>−1</sub>(''x'') = ''b''(''x'')}} എന്ന വിലകളോടെയാണ് അൽഗൊരിതം ആരംഭിക്കുന്നത്. {{math|''q''<sub>''k''</sub>(''x'') ''r''<sub>''k''−1</sub>(''x'')}} ന്റെ ആദ്യത്തെ പദം {{math|''r''<sub>''k''−2</sub>(''x'')}} ന്റെ ആദ്യത്തെ പദത്തിന് തുല്യമാവുന്ന തരത്തിലാണ് ഹരണഫലം കാണുന്നത്. ഓരോ പടിയിലും ഹരണഫല ബഹുപദത്തിന്റെ കൃതി കുറഞ്ഞുവരുമെന്ന് ഇത് ഉറപ്പുവരുത്തുന്നു.: {{math|deg[''r''<sub>''k''</sub>(''x'')] &lt; deg[''r''<sub>''k''−1</sub>(''x'')]}}. ബഹുപദങ്ങളുടെ കൃതി ഒരിക്കലും പൂജ്യത്തിൽ കുറവാവുകയില്ല എന്നതിനാൽ അൽഗൊരിതം പരിമിത എണ്ണം പടികൾക്കു ശേഷം അവസാനിക്കും. ഏറ്റവുമൊടുവിൽ ലഭിക്കുന്ന പൂജ്യമല്ലാത്ത ശിഷ്ടമാണ് {{math|''a''(''x'')}} ന്റെയും {{math|''b''(''x'')}} ന്റെയും ഉസാഘ.<ref>{{Harvnb|Cox|Little|O'Shea|1997|pp=37–46}}</ref>

ഉദാഹരണമായി, താഴെ കൊടുത്തിരിക്കുന്ന നാലം കൃതി ബഹുപദങ്ങളുടെ (ഇവയുടെ ഘടകക്രിയ കൊടുത്തിരിക്കുന്നു) ഉസാഘ കാണുന്നതെങ്ങനെയെന്നു നോക്കാം
:<math>\begin{align}
   a(x) &= x^4 - 4x^3 + 4x^2 - 3x + 14 = (x^2 - 5x + 7)(x^2 + x + 2) \qquad \text{and}\\
   b(x) &= x^4 + 8x^3 + 12x^2 + 17x + 6 = (x^2 + 7x + 3)(x^2 + x + 2).
 \end{align}</math>

{{math|''a''(''x'')}} നെ {{math|''b''(''x'')}} കൊണ്ടു [[ബഹുപദ ഹരണം|ഹരിച്ചാൽ]] ശിഷ്ടം {{math|1=''r''<sub>0</sub>(''x'') = ''x''<sup>3</sup> + (2/3)''x''<sup>2</sup> + (5/3)''x'' − (2/3)}} ലഭിക്കുന്നു. അടുത്ത പടിയിൽ {{math|''b''(''x'')}} നെ {{math|''r''<sub>0</sub>(''x'')}} കൊണ്ട് ഹരിച്ച് ശിഷ്ടം {{math|1=''r''<sub>1</sub>(''x'') = ''x''<sup>2</sup> + ''x'' + 2}} ലഭിക്കുന്നു. രണ്ടാമത്തെ പടിയിൽ ശിഷ്ടത്തിന്റെ കൃതി കുറഞ്ഞതു കാണാം. ഒടുവിൽ {{math|''r''<sub>0</sub>(''x'')}} നെ {{math|''r''<sub>1</sub>(''x'')}} കൊണ്ടു ഹരിച്ചാൽ ശിഷ്ടം വരില്ലെന്നും അതിനാൽ {{math|''a''(''x'')}} ന്റെയും {{math|''b''(''x'')}} ന്റെയും ഉസാഘ {{math|''r''<sub>1</sub>(''x'')}} ആണെന്നും കാണാം. ബഹുപദങ്ങളെ ഘടകക്രിയ ചെയ്തപ്പോൾ ലഭിച്ച പൊതു ഘടകം തന്നെയാണിത്.

പൂർണ്ണസംഖ്യകളുടെ അൽഗൊരിതത്തിന്റെ മേൽ വിവരിച്ച ഉപയോഗങ്ങളിൽ പലതും ബഹുപദങ്ങൾക്കും ഉപയോഗിക്കാം.<ref>{{Harvnb|Schroeder|2005|pp=254–259}}</ref> ബഹുപദങ്ങളുടെ രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾ നിർദ്ധരിക്കാനും ചൈനീസ് ശിഷ്ട പ്രമേയത്തിനും അൽഗൊരിതം ഉപയോഗിക്കാം, ബഹുപദങ്ങളുടെ സതതഭിന്നങ്ങൾ നിർവചിക്കുകയും ചെയ്യാം. ബഹപദങ്ങളുടെ യൂക്ലിഡിയൻ അൽഗൊരിതത്തിന് വേറെയും ഉപയോഗങ്ങളുണ്ട്. ഒരു ബഹുപദ സമവാക്യത്തിന് ഏതെങ്കിലും ഇടവേയിൽ നിർദ്ധാരണം കാണാൻ സഹായിക്കുന്ന [[Sturm chain|സ്റ്റുർമ് ശൃംഖല]] ഇതിനെ അടിസ്ഥാനമാക്കിയതാണ്.<ref>{{cite book|title=Convolutions in French Mathematics, 1800-1840: From the Calculus and Mechanics to Mathematical Analysis and Mathematical Physics. Volume II: The Turns|first=Ivor|last=Grattan-Guinness|authorlink=Ivor Grattan-Guinness|publisher=Birkhäuser|series=Science Networks: Historical Studies|volume=3|location=Basel, Boston, Berlin|year=1990|isbn=9783764322380|page=1148|url=https://books.google.com/books?id=_GgioErrbW8C&pg=PA1148|quote=Our subject here is the 'Sturm sequence' of functions defined from a function and its derivative by means of Euclid's algorithm, in order to calculate the number of real roots of a polynomial within a given interval}}</ref> [[കണ്ട്രോൾ തിയറി]] യിലെ [[Routh–Hurwitz stability criterion|റൂത്ത്-ഹുർവിറ്റ്സ് സ്ഥിരത മാനദണ്ഡത്തിൽ]] സ്റ്റുർമ് ശൃംഖല ഉപയോഗിക്കുന്നു.<ref>{{cite book|title=Solving Ordinary Differential Equations I: Nonstiff Problems|series=Springer Series in Computational Mathematics|volume=8|first1=Ernst|last1=Hairer|first2=Syvert P.|last2=Nørsett|first3=Gerhard|last3=Wanner|edition=2nd|publisher=Springer|year=1993|isbn=9783540566700|pages=81ff|url=https://books.google.com/books?id=F93u7VcSRyYC&pg=PA81|contribution=The Routh–Hurwitz Criterion}}</ref>

യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കാൻ ബഹുപദങ്ങളുടെ ഗുണോത്തരങ്ങൾ പൂർണ്ണസംഖ്യകളോ വാസ്തവികസംഖ്യകളോ മിശ്രസംഖ്യകൾ പോലുമോ ആകണമെന്ന് നിർബന്ധമില്ല. മേൽ വിവരിച്ച പരിമിത ക്ഷേത്രങ്ങൾ ({{math|GF(''p'')}}) പോലുള്ള ഏതെങ്കിലും ക്ഷേത്രത്തിലെ അംഗങ്ങൾ ഗുണോത്തരങ്ങളായ ബഹുപദങ്ങൾക്കുമേലും യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കാം. പൂർണ്ണസംഖ്യകൾക്കു മേൽ അൽഗൊരിതം പ്രയോഗിക്കുന്നതിനെക്കുറിച്ച് മേലെ പറഞ്ഞതെല്ലാം ഇത്തരം ബഹുപദങ്ങളുടെ കാര്യത്തിലും ശരിയായി വരുന്നു..<ref name="Lang_1984" />

=== ഗോസിയൻ പൂർണ്ണസംഖ്യകൾ ===
[[File:Gaussian primes.svg|thumb|{{math|''u''<sup>2</sup> + ''v''<sup>2</sup>}} ന്റെ വില 500ൽ കുറവുള്ള ഗോസിയൻ അഭാജ്യസംഖ്യകൾ ({{math|''u'' + ''vi''}})]]

{{math|1=''α'' = ''u'' + ''vi''}} എന്ന രൂപത്തിൽ എഴുതാവുന്ന മിശ്രസംഖ്യകളാണ് [[ഗോസിയൻ പൂർണ്ണസംഖ്യ]]കൾ. ഇവിടെ {{mvar|u}}, {{mvar|v}} എന്നിവ സാധാരണ പൂർണ്ണസംഖ്യകളും {{mvar|i}} എന്നത് [[സാങ്കല്പിക ഏകകം|-1 ന്റെ വർഗ്ഗമൂലവുമാണ്]].<ref name="Stillwell_2003" /> യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ പരിഷ്കരിച്ച രൂപമുപയോഗിച്ച് [[#ബെസു അനന്യത|മുകളിൽ]] വിവരിച്ച രീതിയിൽ ഗോസിയൻ പൂർണ്ണസംഖ്യകളുടെ ഘടകക്രിയ അനന്യമാണെന്ന് തെളിയിക്കാനാകും..<ref name="Gauss_1832">{{cite journal | authorlink = Carl Friedrich Gauss|last=Gauss|first=C. F. | year = 1832 | title = Theoria residuorum biquadraticorum | journal = Comm. Soc. Reg. Sci. Gött. Rec. | volume = 4}} Reprinted in {{cite book|first=C. F.|last=Gauss|year=2011|chapter=Theoria residuorum biquadraticorum commentatio prima |title=Werke|volume=2|publisher=Cambridge Univ. Press|pages=65–92|doi=10.1017/CBO9781139058230.004}} and {{cite book|first=C. F.|last=Gauss|year=2011|chapter=Theoria residuorum biquadraticorum commentatio secunda|title=Werke|volume=2|publisher=Cambridge Univ. Press|pages=93–148|doi=10.1017/CBO9781139058230.005}}</ref> എല്ലാ [[പൈതഗോറിയൻ ത്രയം|പൈതഗോറിയൻ ത്രയങ്ങളും]] കണ്ടുപിടിക്കാനും [[ഫെർമയുടെ രണ്ടു വർഗ്ഗ പ്രമേയം]] തെളിയിക്കാനും ഘടകക്രിയയുടെ അനന്യത ഉപയോഗിക്കാം.<ref name="Stillwell_2003">{{Harvnb|Stillwell|2003|pp=101–116}}</ref> എന്നിരുന്നാലും, യൂക്ലിഡിയൻ അൽഗൊരിതത്തിന്റെ സഹായം കൂടാതെ തന്നെ മറ്റു വഴികളിലും ഇത്തരം പ്രമേയങ്ങൾ തെളിയിക്കാവുന്നതാണ്.

{{mvar|α}}, {{mvar|β}} എന്ന ഗോസിയൻ പൂർണ്ണസംഖ്യകളുടെ ഉസാഘ കാണാനുള്ള അൽഗൊരിതം സാധാരണ പൂർണ്ണസംഖ്യകൾക്കായുള്ള അൽഗൊരിതത്തിന് വളരെ സമാനമാണെങ്കിലും രണ്ട് വ്യത്യാസങ്ങളുണ്ട്.<ref name="hensley">{{cite book|title=Continued Fractions|first=Doug|last=Hensley|publisher=World Scientific|year=2006|isbn=9789812564771|page=26|url=https://books.google.com/books?id=k3PVXFkweKgC&pg=PA26}}</ref> മുമ്പത്തെപ്പോലെത്തന്നെ അൽഗൊരിതത്തിന്റെ {{mvar|k}} ആമത്തെ പടിയിൽ താഴെ കൊടുത്തിരിക്കുന്ന ആവർത്തനബന്ധമനുസരിക്കുന്ന {{math|''q''<sub>''k''</sub>}} എന്ന ഹരണഫലവും  {{math|''r''<sub>''k''</sub>}} എന്ന ശിഷ്ടവും കണ്ടുപിടിക്കുകയാണ് ലക്ഷ്യം,
:<math>r_k = r_{k-2} - q_k r_{k-1}.</math>
ഇവിടെ അൽഗൊരിതത്തിന്റെ തുടക്കത്തിലെ ശിഷ്ടങ്ങൾ {{math|1=''r''<sub>''k''−2</sub> = ''α''}}, {{math|1=''r''<sub>''k''−1</sub> = ''β''}} എന്നിവയാണ്. ഓരോ പടിയിലും ശിഷ്ടം മുമ്പത്തേതിനെക്കാൾ കുറവായിരിക്കുകയും ചെയ്യും: {{math|{{mabs|''r''<sub>''k''</sub>}} &lt; {{mabs|''r''<sub>''k''−1</sub>}}}}. ഹരണഫലങ്ങളും ശിഷ്ടങ്ങളും പൂർണ്ണസംഖ്യകൾക്കു പകരം ഗോസിയൻ പൂർണ്ണസംഖ്യകളായിരിക്കും എന്നതാണ് പൂർണ്ണസംഖ്യകൾക്കായുള്ള യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിൽ നിന്നുള്ള ആദ്യത്തെ വ്യത്യാസം.

{{math|''α''/''β''}} എന്ന മിശ്രസംഖ്യാഭിന്നത്തിന്റെ വാസ്തവികഭാഗത്തെയും സാങ്കല്പികഭാഗത്തെയും ഏറ്റവുമടുത്ത പൂർണ്ണസംഖ്യകളുമായി ഏകദേശനം ചെയ്താണ് ഹരണഫലങ്ങളായ {{math|''q''<sub>''k''</sub>}} കണ്ടുപിടിക്കുന്നത്.<ref name="hensley"/> മിശ്രസംഖ്യകളായ ശിഷ്ടങ്ങളിൽ വലുതും ചെറുതും ഏത് എന്ന് കണക്കാക്കുന്ന രീതിയാണ് പൂർണ്ണസംഖ്യകളുടെ അൽഗൊരിതത്തിൽ നിന്നുള്ള രണ്ടാമത്തെ വ്യത്യാസം. ഇതിനായി {{math|1=''f''(''u'' + ''vi'') = ''u''<sup>2</sup> + ''v''<sup>2</sup>}} എന്ന norm നിർവചിക്കുന്നു, മിശ്രസംഖ്യയുടെ മാപാങ്കത്തിന്റെ വർഗ്ഗമായ ഇത് ഗോസിയൻ പൂർണ്ണസംഖ്യയെ സാധാരണ പൂർണ്ണസംഖ്യയാക്കി മാറ്റുന്ന ഫലനമാണ്. അൽഗൊരിതത്തിന്റെ ഓരോ പടിയിലും ശിഷ്ടത്തിന്റെ norm ആയ {{math|''f''(''r''<sub>''k''</sub>)}} മുമ്പത്തെ പടിയിലെ {{math|''f''(''r''<sub>''k''−1</sub>)}} നെക്കാൾ കുറവായിരിക്കും. Norm പൂജ്യത്തിൽ കുറവല്ലാത്ത പൂർണ്ണസംഖ്യയായതിനാലും ഓരോ പടിയിലും കുറഞ്ഞുവരുന്നതിനാലും പരിമിത എണ്ണം പടികൾക്കുശേഷം അൽഗൊരിതം അവസാനിക്കണം.<ref>{{cite book|title=Theory of Algebraic Integers|series=Cambridge Mathematical Library|first=Richard|last=Dedekind|authorlink=Richard Dedekind|publisher=Cambridge University Press|year=1996|isbn=9780521565189|pages=22–24|url=https://books.google.com/books?id=KZRBabJY4ewC&pg=PA222}}</ref> പൂജ്യത്തിനു മുമ്പ് ലഭിക്കുന്ന അവസാനത്തെ ശിഷ്ടമാണ് {{math|gcd(''α'', ''β'')}}, തുടക്കത്തിലെ {{mvar|α}}, {{mvar|β}} എന്ന പൂർണ്ണസംഖ്യകളെ ശിഷ്ടം വരാതെ ഹരിക്കാവുന്ന norm ഏറ്റവും കൂടിയ ഗോസിയൻ പൂർണ്ണസംഖ്യയാണിത്. ഏകകങ്ങളായ {{math|±1}}, {{math|±''i''}} എന്നിവ കൊണ്ട് ഗുണിക്കാൻ സ്വാതന്ത്ര്യമുണ്ട് എന്നതൊഴിച്ചാൽ ഈ ഉസാഘ അനന്യമാണ്.<ref>{{cite book|title=Numbers and Symmetry: An Introduction to Algebra|first1=Bernard L.|last1=Johnston|first2=Fred|last2=Richman|publisher=CRC Press|year=1997|isbn=9780849303012|page=44|url=https://books.google.com/books?id=koUfrlgsmUcC&pg=PA44}}</ref>

പൂർണ്ണസംഖ്യകളുടെ അൽഗൊരിതത്തിന്റെ പല ഉപയോഗങ്ങളും ഗോസിയൻ പൂർണ്ണസംഖ്യകൾക്കും ഉപയോഗിക്കാം. ഗോസിയൻ പൂർണ്ണസംഖ്യകൾക്കു മേൽ രേഖീയ ഡയൊഫന്റൈൻ സമവാക്യങ്ങളും ചൈനീസ് ശിഷ്ടപ്രമേയവും നിർദ്ധരിക്കുന്നതും<ref>{{cite book|title=Introduction to Number Theory|url=https://archive.org/details/introductiontonu0000adam|first1=William W.|last1=Adams|first2=Larry Joel|last2=Goldstein|publisher=Prentice-Hall|year=1976|isbn=9780134912820|at=Exercise 24, p.&nbsp;205|quote=State and prove an analogue of the Chinese remainder theorem for the Gaussian integers.}}</ref> സതതഭിന്നങ്ങൾ നിർവചിക്കുന്നതും<ref name="hensley"/> ഉദാഹരണമാണ്.

===യൂക്ലിഡിയൻ മണ്ഡലങ്ങൾ===
സങ്കലനം, ഗുണനം എന്ന് വിളിക്കാവുന്ന രണ്ട് [[ദ്വയാങ്കസംക്രിയ]]കൾ നിർവചിച്ചിട്ടുള്ള {{mvar|R}} എന്ന ഗണത്തെ അതൊരു [[ക്രമവിനിമേയ വലയം|ക്രമവിനിമേയ വലയമായിരിക്കുകയും]] അതിനുമേൽ യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ ഒരു സാമാന്യരൂപം നിർവചിക്കാൻ സാധിക്കുകയും ചെയ്താൽ യൂക്ലിഡിയൻ മണ്ഡലം എന്നു വിളിക്കാം.<ref>{{Harvnb|Stark|1978|p=290}}</ref><ref>{{Harvnb|Cohn|1962|pp=104–105}}</ref> സങ്കലനം, ഗുണനം എന്ന പേരുകളിൽ അറിയപ്പെടുന്നുവെങ്കിലും സംക്രിയകൾ സാധാരണ സംഖ്യകൾക്കുമേലുള്ള സംക്രിയകൾക്ക് സമാനമാകണമെന്നില്ല; [[ഗ്രൂപ്പ്|ഗ്രൂപ്പുകളിലോ]] [[മോണോയ്ഡ്|മോണോയ്ഡുകളിലോ]] ഉള്ളതുപോലെ സാമാന്യ സംക്രിയകളുമാകാം. എന്നിരുന്നാലും ഈ സംക്രിയകൾ അങ്കഗണിതത്തിലേതുപോലെ [[ക്രമനിയമം]], [[സാഹചര്യനിയമം]], [[വിതരണനിയമം]] എന്നിവ പാലിക്കേണ്ടതുണ്ട്.

യൂക്ലിഡിന്റെ അൽഗൊരിതം നിർവചിക്കാനായി ഇതിനു പുറമെ {{mvar|R}} ലെ അംഗങ്ങളെ ധനപൂർണ്ണസംഖ്യകളിലേക്ക് കൊണ്ടുചെല്ലുന്ന {{mvar|f}} എന്ന ''യൂക്ലിഡിയൻ  ഫലന''വും നിർവചിക്കേണ്ടതുണ്ട്. {{mvar|R}} ലെ {{mvar|a}}, {{mvar|b}} എന്ന ഏത് അംഗങ്ങളെടുത്താലും {{math|1=''a'' = ''qb'' + ''r''}} എന്ന സമവാക്യമനുസരിക്കുന്ന  {{mvar|q}}, {{mvar|r}} എന്ന അംഗങ്ങളെ {{mvar|R}} ൽ തന്നെ കണ്ടെത്താൻ സാധിക്കുകയും {{math|''f''(''r'') &lt; ''f''(''b'')}} ആയിരിക്കുകയും വേണം.<ref>{{cite book|title=Concrete Abstract Algebra: From Numbers to Gröbner Bases|first=Niels|last=Lauritzen|publisher=Cambridge University Press|year=2003|isbn=9780521534109|page=130|url=https://books.google.com/books?id=BdAbcje-TZUC&pg=PA130|ref=harv}}</ref> ഗോസിയൻ പൂർണ്ണസംഖ്യകൾക്ക് [[#ഗോസിയൻ പൂർണ്ണസംഖ്യകൾ|മുകളിൽ]] ഉപയോഗിച്ച norm യൂക്ലിഡിയൻ ഫലനത്തിന് ഉദാഹരണമാണ്.<ref>{{harvtxt|Lauritzen|2003}}, p.&nbsp;132</ref> {{mvar|f}} എന്ന ഫലനം ഗണത്തിനനുസരിച്ച് സംഖ്യകളുടെ പരിമാണമോ ബഹുപദങ്ങളുടെ കൃതിയോ ഒക്കെയാവാം.<ref>{{harvtxt|Lauritzen|2003}}, p.&nbsp;161</ref> അൽഗൊരിതത്തിന്റെ ഓരോ പടിയിലും ''f'' ന്റെ വില കുറഞ്ഞുവരുന്നു എന്നതാണ് പ്രധാനം; പൂജ്യത്തിൽ കുറയാത്ത പൂർണ്ണസംഖ്യയായതിനാൽ പരിമിത എണ്ണം പടികൾക്കു ശേഷം അൽഗൊരിതം അവസാനിക്കുകം. പൂജ്യത്തിൽ കുറയാത്ത പൂർണ്ണസംഖ്യകളുടെ ശൂന്യമല്ലാത്ത ഏത് ഗണത്തിലും ഏറ്റവും ചെറിയ ഒരു അംഗമുണ്ട് എന്ന well-ordering principle ആണ് ഇതിനടിസ്ഥാനം.<ref name="sharpe">{{cite book|title=Rings and Factorization|first=David|last=Sharpe|publisher=Cambridge University Press|year=1987|isbn=9780521337182|page=55|url=https://books.google.com/books?id=Nmg4AAAAIAAJ&pg=PA55|ref=harv}}</ref>

[[അങ്കഗണിതത്തിലെ അടിസ്ഥാന സിദ്ധാന്തം]] യൂക്ലിഡിയൻ മണ്ഡലങ്ങളിലൊക്കെയും സാധുവാണ്. അതായത്, ഒരു യൂക്ലിഡിയൻ മണ്ഡലത്തിലെ ഏത് അംഗത്തെയും വീണ്ടും ലഘൂകരിക്കാനാകാത്ത അംഗങ്ങളുടെ ഗുണനഫലമായി അനന്യമായ രീതിയിൽ ഘടകക്രിയ ചെയ്യാനാകും. എല്ലാ യൂക്ലിഡിയൻ മണ്ഡലങ്ങളും [[unique factorization domain|അനന്യ ഘടകക്രിയാ മണ്ഡലങ്ങളാണ്]] (unique factorization domain - UFD), എന്നാൽ അനന്യ ഘടകക്രിയാ മണ്ഡലങ്ങളെല്ലാം യൂക്ലിഡിയൻ ആയിരിക്കണമെന്നില്ല.<ref name="sharpe"/> ഏത് രണ്ട് അംഗങ്ങളുടെയും ഉസാഘ കാണാൻ സാധിക്കുന്ന [[GCD domain|ഉസാഘ മണ്ഡലങ്ങളുടെ]] (GCD domain) ഉപക്ലാസ്സുകളാണ് യൂക്ലിഡിയൻ മണ്ഡലങ്ങളും UFD കളും.<ref>{{harvtxt|Sharpe|1987}}, p.&nbsp;52</ref> അതായത്, ഉസാഘ മണ്ഡലങ്ങളിൽ അംഗജോടികൾക്കെല്ലാം ഉസാഘയുണ്ടെങ്കിലും അത് യൂക്ലിഡിന്റെ അൽഗൊരിതമുപയോഗിച്ച് കണക്കുകൂട്ടാൻ സാധിക്കണമെന്നില്ല. യൂക്ലിഡിയൻ മണ്ഡലങ്ങളെല്ലാം [[principal ideal domain|പ്രിൻസിപൽ ഗുണജ മണ്ഡലങ്ങളാണ്]] (PID) - എല്ലാ ഗുണജങ്ങളും പ്രിൻസിപൽ ഗുണജങ്ങളായുള്ള [[പൂർണ്ണസംഖ്യാ മണ്ഡലം|പൂർണ്ണസംഖ്യാ മണ്ഡലങ്ങളാണ്]] (integral domain) ഇവ.<ref>{{harvtxt|Lauritzen|2003}}, p.&nbsp;131</ref> എല്ലാ പ്രിൻസിപൽ ഗുണജ മണ്ഡലങ്ങളും യൂക്ലിഡിയൻ മണ്ഡലങ്ങളാവണമെന്നില്ല.

യൂക്ലിഡിയൻ മണ്ഡലങ്ങളിലെ അനന്യമായ ഘടകക്രിയയ്ക്ക് വളരെയധികം ഉപയോഗങ്ങളുണ്ട്. ഉദാഹരണമായി, ഗോസിയൻ പൂർണ്ണസംഖ്യകളിലെ അനന്യ ഘടകക്രിയ [[പൈതഗോറിയൻ ത്രയം|പൈതഗോറിയൻ ത്രയങ്ങളുടെ]] സൂത്രവാക്യം കണ്ടുപിടിക്കാനും [[ഫെർമയുടെ രണ്ട് വർഗ്ഗ പ്രമേയം]] തെളിയിക്കാനും ഉപയോഗിക്കാം.<ref name="Stillwell_2003" /> [[ഫെർമയുടെ അവസാന സിദ്ധാന്തം]] തെളിയിക്കാൻ ഗബ്രിയേൽ ലാമേ 1847-ൽ ശ്രമിച്ചത് അനന്യ ഘടകക്രിയയുപയോഗിച്ചായിരുന്നു.<ref>{{cite journal | last = Lamé |first=G. |authorlink=Gabriel Lamé| year = 1847 | title = Mémoire sur la résolution, en nombres complexes, de l'équation A<sup>n</sup> + B<sup>n</sup> + C<sup>n</sup> = 0 |language=fr | journal = J. Math. Pures Appl. | volume = 12 | pages = 172–184}}</ref> {{mvar|x}}, {{mvar|y}} എന്നിവ പൂർണ്ണസംഖ്യകളായി വരുന്ന {{math|''x'' + ''ωy''}} എന്ന സംഖ്യകളുടെ (ഇവിടെ {{math|1=''ω'' = ''e''<sup>2''iπ''/''n''</sup>}} എന്നത് 1 ന്റെ {{mvar|n}} ആം മൂലമാണ്. അതായത്, {{math|1=''ω''<sup>''n''</sup> = 1}}) അനന്യ ഘടകക്രിയയുപയോഗിക്കാനാണ് ലാമേ ശ്രമിച്ചത്. എന്നാൽ {{mvar|n}} ന്റെ ചില വിലകൾക്ക് മാത്രമേ അനന്യ ഘടകക്രിയ സാധ്യമാവുകയും ഈ വിധത്തിൽ ഫെർമയുടെ സിദ്ധാന്തം തെളിയിക്കാനാവുകയും ചെയ്യൂ. {{math|1=''n'' = 3}} ആയി വരുന്ന [[ഐസൻസ്റ്റൈൻ പൂർണ്ണസംഖ്യ]]കൾ ഉദാഹരണമാണ്. {{mvar|n}} ന്റെ എല്ലാ വിലകൾക്കും അനന്യ ഘടകക്രിയ സാധ്യമല്ല എന്നതിനാൽ സിദ്ധാന്തം തെളിയിക്കാനുള്ള ഈ ശ്രമം പരാജയപ്പെട്ടു. ചില സൈക്ലോടോമിക് ക്ഷേത്രങ്ങളിൽ അനന്യ ഘടകക്രിയ സാധ്യമല്ല എന്നതാണ് [[ഏൺസ്റ്റ് കുമ്മർ]] [[ഗുണജസംഖ്യ]]കൾ എന്ന ആശയവും പിന്നീട് [[റിച്ചാർഡ് ഡെഡെകിൻഡ്]] [[ഗുണജം|ഗുണജങ്ങളും]] കണ്ടുപിടിക്കുന്നതിലേക്ക് നയിച്ചത്.<ref>{{cite book|authorlink=Harold Edwards (mathematician) | last=Edwards|first=H.|title=Fermat's last theorem: a genetic introduction to algebraic number theory|url=https://archive.org/details/fermatslasttheor00hmed |year=2000|publisher=Springer|page=[https://archive.org/details/fermatslasttheor00hmed/page/n90 76]}}</ref>

====ദ്വിമാന പൂർണ്ണസംഖ്യകളുടെ അനന്യ ഘടകക്രിയ====

[[File:Eisenstein primes.svg|thumb|{{math|''u'' + ''vω''}} എന്ന രീതിയിലെഴുതാവുന്ന ഐസൻസ്റ്റൈൻ പൂർണ്ണസംഖ്യകളിൽ അഭാജ്യമായവയെ മിശ്രസംഖ്യാപ്രതലത്തിൽ ചിത്രീകരിച്ചിരിക്കുന്നു. ഇവിടെ {{mvar|ω}} എന്നത് 1 ന്റെ ഘനമൂലമാണ്. Norm 500 ൽ കുറവായ സംഖ്യകളാണ് ചിത്രത്തിലുള്ളത്.]]

[[ദ്വിമാന പൂർണ്ണസംഖ്യ]]കളുടെ വലയങ്ങളിൽ ചിലത് യൂക്ലിഡിയൻ മണ്ഡലത്തിന് ഉദാഹരണമാണ്. ഗോസിയൻ പൂർണ്ണസംഖ്യകളിൽ സാങ്കല്പിക ഏകകമായ ''i'' ക്കു പകരം {{mvar|ω}} എന്ന സംഖ്യ ഉപയോഗിക്കുമ്പോൾ ലഭിക്കുന്ന ബീജീയഘടനയാണ് ദ്വിമാന പൂർണ്ണസംഖ്യകൾ. അതായത്,  {{mvar|u}}, {{mvar|v}} എന്നിവ പൂർണ്ണസംഖ്യകളായി വരുന്ന {{math|''u'' + ''vω''}} എന്ന രൂപത്തിലെഴുതാവുന്ന സംഖ്യകളാണിത്. ഇവിടെ {{mvar|ω}} എന്ന സംഖ്യ {{mvar|D}} എന്ന പൂർണ്ണസംഖ്യയുടെ വിലയനുസരിച്ച് രണ്ട് രൂപത്തിൽ നിർവചിക്കാം. {{mvar|D}} നാലിന്റെ ഒരു ഗുണിതത്തെക്കാൾ ഒന്ന് കൂടുതലാണെങ്കിൽ
:<math>\omega = \sqrt D</math>
എന്നും അല്ലാത്ത പക്ഷം
:<math>\omega = \frac{1 + \sqrt{D}}{2}</math>
എന്നും നിർവചിക്കുന്നു. {{mvar|D}} യുടെ ഓരോ വിലയ്ക്കും വ്യത്യസ്തമായ ഓരോ ഗണം ലഭിക്കുന്നു.

മുകളിൽ [[#ഗോസിയൻ പൂർണ്ണസംഖ്യകൾ|ഗോസിയൻ പൂർണ്ണസംഖ്യകളുടെ]] കാര്യത്തിൽ എടുത്തതുപോലെ {{mvar|f}} ഒരു norm-ഫലനമാണെങ്കിൽ അത്തരം മണ്ഡലത്തെ norm-യൂക്ലിഡിയൻ എന്നു വിളിക്കുന്നു. {{mvar|D}} യുടെ വില −11, −7, −3, −2, −1, 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, or 73 എന്നിവയിലൊന്ന്നാകുമ്പോഴാണ് ദ്വിമാന പൂർണ്ണസംഖ്യകൾ norm-യൂക്ലിഡിയൻ ആവുക.<ref name="Cohn_1962" /><ref>{{cite book | last = LeVeque | first = W. J. | authorlink = William J. LeVeque | title = Topics in Number Theory, Volumes I and II | url = https://archive.org/details/topicsinnumberth0000leve | publisher = Dover Publications | location = New York | year = 2002 | origyear = 1956 | isbn = 978-0-486-42539-9 | zbl=1009.11001 | pages=II:57,81}}</ref> {{math|1=''D'' = &minus;1}} ആവുമ്പോൾ ഗോസിയൻ പൂർണ്ണസംഖ്യകളും {{math|1=''D'' = &minus;3}} ആവുമ്പോൾ ഐസൻസ്റ്റൈൻ പൂർണ്ണസംഖ്യകളും ലഭിക്കുന്നു.

{{mvar|f}} ഏതെങ്കിലും യൂക്ലിഡിയൻ ഫലനമായാൽ മതിയെങ്കിൽ ഏതൊക്കെ {{mvar|D}} വിലകൾക്കാണ് ദ്വിമാന പൂർണ്ണസംഖ്യകൾ യൂക്ലിഡിയൻ മണ്ഡലങ്ങളാവുക എന്നത് ഗണിതശാസ്ത്രത്തിലെ ഒരു തുറന്ന പ്രശ്നമാണ്.<ref name="Clark_1994">{{cite journal | last = Clark | first = D. A. | year = 1994 | title = A quadratic field which is Euclidean but not norm-Euclidean | journal = Manuscripta Mathematica | volume = 83 | pages = 327–330 | doi = 10.1007/BF02567617 | url = http://www.springerlink.com/content/6t9u2440402n1346/ | zbl = 0817.11047 }}{{പ്രവർത്തിക്കാത്ത കണ്ണി|date=ഓഗസ്റ്റ് 2021 |bot=InternetArchiveBot |fix-attempted=yes }}</ref> {{math|1=''D'' = 69}} നാണ് norm-യൂക്ലിഡിയൻ അല്ലാത്തതും എന്നാൽ യൂക്ലിഡിയൻ ആയതുമായ ഒരു ദ്വിമാന പൂർണ്ണസംഖ്യാമണ്ഡലം ആദ്യമായി 1994-ൽ കണ്ടുപിടിക്കുന്നത്.<ref name="Clark_1994" /> [[റീമാൻ പരികല്പന]]യുടെ സാമാന്യരൂപം ശരിയാണെങ്കിൽ {{math|''D'' &gt; 0}} ആയുള്ള ദ്വിമാന പൂർണ്ണസംഖ്യാ വലയങ്ങൾ യൂക്ലിഡിയൻ മണ്ഡലങ്ങളാവുന്നത് കൃത്യം അവ പ്രിൻസിപൽ ഗുണജ മണ്ഡലങ്ങളാവുമ്പോഴാണെന്ന് 1973-ൽ വൈൻബെർഗർ തെളിയിച്ചു.<ref name="weinberger">{{cite journal | last = Weinberger | first = P. | title = On Euclidean rings of algebraic integers | journal = Proc. Sympos. Pure Math. | volume = 24 | pages = 321–332}}</ref>

=== ക്രമവിനിമേയമല്ലാത്ത വലയങ്ങൾ ===
[[Hurwitz quaternion|ഹുർവിറ്റ്സ് ക്വാട്ടേർണിയനുകൾ]] പോലുള്ള ക്രമവിനിമേയമല്ലാത്ത (noncommutative) വലയങ്ങളിലും യൂക്ലിഡിന്റെ അൽഗൊരിതം ഉപയോഗിക്കാം.<ref name="stillwell151-152">{{Harvnb|Stillwell|2003|pp=151–152}}</ref> {{mvar|α}}, {{mvar|β}} എന്നിവ അത്തരമൊരു വലയത്തിലെ അംഗങ്ങളാണെന്നിരിക്കട്ടെ. {{mvar|ξ}}, {{mvar|η}} എന്ന വലയത്തിലെ ഏതെങ്കിലും അംഗങ്ങൾക്ക് {{math|1=''α'' = ''ξδ''}}, {{math|1=''β'' = ''ηδ''}} എന്ന സമവാക്യങ്ങൾ സാധുവാകുന്നുവെങ്കിൽ {{mvar|δ}} യെ {{mvar|α}} യുടെയും {{mvar|β}} യുടെയും വലത് പൊതു ഘടകം എന്നുവിളിക്കുന്നു. ഇതുപോലെ {{math|1=''α'' = ''δξ''}}, {{math|1=''β'' = ''δη''}} എന്നിവ ശരിയാണെങ്കിൽ ഇടത് പൊതു ഘടകം എന്നും വിളിക്കാം. ഗുണനം ക്രമനിയമമനുസരിക്കാത്തതിനാൽ ഇടത് ഘടകങ്ങൾക്കും വലത് ഘടകങ്ങൾക്കും യൂക്ലിഡിന്റെ അൽഗൊരിതത്തിന്റെ വെവ്വേറെ രൂപങ്ങളുണ്ട്.<ref name="stillwell151-152"/> വലത് ഘടകങ്ങളാണെടുക്കുന്നതെങ്കിൽ {{math|gcd(''α'', ''β'')}} കാണാനുള്ള ആദ്യത്തെ പടി ഇപ്രകാരമെഴുതാം
:<math>\rho_0 = \alpha - \psi_0\beta = (\xi - \psi_0\eta)\delta,</math>
ഇവിടെ {{math|''ψ''<sub>0</sub>}} ഹരണഫലവും {{math|''ρ''<sub>0</sub>}} ശിഷ്ടവുമാണ്. {{mvar|α}}, {{mvar|β}} എന്നിവയുടെ പൊതുവായ ഏതൊരു ഘടകവും ശിഷ്ടമായ {{math|''ρ''<sub>0</sub>}} ന്റെയും ഘടകമായിരിക്കുമെന്ന് ഈ സമവാക്യം പറയുന്നു. ഇതിനു സമാനമായി ഇടത് ഘടകങ്ങൾക്കും സമവാക്യമെഴുതാം
:<math>\rho_0 = \alpha - \beta\psi_0 = \delta(\xi - \eta\psi_0).</math>
ഇവയിൽ ഏത് സമവാക്യമെടുത്താലും ഇടതോ വലതോ ഉസാഘ ലഭിക്കുന്നതു വരെ ഈ പ്രക്രിയ തുടരാം. യൂക്ലിഡിയൻ മണ്ഡലങ്ങളിലേതുപോലെ ഓരോ പടിയിലും ശിഷ്ടത്തിന്റെ "വലിപ്പം" കുറഞ്ഞുവരണം. അതായത്, {{math|''ρ''<sub>0</sub>}} യുടെ വലിപ്പം {{mvar|β}} യെക്കാൾ ചെറുതായിരിക്കണം. {{math|''ρ''<sub>0</sub>}} ന്റെ വലിപ്പത്തിന് പരിമിത എണ്ണം സാധ്യതകളേ ഉണ്ടാവൂ, അൽഗൊരിതം അവസാനിക്കുമെന്ന് ഉറപ്പുവരുത്താനാണിത്.<ref name="entgtrg">{{cite book|title=Elementary Number Theory, Group Theory and Ramanujan Graphs|volume=55|series=London Mathematical Society Student Texts|first1=Giuliana|last1=Davidoff|first2=Peter|last2=Sarnak|first3=Alain|last3=Valette|publisher=Cambridge University Press|year=2003|isbn=9780521531436|contribution=2.6 The Arithmetic of Integer Quaternions|pages=59–70|url=https://books.google.com/books?id=AlvfFDJOGZ8C&pg=PA59}}</ref>

ഉസാഘയുമായി ബന്ധപ്പെട്ട് മുകളിൽ കൊടുത്ത ഫലങ്ങൾ മിക്കതും ക്രമവിനിമേയമല്ലാത്ത സംഖ്യകളുടെ കാര്യത്തിലും സാധുവാണ്. ഉദാഹരണമായി, വലത്തെ ഉസാഘ {{math|gcd(''α'', ''β'')}} യെ {{mvar|α}} യുടെയും {{mvar|β}} യുടെയും രേഖീയസഞ്ചയമായി എഴുതാനാകുമെന്ന് ബെസു അനന്യത പറയുന്നു.<ref>{{cite book|title=Classical Theory of Algebraic Numbers|series=Universitext|publisher=Springer-Verlag|first=Paulo|last=Ribenboim|year=2001|isbn=9780387950709|page=104|url=https://books.google.com/books?id=u5443xdaNZcC&pg=PA104}}</ref> അതായത്,
:<math>\Gamma_\text{right} = \sigma\alpha + \tau\beta</math>
എന്ന ബന്ധമനുസരിക്കുന്ന {{mvar|σ}}, {{mvar|τ}} എന്ന അംഗങ്ങളെ കണ്ടുപിടിക്കാൻ സാധിക്കും. ഇതുപോലെ ഇടത്തെ ഉസാഘയെയും രേഖീയസഞ്ചയമായി എഴുതാം,
:<math>\Gamma_\text{left} = \alpha\sigma + \beta\tau.</math>

ഇങ്ങനെ ബെസു അനന്യതയുപയോഗിച്ച് ഡയൊഫന്റൈൻ സമവാക്യങ്ങൾ നിർദ്ധരിക്കാം. എല്ലാ ധനപൂർണ്ണസംഖ്യകളെയും നാല് പൂർണ്ണവർഗ്ഗങ്ങളുടെ തുകയായി എഴുതാം എന്ന് സ്ഥാപിക്കുന്ന [[ലഗ്രാഞ്ചിന്റെ നാല് വർഗ്ഗ പ്രമേയം]] ക്വാട്ടേർണിയനുകളുടെ ഉസാഘ ഈ വിധത്തിലുപയോഗിച്ച് തെളിയിക്കാവുന്നതാണ്.<ref name="entgtrg"/>

== അവലംബം ==
{{reflist|30em}}

== ഗ്രന്ഥസൂചി ==
* {{cite book |last=Cohen |first=H. |author-link=Henri Cohen (number theorist) |year=1993 |title=A Course in Computational Algebraic Number Theory |url=https://books.google.com/?id=hXGr-9l1DXcC |publisher=Springer-Verlag |location=New York |isbn=0-387-55640-0 |ref=harv |doi=}}
* {{cite book |last=Cohn |first=H. |year=1962 |title=Advanced Number Theory |url=https://books.google.com/?id=yMGeElJ8M0wC |publisher=Dover |location = New York |isbn=0-486-64023-X |ref=harv |doi= }}
* {{cite book |last1=Cox |first1=D. |authorlink1=David A. Cox |last2=Little |first2=J. |last3=O'Shea |first3=D. |authorlink3=Donal O'Shea |year=1997 |title=Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra |url=https://books.google.com/?id=7eLkq0wQytAC |edition=2nd |publisher = Springer-Verlag |isbn=0-387-94680-2 |doi= |ref=harv }}
* {{cite book |last1=Crandall |first1=R. |authorlink1=Richard Crandall |last2=Pomerance |first2=C. |authorlink2=Carl Pomerance | year = 2001 | title = Prime Numbers: A Computational Perspective |url=https://archive.org/details/primenumberscomp0000cran | edition = 1st | publisher = Springer-Verlag | location = New York | isbn = 0-387-94777-9 | ref=harv}}
* {{cite book |last=Lejeune Dirichlet |first=P. G. |author-link=Peter Gustav Lejeune Dirichlet |year=1894 |title=Vorlesungen über Zahlentheorie (Lectures on Number Theory) |editor-last=Dedekind |editor-first=Richard |editor-link=Richard Dedekind |publisher=Vieweg |location=Braunschweig |language=de |url=https://books.google.com/?id=WZIKAAAAYAAJ&printsec=frontcover#v=onepage&q&f=false |lccn=03005859 |oclc=490186017 |doi= |ref=harv }}. See also [[Vorlesungen über Zahlentheorie]]
* {{cite book |author-link=Donald Knuth|last=Knuth|first= D. E.|year=1997|title=[[The Art of Computer Programming]], Volume 2: Seminumerical Algorithms|edition=3rd|publisher=Addison–Wesley| isbn=0-201-89684-2|ref=harv}}
* {{cite book | last=LeVeque |first=W. J. |author-link=William J. LeVeque |origyear=1977 |year=1996 |title=Fundamentals of Number Theory | url=https://archive.org/details/fundamentalsofnu0000leve |publisher=Dover |location=New York |isbn=0-486-68906-9 |ref=harv }}
* {{cite book |last=Mollin |first=R. A. |year=2008 |title=Fundamental Number Theory with Applications |edition=2nd |publisher=Chapman & Hall/CRC |location=Boca Raton |isbn=978-1-4200-6659-3 |ref=harv }}
* {{cite book |last=Ore |first=O. |author-link=Øystein Ore |year=1948 |title=Number Theory and Its History |url=https://archive.org/details/numbertheoryitsh00ore |publisher=McGraw–Hill |location=New York |ref=harv |doi= }}
* {{cite book |last=Rosen |first=K. H. |author-link=Kenneth H. Rosen |year=2000 |title=Elementary Number Theory and its Applications |edition=4th |publisher=Addison–Wesley |location=Reading, MA |isbn=0-201-87073-8 |ref=harv |doi= }}
* {{cite book |last=Schroeder |first=M. |author-link=Manfred R. Schroeder |year=2005 |title=Number Theory in Science and Communication |edition=4th |publisher=Springer-Verlag |isbn= 0-387-15800-6 |ref=harv |doi= }}
* {{cite book |last=Stark |first=H. |author-link=Harold Stark |year=1978 |title=An Introduction to Number Theory |url=https://archive.org/details/introductiontonu00star_0 |publisher=MIT Press |isbn=0-262-69060-8 |ref=harv }}
* {{cite book |last=Stillwell |first=J. |author-link=John Stillwell |year=1997 |title=Numbers and Geometry |publisher=Springer-Verlag |location=New York |isbn=0-387-98289-2 |doi= |ref=harv }}
* {{cite book |last=Stillwell |first=J. |year=2003 |title=Elements of Number Theory |publisher=Springer-Verlag |location=New York |isbn=0-387-95587-9 |doi= |ref=harv }}
* {{cite book |last=Tattersall |first=J. J. |year=2005 |title=Elementary Number Theory in Nine Chapters |url=https://archive.org/details/elementarynumber0000jame |publisher=[[Cambridge University Press]] |location=Cambridge |isbn = 978-0-521-85014-8 |ref=harv }}
[[വർഗ്ഗം:സംഖ്യാസിദ്ധാന്ത അൽഗൊരിതങ്ങൾ]]