Так этсамое... решаете квадратное уравнение (раскрыв скобки получите n^2+n-2S=0)
Если при решении получилось натуральное число - значит, S - сумма первых n натуральных.
Считаете число D=8*S+1. Если оно оказалось полным квадратом (т.е. если взять целую часть квадратного корня из D и возвести в квадрат, то снова получится D), то ответ - да, и n=(sqrt(D)-1)/2. Иначе S искомой суммой не является.