こちらの拡張話題 が最小になるような周期関数は？ 周期関数なので、となるようなを取ることができる なので となる ここで、での平均とすれば が連続ならば、はとなるようにとれて、この方がわかりやすいかもしれない じゃあ、を考えると・・・ さらに、で…