如果在这题的分块做法中：(l+r)/2是正确的求平均数的算法，是不是可以证明(l+r)一定是偶数？又如何证明？谢谢。