[定理](wirtinger's inequality) 閉区間[0,1]で定義される微分可能な関数f(x)は,f(0)=f(1)=0を満たし,f'(x)は連続であるとする.このとき,以下の不等式が成立する. ∫[0,1] f'(x)^2 - (πf(x))^2 dx ≧ 0 [考え方] g(x)=f(x)/(sinπx) を考えてみる. (x=0,1は置い…