Утверждение, что количество листьев в дереве с высотой h не менее h + 1 явно ложно - просто рассмотрите связанный список длины h, который имеет только один листовой узел. Либо источник, который вы читаете, является неправильным, либо он делает некоторые дополнительные предположения о структуре дерева.
EDIT: Возможно, что оригинальное доказательство говорит о том, что в дереве есть как минимум h + 1 указатели NULL. Это утверждение действительно верно, как мы можем видеть по индукции. В качестве базового случая дерево одиночных узлов имеет высоту 0 и имеет два указателя NULL, поэтому требование выполняется для h = 0. Для индуктивного шага предположим, что требование выполняется для всех деревьев с высотой h '< h и рассматривает любое дерево высота h. Одно из его поддеревьев должно иметь высоту h - 1 и по индуктивному предположению должно иметь h NULL указателей. Теперь рассмотрим другое поддерево. Если нет другого поддерева, корень вносит указатель (h + 1) st NULL, и мы закончили. В противном случае существует поддерево высот k для k ≥ 0, и поэтому по индуктивному предположению есть по крайней мере (k + 1) ≥ 1 указатели NULL, поэтому само дерево имеет по крайней мере h + 1 указатели NULL, завершая доказательство ,
Но для этого не работает, например: http://imgur.com/dv40hJt –