264
правки
Изменения
м
→Критерии Делоне для ребер
Из глобального в локальный очевидно, докажем обратно.
Предположим противное, то есть найдётся такая плоскость, что вершины треугольников при ребре <tex>AB</tex> лежат под ней, но существует какая-то вершина <tex>F</tex> над ней. Проведём окружность с центром в сфере через <tex>AB</tex> и выберем треугольник лежащий в одной полусфере с точкой <tex>F</tex>, назовём его <tex>ABC</tex>. Точка <tex>F</tex> лежит над плоскостью <tex>ABC</tex> <tex>\implies</tex> <tex>F</tex> лежит внутри окружности около <tex>ABC</tex>. Возьмем треугольника при ребре, в чьем сегменте оказалась точка <tex>F</tex> и назовем его <tex>ABC</tex>. Если не существует смежный с ним треугольник при вершине <tex>F</tex>, то повторим итерацию, иначе противоречие с локальным критерием Делоне.
}}
{{Утверждение
|id=krit_dol3
|statement=
Критерии Делоне для ребер и треугольников равносильны.
|proof=
[[Файл:dol3.png|400px|thumb|right|]]
Из треугольника в ребра: если для каждого треугольника выполнен критерий, то для каждого ребра можно рассматривать плоскость при любом треугольнике при ребре.
Обратно: Рассмотрим треугольник <tex>ABC</tex>, для каждого из ребра можно провести плоскость, такую что все точки будут лежать не выше её. Три плоскости образуют трехмерный угол, снаружи которого нет точек (снаружи == выше каждой). В пересечении угла и плосокости <tex>ABC</tex> образуется тетраэдр. Если в нем нет точек, значит точек нету и над плоскостью треугольника (точек снаружи тетраэдра нету), значит глобальный критерий выполняется. Проверим это.
Пусть в нем есть точки, тогда эти точки оказались внутри треугольника, тогда это не триангуляция.
}}
