689
правок
Изменения
м
убрал "TODO:непонятно", сделал попонятнее
На самом деле обе леммы равносильны.
# Первая получается из второй, если подставить <tex>f = 0</tex> вне отрезка <tex>Q</tex>.
# В обратную сторону: вне конечного отрезка функция стремится к нулютак как интеграл от модуля функции сходится, а на конечном то необходимо <tex> | \int\limits_{|x| > a} f(x) \cos(px) | \le \int\limits_{|x| > a} |f(x)| \xrightarrow[a \to \infty]{} 0 </tex>. На отрезке <tex> [-a; a] </tex> можно сжать интервал интегрирвания интегрирования в <tex> [-\pi; \pi] </tex>. {{TODO|t=тут ничего не понятно}}
}}
