Условие
Найдите уравнение окружности девяти точек в трилинейных координатах.
Решение
Окружность девяти точек задается в трилинейных координатах
уравнением
x2sin
cos
+
y2sin
cos
+
z2sin
cos
=
yz sin
+
xz sin
+
xy sin
.
Чтобы доказать это, достаточно проверить, что кривая, заданная
этим уравнением, пересекает каждую сторону треугольника в
середине стороны и в основании высоты. (Кривая второй степени
задается пятью точками, а у нас получается целых шесть точек.)
Середина стороны
BC имеет трилинейные координаты
(0 : sin
: sin
), а основание высоты, опущенной на
эту сторону, имеет трилинейные координаты
(0 : cos
: cos
). Легко проверить, что обе эти
точки лежат на данной кривой.
Источники и прецеденты использования
|
книга |
Автор |
Прасолов В.В. |
Год издания |
2001 |
Название |
Задачи по планиметрии |
Издательство |
МЦНМО |
Издание |
4* |
глава |
Номер |
14 |
Название |
Центр масс |
Тема |
Центр масс |
параграф |
Номер |
6 |
Название |
Трилинейные координаты |
Тема |
Трилинейные координаты |
задача |
Номер |
14.043 |