Euklidischer Algorithmus/Z/Euklidische Restfolge/Definition

Euklidische Restfolge

Es seien zwei ganze Zahlen $a,b$ (mit $b\ne 0$) gegeben. Dann nennt man die durch die Anfangsbedingungen $r_0=a$ und $r_1=b$ und die mittels der Division mit Rest

$r_i=q_i{r}_{i+1}+r_{i+2}$

rekursiv bestimmte Folge $r_i$ die Folge der euklidischen Reste.