Le principe est le même que pour l'algorithme d'Euclide utilisé avec les entiers naturels.

La dernière relation obtenue est une relation de Bezout

AU + BV = 1
Vous pouvez essayer avec les polynômes à coefficients rationnels.