On pose U0=a et V0=b.
On a alors deux cas possibles :
Un+1=Un et Vn+1=(Un+Vn)/2
ou
Un+1=(Un+Vn)/2 et Vn+1=Vn.
On pose Wn=Vn-Un
donc Wn+1=Vn+1-Un+1
donc Wn+1 = (Un+Vn)/2-Un=(Vn-Un)/2 = Wn/2
ou Wn+1 = Vn-(Un+Vn)/2=(Vn+Un)/2 = Wn/2
Donc dans les deux cas Wn tend vers 0, comme suite géométrique de raison 1/2.
Un et Vn sont adjacentes et ont même limite.
Or a appartient par définition à l'intervalle [ Un, Vn ], donc Un et Vn tendent vers a.