Обозначим через

число решений уравнения

в целых неотрицательных числах с условием, что

.
Используя формулу включений-исключений я получил, что:
Хорхе вот такой у меня вроде ответ получился
Есть два вопроса, не должны ли идти первые множители для

от 1 до

, а не от 0 и точно ли знак минус перед

, а не плюс, так как иначе биноминальный коэффициент может быть отрицательным...
В комбинаторике я не разбираюсь, если честно, просто мне попалась прикладная задача, в которой нужна эта формула.
-- 11.10.2020, 22:39 --D4nDme
Вполне возможно, что Whitaker Вам и ответит, но Вы всё-таки обратите внимание, что почти 9 лет прошло.
Обратил)) Но я не знаю никого, кто разбирался бы в комбинаторике, а тем более знает решение этой задачи. Будем надеяться на лучшее, так как Whitaker периодически заходит на форум судя по данным