CLRS 6.1-7 :
证明：当用数组表示存储了n个元素的堆时，叶子结点的下标是[n/2] + 1, [n/2] + 2, ..., n.
证明:因为有n个元素，最后一个元素序号为n，那么它的parent结点应该是序号最大的parent结点，那么这个parent结点就为[n/2]，其之后都是叶子结点，因而为[n/2] + 1, [n/2] + 2, ..., n。