Teoria de números/Números primos: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
m melhorando a escrita e + links |
|||
Linha 351:
=== Uma equivalência ===
Como foi mostrado, se a propriedade <code><font color=red>(I)</font></code>
Lembre-se que para garantir uma equivalência lógica (para mais informações, consulte algumas seções do [[Lógica: Cálculo Proposicional Clássico|wikilivro sobre lógica]]), é preciso verificar duas implicações, uma das quais já [[#Demonstração|foi demonstrada]] neste capítulo. Resta ainda verificar o seguinte: ''ao supor a validade do teorema fundamental da aritmética, pode ser provada a propriedade <code><font color=red>(I)</font></code>''?
A resposta é afirmativa, e o motivo você encontrará nesta seção. Veja:
Suponha que <math>p|ab\,\!</math>. Então, pela definição de divisibilidade, existe algum número inteiro <math>x\,\!</math> tal que <math>ab=px\,\!</math>.
|