>>260

　(与式) = s*{Σ[k=1,n] a[k]^2 - t} = s*(s^2 -3t),

ここに基本対称式を
　s = Σ[i=1,n] a[i],
　t = Σ[1≦i<j≦n] a[i]*a[j],
　u = Σ[1≦i<j<k≦n] a[i]*a[j]*a[k],
　･････
とおいた。