Условие
Найдите уравнение окружности девяти точек в трилинейных координатах.
Решение
Окружность девяти точек задается в трилинейных координатах
уравнением
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 |