Ta thấy S có các số hạng cách đều 2 đơn vị
=> S có: (2017 - 1) : 2 +1 = 1009 ( số hạng)
=> S = (2017 + 1) x 1009 : 2 = (2018 : 2) x 1009= 1009 x 1009 = 10092
Vì 1009 là số nguyên => 10092 là số chính phương => S là số chính phương(điều phải chứng minh)