Академический Документы
Профессиональный Документы
Культура Документы
«Математическое просвещение»
L
L Fll(F
(Fmm(L))
(L))
II L
L
M
M II
N
N SS IImSS Lm
m
L
Lmm
m
O
O
1) N — S — M — I, где S —
точка Шпикера — центр
5) Lm =Fm (L) — Im — S. 10) O — L — Fl (Fm (L)).
А. Г. Мякишев
вписанной окружности се-
рединного треугольника.
G
G H
ЭЛЕМЕНТЫ ГЕОМЕТРИИ
O
Om
MM m
L
L
G
Gll
L
Lmm
F O
O
G N
Nll
ТРЕУГОЛЬНИКА
G
Hm
H
II 6) M—Gl —F, где F—точка m
N
N
G
Gll Фейербаха — точка каса- 11) Hm — Lm — Om =
O
O ния вписанной окружно- =Fm (O) — H.
сти и окружности девяти
2) O — Gl =Fl (G) — I — точек.
Nl =Fl (N), где Fl — изого-
нальное сопряжение. Fll(F
(Fm
m(H))
(H))
H
H H
H
OOm
m
N
Nll LL
F
Fll(F
(Fm
m(O))
(O))
H
H N
N O
O
Hm
H m
L F
F
M
M 12) Fl (Fm (O)) — L —
7) H — Nl — F. Fl (Fm (H)).
Hm
Hm
зование. H
Hmm
Fm
m(F
(Fll(F
(Fmm(H)))
(H)))
9) Nc =Fc (N) — Sc =Fc (S) —
Im — M. 14) Fm(Fl (Fm(H)))—Lm—M.
ISBN 5904570488
Обозначения точек см. на стр. 3—5 брошюры; опре- Издательство Московского центра
деления изогонального и изотомического сопряжений —
на стр. 11, 12; определение изоциркулярного преобразо-
непрерывного математического образования
9 785904 570484 вания — на стр. 14—16. Москва • 2002
Pantone 282 C K
Библиотека
«Математическое просвещение»
Выпуск 19
А. Г. Мякишев
Н а у ч н о - р е д а к ц и о н н ы й с о в е т с е р и и:
В. В. Прасолов, А. Б. Сосинский,
В. М. Тихомиров (гл. ред.), И. В. Ященко.
ЭЛЕМЕНТЫ ГЕОМЕТРИИ
Серия основана в 1999 году.
ТРЕУГОЛЬНИКА
ТЕОРЕМА ЧЕВЫ
Большинство замечательных точек треугольника могут быть по-
лучены при помощи следующей процедуры.
Пусть у нас имеется некоторое правило, согласно которому мы
сможем выбрать определённую точку A1 на стороне BC (или её про-
Рис. 8. Hm — антиортоцентр — точка, Рис. 9. Im — точка пересечения антибис- должении) треугольника ABC (например, выберем середину этой
изотомически сопряжённая ортоцентру, сектрис — точка, изотомически сопря- стороны). Затем построим а н а л о г и ч н ы е точки B1 , C1 на двух
т. е. точка пересечения прямых, проходя- жённая центру вписанной в треугольник
щих через точки, симметричные основа- окружности.
других сторонах треугольника (в нашем примере — ещё две середи-
ниям высот относительно середин сторон, ны сторон). Если правило выбора у д а ч н о е, то прямые AA1 , BB1 ,
и соответствующие вершины. CC1 пересекутся в некоторой точке Z (выбор середин сторон в этом
4 5
смысле, конечно, удачный). Например, все замечательные точки Сопоставив это соотношение с заданным равенством, приходим к вы-
рис. 1, 3—11 получаются именно так. AC2 AC1
воду, что = , т. е. C1 = C2 .
Поэтому хотелось бы иметь какой-нибудь общий метод, позво- BC2 BC1
ляющий по положению точек на сторонах треугольника определять, А как запомнить, произведение каких именно отношений входит
пересекается ли соответствующая тройка прямых в одной точке в условие Чевы? Обойдём все три вершины треугольника, стартовав
или нет. из точки B. По дороге в точку C мы наткнёмся на точку A1 и образуем
Универсальное условие, «закрывшее» эту проблему, нашёл дробь, в числителе которой будет стоять BA1 , а в знаменателе — CA1 .
в 1678 г. итальянский инженер Джованни Чева (отрезки, соеди- Далее идём из C в A, записываем второе отношение, и далее, идём
няющие вершины треугольника с точками на противолежащих из A в B.
сторонах, называют чевианами — понятно, почему). Можно сказать, 1. Покажите, что эта процедура не зависит от выбора «отправной»
что эта теорема служит фундаментом всей геометрии треугольника. вершины и направления обхода, т. е. что всегда будет получаться,
по сути, одно и то же равенство*).
A Теорема Чевы:
случай внутренней точки
Теорема Чевы: случай внешней точки.
Выберем в произвольном треугольнике Бесконечно удалённые точки плоскости
ABC точки A1 , B1 , C1 на сторонах BC, CA,
B1 AB соответственно (рис. 12). Следующие Теорема Чевы остаётся справедливой и для внешней точки Z тре-
C1 два утверждения равносильны: угольника и точек A1 , B1 , C1 , одна из которых принадлежит стороне
треугольника, а две другие — продолжениям
Z а) прямые AA1 , BB1 , CC1 пересекаются сторон. (Разумеется, и «правило обхода» B1
в некоторой внутренней точке Z треуголь- остаётся в силе. Следует только помнить, что
ника ABC; при составлении отношений, выходя из вер- Z
B A1 C A
BA1 CB1 AC1 шины, мы сначала идём в точку деления —
CA1 AB1 BC1
Рис. 12 б) = 1 (условие Чевы).
она может теперь быть расположена вне C1
Доказать прямую теорему Чевы (а б) проще всего, заменив от- стороны, а потом — к очередной вершине.)
ношения отрезков в условии Чевы на отношение площадей: Однако, рассматривая внешние точки Z,
мы наталкиваемся на некоторые сложности.
BA1 SABA1 SBZA1 Например, если AZ BC, чему равно
B C
= = ,
CA1 SACA1 SCZA1 Рис. 13
BA1 CB1 AC1
CA1 AB1 BC1
следовательно,
BA1 SABA1 SBZA1 SBZA B1
= = . (рис. 13)? Где вообще в таком случае распола-
CA1 SACA1 SCZA1 SCZA C1
гается точка A1 ?
Точно так же получим, что Как несложно проверить, пользуясь тео- A
CB1 SCZB AC1 SCZA ремой Фалеса, условию Чевы удовлетворяют
= , = .
AB1 SBZA BC1 SCZB и точки A1 , B1 , C1 , для которых прямые AA1 , B C
BB1 , CC1 параллельны (рис. 14). A1
Теперь осталось только перемножить эти три равенства:
Чтобы не выделять эти ситуации в осо- Рис. 14
BA1 CB1 AC1 SBZA SCZB SCZA
CA1 AB1 BC1 SCZA SBZA SCZB
= = 1. бые, удобно считать, что плоскость пополне-
на бесконечно удалённой прямой, составленной из бесконечно удалён-
Обратная же теорема Чевы следует из прямой: пусть AA1 и BB1 ных точек, в каждой из которых пересекается какое-нибудь семей-
пересекаются в точке Z. Пусть прямая CZ пересекает сторону AB тре- ство параллельных прямых. Можно поэтому считать, что бесконеч-
угольника в точке C2 . Для точек A1, B1 , C2 выполняется условие Чевы: но удалённая точка у к а з ы в а е т н а п р а в л е н и е прямой. Такую
BA1 CB1 AC2
CA1 AB1 BC2
= 1. *) Двумя чертами слева выделены упражнения для самостоятельного решения.
6 7
модель в математике называют проективной плоскостью. На проек- BA1 c sin ∠BAA1 CB1 a sin ∠CBB1
CA1 b sin ∠CAA1 AB1 c sin ∠ABB1
Аналогично = , = . Окончательно
тивной плоскости любые параллельные прямые пересекаются в не-
которой точке! — разумеется, бесконечно удалённой. При этом мы имеем:
полагаем также, что бесконечно удалённая точка Z прямой AB делит BA1 CB1 AC1 c sin ∠BAA1 a sin ∠CBB1 b sin ∠ACC1
CA1 AB1 BC1 b sin ∠CAA1 c sin ∠ABB1 a sin ∠BCC1
1= = =
ZA
отрезок AB пополам в н е ш н и м образом: = 1.
ZB sin ∠BAA1 sin ∠CBB1 sin ∠ACC1
2. Постройте точку, которая делит отрезок AB внешним образом =
sin ∠CAA1 sin ∠ABB1 sin ∠BCC1
.
99
в отношении , считая от вершины A, и точку, которая делит Для внешней точки Z рассуждение аналогично (проведите его само-
100
100
стоятельно).
отрезок в отношении .
99
Некоторые замечательные точки треугольника. Теорема Карно
Решение этого упражнения показывает, что если отношение чуть
больше единицы, то искомая точка расположена п р а в е е точки A Посмотрим, как «работает» теорема Чевы.
и удалена от неё на значительное расстояние, а если чуть меньше, Будем называть прямые конкурентными, если они пересекаются
то значительно л е в е е точки A. Отсюда вытекает, что, двигаясь по в одной точке.
прямой влево или вправо, на самом деле мы идём к одной и той же Ц е н т р в п и с а н н о й о к р у ж н о с т и I (см. рис. 3). Применив
бесконечно удалённой точке, т. е. прямая как бы замыкается, подобно теорему Чевы в форме синусов, мгновенно получаем, что биссектрисы
окружности. конкурентны.
3. Покажите, что при переводе с «проективного» языка на при- О р т о ц е н т р Н (см. рис. 4). Теперь докажем, что высоты тре-
вычный «евклидов» теорема Чевы в случае бесконечно удалённой угольника пересекаются в одной точке, ограничившись случаем ост-
вершины A может быть сформулирована следующим образом. роугольного треугольника (случай тупоугольного треугольника раз-
На отрезке BC выбрана точка A1 , а на параллельных прямых, берите самостоятельно). Условие Чевы в форме синусов с использова-
проходящих через точки C и B, точки B1 и C1 соответственно. Тогда нием известного соотношения sin(90◦ a) = cos a записывается в виде
прямые BB1 , CC1 и прямая, проходящая через A1 параллельно двум cos a cos b cos c
cos b cos c cos a
= 1.
данным, пересекаются в одной точке тогда и только тогда, когда
BA1 CB1 Ц е н т р о п и с а н н о й о к р у ж н о с т и O (см. рис. 2). Очевид-
CA1 BC1
= 1. но, что два серединных перпендикуляра к сторонам треугольника пе-
ресекаются в точке, равноудалённой от
Теорема Чевы в форме синусов всех трёх вершин треугольника, и зна-
чит, эта точка лежит и на третьем сере-
В каждом из рассмотренных случаев — и в случае внутренней динном перпендикуляре.
точки Z, и в случае внешней точки Z — условие Чевы можно записать Но как доказать этот несложный
также в виде факт, пользуясь теоремой Чевы? Из
sin ∠ACC1 sin ∠CBB1 sin ∠BAA1 принципиальных соображений это хоте-
= 1.
sin ∠BCC1 sin ∠ABB1 sin ∠CAA1 лось бы сделать и в данном случае. Од-
Доказательство равносильности этих условий не сложно. Действи- нако здесь возникают затруднения, по-
тельно, применив теорему синусов к треугольникам ACC1 и BCC1 , скольку по природе своей теорема Чевы
имеем: создана для выявления конкурентности Рис. 15
AC1 sin ∠ACC1 BC1 sin ∠BCC1 ч е в и а н, а не п е р п е н д и к у л я р о в
= и = . к сторонам треугольника. Возникшее затруднение можно преодо-
CC1 sin ∠CAC1 CC1 sin ∠CBC1
леть, рассмотрев серединный треугольник (рис. 15). Поскольку
Разделив одно равенство на другое, получаем: средние линии параллельны сторонам исходного треугольника,
AC1 sin ∠CBC1 sin ∠ACC1 sin ∠CBA sin ∠ACC1 b sin ∠ACC1 серединные перпендикуляры являются высотами серединного тре-
BC1 sin ∠CAC1 sin ∠BCC1 sin ∠CAB sin ∠BCC1 a sin ∠BCC1
= = = . угольника. И мы свели задачу к предыдущей!
8 9
Есть и более содержательный подход к этой проблеме. точка касания вневписанной окружности с центром IB и стороны CA,
C1 — третьей вневписанной окружности и третьей стороны треуголь-
Теорема Карно [3]. Пусть точки A1 , B1 , C1 лежат на прямых BC,
ника. Прямые AA1 , BB1 , CC1 пересекаются в точке N.
CA, AB соответственно. Пусть также BA1 = x1 , CA1 = x2 , CB1 = y1 ,
Дело в том, что, используя всё ту же теорему о равенстве отрезков
AB1 = y2 , AC1 = z1 , BC1 = z2 . Следующие условия равносильны:
касательных, легко получить, что в случае вневписанной окружнос-
1) перпендикуляры к соответствующим сторонам треугольника, ти, например, с центром IA , BA1 = p c, CA1 = p b, т. е. точки касания
восставленные в точках A1 , B1 , C1 , пересекаются в одной точке; вписанной и вневписанной окружностей со стороной треугольника
симметричны относительно середины этой стороны. Поэтому усло-
2) x21 + y21 + z21 = x22 + y22 + z22 (условие Карно).
вие Чевы записывается в виде
(Сравните с условием Чевы: x1 y1 z1 = x2 y2 z2 .) pc pa pb
pb pc pa
= 1.
Д о к а з а т е л ь с т в о, пожалуй, ещё проще, чем доказательство
теоремы Чевы, и опирается лишь на теорему Пифагора. Пусть перпен- 5. Докажите с помощью теоремы Карно, что перпендикуляры,
дикуляры пересекаются в точке Z. Несложно восставленные к сторонам треугольника в точках касания вневпи-
A получить следующие равенства (рис. 16): санных окружностей, пересекаются в одной точке. Покажите затем,
AB21 CB21 = AZ2 CZ2 ,
C1 BC21 AC21 = BZ2 AZ2 ,
B1 CA21 BA21 = CZ2 BZ2 ,
Z сложив которые, и получаем условие Карно.
Доказательство обратной теоремы Кар-
но (как и обратной теоремы Чевы) использу-
B A1 C ет прямую теорему: пусть два перпендикуля-
ра пересекаются в некоторой точке, опустим
Рис. 16
из неё перпендикуляр на третью сторону, за-
пишем условие Карно и т. д.
Из теоремы Карно конкурентность серединных перпендикуля-
ров вытекает столь же естественно, как и конкурентность медиан из
теоремы Чевы.
Т о ч к а Ж е р г о н н а G (см. рис. 5). Пусть A1 , B1 , C1 — точки ка- Рис. 17
сания вписанной окружности со сторонами BC, CA, AB соответствен-
но. Прямые AA1 , BB1 , CC1 пересекаются в одной точке (точке G), по- что эта точка симметрична центру вписанной окружности относи-
скольку отрезки касательных, проведённых к окружности из одной тельно центра описанной окружности (рис. 17).
точки, равны:
Некоторые замечательные преобразования,
BA1 = BC1 , CB1 = CA1 , AB1 = AC1 ; связанные с теоремой Чевы
BA1 CB1 AC1
CA1 AB1 BC1
= 1. И з о т о м и ч е с к о е с о п р я ж е н и е. Зафиксируем на плоскости
треугольник ABC. Выберем некоторую точку плоскости Z и проведём
4. Покажите, что равные отрезки касательных выражаются через через неё и вершины треугольника прямые, пересекающие стороны
полупериметр и стороны треугольника следующим образом: треугольника (или их продолжения) в точках A1 , B1 , C1 соответствен-
но. Каждую такую точку отразим симметрично относительно сере-
AB1 = AC1 = p a, BC1 = BA1 = p b, CA1 = CB1 = p c. (*) дины той стороны, на которой она лежит*). Полученные три точки
Т о ч к а Н а г е л я N (см. рис. 6). Пусть теперь A1 — точка ка- *) В соответствии со сказанным на стр. 8 считаем, что бесконечно удалённая точка
сания вневписанной окружности с центром IA и стороны BC, B1 — любой прямой PQ при симметрии относительно середины PQ переходит в себя.
10 11
C C
A2
B1 B1
A2
B2 B2
Z A1 Z A1
Zm Zl
а) б)
обозначим через A2 , B2 , C2 (рис. 18). Тогда прямые AA2 , BB2 , CC2 обладают симметрии относительно точки, прямой или окружности
также пересекаются в некоторой точке Zm . Эта точка называется изо- (инверсия). Очевидно, что и только что рассмотренные нами пре-
томически сопряжённой точке Z относительно треугольника ABC. образования обладают этим же свойством. Однако они устроены бо-
Корректность определения изотомического сопряжения следует лее сложным образом, например, не сохраняют прямые и окружно-
из теоремы Чевы: в условии Чевы числители меняются местами со сти (т. е. образ прямой или окружности может быть чем-то иным,
знаменателями, и если исходное произведение равнялось единице, рис. 20). Кроме того, непосредственно из определения следует, что
то «перевёрнутое» произведение тоже равно единице. и изотомическое, и изогональное сопряжения «плохо» действуют на
И з о г о н а л ь н о е с о п р я ж е н и е. Зафиксируем на плоскости точки, расположенные на сторонах (или их продолжениях) порожда-
треугольник ABC. Вновь выберем некоторую точку плоскости Z и ющего эти преобразования треугольника. Любая такая точка под дей-
проведём через неё и вершины треугольника прямые, пересекающие ствием этих преобразований переходит в противолежащую вершину,
стороны треугольника (или их продолжения) в точках A1 , B1 , C1 соот- а вершины — в любую точку на противоположной стороне. Нару-
ветственно. Тогда прямые AA2 , BB2 , CC2 , симметричные прямым AA1 , шается однозначность! Но если исключить из области определения
BB1 , CC1 относительно биссектрис соответствующих углов треуголь- прямые, содержащие стороны треугольника, однозначность восста-
ника, пересекаются в одной точке Zl (рис. 19). Эта точка называется навливается.
изогонально сопряжённой точке Z относительно треугольника ABC. Одной из важных характеристик преобразования является на-
Для доказательства корректности здесь удобно воспользоваться личие (или отсутствие) неподвижных точек, т. е. точек, остающихся
теоремой Чевы в форме синусов: записанное таким образом условие под действием преобразования на месте. Легко понять, что неподвиж-
Чевы «переворачивается», и если произведение отношений равня- ными точками изотомического сопряжения являются точка пересе-
лось единице, после «переворота» оно тоже будет равно единице. чения медиан и точки, симметричные вершинам треугольника отно-
Изотомическое и изогональное сопряжения сительно середин соответствующих сторон; неподвижными точками
к а к п р е о б р а з о в а н и я п л о с к о с т и. В геометрии сопряжением изогонального сопряжения являются центры вписанной и трёх вне-
называют преобразование F плоскости, возвращающее любую точку вписанных окружностей.
обратно после двукратного применения. Формально это можно запи- С помощью изотомического и изогонального сопряжений мож-
сать так: но получать новые замечательные точки (см. введение), например,
антиортоцентр Hm (точку, изотомически сопряжённую ортоцентру)
F(F(X)) = X
или точку Im пересечения антибиссектрис (точку, изотомически со-
для любой точки X, или пряжённую центру вписанной окружности).
Точкой Лемуана L (см. рис. 7) называют точку, изогонально
F ◦ F = F2 = Id
сопряжённую точке пересечения медиан треугольника. Она обла-
(преобразование F в квадрате даёт тождественное). Таким свойством дает многими любопытными свойствами. Так, например, если для
12 13
точки пересечения медиан сумма квадратов расстояний до вершин
треугольника минимальна, то для точки Лемуана минимальна сумма
квадратов расстояний до его сторон [3, 4].
6. Проверьте, что точки Жергонна и Нагеля образуют пару изо- C
томически сопряжённых точек.
Z
7. Покажите, что центр описанной окружности и точка пересече-
ния высот изогонально сопряжены.
Выясним, какие линии переходят в бесконечно удалённую
прямую под действием рассмотренных сопряжений, т. е. найдём
множества точек, для которых чевианы,
A
их содержащие, переходят в тройки B
C параллельных прямых.
Z Оказывается, в случае изогонально-
го сопряжения ответом является опи-
санная около треугольника окружность. Рис. 22
F
В обозначениях рис. 21
∠EAB = ∠ZAC = ∠ZBC = ∠ABF,
таким образом, чевианы AE и BF парал- B1
B C
A
лельны. Аналогично доказывается, что
им параллельна и третья чевиана.
E
Для изотомического сопряжения та-
Рис. 21
кой линией является описанный эллипс
Штейнера — эллипс, содержащий вер- B2
шины треугольника, а также точки, симметричные точке пересече-
ния медиан (которая является центром этого эллипса) относительно
A2 A1
середин соответствующих сторон (рис. 22) [3, 5]. Zc
И з о ц и р к у л я р н о е п р е о б р а з о в а н и е — ещё одно преобразо- Z
вание, при помощи которого можно получать новые замечательные
точки. Рассмотрим точку Z, расположенную в н у т р и треуголь-
ника ABC. Пусть прямая AZ пересекает описанную окружность A C2 B
в точке A1 . В сегмент, отсекаемый стороной BC, впишем окруж-
ность, касающуюся дуги BC в точке A1 , а стороны BC — в точке A2 .
Аналогично определим точки B2 и C2 (рис. 23). Прямые AA2 , BB2 , C1 Рис. 23
CC2 пересекаются в одной точке Zc , которую мы будем называть
изоциркулярным образом точки Z.
Доказательство корректности определения изоциркулярного A1
преобразования использует теорему Чевы сразу в двух формулиров-
ках — в форме отношений синусов и в форме отношений отрезков, —
а также следующую интересную лемму.
Лемма Архимеда. Если окружность вписана в сегмент и касается
дуги в точке A1 , а хорды BC — в точке A2 , то прямая A1 A2 является
C B
биссектрисой угла BA1 C (рис. 24). A2 Рис. 24
14 15
C Отметим, что все проведённые рассуждения были сделаны для
точек Z, расположенных в н у т р и треугольника ABC. Для внеш-
них точек Z нужно немного изменить конструкцию: рассматривать
о д н у окружность, касающуюся описанной в н у т р е н н и м обра-
зом, и д в е — в н е ш н и м (рис. 25).
9. Проверьте конкурентность прямых для внешней точки.
Изоциркулярное преобразование, хотя и не является сопряже-
C2
A B нием, всё же устроено проще, чем изотомическое и изогональное.
Zc
Так, несложно показать (с использованием барицентрических коор-
динат, о которых ниже), что оно любую прямую (на проективной
плоскости) переводит в прямую — такие преобразования называются
Z проективными.
B2 Подробнее о свойствах изоциркулярного преобразования можно
B1
A1 прочитать в статье [2].
C1
A2 БАРИЦЕНТРИЧЕСКИЕ КООРДИНАТЫ
Рис. 25 Барицентрические координаты — это система координат, «при-
вязанная» к данному треугольнику. Именно поэтому многие свойства
8. Докажите лемму Архимеда, пользуясь тем, что биссектриса треугольника в такой системе координат записываются значитель-
угла треугольника, вписанного в окружность, пересекает её в точке, но проще, чем, скажем, в прямоугольной системе координат. С ис-
лежащей на серединном перпендикуляре к стороне треугольника. пользованием этой системы координат упрощаются и доказательства
Пусть ∠BAA1 = a1 , ∠CAA1 = a2 . Поскольку A1 A2 — биссектриса большого количества сложных теорем геометрии треугольника.
угла при вершине A1 треугольника BA1 C, то по свойству биссектрисы Впервые барицентрические координаты упоминаются в книге
BA2 BA1 «Der barycentrische Calcul»*) Августа Мёбиуса, опубликованной
= , а так как треугольники BAA1 и CAA1 вписаны в одну и в 1827 году.
CA2 CA1
ту же окружность, по теореме синусов BA1 = 2R sin a1 , CA1 = 2R sin a2 , Система материальных точек и её центр масс
и следовательно,
BA2 BA1 sin a1 Системой материальных точек на плоскости называется конеч-
= = . ная совокупность пар вида [mi , Ai ], где Ai — некоторые точки плоско-
CA2 CA1 sin a2
сти, а mi — массы, некоторые действительные числа, одновременно
Аналогично получаем, что
не равные нулю (i = 1, 2, …, n).
CB2 sin b1 AC2 sin c1 Центром масс этой системы называется точка Z, для которой
= , = ,
AB2 sin b2 BC2 sin c2 выполняется равенство
где b1 = ∠CBB1 , b2 = ∠ABB1 , c1 = ∠ACC1 , c2 = ∠BCC1 . Условие m ZA + m ZA + … + m ZA =
1 1 2 2 n n 0.
Чевы для прямых AA2 , BB2 , CC2 , таким образом, принимает вид (Если все числа mi были бы равны нулю, центром масс могла бы слу-
BA2 CB2 AC2 sin a1 sin b1 sin c1 жить любая точка, и потому такие системы запрещены.)
CA2 AB2 BC2 sin a2 sin b2 sin c2
= .
Это понятие допускает простую физическую интерпретацию.
Осталось заметить, что правая часть этого равенства представляет Представим себе невесомую пластину и отметим на ней точки A1 ,
собой выражение из условия Чевы в форме отношений синусов для A2 , …, An . Затем к каждой точке с положительной массой прикрепим
прямых AA1 , BB1 , CC1 , пересекающихся в точке Z. Следовательно, металлический шарик такой массы, а к каждой точке с отрицатель-
ной массой привяжем воздушный шарик, подъёмная сила которого
BA2 CB2 AC2
CA2 AB2 BC2
= 1. *) «Барицентрическое исчисление» (нем.).
16 17
пропорциональна модулю массы (коэффициент пропорционально- 11. Каждая из бесконечно удалённых точек задаётся направле-
сти, разумеется, равен g), рис. 26. Если расположить пластину нием параллельных прямых, пересекающихся в этой точке. Как
произвольным образом в пространстве и закрепить в центре масс Z определить направление, соответствующее точке Z — центру масс
при помощи шарнира, то она останется в равновесии. системы [mi , Ai ] (i = 1, 2, …, n), m1 + m2 + … + mn = 0?
Вопросы геометрии масс детально рассматриваются в книге [1].
I
M
Рис. 30 O E
M H
П р я м а я Н а г е л я. Точка Нагеля N, точка пересечения медиан
M и центр вписанной окружности I лежат на одной прямой, причём
NM
= 2 (рис. 30).
IM
Применим лемму о трёх точках. Пусть X = N = (p a, p b, p c), Рис. 31
Y = I = (a, b, c). Тогда Z = (p, p, p) = (1, 1, 1) = M,
NM a+b+c 2p 16. Докажите, что середины сторон, основания высот треуголь-
= = = 2. ника и середины отрезков, соединяющих вершины треугольника
IM p a + p b + p c p
П р я м а я Э й л е р а. Ортоцентр H, точка пересечения медиан M с ортоцентром, лежат на одной окружности — о к р у ж н о с т и
и центр описанной окружности O лежат на одной прямой, причём Э й л е р а или о к р у ж н о с т и д е в я т и т о ч е к (см. рис. 31).
HM 17. Докажите, что точка E — центр окружности Эйлера — лежит
= 2 (рис. 31). на прямой Эйлера, причём OE = EH (см. рис. 31).
OM
24 25
Изотомическое и изогональное сопряжения 20. Е щ ё ч е т ы р е з а м е ч а т е л ь н ы е п р я м ы е (см. также
в барицентрических координатах 4-ю стр. обложки).
И з о т о м и ч е с к о е с о п р я ж е н и е. Если точка Z имеет бари- а) Антиортоцентр Hm , точка пересечения медиан M, точка Лему-
центрические координаты (p, q, r), то барицентрические координаты Hm M
ана L лежат на одной прямой, и = 2.
точки Zm , изотомически сопряжённой Z, выражаются следующим ML
образом: Zm = , ,
1 1 1
. Это утверждение очевидно: по определению б) Точка Нагеля N, точка Im , изотомически сопряжённая цен-
p q r тру вписанной окружности, антиортоцентр Hm и точка Жергонна G
изотомического сопряжения BA1 = CA2 , где A1 — точка пересечения лежат на одной прямой.
прямых AZ и BC, а A2 — AZm и BC. в) Ортоцентр H, антиортоцентр Hm и точка Om , изотомически со-
18. Найдите координаты антиортоцентра Hm , точки пересечения пряжённая центру описанной окружности, лежат на одной прямой.
антибиссектрис Im и Om — изотомического образа центра описанной г) I и O — центры вписанной и описанной окружностей — и точ-
окружности. ки Gl и Nl , изогонально сопряжённые точкам Жергонна и Нагеля,
И з о г о н а л ь н о е с о п р я ж е н и е. Координаты точки Zl — изого- лежат на одной прямой.
нального образа точки Z(p, q, r) — выражаются следующим образом:
2 2 2 2 Изоциркулярное преобразование в барицентрических координатах
a b c sin a sin2 b sin2 c
C Zl = , , = , , .
p q r p q r Вычислим барицентрические координаты изоциркулярного об-
Докажем это. В обозначениях рис. 32 раза Zc точки Z(p, q, r).
1 По лемме Архимеда A1 A2 — биссектриса угла BA1 C, поэтому
A2 c AA sin ∠BAA2
BA2 SBAA2 2 2 c sin ∠BAA2 BA2 BA1
= = = = =
CA2 CA1
(см. рис. 23 и 25). Преобразуем это отношение, используя
CA2 SCAA2 1 b sin ∠CAA2
b AA2 sin ∠CAA2
A1
2 теорему синусов и рассуждения, проведённые на стр. 16:
sin ∠CA1 A sin ∠AA1 B
CA1 BA1
c sin ∠CAA1 c b c2 q BA2 sin ∠BAA1 sin ∠ BAA1 AB b r
A B = = = 2 = = = = ,
b sin ∠BAA1 b sin ∠BA1 A b r CA2 sin ∠CAA1 sin ∠ CAA1 sin ∠AA1 C c q
Рис. 32 BA1
CA1
c AC
sin ∠CAA1 sin ∠CA1 A
мы дважды использовали теорему синусов —
CA1
=
b
, где A1 — точка пересечения прямых AA1 и BC. Аналогично получаем
CB2 c p AC2 a q
sin ∠BAA1 sin ∠BA1 A
AB2 a r BC2 b p
= — и равенство sin ∠CA1 A = sin ∠BA1 A . Ана- равенства = и = . Поэтому
BA1 c
логично AC2 AC2 BA2 aq aqbr aq ar
CB2 a r AC2 b p
Zc = 1, , = 1, , = 1, , .
2 2
BC2 BC2 CA2 bp bpcq bp pc
AB2 c2 p BC2 a2 q
= , = .
p
Воспользовавшись приведённым на стр. 19 методом вычисления Домножив все три координаты на , окончательно получаем:
a
барицентрических координат, находим:
p q r
AC2 AC2 BA2 b2 p b2 pc2 q b2 p pc2 Zc = , , .
Zl = 1, , = 1, 2 , 2 2 = 1, 2 , 2 . a b c
BC2 BC2 CA2 a q a qb r a q a r
Изоциркулярное преобразование в некотором смысле является
a2
Домножив все три координаты на , окончательно получаем: средним между изогональным и изотомическим сопряжениями,
p
2 2 2 2 2 2 2 2 а именно, (Fc )2 = Fm ◦ Fl , т. е., действуя дважды на произвольную
a b pa pc a a b c
Zl = , 2 , 2 = , , . точку плоскости изоциркулярным преобразованием, получим такой
p a qp a rp p q r же результат, как если бы мы сначала подействовали на неё изого-
19. Найдите координаты точки Лемуана L = Ml , а также точек Gl нальным сопряжением, а затем на полученный образ изотомическим
и Nl , изогонально сопряжённых точкам Жергонна и Нагеля. сопряжением.
26 27
Действительно, пусть точка Z имеет барицентрические коор- либо k = 0, либо k 0. При k = 0 получаем систему
x y z x y z
динаты (x0 , y0 , z0 ). Тогда Fc (Z) = 0 , 0 , 0 , (Fc )2 (Z) = 20 , 20 , 02 . lq1 + mr1 = 0,
a b c a b c
2 2 2 lq2 + mr2 = 0,
a b c x0 y0 z0
С другой стороны, Fl (Z) = , , , Fm (Fl (Z)) = 2 , 2 , 2 . Заме-
x0 y0 z0 a b c откуда q1 r2 q2 r1 = 0. Если же k 0, то q1 r2 q2 r1 0 (проверьте!).
тим, что порядок, в котором применяются изогональное и изотоми- А поскольку мы всё равно ищем решение (k, l, m) с точностью до
ческое сопряжения, важен. умножения на некоторое число, положим k = q1 r2 q2 r1 . Система (**)
Введём обратное изоциркулярное преобразование Fc 1 , так что тогда переписывается в виде
Fc ◦ Fc 1 = Id = Fc 1 ◦ Fc (геометрически это означает, что сначала нуж-
но отмечать точки пересечения прямых со сторонами треугольника, (q1 r2 q2 r1 )p1 + lq1 + mr1 = 0,
потом вписывать в сегменты окружности, касающиеся сторон в от- (q1 r2 q2 r1 )p2 + lq2 + mr2 = 0.
меченных точках, и наконец, проводить прямые из вершин в точки
касания этих окружностей с описанной окружностью). Справедливо Решить её уже не составляет труда. Получаем:
аналогичное соотношение: (Fc 1 )2 = Fl ◦ Fm . l = r1 p2 r2 p1 , m = p1 q2 p2 q1 .
Осталось проверить, что уравнению
Уравнение прямой. Двойственность (q1 r2 q2 r1 )x + (r1 p2 r2 p1 )y + (p1 q2 p2 q1 )z = 0
Найдём уравнение прямой в барицентрических координатах. Вы- действительно удовлетворяют все точки Z прямой XY и только они.
берем две точки X(p1 , q1 , r1 ) и Y(p2 , q2 , r2 ). По лемме о трёх точках на
21. Проделайте это.
прямой XY лежит также и любая точка Z(lp1 + mp2 , lq1 + mq2 , lr1 + mr2 )
(числа l и m не равны одновременно нулю). При этом Заметим, что попутно мы выяснили интересный факт: как и са-
ми барицентрические координаты точек, коэффициенты в уравне-
XZ m p2 + q2 + r2 нии прямой о п р е д е л е н ы с т о ч н о с т ь ю д о у м н о ж е н и я н а
= ,
YZ l p +q +r
1 1 1 н е н у л е в о е ч и с л о. Это обстоятельство лежит в основе п р о е к-
m p2 + q2 + r2 т и в н о й д в о й с т в е н н о с т и — соответствия между точками и пря-
в зависимости от знака выражения точка Z делит от- мыми проективной плоскости: точке (k, l, m) ставится в соответствие
l p1 + q1 + r1
резок XY внутренним или внешним образом. Понятно, что варьи- прямая kx + ly + mz = 0, и наоборот. При этом запрещены как «точка»
руя значения l и m, мы можем так получить любую точку на пря- (0, 0, 0), так и «прямая» с уравнением 0x + 0y + 0z = 0.
мой XY. Л и н е й н а я зависимость координат X, Y и координат точ- При двойственности сохраняется «отношение принадлежности»:
ки Z, «пробегающей» по всей прямой XY, наводит на мысль, что урав- если точка A лежит на прямой a, то прямая Aд (двойственная точке A)
нение прямой XY стоит поискать среди л и н е й н ы х выражений проходит через точку aд (двойственную прямой a). Факт пересечения
трёх прямых p1 x + q1 y + r1 z = 0, p2 x + q2 y + r2 z = 0, p3 x + q3 y + r3 z = 0 в од-
kx + ly + mz = n. ной точке и факт принадлежности трёх точек (p1 , q1 , r1 ), (p2 , q2 , r2 ),
Попробуем подобрать коэффициенты k, l, m, n. Во-первых, в силу (p3 , q3 , r3 ) одной прямой записываются одинаково: система
однородности для любого n 0 вместе с тройкой (x, y, z) уравнению ⎧
должна удовлетворять и тройка (nx, ny, nz). Поэтому n = 0. Во-вторых, ⎪
⎨ p1 x + q1 y + r1 z = 0,
поскольку точки X и Y лежат на прямой XY, должны выполняться p2 x + q2 y + r2 z = 0,
⎪
⎩ p x+q y+r z=0
равенства
3 3 3
kp1 + lq1 + mr1 = 0,
(**) должна иметь решение, отличное от (0, 0, 0) (т. е. на самом деле бес-
kp2 + lq2 + mr2 = 0. конечно много решений). По-другому это можно записать так:
p q r
Уравнений — два, а неизвестных — три. Поэтому мы сумеем опре- 1 1 1
делить из этой системы коэффициенты k, l, m лишь с точностью p2 q2 r2 = p q r + q r p + r p q r q p q p r p r q = 0
p3 q3 r3
1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3
до некоторого действия (в нашем случае — с точностью до умноже-
ния всех коэффициентов на некоторое число). Возможны два случая: (определитель равен нулю).
28 29
Проиллюстрируем двойственность на примере. Рассмотрим ной плоскости). Докажем это. Рассмотрим прямую, задаваемую урав-
теорему о прямой Эйлера: точки H, O, M лежат на одной прямой. нением px + qy + rz = 0. Каждую точку Z(x0 , y0 , z0 ), лежащую на ней,
Двойственная теорема звучит так: прямые Hд , Oд , Mд пересекаются
x y z
изоциркулярное преобразование переводит в точку Zc 0 , 0 , 0 .
в одной точке. a b c
Отметим, что прямая с уравнением x + y + z = 0, двойственная Для них
точке M(1, 1, 1), является бесконечно удалённой прямой, поскольку apx + bqy + crz = px0 + qy0 + rz0 = 0.
для любой точки, лежащей на этой прямой, сумма барицентрических
Таким образом, изоциркулярное преобразование переводит прямую
координат равна нулю (см. стр. 20). По-
с уравнением px + qy + cz = 0 в прямую с уравнением apx + bqy + crz = 0.
этому полученный выше факт можно
переформулировать следующим обра-
зом: прямые Oд и Hд параллельны.
Прямую, двойственную точке
Z(k, l, m), легко построить геометриче-
ски. Для этого сначала проведём через
точку Z три чевианы AA1 , BB1 , CC1 .
Точки пересечения прямых A1 B1 и AB,
B1 C1 и BC, C1 A1 и CA лежат на од-
Z
B1 C ной прямой. Этот факт представляет
A собой знаменитую теорему Дезарга,
A1 одну из основных теорем проективной
Z
геометрии (рис. 33). Его несложно
C1 получить, используя выведенное урав- C
B нение прямой. Покажите, что точки
пересечения из теоремы Дезарга име-
ют координаты (0, l, m), (k, 0, m), I B
(k, l, 0), и убедитесь, что определи- A
Рис. 33
тель, составленный из их координат,
равен нулю, а уравнение прямой, проходящей через эти точки, имеет
вид lmx + kmy + klz = 0, или, с учётом однородности,
x y z
+ + = 0.
k l m
Рис. 34
В этой конструкции точка Z называется полюсом, а построенная пря-
мая — полярой. Посмотрим, какая прямая переходит при изоциркулярном пре-
Прямая, двойственная точке Z(k, l, m), задаётся уравнением
образовании в бесконечно удалённую прямую. Чтобы прямая, зада-
1 1 1
kx + ly + mz = 0, а поляра точки Zm , , имеет то же уравне- ваемая уравнением apx + bqy + crz = 0, являлась бесконечно удалён-
k l m
ной (с уравнением x + y + z = 0), должны выполняться равенства ap =
ние. Итак, прямая, двойственная точке Z, есть поляра точки Zm — = bq = cr = 1. Таким образом, искомой является прямая с уравнением
изотомического образа точки Z.
x y z
+ + =0
Изоциркулярное преобразование и бесконечно удалённая прямая a b c
Как уже упоминалось на стр. 17, изоциркулярное преобразование — поляра центра вписанной окружности I (или прямая, двойствен-
является проективным, т. е. переводит точки, лежащие на одной пря- ная Im , что равносильно), рис. 34.
мой, в точки, лежащие на одной прямой. Другими словами, изоцир- 22. Покажите, что изоциркулярное преобразование переводит
кулярное преобразование переводит прямые в прямые (на проектив- бесконечно удалённую прямую в поляру точки Im .
30 31
ЗАКЛЮЧЕНИЕ БИБЛИОТЕКА
«МАТЕМАТИЧЕСКОЕ ПРОСВЕЩЕНИЕ»
Геометрия треугольника, наравне со многими другими разде-
лами элементарной математики, даёт возможность почувствовать
красоту математики вообще и может стать для кого-то началом
ВЫПУСК 1 ВЫПУСК 10
пути в «большую науку». Кроме того, каждый любитель геометрии
треугольника имеет шанс от- В. М. Т и х о м и р о в. Великие А.Б.С о с и н с к и й. Узлы и косы.
крыть нечто новое и пополнить математики прошлого и их ве-
C ликие теоремы. ВЫПУСК 11
её сокровищницу собственной
драгоценной находкой, ибо гео- Э. Б. В и н б е р г. Симметрия
метрия поистине неисчерпаема! ВЫПУСК 2
многочленов.
A1 Чтобы не быть голослов- А. А. Б о л и б р у х. Проблемы
ным, приведу один пример, тем Гильберта (100 лет спустя). ВЫПУСК 12
B1 более что он связан с одной из
ВЫПУСК 3 В. Г. С у р д и н. Динамика звёзд-
рассмотренных нами выше тем. ных систем.
Z А именно, вернёмся к рис. 23. Д. В. А н о с о в. Взгляд на мате-
Несколько лет назад один матику и нечто из неё.
ВЫПУСК 13
A B из знатоков элементарной гео-
метрии Лев Емельянов открыл ВЫПУСК 4 В. О. Б у г а е н к о. Уравнения
C1 Пелля.
и доказал [7], что если провести В. В. П р а с о л о в. Точки Брока-
на этом рисунке окружность, ра и изогональное сопряжение.
Рис. 35 касающуюся внешним образом ВЫПУСК 14
трёх окружностей, вписанных ВЫПУСК 5 В. И. А р н о л ь д. Цепные дроби.
в сегменты, то она всегда будет касаться вписанной в треуголь- Н. П. Д о л б и л и н. Жемчужи-
ник окружности (вне зависимости от выбора начальной точки Z, ны теории многогранников. ВЫПУСК 15
расположенной внутри треугольника), рис. 35! В. М. Т и х о м и р о в. Дифферен-
Таким образом, выражаясь возвышенно, на небосводе геометрии ВЫПУСК 6 циальное исчисление (теория и
треугольника зажглась ещё одна звезда первой величины. А. Б. С о с и н с к и й. Мыльные приложения).
плёнки и случайные блуждания.
ЛИТЕРАТУРА ВЫПУСК 16
ВЫПУСК 7
В. А. С к в о р ц о в. Примеры
[1] М. Б а л к, В. Б о л т я н с к и й. Геометрия масс. — М.: Наука, И. М. П а р а м о н о в а. Сим- метрических пространств.
1987. метрия в математике.
[2] А. М я к и ш е в. О некоторых преобразованиях, связанных с тре- ВЫПУСК 17
угольником // Математическое образование. № 1 (8). 1999. ВЫПУСК 8
В. Г. С у р д и н. Пятая сила.
[3] В. П р а с о л о в. Задачи по планиметрии. — М.: МЦНМО, 2001. В. В. О с т р и к, М. А. Ц ф а с м а н.
[4] В. П р а с о л о в. Точки Брокара и изогональное сопряжение. — Алгебраическая геометрия
ВЫПУСК 18
М.: МЦНМО, 2000. — (Библиотека «Математическое просвеще- и теория чисел: рациональные
ние». Вып. 4). и эллиптические кривые. А. В. Ж у к о в. О числе p.
[5] C. K i m b e r l i n g. Triangle Centers and Central Triangles. —
Winnipeg, 1998. ВЫПУСК 9 ВЫПУСК 19
[6] C. K i m b e r l i n g. Encyclopedia of Triangle Centers. — Б. П. Г е й д м а н. Площади мно- А. Г. М я к и ш е в. Элементы
http://www2.evansville.edu/ck6/encyclopedia/ гоугольников. геометрии треугольника.
[7] L. E m e l y a n o v. A Feuerbach Type Theorem on Six Circles // Fo-
rum Geometricorum. Vol. 1. 2001. — http://forumgeom.fau.edu/
32