ｸｲｽﾞ大陸

久々ヒント（ていうかもうほぼ答え(・o・‖)）↓
ここからが難しくなります。
x1^ax2^b・・・xn^cに関する対称式（説明しにくいので、これでわかってください(;o;)）を
(a,b,・・・,c)と表すこととすると、三変数の一般式は(a,b,c)になります。
この一般式をS3^aでくくると


(a,b,c)=S3^a(0,b-a,c-a)

ところで、


(0,b-a,b-a)=2T(b-a)´

より(0,b-a,b-a)は基本対称式で表せます。(0,b-a,c-a)にするには


片方のb-aをc-aに変形する、と考えます。（この考え方が大切です）


x1^b-ax2^b-aをx1^c-ax2^b-aにするにはどうすればいいでしょう。当たり前のことですが

x1^c-bをかければいいのです。というわけで掛けてみます。


T(b-a)´T(c-b)
=(0,b-a,c-a)+(b-a,b-a,c-b)*1/2


=(0,b-a,c-a)+S3^b-aT(a-2b+c)