扩展欧几里得

辗转相除的同时能求出一组整数解，满足 ax 加 by 等于它们的最大公约数。