二叉树的基本性质