n²+n = n(n+1)
это произведение двух последовательных чисел, а это значит, что одно из них обязательно четное число и делится на 2 без остатка (нацело), т.е. является ЦЕЛЫМ.
например,
если n - четное, то n+1 - нечетное
если n - нечетное, то n+1 - четное