Teoria de números/Divisibilidade: diferenças entre revisões
| [edição verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Sem resumo de edição |
Sem resumo de edição |
||
Linha 126:
|13. <math>a|b</math> e <math>a\not = 0</math> implica <math>(b/a)|b</math> ||
|}
{{Demonstração
|1. Como <math>a = 1.a</math> segue da definição que <math>a|b </math>.
|2. Se </math> a | b</math> e <math> b | c </math>, então existem <math>q_1, q_2 \in \mathbb{Z}</math> tais que <math>b = |aq_1</math> e <math> c = bq_2 </math>, logo <math> c = aq_1q_2 </math> e portanto <math> a|c </math>.
;Observações:
| |||