Solution:
02=0, (±1)2=1, (±2)2=4, (±3)2=0, (±4)2=7mod9, so the condition is necessary.
We exhibit squares which give these values.
0mod9. Obviously 02=0. We have 92=81, 992=9801 and in general 99…92=(10n−1)2=102n−2⋅10n+1=99…980…01, with digit sum 9n.
1mod9. Obviously 12=1 with digit sum 1, and 82=64 with digit sum 10. We also have 982=9604, 9982=996004, and in general 99…982=(10n−2)2=102n−4⋅10n+4=99…960…04, with digit sum 9n+1.
4mod9. Obviously 22=4 with digit sum 4, and 72=49 with digit sum 13. Also 972=9409 with digit sum 22, 9972=994009 with digit sum 31, and in general 99…972=(10n−3)2=102n−6⋅10n+9=99…940…09, with digit sum 9n+4.
7mod9. Obviously 42=16, with digit sum 7. Also 952=9025, digit sum 16, 9952=990025 with digit sum 25, and in general 99…952=(10n−5)2=102n−10n+1+25=99…90…025, with digit sum 9n−2.