3622
правки
Изменения
Нет описания правки
База индукции, когда <tex>|V|=3</tex>, выполняется тривиальным образом.
Предположим, что графы с любым числом вершин меньше <tex>|V| \geqslant 4</tex>, мы можем нарисовать требуемым образом.
Рассмотрим ребро <tex>vw</tex>, [[Матрица инцидентности графа#definc | инцидентное]] внутренней вершине глубочайшего разделяющего треугольника, то есть такого, который не содержит внутри себя других разделяющих треугольников. Если в графе нет разделяющих треугольников, то возьмём любое ребро. Тогда <tex>vw</tex> {{---}} граница двух граней <tex>vwp</tex> и <tex>vwq</tex>.
* [[Укладка графа на плоскости]]
==СсылкиИсточники информации==
* [[wikipedia:Fáry's_theorem | Wikipedia {{---}} Fáry's theorem ]]
* [http://arxiv.org/abs/cs/0505047 Доказательство теоремы Фари]
