18/09/29 15:39:26.89 GXtaiBeF.net
>>674,679,680,683
見た目より簡単だよ。生成関数の標準的な演習問題くらい？
想定解答は以下のようなもの：
合同は同一視するので三角形の成立条件を考慮すれば、
辺の長さが自然数の三角形と 0<a≦b≦c<a+b をみたす非負整数の組(a,b,c)は一対一に対応することがわかる。
a=s+1, b=a+t, c=b+u とおき、 c<a+b ⇔ c-b<a ⇔ u≦s より s=u+v とおくことにより、
関係式 a=u+v+1, b=u+v+t+1, c=2u+v+t+1 で
0<a≦b≦c<a+b をみたす非負整数の組(a,b,c)と任意の非負整数の組(u,v,t)は一対一に対応することがわかる。
したがって、
f(x) = Σ[n-0,∞] a[n] x^n = Σ[0<a≦b≦c<a+b] x^(a+b+c)
= Σ[u,v,t≧0] x^(4u+3v+2t+3) = (x^3)/(1-x^4)(1-x^3)(1-x^2)。