大学学部レベル質問スレ 17単位目

結合法則が成り立つことの証明ですが、

f = (a_0, a_1, …)
g = (b_0, b_1, …)
h = (c_0, c_1, …)

(f * g) * h
f * (g * h)

のどちらも l 次の項の係数は、添字の和が l になるような a_i * b_j * c_k をすべて足したものになる。

よって、

(f * g) * h = f * (g * h)

が成り立つ。

これでOKですか？