реально

Первообразная функция непосредственно раскручивает тригонометрический многочлен, откуда следует доказываемое равенство.