Algèbre, IV, p. 93
On pose
sk=∑Am1…mnp1m1…pnmn, où les
Am1…mn sont des nombres rationnels, et où la somme est étendue aux familles
(m1,…,mn) telles que
∑i⋅mi=k. Montrer que l’on a
∑Am1…mn=0 pour
k>1, et
∑∣Am1…mn∣=1 pour
k⩾1. En déduire que, si l’on pose
qj=−pj, on a
(−1)ksk=∑∣Am1…mn∣q1m1…qnmn.