Когда я говорил «круто», я имел в виду «длина
прямой равна 0». На евклидовой плоскости
большинство прямых бесконечны, и поэтому
иногда говорят о длинах отрезков.
Батороев писал(а):
Мне и самому такой ответ не по душе, а записал я его лишь для того, что скажи я:"Решений нет", никто бы не тыкнул в нос этим формальным решением.
Непременно бы ткнул. Именно этот случай я и
имел в виду выше. Мне он вполне по душе.
Добавлено спустя 2 часа 14 минут 5 секунд:
Кстати, не только этот случай. Рассмотрим равнобедренный треугольник, для удобства — в системе координат (основание: точки

и

; вершина

,

). Он, разумеется, равносторонний при

.
Наша игра состоит в том, что (а) центр вписанной окружности (точка пересечения биссектрис) и ортоцентр (точка пересечения высот) совпадают только в равностороннем треугольнике, (б) параллельность основанию эквивалентна равенству

-координаты этих центров и (в) легко показать, что если двигать

вверх-вниз от равностороннего треугольника, центры меняются местами по

.
Итак, пусть при

ортоцентр выше ц.в.о, а при

— ниже. Сдвинем теперь вершину по горизонтали на маленькое

(

), так, чтобы это соотношение не поменялось. Осталось немного: начинаем двигать

и

друг к другу. Ясно, что в какой-то момент

координаты центров совпадут. Что нам и требовалось.
Добавлено спустя еще 3 часа 8 минут 57 секунд:
На самом деле, необходимое условие параллельности стороне

записывается как

, где

— радиус описанной, а

— вписанной окружности. И этот факт вполне в рамках школьной планиметрии.