Since average velocity is defined as$^1$ $$\vec{\mathbf v}_\mathrm{av}=\frac{\vec{\mathbf x}-\vec{\mathbf x}_0}{t-t_0},$$ where $\vec{\mathbf x}$ denotes position, why is this quantity equal to $$\frac{\vec{\mathbf v}+\vec{\mathbf v}_0}{2},$$ where $\vec{\mathbf v}=\frac{d\vec{\mathbf x}}{dt}$ and $\vec{\mathbf v}_0=\left.\frac{d\vec{\mathbf x}}{dt}\right|_{t=t_0}$, when acceleration is constant?
What in particular about constant acceleration allows average velocity to be equal to the midpoint of velocity?
$^1$: Resnick, Halliday, Krane, Physics (5th ed.), equation 2-7.