Первое тождество очень просто доказывается методом, о котором сказал выше
Vince Diesel.
Вот подобная тема.
Что касается второго, то его можно получить элементарными методами, без вычетов. Верно более общее тождество, чем в задаче (но, по-видимому, менее общее, чем вышеуказанное Тождество Абеля):
для любых
и
.
Первый способ доказательства
состоит в том, чтобы раскрыть скобки в
, пользуясь биномом Ньютона, а потом ввести замену индексов
, где
- индекс, характеризующий степень
после применения бинома Ньютона, а
.
Второй способ - применить индукцию по
, просто проинтегрировав
по
. Отдельно проверить константу, возникающую при интегрировании, подставив
.
И там, и там придётся применить тождества типа
этих.