Hola, Wimet.
Sin entrar en formalidades, el máximo común divisor de dos números lo obtienes cogiendo los factores primos comunes más pequeños entre ellos, mientras que para el mínimo cómun múltiplo coges los factores primos comunes más grandes y los factores no comunes entre ellos. Si tanto el \( mcd(a,b) \) como \( mcm(a,b) \) son iguales, quiere decir que ambos números son el mismo. ¿Se entiende? Intenta formalizar esta idea.
Saludos.