如何证明(a+b)/2就是ab的中点？

一、证明如下

二 程序中的应用

有时候我们在写程序时，会对数组等等进行某些操作，可能会有查找中点位置的需求。这是有一个代码书写的技巧：
计算中点时使用算式： mid = a + (b - a) / 2
原因是，假设a，b是int类型的变量且a，b是比较大的数， a + b可能导致溢出，而上述算式可以减少该问题发生的可能性。b>