Aritmética modular para niños
La aritmética modular es una parte de las matemáticas que nos ayuda a resolver problemas con números enteros. Se basa en estudiar los restos que obtenemos al hacer una división. Fue presentada por primera vez en 1801 por un matemático muy famoso llamado Carl Friedrich Gauss en su libro Disquisitiones arithmeticae.
Un ejemplo muy común de la aritmética modular es el reloj de 12 horas. Si son las 7:00 y pasan 8 horas, no decimos que son las 15:00. En el reloj, las 15:00 se leen como las 3:00. Esto es porque el reloj "vuelve a empezar" cada 12 horas. Decimos que 15 es "congruente" con 3 "módulo" 12. Esto se escribe así: Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): 15 \equiv 3 (\bmod 12) . De la misma forma, si multiplicamos 8 horas por 2, obtenemos 16 horas, que en el reloj se leen como 4:00. Esto se escribe: Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): 2\cdot8\equiv 4(\bmod 12) .
Contenido
¿Qué es la congruencia?
La aritmética modular se construye usando una idea llamada "relación de congruencia" entre números enteros. Esta relación funciona bien con las operaciones de suma y multiplicación.
Para un número especial llamado "módulo" (que se escribe como ), decimos que dos números, por ejemplo, a y b, son congruentes si:
- Ambos números dejan el mismo resto cuando los dividimos entre
.
- O, de forma equivalente, si la resta de a menos b (a − b) es un múltiplo de
.
Esta relación se escribe de una forma especial que usó Gauss:
- Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a\equiv b(\bmod n)
Por ejemplo:
- Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): 63\equiv 83 (\bmod10)
Esto es cierto porque tanto 63 como 83, al dividirlos entre 10, dejan el mismo resto, que es 3. O, si restamos 63 − 83, obtenemos -20, y -20 es un múltiplo de 10.
Se lee: "63 es congruente con 83, módulo 10". La palabra "módulo" a veces se abrevia como "mod" y viene del latín modulus. El número (en este ejemplo, 10) es el "módulo".
Otro ejemplo: si el módulo es 12, cualquier par de números que al dividirlos entre 12 den el mismo resto, son congruentes. Los números: ..., −34, −22, −10, 2, 14, 26,... Todos estos números son "congruentes módulo 12" entre sí, porque cada uno deja el mismo resto (2) cuando los dividimos entre 12.
Propiedades importantes
Grupos de números congruentes
La aritmética modular agrupa los números que se comportan de forma similar. Por ejemplo, todos los números que dejan el mismo resto al dividirlos por un módulo forman un grupo.
Esta relación de congruencia tiene propiedades importantes: Si tenemos:
- Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a_1\equiv b_1(\bmod n)
y
- Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a_2\equiv b_2(\bmod n)
Entonces:
- Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a_1+a_2\equiv b_1+b_2 (\bmod n) (Podemos sumar números congruentes)
y
- Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a_1\cdot a_2\equiv b_1\cdot b_2(\bmod n) (Podemos multiplicar números congruentes)
Esto significa que la suma y la multiplicación funcionan bien con estos grupos de números. Por ejemplo, en el sistema módulo 12: Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): [8]_{12}\cdot[3]_{12} + [6]_{12} = [30]_{12} =[6]_{12} Esto es como decir: (8 por 3) más 6 es igual a 30. Y 30, en un reloj de 12 horas, es como 6.
Resolver ecuaciones de congruencia
Una ecuación de congruencia se ve así: Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): ax\equiv b (\bmod n) . Queremos encontrar el valor de . Esta ecuación tiene solución si el máximo común divisor de
y
divide a
.
A veces, un número tiene un "inverso multiplicativo" en aritmética modular. Esto significa que hay otro número que, al multiplicarlo por
, el resultado es 1 (módulo
). Esto solo ocurre si
y
no tienen factores comunes (son coprimos).
Teoremas importantes: Fermat y Euler
Hay dos teoremas muy importantes en aritmética modular, especialmente cuando el módulo es un número primo:
- Pequeño teorema de Fermat: Si
es un número primo, entonces para cualquier número natural
:
:Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a^p \equiv a(\bmod p) Si no es divisible por
, entonces: :Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a^{p-1} \equiv 1(\bmod p)
- Teorema de Euler: Este teorema es una versión más general del teorema de Fermat. Dice que si
y
no tienen factores comunes, entonces:
Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a^{\phi(n)}\equiv1(\bmod n) Aquí, es la función phi de Euler, que cuenta cuántos números entre 1 y
son coprimos con
.
Reglas básicas de la congruencia
Aquí hay algunas reglas que siempre se cumplen en aritmética modular:
- Reflexividad: Cualquier número es congruente consigo mismo. Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a\equiv a(\bmod n)
- Simetría: Si
es congruente con
, entonces
es congruente con
. Si Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a\equiv b(\bmod n) , entonces Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): b\equiv a (\bmod n) .
- Transitividad: Si
es congruente con
, y
es congruente con
, entonces
es congruente con
. Si Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a\equiv b(\bmod n) y Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): b\equiv c (\bmod n) , entonces Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a\equiv c(\bmod n) .
Estas propiedades hacen que la congruencia sea una "relación de equivalencia".
Más propiedades de las operaciones
Si Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a\equiv b (\bmod n) y Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): c\equiv d (\bmod n) , entonces:
- Podemos multiplicar por un número: Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): \lambda a\equiv\lambda b (\bmod n)
- Podemos sumar: Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a+c\equiv b+d (\bmod n)
- Podemos multiplicar: Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): ac\equiv bd (\bmod n)
También, si Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a\equiv b (\bmod n) , entonces Error al representar (Falta el ejecutable <code>texvc</code>. Véase math/README para configurarlo.): a^k\equiv b^k (\bmod n) para cualquier número entero positivo .
Criterios de divisibilidad
La aritmética modular nos ayuda a entender las reglas de divisibilidad. Si tenemos un número (por ejemplo, 12345), podemos saber si es divisible por otros números sin hacer la división completa:
- Divisible por 2:
es divisible por 2 si su último dígito (
) es divisible por 2.
- Divisible por 3:
es divisible por 3 si la suma de sus dígitos es divisible por 3.
- Divisible por 4:
es divisible por 4 si el número formado por sus dos últimos dígitos es divisible por 4.
- Divisible por 5:
es divisible por 5 si su último dígito (
) es 0 o 5.
- Divisible por 9:
es divisible por 9 si la suma de sus dígitos es divisible por 9.
- Divisible por 11:
es divisible por 11 si la suma alternada de sus dígitos (último dígito - penúltimo + antepenúltimo...) es divisible por 11.
Aplicaciones de la aritmética modular
La aritmética modular, que Carl Friedrich Gauss estudió a finales del siglo XVIII, se usa en muchas áreas:
En computación
Muchas de las operaciones que hacen las computadoras hoy en día son aritméticas modulares. Por ejemplo, cuando una computadora trabaja con números enteros, a menudo lo hace "módulo" una potencia de 2 (como 232), que es el número de bits que usa para guardar esos números.
En seguridad digital (criptografía)
La aritmética modular es muy importante en la criptografía, que es el arte de proteger la información. Permite crear sistemas de cifrado muy seguros, como el sistema RSA, que ayudan a mantener nuestras comunicaciones y datos privados en internet.
En el arte
- Música: En música, la aritmética modular se usa para entender las escalas y las notas. Por ejemplo, en la escala de doce tonos, las octavas son equivalentes (una nota se repite más aguda o más grave), y esto se puede ver con la aritmética modular.
- Artes visuales: También se puede usar para crear patrones artísticos basados en tablas de multiplicación módulo
.
Galería de imágenes
-
Cubierta de la edición original de Disquisitiones arithmeticae de Gauss, libro fundamental de la aritmética.
Ver también
- Teorema chino del resto
- Teoría de números
- Números primos
- Pequeño teorema de Fermat
- Teorema de Euler
- Operación módulo
- Resto
Véase también
En inglés: Modular arithmetic Facts for Kids