Como se ha observado, una manera de abordar este problema es resolver las ecuaciones sobre los números complejos, y, a continuación, comprobar directamente que $a^3+b^3=0$ en todos los casos. Sin embargo, es a la vez útil y más generales a observar que la conclusión puede ser alcanzado sin llegar a la solución de las ecuaciones: desde $a^2+b^2=a b$, tenemos
$(*)\ \ a^3+b^3=(a+b)(a^2-a b + b^2)=0.$
El problema tiene sentido sobre cualquier campo -- de hecho, en cualquier anillo conmutativo con $1$ (esta condición es sólo necesario para que el "$4$" tiene sentido.) Además de ser simple, una ventaja de la solución de $(*)$ es que funciona independientemente de la configuración. Esto es relevante, ya que el problema no especificar un dominio para $a$$b$, por lo que una solución basada en el cálculo de las raíces en un contexto particular, implica una suposición inherente.
Por ejemplo, en el campo de ${\Bbb F}_{37}$ (es decir, los enteros mod $37$), las ecuaciones tienen las cuatro soluciones $(a,b)$=$(9,21)$, $(16,28)$, $(21,9)$, y $(28,16)$. Se puede comprobar que $a^3+b^3=0$, en cada caso, pero usted es nuevo al cuadrado uno cuando se enfrentan con ${\Bbb F}_{61}$.