首先这个行列式是关于x[1],x[2],,,x[n]的1+n(n-1)/2次多项式,设为f(x[1],x[2],,,,x[n]),简写为f
因为x[i]=x[j]时候,行列式有2列一样,所以为0,所以等号右边因式分解之后一定有(x[i]-x[j]),这对于任何i,j都对。
设w=cos(2pi/n)+isin(2pi/n)
w^n=1
令x[j]=w^j
则sigma x[j]=0
所以sigma x[j]是右边的多项式f的因子。
而当x[j]=w^j时,行列式最后一行全是1,所以这时行列式是0
所以我们得到了f确实包含因子sigma x[j]和(x[i]-x[j])
所以我们可以设f=A*(求和x[j])*(求积(x[i]-x[j]))
A是1我还不清楚如何想。