$a=k^2$ ve $b=k(k+1)$ ise,
$a.b=k^3(k+1)$ olur.
$a.b$ sayısı $9$ ile bölünebildiğine göre, $k^3(k+1)$ sayısı da $9$ ile bölünebilmelidir.
$k^3(k+1)$ sayısının $9$ ile bölünebilmesi için ya $k^3$ ya da $k+1$ sayısı 9 ile bölünmeli. (Neden?)
$k+1$ sayısı $9$ ile bölünüyorsa $k=8$'dir.
$k^3$ $9$ ile bölünüyorsa $k\in \{3,6,9\}$ olur.
Sorunun pratik çözümü kişiden kişiye değişir. Bu çözümü sizin akıl yürütmenizden hareketle yazdım.