证明：任何基于比较的排序算法都需要平均次比较。