Minimo común multiplo

Número positivo más pequeño divisible por dos números enteros

Un diagrama de Venn que muestra los mínimos comunes múltiplos de todos los subconjuntos de {2, 3, 4, 5, 7}.

En aritmética y teoría de números , el mínimo común múltiplo , el mínimo común múltiplo o el mínimo común múltiplo de dos números enteros a y b , generalmente denotado por mcm( a ,  b ) , es el entero positivo más pequeño que es divisible tanto por a como por b . ^{[1] [2]} Dado que la división de números enteros por cero no está definida, esta definición tiene significado sólo si a y b son diferentes de cero. ^[3] Sin embargo, algunos autores definen mcm( a , 0) como 0 para todo a , ya que 0 es el único múltiplo común de a y 0.

El mínimo común múltiplo de los denominadores de dos fracciones es el " mínimo común denominador " (lcd) y se puede utilizar para sumar, restar o comparar fracciones.

El mínimo común múltiplo de más de dos números enteros a , b , c ,. . . , generalmente denotado por mcm( a ,  b ,  c , . . . ) , se define como el entero positivo más pequeño que es divisible por cada uno de a , b , c , . . . ^[1]

Descripción general

Un múltiplo de un número es el producto de ese número por un número entero. Por ejemplo, 10 es múltiplo de 5 porque 5 × 2 = 10, por lo que 10 es divisible por 5 y 2. Como 10 es el entero positivo más pequeño que es divisible por 5 y 2, es el mínimo común múltiplo de 5 y 2. Por el mismo principio, 10 es también el mínimo común múltiplo de −5 y −2.

Notación

El mínimo común múltiplo de dos números enteros a y b se denota como mcm( a , b ). ^[1] Algunos libros de texto más antiguos utilizan [ a , b ]. ^{[3] [4]}

Ejemplo

${\displaystyle \operatorname {lcm} (4,6)}$

Los múltiplos de 4 son:

${\displaystyle 4,8,12,16,20,24,28,32,36,40,44,48,52,56,60,64,68,72,76,...}$

Los múltiplos de 6 son:

${\displaystyle 6,12,18,24,30,36,42,48,54,60,66,72,...}$

Múltiplos comunes de 4 y 6 son los números que están en ambas listas:

${\displaystyle 12,24,36,48,60,72,...}$

En esta lista, el número más pequeño es 12. Por lo tanto, el mínimo común múltiplo es 12.

Aplicaciones

Al sumar, restar o comparar fracciones simples , se utiliza el mínimo común múltiplo de los denominadores (muchas veces llamado mínimo común denominador ), porque cada una de las fracciones se puede expresar como una fracción con este denominador. Por ejemplo,

${\displaystyle {2 \over 21}+{1 \over 6}={4 \over 42}+{7 \over 42}={11 \over 42}}$

donde se usó el denominador 42, porque es el mínimo común múltiplo de 21 y 6.

problema de engranajes

Supongamos que hay dos engranajes engranados en una máquina , que tienen m y n dientes, respectivamente, y los engranajes están marcados por un segmento de línea dibujado desde el centro del primer engranaje hasta el centro del segundo engranaje. Cuando los engranajes comienzan a girar, el número de rotaciones que debe completar el primer engranaje para realinear el segmento de línea se puede calcular usando . La primera marcha debe completar las rotaciones para la realineación. En ese momento, la segunda marcha habrá realizado rotaciones. ${\displaystyle \operatorname {lcm} (m,n)}$ ${\displaystyle \operatorname {lcm} (m,n) \over m}$ ${\displaystyle \operatorname {lcm} (m,n) \over n}$

Alineación planetaria

Supongamos que hay tres planetas que giran alrededor de una estrella y que tardan l , m y n unidades de tiempo, respectivamente, en completar sus órbitas. Supongamos que l , myn son números enteros. Suponiendo que los planetas comenzaron a moverse alrededor de la estrella después de una alineación lineal inicial, todos los planetas vuelven a alcanzar una alineación lineal después de unidades de tiempo. En este momento, el primer, segundo y tercer planeta habrán completado sus órbitas alrededor de la estrella, respectivamente. ^[5] ${\displaystyle \operatorname {lcm} (l,m,n)}$ ${\displaystyle \operatorname {lcm} (l,m,n) \over l}$ ${\displaystyle \operatorname {lcm} (l,m,n) \over m}$ ${\displaystyle \operatorname {lcm} (l,m,n) \over n}$

Cálculo

Hay varias formas de calcular los mínimos comunes múltiplos.

Usando el máximo común divisor

El mínimo común múltiplo se puede calcular a partir del máximo común divisor (mcd) con la fórmula

${\displaystyle \operatorname {lcm} (a,b)={\frac {|ab|}{\gcd(a,b)}}.}$

Para evitar introducir números enteros mayores que el resultado, conviene utilizar las fórmulas equivalentes

${\displaystyle \operatorname {lcm} (a,b)=|a|\,{\frac {|b|}{\gcd(a,b)}}=|b|\,{\frac {|a|}{\gcd(a,b)}},}$

donde el resultado de la división es siempre un número entero.

Estas fórmulas también son válidas cuando exactamente uno de a y b es 0 , ya que mcd( a , 0) = | un | . Sin embargo, si tanto uny b son 0 , estas fórmulas provocarían una división por cero ; por lo tanto, mcm(0, 0) = 0 debe considerarse como un caso especial.

Para volver al ejemplo anterior,

${\displaystyle \operatorname {lcm} (21,6)=6\times {\frac {21}{\gcd(21,6)}}=6\times {\frac {21}{3}}=6\times 7=42.}$

Hay algoritmos rápidos , como el algoritmo euclidiano para calcular el mcd, que no requieren factorizar los números . Para números enteros muy grandes, existen algoritmos aún más rápidos para las tres operaciones involucradas (multiplicación, mcd y división); ver Multiplicación rápida . Como estos algoritmos son más eficientes con factores de tamaño similar, es más eficiente dividir el argumento más grande del mcm por el mcd de los argumentos, como en el ejemplo anterior.

Usando factorización prima

El teorema de factorización única indica que todo número entero positivo mayor que 1 puede escribirse de una sola manera como producto de números primos . Los números primos pueden considerarse como los elementos atómicos que, combinados, forman un número compuesto .

Por ejemplo:

${\displaystyle 90=2^{1}\cdot 3^{2}\cdot 5^{1}=2\cdot 3\cdot 3\cdot 5.}$

Aquí, el número compuesto 90 está formado por un átomo del número primo 2, dos átomos del número primo 3 y un átomo del número primo 5.

Este hecho se puede utilizar para encontrar el mcm de un conjunto de números.

Ejemplo: mcm(8,9,21)

Factoriza cada número y exprésalo como producto de potencias de números primos .

${\displaystyle {\begin{aligned}8&=2^{3}\\9&=3^{2}\\21&=3^{1}\cdot 7^{1}\end{aligned}}}$

El mcm será el producto de multiplicar la potencia más alta de cada número primo. La potencia más alta de los tres números primos 2, 3 y 7 es 2 ³ , 3 ² y 7 ¹ , respectivamente. De este modo,

${\displaystyle \operatorname {lcm} (8,9,21)=2^{3}\cdot 3^{2}\cdot 7^{1}=8\cdot 9\cdot 7=504.}$

Este método no es tan eficiente como reducir al máximo común divisor, ya que no se conoce ningún algoritmo general eficiente para la factorización de números enteros .

El mismo método también se puede ilustrar con un diagrama de Venn de la siguiente manera, con la factorización prima de cada uno de los dos números demostrada en cada círculo y todos los factores que tienen en común en la intersección. Luego, el mcm se puede encontrar multiplicando todos los números primos del diagrama.

Aquí hay un ejemplo:

48 = 2 × 2 × 2 × 2 × 3,

180 = 2 × 2 × 3 × 3 × 5,

compartiendo dos "2" y un "3" en común:

Mínimo común múltiplo = 2 × 2 × 2 × 2 × 3 × 3 × 5 = 720

Máximo común divisor = 2 × 2 × 3 = 12

Producto = 2 × 2 × 2 × 2 × 3 × 2 × 2 × 3 × 3 × 5 = 8640

Esto también funciona para el máximo común divisor (mcd), excepto que en lugar de multiplicar todos los números en el diagrama de Venn, se multiplican solo los factores primos que están en la intersección. Por tanto, el mcd de 48 y 180 es 2 × 2 × 3 = 12.

Fórmulas

Teorema fundamental de la aritmética

Según el teorema fundamental de la aritmética , todo número entero mayor que 1 puede representarse unívocamente como producto de números primos, hasta el orden de los factores:

${\displaystyle n=2^{n_{2}}3^{n_{3}}5^{n_{5}}7^{n_{7}}\cdots =\prod _{p}p^{n_{p}},}$

donde los exponentes n ₂ , n ₃ , ... son números enteros no negativos; por ejemplo, 84 = 2 ² 3 ¹ 5 ⁰ 7 ¹ 11 ⁰ 13 ⁰ ...

Dados dos números enteros positivos y , su mínimo común múltiplo y máximo común divisor vienen dados por las fórmulas ${\textstyle a=\prod _{p}p^{a_{p}}}$ ${\textstyle b=\prod _{p}p^{b_{p}}}$

${\displaystyle \gcd(a,b)=\prod _{p}p^{\min(a_{p},b_{p})}}$

y

${\displaystyle \operatorname {lcm} (a,b)=\prod _{p}p^{\max(a_{p},b_{p})}.}$

Desde

${\displaystyle \min(x,y)+\max(x,y)=x+y,}$

esto da

${\displaystyle \gcd(a,b)\operatorname {lcm} (a,b)=ab.}$

De hecho, todo número racional se puede escribir de forma única como producto de números primos, si se permiten exponentes negativos. Cuando se hace esto, las fórmulas anteriores siguen siendo válidas. Por ejemplo:

${\displaystyle {\begin{aligned}4&=2^{2}3^{0},&6&=2^{1}3^{1},&\gcd(4,6)&=2^{1}3^{0}=2,&\operatorname {lcm} (4,6)&=2^{2}3^{1}=12.\\[8pt]{\tfrac {1}{3}}&=2^{0}3^{-1}5^{0},&{\tfrac {2}{5}}&=2^{1}3^{0}5^{-1},&\gcd \left({\tfrac {1}{3}},{\tfrac {2}{5}}\right)&=2^{0}3^{-1}5^{-1}={\tfrac {1}{15}},&\operatorname {lcm} \left({\tfrac {1}{3}},{\tfrac {2}{5}}\right)&=2^{1}3^{0}5^{0}=2,\\[8pt]{\tfrac {1}{6}}&=2^{-1}3^{-1},&{\tfrac {3}{4}}&=2^{-2}3^{1},&\gcd \left({\tfrac {1}{6}},{\tfrac {3}{4}}\right)&=2^{-2}3^{-1}={\tfrac {1}{12}},&\operatorname {lcm} \left({\tfrac {1}{6}},{\tfrac {3}{4}}\right)&=2^{-1}3^{1}={\tfrac {3}{2}}.\end{aligned}}}$

Teórico de celosía

Los números enteros positivos pueden ordenarse parcialmente por divisibilidad: si a divide a b (es decir, si b es un múltiplo entero de a ), escriba a ≤ b (o equivalentemente, b ≥ a ). (Tenga en cuenta que aquí no se utiliza la definición habitual basada en magnitud de ≤).

Bajo este orden, los números enteros positivos se convierten en una red , con el encuentro dado por el mcd y la unión dada por el mcm. La prueba es sencilla, aunque un poco tediosa; equivale a comprobar que mcm y mcd satisfacen los axiomas de encuentro y unión. Poner el mcm y el mcd en este contexto más general establece una dualidad entre ellos:

Si una fórmula que involucra variables enteras, mcd, mcm, ≤ y ≥ es verdadera, entonces la fórmula obtenida al cambiar mcd por mcm y cambiar ≥ por ≤ también es verdadera. (Recuerde que ≤ se define como divisiones).

Los siguientes pares de fórmulas duales son casos especiales de identidades generales de teoría reticular.

También se puede demostrar ^[6] que esta red es distributiva ; es decir, lcm se distribuye sobre mcd y mcd se distribuye sobre mcm:

${\displaystyle \operatorname {lcm} (a,\gcd(b,c))=\gcd(\operatorname {lcm} (a,b),\operatorname {lcm} (a,c)),}$

${\displaystyle \gcd(a,\operatorname {lcm} (b,c))=\operatorname {lcm} (\gcd(a,b),\gcd(a,c)).}$

Esta identidad es autodual:

${\displaystyle \gcd(\operatorname {lcm} (a,b),\operatorname {lcm} (b,c),\operatorname {lcm} (a,c))=\operatorname {lcm} (\gcd(a,b),\gcd(b,c),\gcd(a,c)).}$

Otro

• Sea D el producto de ω ( D ) números primos distintos (es decir, D no tiene cuadrados ).

Entonces ^[7]

${\displaystyle |\{(x,y)\;:\;\operatorname {lcm} (x,y)=D\}|=3^{\omega (D)},}$

donde las barras absolutas || denota la cardinalidad de un conjunto.

• Si ninguno de es cero, entonces ${\displaystyle a_{1},a_{2},\ldots ,a_{r}}$

${\displaystyle \operatorname {lcm} (a_{1},a_{2},\ldots ,a_{r})=\operatorname {lcm} (\operatorname {lcm} (a_{1},a_{2},\ldots ,a_{r-1}),a_{r}).}$^{[8] [9]}

En anillos conmutativos

El mínimo común múltiplo se puede definir generalmente sobre anillos conmutativos de la siguiente manera:

Sean a y b elementos de un anillo conmutativo R . Un múltiplo común de a y b es un elemento m de R tal que tanto a como b dividen a m ( es decir , existen elementos xey de R tales que ax = my by = m ). Un mínimo común múltiplo de a y b es un múltiplo común que es mínimo, en el sentido de que para cualquier otro múltiplo común n de a y b , m divide  a n .

En general, dos elementos en un anillo conmutativo no pueden tener mínimo común múltiplo o más de uno. Sin embargo, dos mínimos múltiplos comunes cualesquiera del mismo par de elementos son asociados . ^[10] En un dominio de factorización único , dos elementos cualesquiera tienen un mínimo común múltiplo. ^[11] En un dominio ideal principal , el mínimo común múltiplo de a y b se puede caracterizar como un generador de la intersección de los ideales generados por a y b ^[10] (la intersección de una colección de ideales es siempre un ideal) .

Ver también

• Cancelación anómala
• Enteros coprimos
• función de Chebyshev

Notas

1. Weisstein, Eric W. "Mínimo común múltiplo". mathworld.wolfram.com . Consultado el 30 de agosto de 2020 .
2. Hardy y Wright, § 5.1, pág. 48
3. Largo (1972, pág.39)
4. Pettofrezzo y Byrkit (1970, pág.56)
5. "matemáticas espaciales de la NASA" (PDF) .
6. Las siguientes tres fórmulas son de Landau, Ex. III.3, pág. 254
7. Crandall y Pomerance, ej. 2.4, pág. 101.
8. Largo (1972, pág.41)
9. Pettofrezzo y Byrkit (1970, pág.58)
10. Burton 1970, pág. 94.
11. Parrilla 2007, pag. 142.

Referencias

• Burton, David M. (1970). Un primer curso de anillos e ideales . Lectura, MA: Addison-Wesley. ISBN 978-0-201-00731-2.
• Crandall, Richard; Pomerance, Carl (2001), Números primos: una perspectiva computacional, Nueva York: Springer , ISBN 0-387-94777-9
• Grillet, Pierre Antoine (2007). Álgebra abstracta (2ª ed.). Nueva York, Nueva York: Springer. ISBN 978-0-387-71568-1.
• Hardy, GH; Wright, EM (1979), Introducción a la teoría de números (quinta edición), Oxford: Oxford University Press , ISBN 978-0-19-853171-5
• Landau, Edmund (1966), Teoría elemental de números , Nueva York: Chelsea
• Long, Calvin T. (1972), Introducción elemental a la teoría de números (2ª ed.), Lexington: DC Heath and Company , LCCN  77-171950
• Pettofrezzo, Anthony J.; Byrkit, Donald R. (1970), Elementos de la teoría de números , Englewood Cliffs: Prentice Hall , LCCN  77-81766