Нашел теорему, что существуют определенные суммы цифр, при которых такое число существует. Такие числа являются простыми, и к ним можно перейти от 2009. НО вся проблема в том, что такое решение без доказательства данной теоремы не зачтут. Кроме того, для ЕГЭ должно быть решение более "поверхностное"
Подумайте, каким может быть остаток от деления на 3 у квадрата.
Если `n=3k`, то `n^2=9k^2`; если `n=3k-1`, то `n^2=9k^2-6k+1=(3k-1)^2`, если `n=3k+1`, то `n^2=9k^2+6k+1=(3k+1)^2`
Потому что в задаче говорится о сумме цифр, а только делимость на 3 и 9 инвариантна относительно этого действия.