欧几里得原理及扩展欧几里得原理(Euclidean Theory and Extended Euclidean Theory)学习笔记

题记：这是我第四次复习扩展欧几里得原理，因为不常用到，想要使用的时候又想不起细节，总是要查资料，于是索性这次整理一下欧几里得原理及其扩展原理存档至博客以备查用。

一、欧几里得原理

欧几里得原理(Euclidean Theory)是初等数论中求两正整数最大公约数(Greatest Common Divisor, GCD)的方法。欧几里得原理在中国古代又称“辗转相除法”，这一称法揭示了其求最大公约数的过程。

对于两个正整数a,b，记其最大公约数为gcd (a,b)。

那么我们有 gcd (a,b) = gcd (b,a%b) 

即a与b的最大公约数也是a除以b的余数与b的最大公约数。

欧几里得原理可以通过递归实现，下面给出其实现的C代码：

int gcd(int a, int b)
{
	if(b==0) return a;
	return gcd(b,a%b);
}

函数返回参数a,b的最大公约数。注意该gcd函数调用时参数a,b不应该同时为0，否则该函数将不存在实际意义。

二、扩展欧几里得原理

欧几里得原理的扩展版本最经典的用法在于求二元一次不定方程的整数解。

（1）先来看一个最简单的二元一次不定方程：

a*x + b*y = 1     (*)，且 gcd (a,b) = 1，设它的一组整数解为 x = x1， y = y1。

对于另一个二元一次不定方程：

b*x + (a%b)*y = 1