外点 2分探索木に導入される架空の頂点． 元からある頂点を内点，架空の頂点を外点という． 要素は内点にのみ割り当てられる． 外点の個数 内点の個数をn個とすると，外点の個数はn+1個である． これを数学的帰納法により証明する． [i]n=1の場合， 外点の個…