53
правки
Изменения
Нет описания правки
'''База индукции.'''
<div style="border:1px solid dashed #000; width:90%; margin: 10px; padding:4px; background-color: #fdfdfd; padding-left:10px;">
Если <tex>|VT| = 1</tex>, то граф <tex>T</tex> тривиальный. Его единственная вершина — это блок графа <tex>G</tex>, который по утверждению теоремы планарен.
</div>
'''Индукционный переход.'''
<div style="border:1px solid dashed #000; width:90%; margin: 10px; padding:4px; background-color: #fdfdfd; padding-left:10px;">
Пусть утверждение верно для <tex>|VT| < m</tex>. Рассмотрим <tex>T</tex>, для которого <tex>|VT| = m > 1</tex>, и соответствующий <tex>T</tex> подграф <tex>G'</tex> графа <tex>G</tex>. Докажем, что <tex>G'</tex> планарен.
