>>685これ教えて…


f(π/2)＝f(−π/2)＝０、[−π/2 π/2]で微分可能かつ連続な関数f(x)について

∫(−π/2〜π/2){f(x)}^2dx≦∫(−π/2〜π/2){f'(x)}^2dx

を示しなさい。ただしf'(x)はf(x)の１次の導関数である