Si $p$ es un número primo, y $p|a^2$,, a continuación,$p|a$; por lo tanto, si $p|a^2$ e $p|b$,, a continuación, $p|a$ e $p|b$, por lo tanto $p|\gcd(a,b) = 3$. Por lo $\gcd(a^2,b)$ debe ser una potencia de $3$.
También, $3|a^2$ e $3|b$, lo $3|\gcd(a^2,b)$; por lo $\gcd(a^2,b)$ es un múltiplo de $3$.
Si $3^{2k}|a^2$,, a continuación, $3^k|a$ (puede utilizar la descomposición en factores primos aquí), así que si $3^{2k}|\gcd(a^2,b)$,, a continuación,$3^k|\gcd(a,b) = 3$. Por lo tanto, $k\leq 1$. Es decir, ningún poder de la $3$ mayor que $3^2$ puede dividir $\gcd(a^2,b)$.
En resumen: $\gcd(a^2,b)$ debe ser una potencia de $3$, debe ser un múltiplo de $3$, y no puede ser divisible por $3^3=27$. Lo que queda? Ahora se dan ejemplos para mostrar todas esas posibilidades pueden ocurrir.