Mínimo Común Múltiplo

Teoría

El Mínimo Común Múltiplo (MCM) de dos enteros $a$ y $b$, que escribes como $\text{lcm}(a,b)$ o a veces simplemente $[a,b]$, es el entero positivo más pequeño que es divisible tanto por $a$ como por $b$. De forma intuitiva, si haces una lista de los múltiplos positivos de $a$ y otra de los múltiplos positivos de $b$, el MCM es el primer número que aparece en ambas listas. Este concepto es fundamental en aritmética, sobre todo cuando sumas fracciones con denominadores distintos o cuando resuelves problemas de eventos periódicos que se tienen que sincronizar (por ejemplo, dos corredores en una pista circular).

Desde la perspectiva del Teorema Fundamental de la Aritmética, el MCM representa la "unión" de los factores primos de los números involucrados. Para armar el MCM, tienes que tomar cada factor primo que aparezca en cualquiera de los números, elevado a la potencia más alta que encuentres en sus respectivas factorizaciones. Esto asegura que el número resultante "contenga" a $a$ y a $b$ como divisores, pero que sea lo más pequeño posible.

Una idea clave en teoría de números es la relación complementaria entre el MCM y el Máximo Común Divisor (MCD). Mientras que el MCD extrae los factores compartidos (potencias mínimas), el MCM junta los factores necesarios (potencias máximas). Esta dualidad te lleva a la identidad tan poderosa que conecta el producto de dos números con el producto de su MCD y su MCM, la cual vas a usar muchísimo en competencias para simplificar cálculos o despejar incógnitas.

Fórmulas Clave

1. Definición Fundamental Para enteros $a, b \neq 0$, $m = \text{lcm}(a,b)$ si:

1. $a \mid m$ y $b \mid m$ ($m$ es un múltiplo común).
2. Si $a \mid k$ y $b \mid k$, entonces $m \mid k$ ($m$ divide a cualquier otro múltiplo común).

2. Fórmula de Factorización Prima Digamos que las factorizaciones primas de $a$ y $b$ son: $$a = p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k} \quad \text{y} \quad b = p_1^{f_1} p_2^{f_2} \cdots p_k^{f_k}$$ donde $e_i, f_i \ge 0$. Entonces: $$\text{lcm}(a,b) = p_1^{\max(e_1, f_1)} p_2^{\max(e_2, f_2)} \cdots p_k^{\max(e_k, f_k)}$$

3. La Fórmula del Producto MCD-MCM Para enteros positivos $a$ y $b$: $$\text{lcm}(a,b) \cdot \gcd(a,b) = a \cdot b$$ Por lo tanto: $$\text{lcm}(a,b) = \frac{a \cdot b}{\gcd(a,b)}$$

4. Propiedad Distributiva Para cualquier entero positivo $k$: $$\text{lcm}(ka, kb) = k \cdot \text{lcm}(a,b)$$

5. Asociatividad (Varios Enteros) $$\text{lcm}(a, b, c) = \text{lcm}(a, \text{lcm}(b, c))$$ Nota: La fórmula del producto $\text{lcm}(a,b,c) \cdot \gcd(a,b,c) = abc$ es FALSA en general.

Demostración

Teorema: Para cualesquiera enteros positivos $a$ y $b$, $\text{lcm}(a,b) \cdot \gcd(a,b) = ab$.

Demostración: La idea es usar el Teorema Fundamental de la Aritmética. Sea $P$ el conjunto de todos los factores primos que dividen ya sea a $a$ o a $b$. Puedes expresar $a$ y $b$ como productos de primos de $P$ con exponentes enteros no negativos (puedes poner un exponente de 0 si un primo divide a un número pero al otro no).

Pon que: $$a = \prod_{p \in P} p^{\alpha_p}$$ $$b = \prod_{p \in P} p^{\beta_p}$$ donde $\alpha_p, \beta_p \ge 0$.

Por la definición del MCD (tomando la potencia mínima de los primos comunes) y del MCM (tomando la potencia máxima): $$\gcd(a,b) = \prod_{p \in P} p^{\min(\alpha_p, \beta_p)}$$ $$\text{lcm}(a,b) = \prod_{p \in P} p^{\max(\alpha_p, \beta_p)}$$

Ahora, considera el producto $\text{lcm}(a,b) \cdot \gcd(a,b)$: $$ \text{lcm}(a,b) \cdot \gcd(a,b) = \left( \prod_{p \in P} p^{\max(\alpha_p, \beta_p)} \right) \cdot \left( \prod_{p \in P} p^{\min(\alpha_p, \beta_p)} \right) $$

Usando las propiedades de los exponentes ($x^m \cdot x^n = x^{m+n}$), puedes combinar los productos: $$ \text{lcm}(a,b) \cdot \gcd(a,b) = \prod_{p \in P} p^{\max(\alpha_p, \beta_p) + \min(\alpha_p, \beta_p)} $$

Para cualesquiera dos números reales $x$ y $y$, la suma de su máximo y su mínimo es simplemente su suma: $$\max(x, y) + \min(x, y) = x + y$$

Si aplicas esto a los exponentes: $$ \text{lcm}(a,b) \cdot \gcd(a,b) = \prod_{p \in P} p^{\alpha_p + \beta_p} $$ $$ \text{lcm}(a,b) \cdot \gcd(a,b) = \left( \prod_{p \in P} p^{\alpha_p} \right) \cdot \left( \prod_{p \in P} p^{\beta_p} \right) $$

Si sustituyes las definiciones originales de $a$ y $b$ de vuelta en la ecuación, llegas a que: $$ \text{lcm}(a,b) \cdot \gcd(a,b) = a \cdot b $$

$\square$