Máximo divisor comum
Origem: Wikipédia, a enciclopédia livre.
O máximo divisor comum entre dois números a e b (vulgarmente abreviada como mdc(a,b)) é o maior número inteiro encontrado, que seja factor dos outros dois. Por exemplo, mdc(16,8) = 8. A definição abrange qualquer número de termos, por exemplo mdc(a,b,c,d).
Esta operação é tipicamente utilizada para reduzir equações a outras equivalentes:
Seja m o máximo divisor comum entre a e b, e a' e b' o resultado da divisão de ambos por m, respectivamente.
Então, o seguinte se verifica:
[editar] Definição
Seja a factorização de a e a factorização de b.
Então,
.