No necesitas el algoritmo euclidiano para este escenario.
Si $a,b$ son enteros positivos, y $a|b$ entonces $\gcd(a,b) = a$ .
Por lo tanto, si $a,n$ son enteros positivos, entonces $\gcd(a,a^n)=a$ .
Pero si se opta por utilizar el algoritmo euclidiano, sólo por el hecho de hacerlo, entonces cuando se llega al resto cero, el $\gcd$ es el divisor que produjo el resto cero, que en este caso, es $a$ .
Alternativamente, el divisor inicial puede considerarse como el resto inicial. Así, para cada paso de la división, siempre hay un resto anterior, por lo que cuando se llega por primera vez a un resto de cero, el resto anterior (que es el mismo que el divisor que produjo el resto cero) es el $\gcd$ .
Así, para su ejemplo, ya que eligió $a$ como el divisor inicial, también es el resto inicial. Como el siguiente resto es cero, el resto anterior, es decir $a$ es el $\gcd$ .
1 votos
Si lo piensas bien, $\gcd(a, a^n) = 1a +0a^n$