>>535-537
(-1+納j=1,n]x[j]x[j+1])^2 (x[n+1]=x[1])
=1-2納j=1,n]x[j]x[j+1]+(納j=1,n]x[j]x[j+1])^2
=(納j=1,n]x[j])^2-2納j=1,n]x[j]x[j+1]+(納j=1,n]x[j]x[j+1])^2
=納j=1,n]x[j]^2+2納1≦i<j-1≦n]x[i]x[j]+(納j=1,n]x[j]x[j+1])^2
>納j=1,n]x[j]^2