快速排序选择 a[l+r>>1] 作为基准，为什么正确。有严格一点的证明吗？

选 a[l],a[r] 很容易构造。