Изменения

Перейти к: навигация, поиск

Триангуляция Делоне

125 байт добавлено, 11:51, 12 февраля 2014
м
Критерий Делоне для рёбер
|statement=Триангуляции Делоне принадлежат те и только те рёбра (с поправкой на точки, лежащие на одной окружности), которые удовлетворяют критерию Делоне.
|proof=
[[Файл:Good edges.png|400px|thumb|right|Для рёбер AB и CD выполняется критерий Делоне, на них построены окружности]]
То, что для рёбер, принадлежащих триангуляции Делоне, выполняется критерий Делоне для рёбер, очевидно (вокруг каждого ребра можно описать окружность, проходящую через противолежащую ему точку в смежном треугольнике, причём в окружности не будет никаких точек по критерию Делоне).
Докажем, что если для ребра выполняется критерий Делоне, то оно принадлежит триангуляции Делоне.
 
{{TODO|t=Надо вставить картинку}}
Предположим, что это ребро (назовём его <tex>AB</tex>) не принадлежит триангуляции Делоне. Тогда существует пересекающее его ребро <tex>CD</tex>, принадлежащее триангуляции. Рассмотрим четырёхугольник <tex>ACBD</tex>. Точки <tex>C</tex> и <tex>D</tex> лежат вне окружности, построенной на <tex>AB</tex> как на хорде, поэтому сумма углов <tex>C</tex> и <tex>D</tex> меньше 180°. Аналогичным образом доказывается, что сумма углов <tex>A</tex> и <tex>B</tex> тоже меньше 180°. Значит, сумма углов четырёхугольника <tex>ACBD</tex> меньше 360°, что невозможно. Противоречие. Значит, ребро <tex>AB</tex> принадлежит триангуляции Делоне.
}}
 
== Динамическая триангуляция ==
{{Определение
355
правок

Навигация