树状数组归纳证明