Есть отрезок. Чуть выше написал обоснование. Треугольники одинаковые по построрению, второй специально строился так, чтобы быть дублем первого. И если в изначальном треугольнике точка О лежит на отрезке ВЕ, то и в построенном треугольнике она ДОЛЖНА лежать на отрезке ВЕ1.