已知拓展欧几里得算法如下：
void gcd(int a, int b, int& d, int& x, int& y) {
if (!b) { d = a; x = 1; y = 0; }
else { gcd(b, a%b, d, y, x); y-= x*(a/b); }
}
请问给定a和b（均大于0），求解得到的 d，x，y分别代表什么？
模n逆元的定义如下：如果有ax=1(mod n),那么我们称x是a的模n逆元。
则a在模n意义下逆元存在的条件是什么？试说明如何用拓展欧几里得算法计算逆元
