222
правки
Изменения
м
Нет описания правки
* <tex> D(D(P)) = P </tex>
* Точка <tex> p </tex> лежит под/на/над прямой <tex> l </tex> тогда и только тогда, когда <tex> D(l) </tex> лежит под/на/над прямой <tex> D(p) </tex>;
* Точка <tex> p \in P = \cup p_i </tex> принадлежит <tex> UH(P) </tex> тогда и только тогда, когда существует такая не вертикальная прямая <tex> \exists l </tex>, что <tex> \forall i : p_i </tex> лежит под <tex> l </tex> и <tex> l </tex> не вертикальна.
Таким образом получаем:
* Взаимно однозначное соответствие между вершинами <tex> CH(D(L)) </tex> и границами пересечения <tex> \cap_{i=1}^{n}(l_i) </tex>;
