(Esta entrada ya había sido publicada en el blog en julio de 2013; se la vuelve publicar aquí "remozada".)
Vamos a demostrar a continuación que si p es un número primo que es divisor del producto ab entonces p es divisor de a o es divisor de b. La "originalidad" de esta demostración reside en el hecho de que se basa directamente en el principio del mínimo mientras que la demostración que habitualmente se encuentra en los libros usa el hecho de que si mcd(a,b) = 1 entonces existen s y t tales que as + bt = 1.
(Aunque casi nunca se lo mencione explícitamente, todos los números mencionados son enteros positivos.)
Teorema: Si p es un número primo positivo y $k,a,b\in \mathbb{N}$ son tales que pk = ab entonces p es divisor de a o p es divisor de b.
Demostración: Supongamos que la afirmación es falsa y sea p el menor primo para el cual existen $k,a,b\in \mathbb{N}$ con pk = ab sin que p sea divisor de a ni de b. De todos los valores posibles de k elegimos, a su vez, el menor posible.
Afirmo que $a < p$ y que $b < p$. En efecto, supongamos que $p < a$ (no pueden se iguales porque p no es divisor de a). Dividimos a por p y obtenemos a = pq + r; como p y q son positivos entonces $r < a$ y además p no es divisor de r (porque no es divisor de a).
Luego, ab = pqb + rb y en consecuencia p es divisor de rb, existe entonces un k' tal que pk' = rb. Observemos que $pk^\prime = rb < ab = pk$ y entonces $k^\prime < k$ con pk' = rb y además r y b no divisibles por p. Esto contradice la minimalidad de k. El absurdo proviene de suponer que $p < a$, deducimos entonces que $a < p$.
Tenemos entonces que pk = ab con $a < p$ y $b < p$. Nótese que $pk = ab < p^2$, luego $k < p$. Sea $p^\prime $ primo y $n\in \mathbb{N}$ tales que $p^\prime n = k$ (si k resultara ser primo, entonces tomamos $p^\prime =k$ y $n=1$). Luego, $pp^\prime n=ab$. Como $p^\prime \leq k < p$ entonces, por la minimalidad de p, $p^\prime $ es divisor de a o es divisor de b. Podemos suponer que $p^\prime $ es divisor de a, luego, existe t tal que $p^\prime t=a$. Tenemos que:
$pk = ab$
$pp^\prime n = p^\prime tb$
$pn = tb$
Como n es menor que k entonces, por la minimalidad de k, p es divisor de t (y entonces, divisor de a) o bien p es divisor de b. En ambos casos se llega a un absurdo. Esto finaliza la demostración.
Desafío para los lectores: ¿En qué punto de la demostración se usa la hipótesis de que p es primo?