Propri´et´es de la suite un+2 =|un+1 −un|;u0, u1≥1.
1. ∀n≥0, un≥0.
2. ∃N≥0, tel que uN= 0
3. Si uk+1 = 0, alors uk=P GCD(u0, u1)
Exemple: (2,8)→ { 6,2,4,2,2,0}et P GCD(6,2) = 2.
•Ancˆetre de l’algorithme d’Euclide:
1 it´er. d’Euclide = plusieurs it´er. |un+1 −un|.
•Analyse en moyenne d´elicate (Knuth-Yao, 2000).
•Pire des cas de l’algorithme : (u0, u1) = (2n−1,1) avec
3×2n−1−2 it´erations.
3