Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Actividad 3
4. Usando el PBO demuestra que todo entero positivo mayor que 1 tiene un
divisor primo.
Se supone que existe un entero positivo mayor que 1 no divisible por ningún primo. Si x
es dicho entero, entonces |𝑥| tampoco es divisible por ningún primo y por lo tanto hay
enteros positivos diferentes de 1 no divisibles por ningún primo.
Sea A el conjunto de enteros positivos diferentes de 1, no divisibles por ningún primo, A ≠
∅, pues |𝑥| ∈ A. 1 ∉ A, A es un subconjunto no vacio de los números naturales y por el
PBO tiene un elemento mínimo que se denominará a (menor entero positivo distinto de
uno no divisible por ningún primo), a no es primo, pues ya que a/a entonces a sería
divisible por un primo. De la proposición anterior se sigue que existe un entero 1< 𝑏 < 𝑎
tal que b/a.
Ya que 𝑏 < 𝑎 entonces b ∉ A, por lo tanto p/b con p primo, por transitividad p/a, lo que es
una contradicción . La contradicción viene de suponer la existencia de un entero x mayor
que 1 y no divisible por ningún primo. Demostrando así que todo entero positivo mayor
que 1 tiene un divisor primo.