Изменения
→Свойства биномиальных деревьев
{{Утверждение
|statement=Биномиальное дерево <tex>B_k</tex> с <tex>n</tex> вершинами имеет <tex>2^k</tex> узлов
|proof=Так как в дереве порядка Докажем по индукции: База <tex>k = 1</tex> {{---}} верно. Пусть для некоторого <tex>k </tex> условие верно, то докажем, что для <tex>k+1</tex> вдвое больше узлов, чем это также верно: Так как в дереве порядка <tex>k+1</tex>вдвое больше узлов, а чем в дереве нулевого порядка <tex>1 = 2^0k</tex> узел, то дерево порядка <tex>k+1</tex> имеет <tex>2^k* 2 = 2^{k+1}</tex> узлов, то переход верный, то свойство доказано.
}}
