Mapa Mental: MCD y MCM
El Máximo Común Divisor (MCD) y el Mínimo Común Múltiplo (MCM) son dos conceptos fundamentales de la aritmética de los enteros que se apoyan en la noción de divisores y múltiplos. Un número d es divisor de a cuando la división es exacta, y m es múltiplo de a cuando resulta de multiplicar a por un entero. Toda la teoría descansa sobre la descomposición canónica: todo entero mayor que 1 puede escribirse de forma única como producto de potencias de números primos, lo que permite calcular tanto el MCD como el MCM de manera sistemática.
El MCD de dos o más enteros positivos es el mayor entero que los divide a todos simultáneamente. Usando la descomposición canónica, se toman solo los factores primos comunes con el menor exponente; por ejemplo, MCD(12,18) = 2¹ × 3¹ = 6. Existen además métodos prácticos como el método simultáneo de divisiones sucesivas y el algoritmo de Euclides, que consiste en reemplazar MCD(a,b) por MCD(b,r) hasta llegar a residuo cero.
El MCM, en cambio, es el menor entero positivo que es múltiplo de todos los números dados. Se calcula tomando todos los factores primos, comunes y no comunes, con el mayor exponente; así, MCM(12,18) = 2² × 3² = 36. Ambos conceptos están unidos por la relación principal: MCD(a,b) × MCM(a,b) = a × b, una herramienta muy útil para resolver problemas donde se conoce uno de los dos valores.
Entre las propiedades clave destaca que dos números con MCD igual a 1 son primos entre sí (PESI) y su MCM es simplemente su producto; que si a divide a b, entonces MCD(a,b) = a y MCM(a,b) = b; y que el MCD divide a cualquier combinación lineal de los números, en particular a su suma y a su diferencia. Además, si d = MCD(a,b), existen enteros x e y primos entre sí tales que a = d×x y b = d×y. Estos principios permiten resolver problemas de reparto, engranajes, eventos periódicos y simplificación de fracciones en el ámbito preuniversitario.