- 994 名前：１３２人目の素数さん mailto:sage [2017/03/13(月) 20:43:05.22 ID:UB++6Hh4.net]
- >>945 下
k=1,2,…,n-1 とする。
Σ[i-j=k] 1/(x_i - x_j) および Σ[i-j=n-k] 1/{2π - (x_i-x_j)}
のn項について、相加-調和平均（コーシー）すると、
Σ[i-j=k] 1/(x_i - x_j) + Σ[i-j=n-k] 1/{2π - (x_i-x_j)}
≧ nn／{Σ[i-j=k] (x_i - x_j) + Σ[i-j=n-k] {2π - (x_i-x_j)}}
=（nn/2π)(1/k),
k=1,2,…,n-1 でたす。
等号成立は x_i - x_j = (2π/n)(i-j）のとき。
