第2题

本步骤利用假设和公式 $\sum a_i=s^{k^2-1}\sum b_i=s^{k^2}=(s^k)^k$、$k$、$2009$，推出所述结论。