Résultat de cet algorithme ?

[invitefd2abef4]

Bonjour, je ne trouve pas le résultat de cette fonction, pouvez-vous m'aider ?

fonction f(a:int, b:int) : (int, int)
HYP : a ≥ b > 0
SPEC :???
debut
r <- a mod b
si r = 0 alors retourner (1, 1 - (a div b)) fsi
(c,d) <- f(b,r)
retourner (d, c - d · (a div b))
fin

merci d'avance
-----

[acx01b]

salut
ça fait l'algorithme de euclide-bezout pour trouver à partir de deux entiers A et B premiers entre eux, les entiers C et D tels que A.C + B.D = 1

tu peux le voir par récurrence

[invitefd2abef4]

merci bien