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