Доказать что две расходящиеся прямые имеют ось симметрии

Осью симметрии двух расходящихся прямых является биссектриса угла, который они образуют при пересечении. Если провести биссектрису из вершины угла двух расходящихся прямых, отложить на ней отрезок а и провести через него перпендикуляр до пересечения с прямыми, которые и образовали угол, то получим два равных между собой прямоугольных треугольника, у которых общий катет и равные углы (2-ой признак равенства тр-ков). Раз треугольники равны, то биссектриса является осью симметрии.