Teoria de números/Máximo divisor comum: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Albmont (discussão | contribs)
Linha 81:
=== Demonstração do teorema de Bézout ===
 
Uma observação crucial para a demonstração do teorema de Bézout é que, para quaisquer números inteiros distintos <math>a,b\,\!</math>, tem-se a igualdade <math>(a,b)=(a-b,b)\,\!</math>.
 
De fato, para que tal propriedade se verifique, é suficiente que os conjuntos <math>D(a,b)\,\!</math> e <math>D(a-b,b)\,\!</math> sejam iguais. Isso é verdade, pois: