On donne deux entiers (a,b), la fonction retourne (u,v,d) tels que au+bv=d est le PGCD de a et b.
bezout(287,129) renvoie (-40,89,1) car -40×287+89×129=1, ils sont premiers entre eux. Pour information, deux autres versions, une par soustraction et une autre, sans appel récursif et plus compréhensible: à chaque étape du calcul d’Euclide des restes des divisions successives.