Антипараллельность

Пусть прямая антипараллельна прямой относительно прямая пересекает стороны угла в точках и прямая — в точках и прямая — в точках и

В силу антипараллельности значит, все прямые, антипараллельные образуют с равные углы, следовательно, они все параллельны по равенству соответствующих или накрест лежащих углов при секущей

По свойству симметрии относительно биссектрисы получаем Следовательно, параллельна значит, и всем прямым, антипараллельным