《数据结构（C语言版）》p282证明

$$\sum _{j=1}^{h-1}{2}^{h-j}\bullet j\le (2n)\sum _{j=1}^{h-1}j/2^j\le 4n$$
先证明左侧，首先通过二叉树的性质可以得出，若二叉树的高度为h，节点个数为n，则
$$2^{h-1}\le n\le 2^h-1$$
最多的情况下二叉树是满二叉树，第1层1个节点，第2层2个，第3层4个…，由等比数列的前n项和，可得出
$$n=2^h-1$$
最少的情况下第 1 层到第 h - 1 层构成满二叉树，第h层只有一个节点，此时
$$n=2^{h-1}-1+1=2^{h-1}$$
因此有
$$2^h\le 2n$$
代入左侧
$$\sum _{j=1}^{h-1}{2}^{h-j}\bullet j\le 2^h\sum _{j=1}^{h-1}j/2^j\le (2n)\sum _{j=1}^{h-1}j/2^j$$
再来看右侧，
$$\sum _{j=1}^{h-1}j/2^j=\frac{1}{2}+\frac{2}{2^2}+\cdots +\frac{h-1}{2^{h-1}}$$
$$S=\frac{1}{2}+\frac{2}{2^2}+\frac{3}{2^3}+\cdots +\frac{h-1}{2^{h-1}}$$
$$2S=1+\frac{2}{2}+\frac{3}{2^2}+\frac{4}{2^3}+\cdots +\frac{h-1}{2^{h-2}}$$
$$由2S-S得，S=2-\frac{1}{2}+\frac{1}{2^2}+\frac{1}{2^3}+\cdots +\frac{1}{2^{h-2}}-\frac{h-1}{2^{h-1}}$$
通过等比数列求和公式，可得
$$S=2-\frac{1}{2^{h-2}}-\frac{h-1}{2^{h-1}}$$
$$\underset{h\to +\infty }{\lim }2-\frac{1}{2^{h-2}}-\frac{h-1}{2^{h-1}}=2$$
因此，右侧成立。