Réciproquement, si $a^2=b^3$, alors d'après la question 2), il existe deux entiers strictement positifs $d$ et $u$ tel que
$a=du$ et $b=d$. L'égalité $a^2=b^3$ fournit $d^2u^2=d^3$ et donc $d=u^2$ après simplification par l'entier non nul $d$.
Par suite, $a=u^3$ et $b=u^2$ ou encore $a$ et $b$ sont respectivement le cube et le carré d'un même entier.
On a montré que $a^2=b^3$ si et seulement si $a$ et $b$ sont le cube et le carré d'un même entier.
De même, $0^3\equiv0\;[7]$. $1^3\equiv1\;[7]$. $2^3\equiv1\;[7]$. $3^3\equiv6\;[7]$, $(-1)^3\equiv6\;[7]$, $(-2)^3\equiv6\;[7]$ et $(-3)^3\equiv1\;[7]$.
En résumé, pour tout entier strictement positif $b$, on a
Si de plus, $a^2=b^3=n$, alors on a nécessairement $n\equiv 0\;[7]$ ou $n\equiv1\;[7]$.
Il ya quatre couples d'entiers strictement positifs tels que $x^2\times y^2=25^3$ à savoir $(1,125)$, $(5,25)$, $(25,5)$ et $(125,1)$.