>>172-173

a+b+c
abc
ab+ac+bc

う〜ん。
交代式の証明やった時に、最後の部分がf(a,b,c)=(a-b)(a-c)(b-c)Q(a,b,c)になって、
Q(a,b,c)がなぜ対称式なのか考えた時
f(b,a,c)=-[(a-b)(a-c)(b-c)Q(b,c,a)]になるからだとしました。

a^2+b^2+c^2は対称式ですよね。

基本対称式でならなければならない理由はあるのでしょうか