关于树状数组区间加、区间求和实现方法的数学推导

由差分数组的定义不难得出：

\[a_i=\sum_{j=1}^{i}{d_j} \]

需要求的值：

\[\text{sum}(1,x)=\sum_{i=1}^{x}{a_i} \]