Нам нужно иметь такой язык, в котором решение тривиально. И вот когда был найден такой язык, решение стало действительно тривиальным. Был взят язык отрезков: отрезок АB, точка встречи где-то на этом отрезке — С. Решение тривиально. Правда, это еще не решение, если нужно узнать, на каком расстоянии от каждого из пунктов или в какое время они встретятся. Но сила языка чертежа в том, что мы уже нашли