я сильно извиняюсь, что вклинился в ваш диалог. но вот я аккуратно нарисовал на бумажке, и все равно не понял, сначала речь шла о расстоянии от точки А до прямой а, а затем с ним сравнивалось расстояние от ДРУГОЙ точки С до ДРУГОЙ прямой AD. Которое в самом деле меньше. И я ничего не понял. Хотя, подсознательно чувствую, что решение правильное. И мой подход - решать от противного тоже здесь использован. Спасибо.

(Reply to this) (Parent) (Thread)

именно до другой прямой. мы предполагали, что нашли наименьшее ненулевое расстояние от точки до не содержащей её прямой, но из нашего предположения с необходимостью следует, что расстояние от другой точки до другой прямой еще меньше. значит, то, первое расстояние, не наименьшее. но мы-то предположили, что оно наименьшее? значит, такой ситуации не может быть, все расстояние нулевые.

(Reply to this) (Parent) (Thread)

а да, теперь, кажется, понятно. я просто не смог достаточно абстрагироваться. Спасибо!

(Reply to this) (Parent)