Есть такая последовательность:

m[0]=1 d[0]=4

m[i+1]=m[i]*d[i]
d[i+1]=4-1/d[i]
s[i+1]=3*m[i+1]^2+1

Как проще всего доказать что все s[i] — будут полные квадраты, т.е. все s[i]^0.5 — целые числа?
s[1]^0.5=7, s[2]^0.5=26, s[3]^0.5=97, s[4]^0.5=362, ...