证明：含有n个结点的二叉链表中共有n+1个空链域

方法一：

含有n个结点的二叉链表中，链域一共有2*n个（每个点有两个链域）。

对于除了根结点以外的每个点都是有一个父亲结点，所以一共有n-1个指针指向某个结点，

于是形成n-1个有内容的链域（减1即是父亲结点）所以一共有2*n-(n-1)=n+1个链域没有指向任何东西。

或者法二：

二叉树中：结点数n=n1+n2+n0,(n0是度数为0的结点，也称叶子结点；n1是度数为1的结点；n2是度数为2的结点)
设空链域个数为N,N=n1+2*n0,（因为度数为1的有一个空，度数为0的有两个为空）
因为n0=n2+1,带入得N=n1+n0+n2+1=n+1

解释为什么n0=n2+1（非空二叉树上叶子结点数等于度数为2的结点数+1）

证明：设度数为0,1,2的结点个数分别为N0，N1，N2，结点总数为N=N0+N1+N2

再看二叉树中的分支数，除了根节点外，其余结点都有一个分支进入，设B为分支总数，则N=B+1。

由于这些分支是由度数为1或者2的结点射出来的，所有又有B=1*N1+2*N2

于是得:N0+N1+N2=(1*N1+2*N2)+1

则：N0=N2+1