Con esta entrada comenzamos a tratar los temas de números enteros y su aritmética. Varios de los temas que se ven aquí se estudian a profundidad en un curso de Álgebra Superior, así que varios de los resultados los enunciaremos sin demostración. Lo que nos interesa es cómo se pueden utilizar los resultados principales de la teoría de números enteros para la resolución de problemas matemáticos.

Divisibilidad y máximo común divisor

Trabajaremos todo el tiempo con números enteros, a menos que digamos lo contrario.

Decimos que $a$ divide a $b$ si $b$ es un mútiplo de $a$, es decir, si existe un $r$ tal que $b=ra$. Lo escribimos en símbolos como $a\mid b$. También decimos que $a$ es divisor de $b$.

Proposición 1. La relación de divisibilidad es reflexiva y transitiva, pero no es simétrica. Si $a\mid b$ y $b\mid a$, entonces $|a|=|b|$, es decir $a=b$ o $a=-b$.

Si tenemos varios números $a_1,\dots ,a_n$, el máximo común divisor es el mayor número que divide a todos. El mínimo común múltiplo es el menor entero positivo que es múltiplo de todos. Los denotamos respectivamente por $\text{MCD}(a_1,\dots ,a_n)$ y $\text{mcm}(a_1,\dots ,a_n)$.

Proposición 2. Si $n$ divide a $a$ y a $b$, entonces divide a cualquier combinación lineal entera $ra+sb$ de ellos. En particular, si $n$ divide a dos términos de la igualdad $a+b=c$, entonces divide al tercero.

Notemos que $a+(b-a)=b$. Por la Proposición 2, un divisor de $a$ y $b$ será divisor de $b-a$, y uno de $b-a$ y de $a$ será divisor de $b$. De aquí sale que $\text{MCD}(a,b)=\text{MCD}(a,b-a)$

Problema. Determina todas las funciones $f:{\mathbb{Z}}^{+}\times {\mathbb{Z}}^{+}\to {\mathbb{Z}}^{+}$ tales que cumplen las siguientes tres propiedades simultáneamente:

1. $f(a,a)=a$ para todo entero positivo $a$.
2. $f(a,b)=f(b,a)$ para todo par de enteros positivos $a$ y $b$.
3. $f(a,b)=f(a,a+b)$ para todo par de enteros positivos $a$ y $b$.

Sugerencia pre-solución. Haz casos particulares que puedas obtener a partir de esas propiedades para conjeturar el valor de $f(a,b)$ para todos $a$ y $b$ enteros positivos. Intenta probar tu conjetura por inducción fuerte.

Solución. Vamos a mostrar que $f(a,b)=\text{MCD}(a,b)$ para todo par de enteros positivos $a$ y $b$. Vamos a probarlo por inducción sobre la suma $a+b$. Como $a$ y $b$ son enteros positivos, la menor suma que pueden tener es $2$ y en este caso $a+b=2$ implica $a=b=1$. Por la hipótesis 1, tenemos $f(1,1)=1$, que coincide con $\text{MCD}(1,1)$.

Supongamos que el resultado es cierto cuando $a+b=k$ para todo entero $k=1,\dots ,n$ y tomemos $a$ y $b$ enteros de suma $n+1$. Si $a=b$, entonces $$f(a,b)=f(a,a)=a=\text{MCD}(a,a)=\text{MCD}(a,b),$$ como queremos. Si $a\ne b$, por la simetría que nos da la hipótesis 2 podemos suponer $b>a$. Por la hipótesis 3, $$f(a,b)=f(a,a+(b-a))=f(a,b-a).$$ En la expresión de la derecha, tenemos que sus entradas suman $a+(b-a)=b<a+b=n+1$, de modo que podemos aplicar la hipótesis inductiva para obtener que $f(a,b-a)=\text{MCD}(a,b-a)$. Por la discusión antes de este problema, $\text{MCD}(a,b-a)=\text{MCD}(a,b)$. Así, concluimos que $f(a,b)=\text{MCD}(a,b)$, como queríamos.

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

El máximo común divisor y el mínimo común múltiplo de un número son especiales. No sólo son el divisor más grande y el múltiplo más chico, sino que además si hay otro divisor de todos los números (o múltiplo de todos los números), además se cumplen ciertas divisibilidades.

Proposición 3. Si tenemos otro número $d$ que sea divisor de $a_1,\dots ,a_n$, entonces $$d\mid \text{MCD}(a_1,\dots ,a_n).$$ Si tenemos otro número $M$ que sea múltiplo de $a_1,\dots ,a_n$, entonces $$\text{mcm}(a_1,\dots ,a_n)\mid M.$$

Problema. Sean $a$ y $b$ enteros positivos. Muestra que $$\text{MCD}(a,b)\text{mcm}(a,b)=ab.$$

Sugerencia pre-solución: Intenta resolver el problema antes de ver la solución. Para ello, necesitarás la Proposición 1 y la Proposición 3.

Solución. Para simplificar la notación, tomamos $D=\text{MCD}(a,b)$ y $m=\text{mcm}(a,b)$.

Como $D$ divide a $a$ y $b$, existen enteros $r$ y $s$ tales que $a=rD$ y $b=sD$. Notemos que $rsD=as=br$, así que $rsD$ es un múltiplo de $a$ y $b$, y por la Proposición 3, tenemos que $m\mid rsD$. Multiplicando por $D$ esta divisibilidad, tenemos que $Dm\mid rs{D}^2=ab$.

Como $ab$ es múltiplo de $a$ y de $b$, por la Proposición $3$ es múltiplo de $m$, digamos $ab=km$. Notemos que de aquí, tenemos $a=k(m/b)$ con $m/b$ entero y $b=k(m/a)$ con $m/a$ entero, de modo que $k$ divide a $a$ y a $b$. Como $D$ es máximo común divisor, por la Proposición 3 tenemos que $k\mid D$. Multiplicando por $m$ esta divisibilidad, tenemos que $km\mid DM$, es decir, $ab\mid Dm$.

Con esto logramos conseguir que $ab\mid Dm$ y $Dm\mid ab$. Por la Proposición $1$, tenemos que $|ab|=|Dm|$, pero como $a$, $b$, $D$, $m$ son positivos, entonces $ab=Dm$.

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

Algoritmo de la división y algoritmo de Euclides

Tomemos $a$ y $b$ enteros. Si intentamos expresar a $a$ como múltiplo de $b$, puede que no lo logremos. Pero podemos acercarnos lo más posible y dejar un residuo «pequeño». Esto es lo que dice el algoritmo de la división.

Teorema 1 (Algoritmo de la división). Para enteros $a$ y $b\ne 0$, existen únicos enteros $q$ y $r$ tales que $0\le r<|b|$ y $a=bq+r$.

Consideremos la igualdad $a=bq+r$ en el algoritmo de la división y apliquemos la Proposición 2. Si $d$ divide a $a$ y $b$, entonces divide a $r$. Si $d$ divide a $r$ y a $b$, entonces divide a $a$. Así, $\text{MCD}(a,b)=\text{MCD}(b,r)$, en donde $b$ y $r$ ahora son números más chicos que $a$ y $b$. De este modo, podemos hacer varias veces el algoritmo de la división para obtener igualdades
$$\begin{array}{rl}a& =b{q}_1+r_1\\ b& =r_1{q}_2+r_2\\ r_1& =r_2{q}_3+r_3\\ & ⋮\\ r_{n-2}& =r_{n-1}{q}_n+r_n\\ r_{n-1}& =r_n{q}_{n+1}+0\end{array}$$

de las que obtenemos $$\text{MCD}(a,b)=\text{MCD}(b,r_1)=\dots =\text{MCD}(r_n,0)=r_n.$$
En las igualdades llegamos a un residuo $0$ pues $b>r_1>r_2>r_3>\dots \ge 0$ es una sucesión estrictamente decreciente de enteros no negativos.

En particular, obtenemos $$\text{MCD}(a,b)=r_n.$$ A esto se le conoce como el algoritmo de Euclides, que enunciamos en otras palabras a continuación.

Teorema 2 (Algoritmo de Euclides). Podemos obtener el máximo común divisor de $a$ y $b$ aplicando el algoritmo de la división a $a$ y $b$, a $b$ y el residuo obtenido y luego repetidamente a los residuos que se van obteniendo. El último residuo no cero es $\text{MCD}(a,b)$.

Hay todavía una conclusión adicional muy importante que podemos obtener a partir del algoritmo de Euclides.

Problema. Sean $a\ge b$ enteros. Sean $q_i$ y los $r_i$ los números obtenidos en el algoritmo de Euclides. Definimos recursivamente una sucesión de $n+1$ vectores en ${\mathbb{R}}^3$ como sigue:

$$\begin{array}{rl}{v}_1& =(a,1,0)\\ v_2& =(b,0,2)\\ v_{i+2}& =v_i-q_i{v}_{i+1}\text{para }i=1,\dots ,n-1\end{array}$$

Sean $r_{-1}=a$ y $r_0=b$. Muestra que para $i=1,2,3,\dots ,n+1$ se tiene que $v_i=(x_i,y_i,z_i)$, en donde:

• $x_i=r_{i-2}$
• $x_i=a{y}_i+b{z}_i$

Sugerencia pre-solución. Intenta resolver el problema haciendo inducción sobre el índice. Los casos $i=1,2$ son inmediatos.

Solución. Procedemos por inducción fuerte en el subíndice $i$. Para $i=1,2$, el resultado es cierto pues $x_1=a=r_{-1}$, $x_2=b=r_0$, $a=1\cdot a+0\cdot b$ y $b=0\cdot a+1\cdot b$. Supongamos el resultado cierto para los índices $1,2,\dots ,k$ para algún $2\le k\le n$. Tomemos el índice $k+1$.

Estudiemos primero la entrada $x_{k+1}$. Por definición de la recursión e hipótesis inductiva
$$\begin{array}{rl}{x}_{k+1}& =x_{k-1}-q_{k-1}{x}_k\\ & =r_{k-3}-q_{k-1}{r}_{k-2}\\ & =r_{k-1},\end{array}$$

que es lo que queríamos mostrar para la entrada $x_{k+1}$. Para la segunda parte, de nuevo usando la recursión e hipótesis inductiva, tenemos que
$$\begin{array}{rl}{x}_{k+1}& =x_{k-1}-q_{k-1}{x}_k\\ & =a{y}_{k-1}+b{z}_{k-1}–q_{k-1}(a{y}_k+b{z}_k)\\ & =a(y_{k-1}-q_{k-1}{y}_k)+b(z_{k-1}-q_{k-1}{z}_k)\\ & =a{y}_{k+1}+b{z}_{k+1}.\end{array}$$

Con esto terminamos la inducción.

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

El problema anterior nos dice que, en particular, $r_n=a{y}_n+b{x}_n$. Esta conclusión es muy importante y la enunciamos como teorema.

Teorema 3. El máximo común divisor de enteros $a$ y $b$ se puede escribir como combinación lineal entera de $a$ y $b$, es decir, existen enteros $m$ y $n$ tales que $\text{MCD}(a,b)=am+bn$.

Veamos un ejemplo concreto de cómo podemos usar el problema para encontrar la combinación lineal que da el máximo común.

Problema. Expresa al máximo común divisor de $754$ y $221$ como combinación lineal entera de estos números.

Solución. Hacemos la siguiente tabla, en donde ponemos a los vectores del problema como vectores columna (en los renglones $2,3,4$). En el primer rengón vamos apuntando las $q_i$.

		3	2	2	3
754	221	91	39	13	0
1	0	1	-2	5	-17
0	1	-3	7	-17	58

Explicamos un poco más de donde sale la tabla. Las primeras dos columnas son los vectores $v_1$ y $v_2$ del problema, que son $(754,1,0)$ y $(221,0,1)$. Para la tercer columna, nos preguntamos ¿cuántas veces cabe $221$ en $754$? La respuesta es $3$, así que ponemos un $3$ arriba (para acordarnos) y hacemos la resta de la primera columna menos tres veces la segunda. Eso va en la tercer columna.

Para la cuarta columna, nos preguntamos ¿cuántas veces cabe $91$ en $221$? La respuesta es $2$, así que lo apuntamos arriba, y la cuarta columna es la segunda, menos dos veces la tercera. Continuamos así hasta que obtengamos un $0$. La columna anterior nos dice que $13$ es el máximo común divisor, y que la combinación lineal es $$13=754\cdot 5+221\cdot 58.$$

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

Aquí hay otros dos problemas con aplicaciones de las ideas que vimos en esta entrada.

Problema. Muestra que para todo entero $n$ se tiene que la fracción $\frac{41-6n}{9n-61}$ es irreducible.

Sugerencia pre-solución. Intenta resolver el problema. Lo que quieres mostrar es que $41-6n$ y $9n-61$ nunca tienen divisores en común.

Solución. Notemos que $41-6n$ y $9n-61$ tienen una combinación lineal que da $1$. En efecto, $$3\cdot (41-6n)+2\cdot (9n-61)=123-18n+18n-122=1.$$

Cualquier entero $d$ que divida a $41-6n$ y a $9n-61$ tiene entonces que dividir a $1$, lo cual muestra que $\text{MCD}(41-6n,9n-61)=1$, y por lo tanto la fracción siempre es irreducible.

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

Problema. Se tiene un número irracional $\alpha$ para el cual ${\alpha }^{91}$ y ${\alpha }^{119}$ son números racionales. Muestra que ${\alpha }^{14}$ es un número racional.

Sugerencia pre-solución. Encuentra el máximo común divisor de $91$ y $119$. Recuerda que las potencias de racionales son racionales, y productos de racionales también.

Solución. Como $91=7\cdot 13$ y $119=7\cdot 13$, tenemos que $\text{MCD}(91,119)=7$. De esta forma, existen enteros $m$ y $n$ tales que $7=91m+119n$, de donde $14=91\cdot (2m)+119\cdot (2n)$.

Sabemos que ${\alpha }^{91}$ es racional, así que $({\alpha }^{91}{)}^{2m}$ también. Análogamente, $({\alpha }^{119}{)}^{2n}$ es racional. De esta forma, el número $${\alpha }^{14}=({\alpha }^{91}{)}^{2m}\cdot ({\alpha }^{119}{)}^{2n}$$ también lo es.

$\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 ejemplos

Puedes ver más ejemplos del uso de esta teoría en la Sección 3.1 del libro Problem Solving through Problems de Loren Larson.

El Teorema 3 es fundamental para cuando se quieren determinar inversos multiplicativos trabajando módulo $n$.