>>937
　f(t) = π-t = π + Σ[k=1,∞) (-1)^k (2/k)sin(kt),


>>938
コーシーで
　(1+1+･････+1){(p_1)^2 + (p_2)^2 + ･････ + (p_n)^2} ≧ (p_1+p_2+･････+p_n)^2,
または
　n{(p_1)^2 + (p_2)^2 + ･････ + (p_n)^2} = (p_1 + p_2 + ･････ + p_n)^2 + Σ[1≦i<j≦n] (p_i-p_j)^2
　　　　　　　　　　　　　　　　　　　　≧ (p_1 + p_2 + ･････ + p_n)^2,
を n^2 で割る。 等号成立は p_1 = p_2 = ････ = p_n のとき。


>>950 >>956
(1)　f(x)dx = (1/2)sin(x)dx = sin(K^2)KdK = g(K)dK,
(2)　f(x)dx = 2x dx = dK = g(K)dK,