二叉树具有以下的重要性质：

1. 高度为h≥0的二叉树至少有h+1个结点；
2. 高度不超过h(≥0)的二叉树至多有2^h+1-1个结点；
3. 含有n≥1个结点的二叉树的高度至多为n-1；
4. 含有n≥1个结点的二叉树的高度至少为logn，因此其高度为Ω(logn)。

具有n个结点的不同形态的二叉树的数目在一些涉及二叉树的平均情况复杂性分析中是很有用的。设B_n是含有n个结点的不同二叉树的数目。由于二叉树是递归地定义的，所以我们很自然地得到关于B_n的下面的递归方程：

     (1)

即一棵具有n>1个结点的二叉树可以看成是由一个根结点、一棵具有i个结点的左子树和一棵具有n-i-1个结点的右子树所组成。

(1)式的解是

          (2)

即所谓的Catalan数。因此，当n=3时,B₃=5。于是，含有3个结点的不同的二叉树有5棵，如图4所示。

图4 含有3个结点的不同二叉树