Introducción

En la entrada anterior comenzamos a hablar de los números primos. Lo que ahora veremos es que, en un sentido muy preciso, los números primos son los bloques con los cuales se construyen todos los demás enteros. El enunciado preciso estará dado por el teorema fundamental de la aritmética.

A grandes rasgos, el teorema fundamental de la aritmética afirma que todo entero se puede escribir como producto de primos, quizás algunos repetidos. Nos referimos a situaciones del tipo
$$\begin{array}{rl}8& =2\cdot 2\cdot 2=2^3,\\ 13& ={13}^1,\\ 152& =2^3\cdot 19,\text{etc.}\end{array}$$

Otro resultado que demostraremos en esta entrada es que hay una infinidad de primos. Euclides fue una de las primeras personas de quienes nos queda registro que lo notó. Veremos una demostración similar a la que él dió.

El teorema fundamental de la aritmética

El teorema fundamental de la aritmética dice que cualquier número entero es producto de números primos. Pero, más aún, nos dice que este producto es único, bajo ciertas condiciones que le ponemos a la representación. Para simplificar la presentación, estudiaremos primero lo que dice el enunciado para enteros positivos.

Teorema. Sea $n$ un entero positivo. Entonces, existe un único entero $k$ y únicos números primos $p_1\le p_2\le p_3\le \dots \le p_k$ tales que $$n=p_1\cdot p_2\cdot \dots \cdot p_k.$$

Por ejemplo, consideremos el número $1060$. Notemos que en efecto se puede escribir como producto de primos de la siguiente manera: $1060=2\cdot 2\cdot 5\cdot 53$. El teorema fundamental de la aritmética nos dice que esta es la única manera en la que podemos ponerlo como producto de primos. Si lo piensas un poco, no es totalmente obvio. ¿Qué impide que, por ejemplo, no pase que $1060$ tenga otra posible representación en donde el $5$ aparezca más veces, o el $2$ menos veces? Es lo que debemos estudiar.

Demostración de la existencia

Vamos a partir la demostración del teorema fundamental de la aritmética en dos partes. Primero veremos la existencia, y después la unicidad. Así, nos enfocaremos primero en ver que cualquier entero positivo tiene una factorización en números primos.

La demostración será por inducción fuerte. Si $n=1$, la factorización es la factorización vacía, en donde $k=0$, y como no estamos multiplicando nada obtenemos $1$. Si $n=2$, entonces la factorización es precisamente $2=2$, pues $2$ es un número primo. Supongamos que el resultado es cierto hasta antes de cierto número fijo $n$ y veamos qué pasa con $n$. Si $n$ es un número primo, entonces $n=n$ ya es una factorización como las que buscamos. Si $n$ no es un número primo, entonces lo podemos factorizar como $n=ab$, en donde $a$ y $b$ son enteros positivos distintos de $1$. Por ello, cada uno de $a$ y $b$ son menores que $n$ y por hipótesis inductiva tienen una factorización en primos, digamos
$$\begin{array}{rl}a& =q_1\cdot q_2\cdot \dots \cdot q_l\\ b& =r_1\cdot r_2\cdot \dots \cdot r_m.\end{array}$$

Así, renombrando $q_1,\dots ,q_l,r_1,\dots ,r_m$ como $p_1\le \dots \le p_k$ (donde $k=l+m$) para que queden en orden no decreciente obtenemos la factorización $$n=p_1\cdot p_2\cdot \dots \cdot p_k$$ buscada. Esto termina la prueba de la primera parte.

Demostración de la unicidad

Veamos ahora que las factorizaciones en primos son únicas. Una vez más, procedemos por inducción fuerte. El resultado claramente es cierto para $n=1$ y $n=2$. Supongamos que el resultado es cierto hasta antes de cierto entero $n$ dado y supongamos que tenemos dos factorizaciones para $n$:

$$\begin{array}{rl}n& =p_1\cdot p_2\cdot \dots \cdot p_k\\ n& =q_1\cdot q_2\cdot \dots \cdot q_l.\end{array}$$

Notemos que $p_k$ es un divisor de $n$, así que debe dividir a $q_1\cdot \dots \cdot q_l$. Por una propiedad de divisibilidad que vimos en la entrada pasada, debe suceder que o bien $p_k$ divide a $q_l$, o bien que divide a $q_1\cdot \dots \cdot q_{l-1}$. Si pasa lo segundo, debe dividir o bien a $q_{l-1}$, o bien a $q_1\cdot \dots \cdot q_{l-2}$. Y así sucesivamente, de modo que $p_k$ debe dividir a alguno de los $q_i$. Pero como $p_k$ y $q_i$ son primos, debe suceder entonces que $p_k=q_i$. Tras cancelar este término en ambas expresiones de $n$, llegamos a que:

$$p_1\cdot p_2\cdot \dots \cdot p_{k-1}=q_1\cdot \dots \cdot q_{i-1}\cdot q_i\cdot \dots \cdot q_l,$$

pero esto es una igualdad de factorizaciones en primos para un número menor estricto a $n$. Por hipótesis inductiva, ambas factorizaciones deben de ser la misma. Así, ambas factorizaciones de $n$ son la misma, pues se obtienen a partir de estas multiplicando por el número $p_k=q_i$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Otra forma de escribir el teorema fundamental de la aritmética

Hay otra manera de escribir el teorema fundamental de la aritmética, en donde los primos iguales se agrupan en un mismo término, y se coloca la potencia correspondiente.

Teorema. Sea $n$ un entero positivo. Existe un único entero no negativo $k$, únicos primos $p_1\le \dots \le p_k$ y únicos exponentes ${\alpha }_1,\dots ,{\alpha }_k$ tales que:

$$n=p_1^{{\alpha }_1}\cdot p_2^{{\alpha }_2}\cdot \dots \cdot p_k^{{\alpha }_k}.$$

En realidad esta segunda versión del teorema se deduce de manera inmediata de la anterior.

Ejemplo. Consideremos el número $36$. El $2$ lo divide, así que $36=18\cdot 2$. Luego, el $3$ divide al $18$, de manera que $36=3\cdot 6\cdot 2$. Finalmente, notamos que $6=2\cdot 3$, de donde $36=3\cdot 2\cdot 3\cdot 2$. Para obtener la «forma estándar» de la factorización, agrupamos los primos iguales, les ponenmos el orden correspondiente y escribimos en orden creciente de primos. Así, la factorización de $36$ quedaría $36=2^2\cdot 3^2$.

$\mathrm{△}$

El conjunto de primos es infinito

En esta sección queremos demostrar otro resultado importante sobre el conjunto de los números primos.

Teorema. El conjunto de números primos es infinito.

Para dar la demostración, usaremos el método de demostración por contradicción, es decir, partiremos de que el conjunto de primos no es finito y, eventualmente se disparatará el asunto.

Este en efecto parece ser el método más conveniente. Sería difícil usar inducción dado que, si bien el conjunto de primos puede indexarse por $p_1,p_2,p_3,\dots$, no es fácil determinar cuál es el primo que sigue en la lista. O bien, dado un entero $n$, no es fácil determinar si $n+1$ será o no un número primo. Resultaría igualmente difícil intentar la demostración por algún otro método directo.

La idea que usaremos es la siguiente. Si hay finitos primos, digamos $k$, significa que se puede crear una lista finita con ellos: $p_1,p_2,\dots ,p_k$. Veremos que siempre debe existir un primo distinto de los de la lista, lo que llevará a una contradicción con la hipótesis de que sólo existían $k$ primos.

Veamos primero unos casos particulares del argumento que usaremos. Supongamos que sólo existieran $2$ primos, el $2$ y el $3$. Consideremos el número $z=2\cdot 3+1$. De acuerdo al teorema fundamental de la aritmética, este número o bien es primo, o bien debe tener un divisor primo $p$. No puede ser primo, pues dijimos que los únicos primos eran $2$ y $3$. No puede ser divisible entre $2$ pues deja residuo $1$ al hacer la división. Tampoco puede ser divisible entre $3$ pues también deja residuo $1$ al hacer la división. Así, debe haber otro primo que no sea $2$ y $3$ y que divida a este número. Esto contradice que sólo existieran $2$ primos.

Veamos otro ejemplo. Supongamos que hay únicamente 4 primos: $2,3,5,7$. Consideremos el número $2\cdot 3\cdot 5\cdot 7+1=211.$ Si dividimos este número entre $2$, nos da $211=105\cdot 2+1$, así que $2\nmid 211$. Si lo dividimos entre $3$, nos da $211=70\cdot 3+1$, así que $3\nmid 211$. De manera similar, se puede ver que las divisiones entre $5$ y $7$ también dejan residuo $1$, así que $5\nmid 211$ y $7\nmid 211$.

Por el teorema fundamental de la aritmética, debe haber algún primo que divida a $211$. Pero estamos suponiendo que los únicos primos que existen son $2,3,5,7$ y acabamos de ver que ninguno de estos funciona. ¡Esto es una contradicción! Lo mismo ocurrirá sin importar la cantidad de primos $p_1,p_2,\dots ,p_k$ inicial. El problema no es cuántos son exactamente, sino la suposición de que son una cantidad finita.

Demostración. Supongamos, para buscar una contradicción, que el conjunto de números primos es finito y que consiste de exactamente los $k$ números primos $p_1,p_2,\dots ,p_k$. Consideremos el número $$p_1\cdot p_2\cdot \dots \cdot p_k+1.$$

El anterior número no es divisible por ninguno de los primos $$p_1,p_2,\dots ,p_k,$$ pues precisamente al hacer la división el residuo que queda es igual a $1$.

Por el teorema fundamental de la aritmética, $$p_1\cdot p_2\cdot \dots \cdot p_k+1$$ debe tener entonces un divisor primo $p$ diferente de $$p_1,p_2,\dots ,p_k.$$ Esto es una contradicción, pues supusimos que sólo existían los primos $p_1,\dots ,p_k$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Más adelante…

Con los dos teoremas de esta entrada hemos profundizando un poco más en por qué los números primos son interesantes e importantes. La exploración de los números primos en este curso no irá mucho más lejos, pues pronto comenzaremos a tratar otros temas de aritmética modular. Sin embargo, te dejamos algunos pocos párrafos más sobre los números primos.

Los números primos siguen siendo interesantes para los matemáticos hoy en día; primero por la irregularidad con que van apareciendo en la recta numérica y porque hay muchas cosas que aún no se sabe acerca de su raro comportamiento. Por ejemplo, se conjetura que hay infinitos «primos gemelos», es decir, se cree que siempre es posible encontrar dos primos $a$ y $b$ que estén distanciados en dos unidades; no importa qué tan alejados estén del cero. El $3$ y el $5$ son primos gemelos. También los son el $17$ y el $19$. Nadie sabe si esta conjetura es cierta o falsa.

Los números primos aparecen en patrones muy irregulares, pero sí es posible decir algunas cosas al respecto. Por ejemplo, después del $2$ todo número primo $p$, es de la forma $4n+1$ o de la forma $4n-1$ para alguna $n\in \mathbb{N}$. Un resultado lindo en teoría de números es que para aquéllos primos que pertenecen a la primera categoría, que son los de la forma $4n+1$, siempre existe su expresión como una suma de cuadrados: $p=4n+1=m^2+n^2$, $n,m\in \mathbb{Z}.$ Pero a los primos de la segunda categoría es imposible expresarlos como suma de cuadrados. Estos son dos de los muchos resultados que demostró Euler para números primos, y puedes ahondar en ello en un curso de teoría de números.

Los números primos también han encontrado aplicaciones en criptografía, pues es bien sabido que si se eligen dos primos $p_1$ y $p_2$ tales que al multiplicarlos se obtenga un número compuesto $z$ de más de 100 dígitos, y si luego se establece que $p_1$ y $p_2$ sean la «clave» de mi mensaje cifrado pero yo únicamente doy a conocer el número compuesto $z$ a otra persona, entonces a una computadora le resultaría imposible factorizar $z$ en un corto lapso de tiempo. ¡Le tomaría años! De ahí que la contraseña secreta sería indescifrable.

Ahora, lo que se conoce como el «teorema fundamental de la aritmética» también tiene varias extensiones interesantes en otras áreas de las matemáticas. De hecho, en algunas estructuras la unicidad deja de ser cierta. Si combinamos a los números enteros con los números complejos (que veremos después), tenemos algunos ejemplos como $$12=(1+\sqrt{-11})(1–\sqrt{-11})$$ pero también $$12=(2+\sqrt{-8})(2–\sqrt{-8}).$$

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

1. Encuentra la factorización en primos de cada uno de los siguientes números 100, 170, 2022, 5000 y 713.
2. Encuentra el menor entero positivo $k$ que haga que $775k$ sea un número cuadrado perfecto, es decir, de la forma $n^2$ para algún entero $n$.
3. Halla el número de divisores de $2360$ y calcula la suma de todos ellos.
4. ¿Cuál es el número entero de $1$ a $100$ que tiene la mayor cantidad posible de divisores?
5. Demuestra que un entero tiene una cantidad impar de divisores si y sólo si es un número cuadrado.

Entradas relacionadas

• Ir a: Álgebra Superior II
• Entrada anterior del curso: Números primos y sus propiedades
• Siguiente entrada del curso: El algoritmo de Euclides

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»