Sei ein vollständiger, balancierter Binärbaum der Höhe .
Dann hat genau
Knoten.
Beweis
Beweis per Induktion über .
Induktionsanfang
.
Dann enthält nur einen Knoten und es gilt
Induktionsvoraussetzung
Wir nehmen an, die Behauptung sei für alle schon bewiesen.
Induktionsschritt
Angenommen, hat Höhe .
Sei die Wurzel von und die beiden Nachfolger.
Seien die beiden Teilbäume von mit Wurzel .
Dann haben die Höhe und nach Induktionsvoraussetzung jeweils