# はじめに 　この記事では周期関数の広義積分に関する公式 $$\int^\infty_0\frac{\sin^2 x}{x^2}f(x)dx =\int^\infty_0\frac{\sin x}xf(x)dx =\int^{\frac\pi2}_0f(x)dx$$ について簡単に考察していきます。 # ロバチェフスキーの公式 　とりあえずまずは上の公式を示しておこう。 &&&lem \begin{align} \frac1{\sin x}…