设f为[-π，π]上可积函数a₀，a_k，b_k（k=1，2，…，n）为f的傅里叶系数，试证明：当A₀=a₀，A_k=a_k，B_k=b_k（k=1，2，…，n）时，积分 取最小值，且最小值为
上述T_n（x）为 ，A₀，A_k，B_k为它的傅里叶系数。