По другую сторону линии АВ воображаем ABF, одинаковый с ABE, для чего нужно только BE перенести на другую сторону точки В. Круг, описанный из точки А полупоперешником АЕ, пройдет чрез Е и F и не пересечет более ни в какой третьей точке линии CD, иначе бы вышел равнобедренный треугольник, в средине которого мог бы провестись другой перпендикул из точки А к линии CD.
