[출제의도] 조건을 만족시키는 정사각형의 개수를 추론하여 수열의 극한값을 구한다.
Sn+1−Sn의 값은 2n−1≤x<2n+1에서 조건을 만족시키는 정사각형의 개수와 같다.
f(x)=x2, g(x)=21x2이라 하자.

(ⅰ) 2n−1≤x<2n일 때,
f(2n)=(2n)2=4n2,
g(2n−1)=21×(2n−1)2=2n2−2n+21
이므로 조건을 만족시키는 정사각형의 개수는 2n2−2n보다 크거나 같고 4n2보다 작은 자연수의 개수와 같다. 즉, 정사각형의 개수는 4n2−(2n2−2n)=2n2+2n
(ⅱ) 2n≤x<2n+1일 때,
f(2n+1)=(2n+1)2=4n2+4n+1,
g(2n)=21×(2n)2=2n2
이므로 조건을 만족시키는 정사각형의 개수는 2n2보다 크거나 같고 4n2+4n+1보다 작은 자연수의 개수와 같다. 즉, 정사각형의 개수는 (4n2+4n+1)−2n2=2n2+4n+1
(ⅰ), (ⅱ)에서
Sn+1−Sn=(2n2+2n)+(2n2+4n+1)=4n2+6n+1
이므로
n→∞limn2Sn+1−Sn=n→∞limn24n2+6n+1=n→∞lim(4+n6+n21)=4
따라서 n→∞limn2Sn+1−Sn=4
[다른 풀이]
자연수 m에 대하여
2m−2<x<2m−1과 21x2<y<x2에서 조건을 만족시키는 정사각형의 개수를 a2m−1이라 하면
a2m−1=(2m−1)2−2(2m−2)2=2m2−1
2m−1≤x<2m과 21x2<y<x2에서 조건을 만족시키는 정사각형의 개수를 a2m이라 하면
a2m=(2m)2−2(2m−1)2−1=2m2+2m
그러므로
Sn=m=1∑n−1(2m2+2m)+m=1∑n(2m2−1)=3n(4n2+2)+n2−2n
Sn+1−Sn=3(n+1){4(n+1)2+2}+(n+1)2−2(n+1)
−{3n(4n2+2)+n2−2n}
=4n2+6n+1
따라서 n→∞limn2Sn+1−Sn=n→∞limn24n2+6n+1=4