算法导论6.3-3 证明完全二叉树高度为h的结点，其结点个数最多为[n/2^(h+1)](上取整函数)

这个问题可以使用以下几种方法进行证明： 

(1) 使用结点高度的定义

假设某结点序号为i，则其最长路径为i, i*2, i*2^2,....,i*2^h，而且I*2^(h+1) > n，于是有不等式 i*2^h<=n < i*2^(h+1)，设置x=n/2^(h+1)，等到不等式 x < i <= 2*x，因此高度为h的结点个数即是i的取值个数，考虑x的取值情况，即可得证。

 而且这个证明方式不仅得到了结点个数的最大值，而且可以精确计算出某高度的结点个数，比如叶子结点个数为[n/2](上取整函数)

(2) 使用数学归纳法

需要关注递推过程，即高度为h的结点个数N(h)满足命题时，高度为h+1的结点个数N(h+1) <= [N(h)/2]，需要关注h高度的结点处于两层的情况，如果两层均是奇数的情况下，则其父结点个数有N(h)/2 +2个，但N(h+1)只有N(h)/2 + 1个，这里需要注意！

(3) 使用叶子结点个数进行递推

已经证明叶子结点个数为 [n/2]，则去掉这些叶子结点，得到一个 n - [n/2] 个结点的树，其叶子结点就是原树中高度为1的结点，其个数为 [(n - [n/2])/2] <= [n/4]，可以一直这样递推下去