Задачка:Сумма 63 различных естественных чисел одинакова 2017, какие это числа? Докажи,

Рассмотрим арифметическую прогрессию с a1 = 1 и d = 1 (последовательность естественных чисел).
Сумма n первых членов этой прогрессии одинакова n*(n+1)/2. Явно, что эта сумма будет чётной, т.к. одно из чисел n либо (n+1) будет чётным, другое нечётным, а при умножении чётного на нечётное получается чётное.
Пусть сумма n первых членов одинакова 2016:
n*(n+1)/2 = 2016
n+n-4032 = 0
D = 1+4*4032 = 1+16128 = 16129 = (127)
n1 = -64 - не подходит, т.к. n - естественное число.
n1 = 63
То есть сумма натуральных чисел от 1 до 63 равна 2016.
2017 будет равна сумма чисел от 1 до 62 и числа 64. Иных слагаемых быть не может, так как все числа по условию обязаны быть разными.