證明：含有n個結點的二叉鏈表中共有n+1個空鏈域

含有n個結點的二叉鏈表中，鏈域一共有2*n個（每個點有兩個鏈域）。

對於除了根結點以外的每個點都是有一個父親結點，所以一共有n-1個指針指向某個結點，

於是形成n-1個有內容的鏈域（減1即是父親結點）所以一共有2*n-(n-1)=n+1個鏈域沒有指向任何東西。