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