NOIP2012 同余方程

求关于 x 的同余方程 ax ≡ 1 (mod b)的最小正整数解。
输入格式：
输入只有一行，包含两个正整数 a, b，用一个空格隔开。
输出格式：
输出只有一行，包含一个正整数 x0，即最小正整数解。输入数据保证一定有解。

想了半天。。最后结论在注释里。

#include<bits/stdc++.h>
using namespace std;

long long a,b;int x,y;

int exgcd(int a,int b,int &x,int &y){
    if(!b){
        x=1;
        y=0;
        return a; 
    }
    int r=exgcd(b,a%b,x,y);
    int t=x;
    x=y;
    y=t-a/b*y;
    return r;
}

int main(){
    scanf("%lld%lld",&a,&b);
    exgcd(a,b,x,y);
    printf("%d",(x+b)%b);//可能是负数 
}

//
//ax%b=1%b;
//ax%b=1;ax-by=1 
//ax%b=1 -> ax-(ax/b下取整)*b=1 ; 
//ax-by=1;
//ax+by = 1
//总结：我数论连gcd都不会