Sei ein vollständiger, balancierter Binärbaum der Höhe . Dann hat genau Blätter.
Beweis
Beweis per Induktion über .
Induktionsanfang
.
Dann enthält nur einen Knoten und dieser ist ein Blatt. Also hat genau Blätter.
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