iegcd(a,b) ou igcdex(a,b) désigne le PGCD étendu (identité de Bézout) de deux entiers. iegcd(a,b) ou igcdex(a,b) renvoie [u,v,d] vérifiant au+bv=d et tel que d=gcd(a,b). On tape :
On obtient :
En effet :