Generalizações
O algoritmo de Euclides
é baseado no algoritmo de divisão para inteiros positivos:
para quaisquer inteiros positivos \(a,b\)
(com \(b\neq0\))
existe um quociente \(q\)
e um resto \(r\),
com \(0\leq r<b\),
tais que \(a=bq+r\).
Há outras situações em que temos algoritmos de divisão
semelhantes. O objectivo é sempre dividir um dividendo \((a)\) por um
divisor não nulo \((b)\), obtendo, quando \(a\) é múltiplo
de \(b\), apenas um quociente \(q\) \((a=bq)\) e, quando não é,
um quociente \(q\) e um resto \(r\) \((a=bq+r).\) Não impondo nenhuma
condição sobre \(q\) e \(r\), o problema é trivial: basta
escolher um \(q\) qualquer e depois é só tomar \(a-bq\) para \(r\).
A questão é que não se quer um \(q\) e um \(r\) quaisquer:
quer-se um quociente que seja "o melhor possível", isto é,
que dê origem a um resto "menor" do que o divisor. No entanto,
para que isto faça sentido, é preciso começar por decidir
em cada caso como é que se vão comparar o divisor e o resto, isto
é, quando é que se vai dizer que o resto é "menor"
do que o divisor.
Exemplos:
1
- Polinómios
2 -
Inteiros de Gauss \(\mathbb{Z}\left[i\right]\)
3
-\(\mathbb{Z}\left[\sqrt{2}\right]\) (é aconselhável
ver primeiro o caso dos inteiros de Gauss)
4 - \(\mathbb{Z}\left[i\sqrt{5}\right]\)(é aconselhável ver primeiro o caso dos inteiros de Gauss)