Saltar al contenido

Diario de clases

Clases de Jesús Soto

Menú
  • Fórmulas
Menú

Navegación de entradas

MAD: El mcd con maxima ←
→ MAD: Congruencias con maxima

MAD: Números primos y congruencias

Posted on 23 de febrero de 2026

En la clase de hoy trataremos los números primos. Llamaremos número primo a todo número entero \(p\in\mathbb{Z}\), \(p>1\), que no tiene divisores más que el 1 y el mismo.

El siguiente resultado es muy importante:

Teorema: Si \(p\in\mathbb{Z}\) es primo y \(p|(a\,b)\), entonces, ó \(p|a\) ó \(p|b\)

Para determinar los primos podemos utilizar la criba de Eratóstenes.

Ejercicio: ¿Cuántos números primos hay menores de 50?

Los primos menores de 50 son 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43 y 47.

Como vemos al utilizar la criba de Eratóstenes, observamos que los números primos aparecen constantemente; en efecto, el teorema siguiente lo justifica.

Teorema: El conjunto de los números primos es infinito

Terminamos con el Teorema fundamental de la aritmética:

Teorema: Todo entero positivo se puede representar de forma única, salvo el orden, como producto de factores primos.

Este resultado es muy importante y nos ofrece consecuencias muy prácticas:

Teorema: Sean \(n,m\in \mathbb{Z}-\{-1,0,1\}\), con \(n=p_1p_2\cdots p_r\) y \(m=q_1q_2\cdots q_s\), sus descomposiciones en factores primos, y \(u_j\in\{-1,1\}\forall j\in\mathbb{N}\). Entonces, \[n|m\Leftrightarrow \forall i\in\{1,\ldots, r\}\exists j\in\{1,\ldots, r\}\,|\, p_i=q_ju_j\]

Como hemos visto, la criba de Eratóstenes nos proporciona un método para obtener los números primos menores de cierto valor. Así, si queremos conocer si un número, \(n\), es primo o compuesto, basta con dividirlo con los primos menores a \(n\), aunque no tenemos porque dividirlo por todos los \(p<n\):

Teorema: Si un entero positivo es compuesto, entonces existe un primo \(p<\sqrt{n}\) que lo divide.


Ejercicio: Determinar el siguiente número primo a 512.

Consideremos 513. Como \(22^2<513<23^2=529\), si tiene un factor primo, este debe ser menor de 23. Resulta que 3|513, por tanto, no es primo. Probamos con el siguiente impar: 517 (omitimos el 515 por ser divisible por 5). Tenemos que 11|517. Probamos con 521 y vemos que no hay divisores entre los 22 primeros números; luego es primo.

Ejercicio: ¿Cuántos números primos hay entre 512 y 535?

Propiedades

⁣Además,podemos obtener las siguientes propiedades:

Teorema: Sean \(n\in \mathbb{Z}^+\), con \(n=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_r^{\alpha_r}\) la descomposición en factores primos con \(p_i\neq p_j\forall j\neq i,\alpha_i\in\mathbb{N}\forall i\in\{1,\ldots, r\}\). Entonces

  • (Divisores de un número compuesto) los divisores de \(n\) son los términos del producto \[(1+p_1+p_1^2+\ldots+p_1^{\alpha_1})\cdots(1+p_r+p_r^2+\ldots+p_r^{\alpha_r})\]
  • (Número de divisores de un número compuesto) \[(\alpha_1+1)(\alpha_2+1)\cdots(\alpha_r+1)\]
  • (Suma de los divisores de un número compuesto) \[\frac{p_1^{\alpha_1+1}-1}{p_1-1}\,\frac{p_2^{\alpha_2+1}-1}{p_2-1}\cdots\frac{p_r^{\alpha_r+1}-1}{p_r-1}\]
  • (Producto de los divisores de un número compuesto) el producto de los divisores de \(n\) es \(\sqrt{n^k}\) siendo \(k\) el número de divisores de \(n\).

Ejercicio: ¿Cuántos divisores que terminen en 7 tiene el número 2541?

Sabemos que \(2541=3\cdot 7\cdot 11^2\), luego los divisores se corresponden con los sumandos de \[\begin{multline*}(1+3^1)(1+7^1)(1+11^1+11^2)=1+3+7+11+\\ +21+33+77+121+231+363+847+2541.\end{multline*}\]
Así, los divisores que terminan en 7 son 7, 77 y 847.

Ejercicio: ¿Cuántos divisores que contengan el 7 tiene el número 9537?

Sabemos que \(9537=3\cdot 11\cdot 17^2\), luego los divisores se corresponden con los sumandos de \[\begin{multline*}(1+3^1)(1+11^1)(1+17^1+17^2)=1+3+11+17+33+\\ +51+187+289+561+867+3179+9537.\end{multline*}\]
Así, los divisores que contienen el 7 son 17, 187, 867, 3179 y 9537.

Ejercicio: ¿Cuántos divisores tiene el número 11106?

Sabemos que \(11106=2\cdot 3^2\cdot 617\), luego el número de divisores es \((1+1)\cdot (2+1)\cdot(1+1)=12\).

Teorema: Sean \(m,n\in \mathbb{Z}^+\), con \(m=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_k^{\alpha_k}\cdot q_1\) y \(n=p_1^{\beta_1}p_2^{\beta_2}\cdots p_k^{\beta_k}\cdot q_2\) la descomposición en factores primos comunes, siendo \(q_1\neq q_2\) y sin factores comunes. Entonces

\[{\displaystyle \textbf{mcd}(m,n)=p_{1}^{\operatorname {min} (\alpha _{1},\beta _{1})}\cdots p_{k}^{\operatorname {min} (\alpha _{k},\beta _{k})}}\]

Ejemplo: Calcular \(\textbf{mcd}(2800733^3,255255^3)\)


Ejemplo: Calcular \(\textbf{mcd}(86295023265, 20311518645)\)

Observemos que los números dados no entran en nuestra calculadora. Sin embargo, vemos que ambos terminan en 5, luego sabemos que 5 es un divisor común. Es más, con una simple operación sabemos que 3 también es un divisor común (la suma de sus dígitos es divisible por tres). Por las propiedades de divisibilidad, ambos números también son divisibles por 15.

Intentemos hacer el algoritmo de la división de 86295023265 y 20311518645 entre 15.
\[\begin{align*}
2933333332215&=5753001551\cdot 15\\ 20311518645&=1354101243\cdot 15\end{align*}\]
Ahora solo nos resta calcular \(d=\textbf{mcd}(5753001551, 1354101243)\), y el \(\textbf{mcd}(86295023265, 20311518645)=d\cdot 15\).
Utilicemos el algoritmo de Euclides:
\[\begin{align*}
5753001551&=(4)1354101243+336596579\\
1354101243&=(4)336596579+7714927\\
336596579&=(43)7714927+4854718\\
7714927&=(1)4854718+2860209\\
4854718&=(1)2860209+1994509\\
2860209&=(1)1994509+865700\\
1994509&=(2)865700+263109\\
865700&=(3)263109+76373\\
263109&=(3)76373+33990\\
76373&=(3)33990+8393\\
33990&=(2)8393+418\\
8393&=(20)418+33\\
418&=(12)33+22\\
33&=(1)22+11\\
22&=(2)11+0\\
\end{align*}\]

Por tanto, \(\textbf{mcd}(5753001551, 1354101243)=11\) y el resultado que buscamos será \[\textbf{mcd}(86295023265, 20311518645)=11\cdot 15=165\]


Teorema: Dados dos números enteros \({\textstyle a=\prod _{p}p^{a_{p}}}\) y \({\textstyle b=\prod _{p}p^{b_{p}}}\), entonces \[\mathbf{mcm}(a,b)=\prod _{p}p^{\max(a_{p},b_{p})}.\]

Ejemplo: ¿Cuál es el valor de \(\mathbf{mcm}(356,248)\)?

Vemos que \(356=2^2\cdot 89\) y \(248=2^3\cdot 31\), entonces \[\mathbf{mcm}(356,248)=2^3\cdot 31\cdot 81=22072.\]

Función \(\varphi\) de Euler

Recordemos que la función \(\varphi\) de Euler a una función, \(\varphi:\mathbb{Z}^+\to\mathbb{Z}^+\), dada por \[\varphi (n)=|\{m\in\mathbb{Z}^+|m<n, \mathbf{mcd}(n,m)=1\}|.\]

Esta función cumple propiedades muy interesantes, como

  • Si \(p\) es primo, \(\varphi (p)=p-1\)
  • Si \(p\) es primo, \(\varphi (p^\alpha)=p^{\alpha -1}(p-1)\)
  • Si \(mcd(n,m)=1\) es \(\varphi (nm)=\varphi (n)\varphi (m)\)

Ejemplo: Calcular \(\varphi(939176)\)

Observemos que \[939176=2^3\cdot 7\cdot 31 \cdot 541\] Por tanto, \[\varphi(939176)=2^2(2-1)\cdot (7-1)\cdot (31-1) \cdot (541-1)=388800\]

Producto de Euler

La descomposición de un número entero en sus factores primos nos permite formular un resultado práctico para calcular la función \(\varphi\)

Si \(n\in\mathbb{Z}\) es \({\displaystyle n=p_{1}^{k_{1}}\cdots p_{r}^{k_{r}}}\), entonces \[\varphi (n)=n\prod_{i=1}^r\left(1-\frac{1}{p_i}\right)\]

Ejemplo: Calcular \(\varphi(1433671404)\)

Observemos que \(1433671404=2^2\cdot 3\cdot 11^2\cdot 17\cdot 241^2\), luego
\[\begin{multline*}\varphi (1433671404)=1433671404\left(1-\frac{1}{2}\right) \left(1-\frac{1}{3}\right)\\ \left(1-\frac{1}{11}\right)\left(1-\frac{1}{17}\right)\left(1-\frac{1}{241}\right)=407193600\end{multline*}\]

Factorización de Fermat

La factorización de un número se ha abordado extensamente; nosotros daremos una iniciación con un método sencillo, que servirá de introducción para los alumnos que deseen seguir explorando este campo.

El método de factorización de Fermat se basa en la representación de un número natural impar como la diferencia de dos cuadrados:
\[n=a^2-b^2.\]

Esa diferencia se puede factorizar algebraicamente como \((a+b)(a-b)\); si ninguno de esos factores es igual a 1, se trata de una factorización propia de \(n\).

El procedimiento consiste en buscar un número \(x\) mayor que \(\sqrt{n}\) y tal que \(x^2-n\) sea un cuadrado perfecto; entonces habremos encontrado la descomposición buscada.

Veamos un ejemplo. Tomemos el número \(n=10058886427\); la parte entera de su raíz cuadrada es \(\left \lfloor \sqrt{n} \right \rfloor=100293\).

  • Sea \(x=100293+1\), calculamos \(\left \lfloor x^2-n \right \rfloor=9\)
  • Como 9 es un cuadrado perfecto, la descomposición que buscamos es:
    • \(n=x^2-9\); es decir, \(n=(x-3)(x+3)\)
  • Por tanto, \(n=100291\cdot 100297\)

Este ejemplo tiene una sola iteración, pero puede complicarse más todavía:

  • \(n=10233712469\)
  • \(x=\left \lfloor \sqrt{n} \right \rfloor+1=101162\)
  • Repetimos
    • Es decimal \(\sqrt{x^2-n}\) entonces
      • \(x=x+1\)
    • en caso contrario
      • \(n=(x-\sqrt{x^2-n})\cdot (x+\sqrt{x^2-n})\)

En este ejemplo:

  1. \(\sqrt{101162^2-n}=194.35\)
  2. \(x=101163 \to \sqrt{101163^2-n}=490\)
  3. \(n=(101163-490)\cdot (101163+490)=100673\cdot 101653\)

El algoritmo funciona más rápido cuando \(n\) es producto de dos factores cercanos; en otro caso puede alargarse. Veamos otros ejemplo:

  1. \(n=2615836543\)
  2. \(\sqrt{n}=51145.25\)
  3. \(x_1=51145+1 \to \sqrt{x_1^2-n}=277.0794\)
  4. \(x_2=51146+1 \to \sqrt{x_2^2-n}=423.1619\)
  5. \(x_3=51147+1 \to \sqrt{x_3^2-n}=530.4347\)
  6. \(x_4=51148+1 \to \sqrt{x_4^2-n}=619.4013\)
  7. \(x_5=51149+1 \to \sqrt{x_5^2-n}=697.1062\)
  8. \(x_6=51150+1 \to \sqrt{x_6^2-n}=766.9798\)
  9. \(x_7=51151+1 \to \sqrt{x_7^2-n}=831\)
  10. \(n=(51152-831)\cdot (51152+831)=50321\cdot 51983\)

En este caso 50321 es primo, pero 51983 no. Ahora habría que factorizar este número.

Ejercicio: Sea \(p\) el mayor factor primo de 10342962241, ¿cuánto es \(\mathbf{mod}(p,83)\)

Lo primero que tendremos que hacer es factorizar \(N\)=10342962241. Para ello utilizaremos la factorización de Fermat: sea \[x_1=\lfloor\sqrt{N}\rfloor+1=101701\] Calculemos, mientras la raíz cuadrada no sea entera,
\begin{align*}
&\to \sqrt{x_1^2-N}=362.16 \\
x_2=x_1+1 &\to \sqrt{x_2^2-N}=578.41\\
x_3=x_2+1 &\to \sqrt{x_3^2-N}=733.46\\
x_4=x_3+1 &\to \sqrt{x_4^2-N}=861.03\\
x_5=x_4+1 &\to \sqrt{x_5^2-N}=972\\
\end{align*}
Como \(x_5^2-N=972^2\), resulta \[10342962241=(101705-972)\cdot(101705+972)\] Y el primo que buscamos es 102677. Ahora calculamos el módulo que nos piden:\[\mathbf{mod}(102677,83)=6\]

Factorización con Casio

La calculadora Casio fx-991 permite factorizar números. Veamos un ejemplo:

Sin embargo, como nos dice, en el modo COMP, puede factorizar un entero positivo de no más de 10 dígitos en factores primos. Veamos el procedimiento para resolver algunos de los ejercicios cuando tenemos más de 10 dígitos

Sea \(N=(d_kd_{k-1}d_{k-2}\cdots d_{1}d_{0})_{10}\) expresado en base decimal. Así \(N\) se puede poner en formato \[N=(d_kd_{k-1}d_{k-2}\cdots d_{m+1})_{10}\, 10^{m+1}+ (d_{m}\cdots d_{0})_{10}\]

Por la propiedades de divisibilidad que conocemos, si \[a|(d_kd_{k-1}d_{k-2}\cdots d_{m+1})_{10}\] y \[a|(d_{m}d_{m-1}\cdots d_{0})_{10},\] entonces \(a|N\), y por tanto \(a\) es un factor de \(N\). De este modo podemos buscar factores que nos faciliten reducir los dígitos hasta que quepan en la calculadora.

Ejercicio: Encontrar la factorización de 930823188559.

Observemos que \[930823188559=93082\cdot 10^7+3188559.\] Si buscamos la descomposición de 93082 y de 3188559 de manera independiente y tienen factores comunes, entonces dichos factores también lo serán de 930823188559.
\[\begin{array}{l}
93082= 2\cdot 11 \cdot 4231 \\
3188559=3\cdot 11 \cdot 23 \cdot 4201
\end{array}
\] Luego \[\begin{align*}
930823188559&=11\cdot (8462\cdot10^7+289869) \\
&=11\cdot 84620289869
\end{align*}\]
Ahora tenemos un número más pequeño que factorizar, 84620289869, dando \[930823188559=11\cdot 41\cdot 73\cdot 2551\cdot 11083.\]

Números primos en la web

Veamos algunas páginas sobre números primos interesantes:

  • The PrimePages: prime number research & records
  • PrimeGrid
  • Fermat numbers

 


Factorización con Casio ClassWiz


Congruencias

Utilicemos wiki para definir qué entendemos por congruencia:

un término usado en la teoría de números, para designar que dos números enteros \(a\) y \(b\) tienen el mismo resto al dividirlos por un número natural \(m\neq 0\), llamado el módulo; esto se expresa utilizando la notación \[a \equiv b \pmod{m}.\]

Esta definición nos permitía construir clases de equivalencia de números enteros, también llamadas clases de congruencia, que pueden ser dotadas de un sistema aritmético. Los conjuntos de estas clases son los conocidos \(\mathbb{Z}_n\), que poseen estructura de anillo.

Propiedades:

  • Si \({\displaystyle a\equiv b{\pmod {m}}}\), entonces también \({\displaystyle b\equiv a{\pmod {m}}}\)
  • Si \({\displaystyle a\equiv b{\pmod {m}}}\) y \({\displaystyle b\equiv c{\pmod {m}}}\), entonces también \({\displaystyle a\equiv c{\pmod {m}}}\).
  • Si \(a\) es coprimo con \(m\) y \({\displaystyle a\equiv b{\pmod {m}}}\), entonces \(b\) también es coprimo con \(m\).
  • Si \({\displaystyle a\equiv b{\pmod {m}}}\) y \(k\) es un entero, entonces también se cumple
    • \({\displaystyle a(\pm)k\equiv b(\pm)k{\pmod {m}}}\),
    • \({\displaystyle ka\equiv kb{\pmod {m}}}\),
    • \({\displaystyle a^{k}\equiv b^{k}{\pmod {m}}\qquad k>0}\)
  • Si además \(k\) es coprimo con \(m\) entonces podemos encontrar un entero \({\displaystyle k^{-1}\,}\), tal que \({\displaystyle kk^{-1}\equiv 1{\pmod {m}}}\)
    • En este caso tiene perfecto sentido hablar de la división y podemos decir que \({\displaystyle {\frac {a}{k}}\equiv {\frac {b}{k}}{\pmod {m}}}\), entendiendo que \({\displaystyle a/k=ak^{-1}\,}\).

Como consecuencia de lo anterior, si tenemos dos congruencias con igual módulo:
\({\displaystyle a\equiv b{\pmod {m}}}\) y \({\displaystyle c\equiv d{\pmod {m}}}\),
podemos sumarlas, restarlas o multiplicarlas de forma que también se verifican las congruencias

  • \({\displaystyle a+c\equiv b+d{\pmod {m}}}\)
  • \({\displaystyle ac\equiv bd{\pmod {m}}}\)

Todas estas y más las tenéis en estos enlaces:

  • Congruencia
  • Aritmética modular

Observar que encontrar el resto del algoritmo de la división de \(a\) dividido entre \(b\) es equivalente a resolver la ecuación de congruencias \[a\equiv X{\pmod {b}}\]

Ejercicio: Encontrar el resto de la división de 93082318855943 entre 5.

Observemos que \[93082318855943=9308231885594\cdot 10+3.\]
Ahora aplicamos las propiedades de congruencias:
\[
\begin{align*}
93082318855943&=9308231885594\cdot 10+3\\ &\equiv (((9308231885594\cdot 10){\pmod {5}})+(3{\pmod {5}})) {\pmod {5}}\\
&\equiv (0+3){\pmod {5}}\\
&\equiv 3{\pmod {5}}
\end{align*}
\]

Ejemplo: ¿En qué cifra termina \(123^{321}\)?

Observar que responder a la pregunta es equivalente a resolver la ecuación \[123^{321} \equiv X{\pmod {10}}.\] Como \(123 \equiv 3{\pmod {10}}\), será \[123^{321} \equiv 3^{321}{\pmod {10}}.\] Ahora es suficiente con ver que \(9^2 \equiv 1{\pmod {10}}\), luego
\[3^{321} \equiv 3^{4\cdot 80+1}{\pmod {10}}\] Ahora, \(3^{4\cdot 80+1}=(9^2)^{80}3^1\), luego \[3^{321} \equiv ((9^2)^{80}3^1){\pmod {10}}\to 3^{321} \equiv 3{\pmod {10}}\]

El inverso en \(\mathbb{Z}_n\)

Uno de nuestros cometidos será resolver la ecuación de congruencias \[aX\equiv b {\pmod {m}}\]

Recordemos que \(\mathbb{Z}_n\) es un anillo y solo si \(n\) es primo todos los elementos tiene inverso. Así un problema será saber si un elemento de \(\bar{b}\in\mathbb{Z}_n \) tiene inverso. Esto solo se nos cumplirá en el caso de que \(\mathbf{mcd}(b,n)=1\). Pero lo importante es saber cómo calcular el inverso.

Proposición: Si \(s,r\in\mathbb{Z}\) son tales que \(ns+ar=\mathbf{mcd}(n,a)=1\), entonces \[ar\equiv 1{\pmod {n}}.\]

Este resultado nos dice que la solución de Bezout nos ofrece el inverso en \(\mathbb{Z}_n\) para los elementos no divisibles por \(n\).

Ejemplo: Calcular el inverso de \(\bar{7}\) en \(\mathbb{Z}_{201} \)


Para encontrar este inverso necesitamos la solución de Bézout, que podemos hallar mediante el algoritmo extendido de euclides. Así pues, la ecuación \[aX\equiv b {\pmod {n}}\] donde \(\mathbf{mcd}(a,n)=1\) tendrá solución y esta vendrá dada por \[X\equiv a^{-1}b {\pmod {n}},\] donde \(a^{-1}\) es el inverso de \(a\) en \(\mathbb{Z}_{n}\).

Recordad, si \(n\) es primo entonces \(\mathbb{Z}_{n}\) es un cuerpo y siempre existirá el inverso. Si \(n\) no es primo entonces solo existira el inverso si \(\mathbf{mcd}(a,n)=1\).

Ejemplo: Resolver \(5X\equiv 52 {\pmod {53}}\)

Como \(\mathbf{mcd}(53,5)=1\) entones existe \(a\) tal que \(5a\equiv 1 {\pmod {53}}\). Para hallar \(a\) buscamos la solución de Bézout de \(\mathbf{mcd}(53,5)=1\), que nos da (-3,32), luego \(5\cdot 32\equiv 1 {\pmod {53}}\). Por tanto \[X\equiv 32\cdot 52 {\pmod {53}}\to X\equiv 21 {\pmod {53}}.\]

Ejercicio: ¿Para cuántos valores de \(0< c<10\) la ecuación diofántica \(54x+24y=c\) tiene solución entera?

  • 1
  • 2
  • 3

A.)

Navegación de entradas

MAD: El mcd con maxima
MAD: Congruencias con maxima

Novela

La Loba, la lucha fraticida por un reino

La Loba, la lucha fratricida por un reino.

Urraca, señora de Zamora, acusada de instigar la muerte de su hermano, el rey Sancho de Castilla, deberá defenderse de la acusación, al tiempo que luchará por mantener la cohesión entre los hermanos y los reinos cristianos: una lobera de fieros lobeznos.

👉 En amazon

Entradas recientes

  • MAD: Congruencias con maxima
  • MAD: Números primos y congruencias
  • MAD: El mcd con maxima
  • MAD: Máximo común divisor y Ecuación diofántica de 2 variables
  • El algoritmo de la división con maxima
febrero 2026
L M X J V S D
 1
2345678
9101112131415
16171819202122
232425262728  
« Dic    

Categorías

  • Álgebra Lineal
  • general
  • Matemática Discreta
  • MathBio

Etiquetas

Prácticas MAD Prácticas MathBio Prácticas Álgebra

Meta

  • Acceder
  • Feed de entradas
  • Feed de comentarios
  • WordPress.org
©2026 Diario de clases | Diseño: Tema de WordPress Newspaperly