现有2个空水壶，容积分别为5升和6升，问题是如何只用这2个水壶从池塘里取得3升的水？水壶问题（裴蜀等式）

水壶问题（裴蜀等式）

水壶问题 有两个容量分别为 x升 和 y升 的水壶以及无限多的水。请判断能否通过使用这两个水壶，从而可以得到恰好 z升 的水？ 如果可以，最后请用以上水壶中的一或两个来盛放取得的 z升 水。

先来简单的

假设有一个池塘，里面有无穷多的水。现有2个空水壶，容积分别为5升和6升。问题是如何只用这2个水壶从池塘里取得3升的水。

答案：由满6向空5倒，剩1升，把这1升倒5里，然后6剩满，倒5里面，由于5里面有1升水，因此6只能向5倒4升水，然后将6剩余的2升，倒入空的5里面，再灌满6向5里倒3升，剩余3升。
 

裴蜀等式

定理：对于不全为0的整数a,b和d，方程sa+tb=d存在整数解s和t当且仅当gcd(a,b)|d。方程sa+rt=d称作裴蜀（Bezout）等式或贝祖等式。

证明：

（充分性）通过回代法，可知sa+tb=gcd(a,b)存在整数解s’和t’，若d=k·gcd(a,b)，则ks’,kt’是方程的一组解。

（必要性）若方程存在整数解s,t，则gcd(a,b)|sa+tb=d

欧几里得算法与裴蜀等式 

欧几里得算法

欧几里得算法是欧几里得（Euclid）在《几何原本》中提出的计算最大公因子的算法，被认为是最早的算法，也是人类历史上最优美的算法。

在表述算法之前，先给出算法的理论基础：

定理：设a=qb+r，其中a,b,q,r都是整数，则gcd(a,b)=gcd(b,r)

证明：

若d|a且d|b，则有d|a且d|r=a-qb

若d|b且d|r，则有d|b且d|qb+r=a

这表明a与b的公因子集合与b与c的公因子集合相同，最大公因数肯定相同。

算法实现：

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

这个算法也被叫做“辗转相除法”，为什么呢？

你看啊，这个过程先右除以左，然后左除以右，再右除以左，左除以右......，就像一个人辗转反侧，所以辗转相除法就是从算法表现得到的。我们进一步分析，会发现另一个现象。

观察输出的5是怎么得到的？

• 5=85-2*40
• 5=85-2*(210-2*85)=5*85-2*210
• 5=5*(715-3*210)-2*210=5*715-17*210

可以发现，最大公因子5可以由a,b线性表示。