SOLUCIÓN. Teniendo en cuenta que, dados dos números naturales $a$ y $b$, tales que $a \ge b$, entonces $\text{m.c.d.}(a,b)=a$ si $a=b$ y en caso contrario $\text{m.c.d.}(a,b)=\text{m.c.d}(\text{máx}\{a-b,b\},\text{mín}\{a-b,b\})$. Por consiguiente, podemos aplicar una y otra vez dicha propiedad hasta obtener una diferencia igual a $0$, en cuyo caso el proceso finaliza, concluyendo que el máximo común divisor es igual al actual minuendo ( que es igual al sustraendo ). Y organizando los cálculos en una tabla, encontramos:
minuendo sustraendo diferencia -------- ---------- ---------- 24 18 6 18 6 12 12 6 6 6 6 0 (fin)Así, pues, obtenemos $$\text{m.c.d.}(24,18)=6$$
$\square$
