即证明任意节点的父节点序号 使用数学归纳法。 当时,显然成立 假设当时,结论成立,即 则当时, 若是左节点,那么奇数,所以 同时,所以有 若是右节点,那么是偶数,所以 同时,所以有 这个结论在“堆”数据结构中有大量应用