doc - Geometry.ru

АЛЕКСЕЙ МЯКИШЕВ
ОБ ЭКВИВАЛЕНТНОСТИ ПРЯМЫХ
ЭЙЛЕРА И НАГЕЛЯ
Москва
2008
1
1. Действующие лица
1.1 Прямая Эйлера
В любом треугольнике его ортоцентр(точка пересечения высот) Н, центроид(точка
пересечения медиан) G, и центр описанной окружности О лежат на одной прямой,
HG 2
 (точка G лежит внутри отрезка НО)1.
причем
OG 1
A
Bh
C0
B0
Ch
G
O
H
B
Ah
A0
C
Мы сразу докажем этот красивый факт, если рассмотрим гомотетию  
1
 G, 
2

с центром в
1
точке пересечения медиан G и коэффициентом k   .
2
Действительно, так как медианы делятся центроидом G в отношении 2:1, считая от
вершин, указанная гомотетия переводит треугольник АВС в его серединный треугольник
A0 B0 C0 . Кроме того, очевидно, что центр О описанной около треугольника АВС
окружности совпадает с ортоцентром H  серединного треугольника. Но гомотетия,
являясь преобразования подобия, переводит соответствующие элементы треугольника в
соответствующие - в частности, ортоцентр переходит в ортоцентр:  
1
 G, 
2

H   H   O .
1.2 Точка Нагеля и прямая Нагеля
Имеется и еще одна прямая, очень схожая с предыдущей – прямая Нагеля. Прежде чем
сформулировать соответствующую теорему (доказательство которой будет полностью
Вообще-то в случае равностороннего треугольника все три точки совпадают. Но мы и здесь, и в
дальнейшем (в подобных ситуациях) будем считать случай правильного треугольника – предельным и не
будем выделять его особо.
1
2
аналогично предыдущему, но потребует несколько больших усилий), необходимо только
напомнить, что такое точка Нагеля.
Прямые, соединяющие вершины треугольника с точками касания соответствующих
вневписанных окружностей с его сторонами, называют точкой Нагеля N.
Ib
A
Ic
C1c
N
B
A1a
B1b
C
Ia
То, что эта точка действительно существует, несложно показать с помощью теоремы
Чевы.
В любом треугольнике его точка Нагеля N, центроид G, и центр вписанной окружности
NG 2
 (точка G лежит внутри отрезка NI).
I лежат на одной прямой, причем
IG 1
3
Ib
A
C1c
Ic
B0
C0
I
B
G N
B1b
A1a
A0
C
Ia
Достаточно убедиться в том, что гомотетия  
1
 G, 
2

медиан и коэффициентом k  
с центром в точке пересечения
1
переводит точку Нагеля в центр вписанной окружности.
2
4
A
A2
B1
I
C1
B
A1
A0
A1a
C
B1a
C1a
Ia
Иначе говоря, достаточно показать, что прямая, соединяющая вершину А треугольника с
соответствующей точкой касания вневписанной окружности A1a перейдет при этой
гомотетии в прямую, проходящую через центр вписанной окружности I (потому что
дальше мы точно также сумеем показать, что и образы двух других чевиан, проходящих
через точку Нагеля, будут проходить через центр вписанной окружности, а точка
пересечения прямых должна переходить в точку пересечения их образов).
Стало быть, образ нашей прямой есть некоторая прямая, проходящая через середину
стороны ВС – точку A0 (поскольку рассматриваемая гомотетия вершину треугольника
переводит в середину противолежащей стороны), причем параллельно исходной прямой.
(образ прямой, не проходящей через центр гомотетии есть параллельная ей прямая).
Заметим еще, что прямая, соединяющая вершину треугольника А с точкой A1a касания
вневписанной окружности со стороной ВС, проходит через точку A2 , диаметрально
противоположную точке A1 касания вписанной окружности со стороной ВС (т.е.
симметричную ей относительно центра вписанной окружности) – что сразу следует из
рассмотрения гомотетии с центром в А, переводящей вписанную окружность во
вневписанную: точка A2 переходит в точку A1a .
Отсюда мы заключаем, что образ прямой есть средняя линия IA0 в треугольнике
A2 A1 A1a (точки касания вписанной и описанной окружности со стороной ВС симметричны
относительно ее середины), и потому проходит через центр вписанной окружности.
5
1.3 Добавочные точки и прямые Нагеля
Обратим теперь внимание на то, что центр вписанной окружности I имеет три
родственные ей точки I a , I b , I c - центры окружностей вневписанных, обладающих
схожими свойствами. Такие точки Джон Конвей обозвал слабыми (weak points), а
«одинокие» точки (к числу которых, например, относятся центроид, ортоцентр, и центр
описанной окружности) – сильными (strong points). Строгое определение и разные
свойства сильных и слабых точек можно найти на сайте Стива Сигура2 [4].
Оказывается, слабой является и точка Нагеля.
Пусть A1 – точка касания вписанной окружности со стороной ВС, C1b – точка касания
вневписанной окружности с центром в I b с продолжением стороны ВА, а B1c – точка
касания вневписанной окружности с центром в I c с продолжением стороны СА. Тогда
прямые AA1 , BB1c , CC1b пересекаются в одной точке. Ее называют первой добавочной
точкой Нагеля и обозначают Na . Две другие добавочные точки определяются аналогично.
Na
C1b
Ib
B1c
A
Ic
I
B
A1
C
Поскольку слабые точки ходят «четверками», любая теорема, в формулировке которой
они фигурируют, имеет трех «сестер».
Есть три сестры и у прямой Нагеля.
Отрезок с концами в добавочной точке Нагеля и соответствующей ей центре
вневписанной окружности, содержит центроид G и делится им в отношении 2:1.
(Доказать это утверждение, естественно, можно посредством все той же гомотетии

1
 G, 
2

).
Увы, этот замечательный педагог и математик скончался 5 июля 2008 года в возрасте 62 лет. Фигура в
американском образовании такого же масштаба, как, например, А.Н. Земляков в российском.
2
6
Na
C1b
Ib
B1c
Ic
A
C0
I
B
A1
B0
G
A0
C
Ia
2. Постановка задачи
Попробуем сравнить прямые Эйлера и Нагеля и ответить на вопрос, который, будучи
поставлен неформально, может звучать приблизительно так:
- которая прямая «лучше», «мощнее»? 3
Неформальные же соображения отдают пальму первенства прямой Эйлера.
Во-первых, точки, определяющие прямую Эйлера, «более замечательны» - если центры
вписанной и описанной окружности сопоставимы и примерно равны по «степени
замечательности», то точка Нагеля явно проигрывает ортоцентру (более сложная
конструкция).
Вспоминается фраза из одной старой детской книжки: «Ежели кит со слоном схлестнутся, то кто кого
сборет?» (Не ручаюсь за дословною точность, цитируя по памяти. А книжка, кажется, Льва Кассиля
«Швамбрания»).
3
7
Во-вторых, как показывает практика (под этим словом подразумевается изучение
классического наследия автором статьи по книжкам Прасолова и Шарыгина), в задачах
прямая Эйлера появляется чаще, чем прямая Нагеля.
Ну, а в-третьих (уж если быть совсем неформальным), сами имена собственные
подсказывают ответ: ведь они явно принадлежат математикам разных весовых категорий,
и нетрудно сообразить, кто тут тяжеловес.
Однако все эти соображения 4 носят ярко выраженный «гуманитарный» характер5 (каков
вопрос, таков ответ).
Но можно попробовать перевести сам вопрос на язык математики. Например, спросим
так:
Верно ли, что из факта существования прямой Эйлера для произвольного треугольника
следует факт существования прямой Нагеля? Верно ли обратное утверждение?
А это уже – вполне содержательные геометрические задачи.
Как будет установлено в разделе 7, прямая Эйлера действительно «сильнее» прямой
Нагеля (см. утверждение 7.1, 7.3) в некотором математическом смысле. Однако, если к
прямой Нагеля добавить ее «добавочных» родственников, они все вместе «уравновесят»
прямую Эйлера. А именно, в разделе 7 будет также доказана основная теорема:
В любом треугольнике существует прямая Эйлера  в любом треугольнике существуют
прямые Нагеля.
Ее доказательство и является целью нашей работы.
В самом доказательстве будут использованы разнообразные теоремы и задачи
элементарной геометрии, и мы начнем с того, что напомним о них.
3. Вспомогательные утверждения
3.1 Барицентрические координаты
Пусть на плоскости зафиксирован некоторый треугольник АВС. Выберем произвольную
точку Р плоскости. Оказывается, вершины этого треугольника можно «нагрузить» (т.е.
поместить в вершины материальные точки (возможны как положительные, так и
отрицательные массы) таким образом, что центр масс этой системы совпадет с точкой Р.
Сами массы (определенные с точностью до умножения на отличную от нуля константу)
называют барицентрическими координатами точки Р относительно (или, как часто
говорят, в базисе) треугольника АВС.
Ниже укажем некоторые факты из области барицентрического исчисления. (Их
доказательства можно посмотреть в [1] и в [2] – глава 14).
Факт 3.1.1. – координаты некоторых замечательных точек.
Обозначим стороны и углы данного треугольника АВС стандартным образом:
a  BC , b  CA, c  AB,   A,   B,   C . Кроме того, буквой s обозначим
полупериметр треугольника. Тогда координаты перечисленных ниже замечательных точек
(в базисе треугольника АВС) имеют следующий вид (как функции сторон или углов):
Точка пересечения медиан (центр тяжести, центроид, барицентр) G  1 : 1 : 1 .
1
1
1


: 2
: 2
Точка пересечения высот (ортоцентр) H   2
2
2
2
2
2
2 
b c a c a b a b c 
 tan  : tan  : tan   .
Центр описанной окружности O  a 2 b 2  c 2  a 2 : b 2 c 2  a 2  b 2 : c 2 a 2  b 2  c 2
 sin 2 : sin 2 : sin 2  .
Центр вписанной окружности I  a : b : c  sin  : sin  : sin   .
 
 
 

Особенно последнее из них. Что уж говорить, подобные «аргументы» (а ты кто такой!?) - в природе
человека.
5
Автор статьи на самом деле с глубоким уважением относится ко всем гуманитарным дисциплинам и ко
многим их отдельным представителям.
4
8
Центр вневписанной окружности I a   a : b : c    sin  : sin  : sin   .




Точка Нагеля N  s  a : s  b : s  c    cot : cot : cot  .
2
2
2





Добавочная точка Нагеля N a   s : s  c; s  b     cot : tan : tan  .
2
2
2

Факт 3.1.2 Лемма о трех точках и доказательство сущестования прямых Эйлера и Нагеля
с помощью барицентрических координат.
Лемма о трех точках.
Известно, что точки X , Y , Z имеют следующие координаты относительно треугольника
ABC :
X   p1 , q1 , r1 ; Y   p2 , q2 , r2 ; Z   p1  q1 , p2  q2 , p3  q3  .
p  q2  r2
XZ
, причем точка
 2
YZ
p1  q1  r1
Z расположена внутри отрезка XY , если суммы масс имеют одинаковый знак, и вне – в
противном случае.
Доказательство леммы:
По условию, центр масс системы  p1  p2 A; q1  q2 B; r1  r2 C находится в точке Z .
Разобьем эту систему на две подсистемы : p1 A; q1 B; r1C с центром масс в точке X и
суммарной массой p1  q1  r1 , и p2 A; q2 B; r2 C с центром масс в точке Y и суммарной
массой p2  q2  r2 . По правилу группировки, центр масс этой системы из двух точек попрежнему совпадает с точкой Z . Затем воспользуемся правилом рычага.
□
Теперь, если рассмотреть координаты точек N , N a , I , I a как функции сторон, из леммы о
трех точках немедленно будет следовать существование прямых Нагеля.
В отличие от геометрических доказательств (ссылка), доказательство существования
прямой Эйлера методом барицентрических координат посложнее, чем аналогичное для
прямых Нагеля. Однако и тут все быстро получится из леммы о трех точках, если
выразить координаты через углы следующим образом: H   tan  ;  tan  ;  tan   , где
 sin 2 sin 2  sin 2 
  cos  cos  cos  ; O  
:
:
 и использовать справедливое для
2
2 
 2
треугольника равенство tan   tan   tan   tan  tan  tan  .
Тогда эти точки лежат на одной прямой, и
3.2 Аффинные преобразования
Напомним определение и некоторые свойства аффинных преобразований (подробности
см. в [2], глава 29).
Аффинное преобразование плоскости – это такое преобразование, которое любую
прямую переводит в прямую.
В частности, любое подобие есть аффинное преобразование.
Аффинное преобразование есть ничто иное, как параллельная проекция одной плоскости
на другую (тень, отбрасываемая фигурой представляет собой ее аффинный обаз).
Перечислим основные свойства аффинных преобразований.
Свойство 3.2.1
Сохраняется отношение длин отрезков, лежащих на одной прямой.
Свойство 3.2.2
Сохраняется отношение площадей фигур.
Свойство 3.2.3
Параллельные прямые переходят в параллельные.
9
Свойство 3.2.4
Существует ровно одно аффинное преобразование, переводящее произвольный
треугольник АВС в произвольный треугольник А1В1С1 (так, что A  A1 , B  B1 , C  C1 ).
При этом любая точка Р и ее образ Р1 имеют одинаковые барицентрические координаты
(относительно треугольника АВС и А1В1С1 соответственно).
3.3 Ортотреугольник и его углы
Треугольник с вершинами в основаниях высот исходного треугольника, называют
ортотреугольником.
Утверждение 3.3.1
Пусть Ah Bh C h - ортотреугольник остроугольного треугольника АВС. Тогда углы этих
треугольников связаны соотношениями:
Ah    2A , Bh    2B , Ch    2C .
Доказательство:
Как обычно, обозначим ортоцентр буквой Н.
A
Ch
Oa
Bh
H
Ob
Oc
B
Ah
C
Так как четырехугольник BC h HAh составлен из двух прямоугольных треугольников, то
около него можно описать окружность с центром в точке Ob - середине отрезка ВН. Углы,

опирающиеся на одну дугу, равны и потому Ñ h Ah H  C h BH  ABB h   A .
2
Из тех же соображений окружность можно описать и около четырехугольника CAh HBh ,

откуда следует, что Bh Ah H  Bh CH  ACCh   A .
2



Значит, Ah  C h Ah H  Bh Ah H  2  A     2A .
2

Два других равенства проверяются аналогично.
□
Утверждение 3.3.2
Пусть Ah Bh C h - ортотреугольник тупоугольного треугольника АВС, с тупым углом при
вершине А. Тогда углы этих треугольников связаны соотношениями:
Ah  2A   , Bh  2B , Ch  2C .
Доказательство:
10
Очевидно, что Ah Bh C h в этом случае будет также и ортотреугольником треугольника НСВ
(с ортоцентром в точке А). Углы треугольника НСВ несложно выразить через углы
треугольника АВС:
H    Bh ACh    BAC    A .

 


B   ABC  C h BH  B    H   B  A     C    C .
2
2 2
2


 


C   ACB  Bh CH  C    H   C  A     B    B .
2
2 2
2

H
Bh
Ch
A
B
Ah
C
Теперь же воспользуемся предыдущим утверждением, считая исходным треугольником
треугольник HCB.
Тогда получим:
Ah    2H    2  A  2A   .


Bh    2Ñ     2  B   2B .
2



C h    2B     2  C   2C .
2

□
Замечание 3.3.1.
В прямоугольном треугольнике ортотреугольник вырождается в высоту, проведенную из
вершины прямого угла. Заметим, что при непрерывной деформации тупоугольного
треугольника (двигая, например, вершину А) в остроугольный (и наоборот), в момент
прохождения прямого угла точка Bh переходит в точку C h (и наоборот). Из предельных
соображений мы можем в этом случае считать, что Ah  0 ,(остроугольный


треугольник) Bh    2B    2  C   2Ñ  Ñ h (тупоугольный треугольник),
2



(остроугольный треугольник) C h    2C    2  B   2B  Bh (тупоугольный
2

треугольник).

И в прямоугольном треугольнике как раз B  C  .
2
11
3.4 Треугольники, образованные центрами вневписанных и описанной
окружностей, и их углы
Треугольник I a I b I c с вершинами в центрах вневписанных окружностей исходного
треугольника АВС назовем вневписанным.
Утверждение 3.4.1
Пусть I a I b I c - вневписанный треугольник треугольника АВС. Тогда углы этих
треугольников связаны соотношениями:
 A
 B
 C
I a  
, I b  
, I c  
.
2
2
2
2
2
2
Доказательство:
Ib
A
Ic
I
B
C
Ia
Вершины вневписанного треугольника – точки пересечения внешних биссектрис
исходного треугольника (и они же лежат на соответствующих внутренних биссектрисах).
А так как внутренняя и внешняя биссектрисы при вершине угла – перпендикулярны, то
треугольник АВС является ортотреугольником остроугольного треугольника I a I b I c .
Тогда, согласно утверждению 3.3.1,
  A  A
A    2I a  I a 
 
.
2
2
2
Два других соотношения получаются аналогично.
□
Треугольник II b I c с вершинами в центе вписанной и двух вневписанных окружностей
исходного треугольника АВС назовем первым добавочным вневписанным.
Утверждение 3.4.2
12
Пусть II b I c - первый добавочный вневписанный треугольник треугольника АВС. Тогда
углы этих треугольников связаны соотношениями:
 A
B
C
I  
, I b 
, I c 
.
2
2
2
2
Доказательство:
Как нетрудно заметить, в этом случае треугольник АВС является ортотреугольником
тупоугольного треугольника II b I c . Тогда, согласно утверждению 3.3.2,
  A  A
A  2I a    I a 
 
.
2
2
2
B
B  2I b  I b 
.
2
C  2I c  I c 
C
.
2
Ib
A
Ic
I
B
C
Ia
□
13
3.5 Треугольники Жергонна и их углы
Треугольник A1 B1C1 с вершинами в точках касания вписанной окружности исходного
треугольника АВС с его сторонами назовем треугольником Жергонна.
Утверждение 3.5.1
Пусть A1 B1C1 - треугольник Жергонна треугольника АВС. Тогда углы этих треугольников
связаны соотношениями:
 A
 B
 C
A1  
, B1  
, C1  
.
2
2
2
2
2
2
Доказательство:
Как обычно, обозначим ортоцентр буквой I.
A
B1
C1
I
B
A1
C
Так как четырехугольник BC1 IA1 составлен из двух прямоугольных треугольников, то
около него можно описать окружность с центром в середине отрезка ВI. Углы,
B
опирающиеся на одну дугу, равны и потому Ñ1 A1 I  C1 BI 
(BI – внутренняя
2
биссектриса угла В).
Из тех же соображений окружность можно описать и около четырехугольника CA1 IB1 ,
C
откуда следует, что B1 A1 I  B1CI 
.
2
B  C   A  A

  .
Значит, A1  C1 A1 I  B1 A1 I 
2
2
2 2
Два других равенства проверяются аналогично.
Из этих равенств также вытекает, что треугольник Жергонна – всегда остроугольный.
□
Треугольник A1a B1a C1a с вершинами в точках касания вневписанной окружности (с
центром в I a ) со стороной ВС и с продолжениями двух других сторон исходного
треугольника АВС называется первым добавочным треугольником Жергонна.
Утверждение 3.5.2
Пусть A1a B1b C1c - первый добавочный треугольник Жергонна треугольника АВС. Тогда
углы этих треугольников связаны соотношениями:
14

A
B
C
, B1a 
, C1a 
.
2
2
2
2
Доказательство:
Как и в предыдущем случае, нетрудно усмотреть три описанных четырехугольника.
Тогда, рассматривая четырехугольник BC1a I a A1a , получим:
 B
Ñ1a A1a I a  C1a BI a  
( BI a – внешняя биссектриса угла В).
2
2
А рассмотрев четырехугольник CA1a I a B1a и рассуждая точно также, придем к равенству
 C
B1a A1a I a  
.
2
2
B  C
  A  A
 
  .
Значит, A1a  C1a A1a I a  B1a A1a I a   
2
2
2 2
A1a 

A
B
C1a
C
A1a
B1a
Ia
Кроме того, треугольник A1a CB1a - равнобедренный (отрезки касательных, проведенные
    C  C

из точки С, равны), поэтому CB1a A1 
. Четырехугольник AC1a I a C 2
2
A
описанный, значит C1a B1a I a  C1a BI a 
( AI a - внутренняя биссектриса угла А).
2
15
 B1a 

2
 CB1a A1 - C1a B1a I a 


A  C      B  B
 

.
2
2
2
2
2
C
Наконец, равенство C1a 
можно получить либо из аналогичных соображений, либо
2
вычтя сумму уже найденных углов из  .
□
3.6 Тангенциальный треугольник и его углы
Треугольник, образованный касательными к описанной около исходного треугольника
окружности в его вершинах, называют тангенциальным.
Утверждение 3.6.1
Пусть At Bt Ct - тангенциальный треугольник остроугольного треугольника АВС. Тогда
углы этих треугольников связаны соотношениями:
At    2A , Bt    2B , Ct    2C .
Доказательство:
Bt
A
Ct
O
B
C
At
Понятно, что в этом случае треугольник АВС является треугольником Жергонна
треугольника At Bt Ct .
Тогда, согласно утверждению 3.5.1,
 At


A  
 At  2  A   At    2A .
2
2
2

Два других соотношения получаются аналогично.
□
16
Утверждение 3.6.2
Пусть At Bt Ct - тангенциальный треугольник тупоугольного треугольника АВС, с тупым
углом при вершине А. Тогда углы этих треугольников связаны соотношениями:
At  2A   , Bt  2B , Ct  2C .
Доказательство:
At
Bt
A
C
Ct
O
B
В этом случае исходный треугольник является для тангенциального первым добавочным
треугольником Жергонна, и все сразу следует из утверждения 3.5.2
□
Замечание 3.5.1.
В прямоугольном треугольнике гипотенуза является диаметром описанной окружности,
поэтому касательные в ее концах к описанной окружности параллельны и тангенциальный
треугольник вырождается в «бесконечный» - термин вполне уместный, особенно если
вспомнить, что на проективной плоскости параллельные прямые пересекаются в
бесконечно удаленной точке (см.[1] – стр.7, [2] – стр.561) Из предельных соображений мы
можем в этом случае считать (если, например, угол при вершине А – прямой), что




At  0 , Bt    2B    2  C   2Ñ , C t    2C    2  B   2B
2

2

17
Bt
A
Ct
B
O
C
4 Доказательство основной теоремы
Итак, покажем, наконец, что из существования прямой Эйлера следует существование
прямых Нагеля, и наоборот.
Основная теорема
В любом треугольнике существует прямая Эйлера  в любом треугольнике существуют
прямые Нагеля.
Этот факт следует из следующих пяти утверждений:
Утверждение 7.1
В произвольном остроугольном треугольнике существует прямая Эйлера  в любом
треугольнике существует прямая Нагеля.
Утверждение 7.2
В произвольном тупоугольном треугольнике существует прямая Эйлера  в любом
треугольнике существуют добавочные прямые Нагеля.
Утверждение 7.3 (обратное к утверждению 7.1)
В любом треугольнике существует прямая Нагеля  в произвольном остроугольном
треугольнике существует прямая Эйлера.
Утверждение 7.4 (обратное к утверждению 7.2)
В любом треугольнике существуют добавочные прямые Нагеля  в произвольном
тупоугольном треугольнике существует прямая Эйлера.
Утверждение 7.5
Существование прямой Эйлера для прямоугольного треугольника вытекает как из
утверждения 7.3, так и из утверждения 7.4 , являясь предельным случаем их обоих.
Последнее утверждение очевидно. Докажем остальные.
Доказательство утверждения 7.1
Пусть АВС – произвольный треугольник, а I a I b I c - его вневписанный треугольник.
Согласно утверждению 3.4.1., вневписанный треугольник всегда остроугольный, и его
углы связаны с углами исходного треугольника следующим образом:
 A
 B
 C
I a  
, I b  
, I c  
.
2
2
2
2
2
2
18
Рассмотрим аффинное преобразование  , отображающее треугольник I a I b I c на



A, I b 
B, I c 
C  . Это преобразование переводит
треугольник АВС I a 
прямые в прямые, и сохраняет барицентрические координаты точки (см. свойство 3.2.4).
Пусть H  и O - соответственно ортоцентр и центр описанной окружности треугольника
I a I b I c , а N и I – точка Нагеля и центр вписанной окружности треугольника АВС.
Тогда (см. 3.1.1) H   tan I a : tan I b : tan I c  и O  sin 2I a : sin 2I b : sin 2I c  .
Но
 A
  cot A ,
tan I a  tan 

2
2
2
 B
  cot B ,
tan I b  tan 

2
2
2
 C
  cot C .
tan I c  tan 

2
2
2
А также,
 A
  sin   A  sin A ,
sin 2I a  sin 2

2
2
 B
  sin   B   sin B ,
sin 2I b  sin 2

2
2
 C
  sin   C   sin C
sin 2I c  sin 2

2
2
Однако, как известно (см.3.1.1),
A
B
C 

N   cot
: cot
: cot
 и I  sin A : sin B : sin C  .
2
2
2 

Таким образом, H   N , O  I - и мы показали, что прямая Эйлера остроугольного
треугольника I a I b I c аффинным преобразованием  переводится в прямую Нагеля
исходного треугольника АВС.
□
Доказательство утверждения 7.2
Пусть АВС – некоторый тупоугольный треугольник с тупым углом при вершине А, а II b I c
- его первый добавочный вневписанный треугольник. Согласно утверждению 3.4.2.,
добавочный вневписанный треугольник всегда тупоугольный, и его углы связаны с
углами исходного треугольника следующим образом:
 A
B
C
. I  
, I b 
, I c 
2
2
2
2
Рассмотрим аффинное преобразование  a , отображающее треугольник II b I c на


a
a
a
треугольник АВС I 
A, I b 
B, I c 
C . Это преобразование переводит
прямые в прямые, и сохраняет барицентрические координаты точки (см. свойство 3.2.4).
Пусть H  и O - соответственно ортоцентр и центр описанной окружности треугольника
II b I c , а N a и I a – первая добавочная точка Нагеля и центр соответствующей
вневписанной окружности треугольника АВС.
Тогда (см. 3.1.1) H   tan I a : tan I b : tan I c  и O  sin 2I a : sin 2I b : sin 2I c  .
Но
 A
   cot A , tan I b  tan B , tan I c  tan C .
tan I  tan 

2
2
2
2
2
.
19
А также,
sin 2I a  sin 2

A
2
  sin   A   sin A , sin 2I b
 sin 2
B
2
  sin B ,
2
C
  sin C .
sin 2I c  sin 2
2
Однако, как известно (см. 3.1.1),
A
B
C 

N a    cot
: tan
: tan
 и I a   sin A : sin B : sin C  .
2
2
2 

Таким образом,  a H   N a ,  a O  I a - и мы показали, что прямая Эйлера

тупоугольного треугольника II b I c аффинным преобразованием  a переводится в
добавочную прямую Нагеля исходного треугольника АВС.
□
Доказательство утверждения 7.3
Пусть АВС – некоторый треугольник, а At Bt Ct - его тангенциальный треугольник.
Согласно утверждению 3.6.1., его углы связаны с углами исходного остроугольного
треугольника следующим образом:
At    2A , Bt    2B , Ct    2C .
Рассмотрим аффинное преобразование  , отображающее треугольник At Bt Ct на



A, Bt 
B, Ct 
C  . Это преобразование переводит
треугольник АВС At 
прямые в прямые, и сохраняет барицентрические координаты точки (см. свойство 3.2.4).
Пусть N  и I  - соответственно точка Нагеля и центр вписанной окружности
треугольника At Bt Ct , а Н и О – ортоцентр и центр описанной окружности треугольника
АВС.
At
Bt
Ct 

Тогда (см. 3.1.1.) N    cot
: cot
: cot 
 и I   sin At : sin Bt : sin Ct  .
2
2
2 

Но
At
  2A
  cot   A   tan A ,
cot
 cot 
2
2
2

Bt
  2B
  cot   B   tan B ,
cot
 cot 
2
2
2

C t
  2C
  cot   C   tan C .
cot
 cot 
2
2
2

А также,
sin At  sin    2A   sin 2A ,
sin Bt  sin    2B   sin 2B ,
sin Ct  sin    2C   sin 2C .
Однако, как известно (см. 3.1.1),
H  tan A : tan B : tan C  и O  sin 2A : sin 2B : sin 2C  .
Таким образом,  N   H , I   O - и мы показали, что прямая Нагеля треугольника
At Bt Ct аффинным преобразованием  переводится в прямую Эйлера исходного
остроугольного треугольника АВС.
□
Доказательство утверждения 7.4
20
Пусть АВС – некоторый тупоугольный треугольник с тупым углом при вершине А, и
At Bt Ct - его тангенциальный треугольник. Согласно утверждению 3.6.2., его углы связаны
с углами исходного остроугольного треугольника следующим образом:
At  2A   , Bt  2B , Ct  2C .
Рассмотрим аффинное преобразование a , отображающее треугольник At Bt Ct на


a
a
a
треугольник АВС At 
A, Bt 
B, Ct 
C . Это преобразование переводит
прямые в прямые, и сохраняет барицентрические координаты точки (см. свойство 3.2.4).
Пусть N a и I a - первая добавочная точка Нагеля и центр соответствующей вневписанной
окружности треугольника At Bt Ct , а Н и О – ортоцентр и центр описанной окружности
треугольника АВС.
At
Bt
Ct 

Тогда (см. 3.1.1) N a    cot
: tan
: tan 
 и I a   sin At : sin Bt : sin Ct  .
2
2
2 

Но
At
2A  
   cot    A   tan A ,
 cot
  cot 
2
2
 2

Bt
2B
  tan B ,
tan
 cot 
2
2
Ct
2C
  tan C .
tan
 cot 
2
2
А также,
 sin At  sin  2A      sin 2A ,
sin Bt  sin 2B ,
sin Ct  sin 2C .
Однако, как известно (см. 3.1.1),
H  tan A : tan B : tan C  и O  sin 2A : sin 2B : sin 2C  .
Таким образом,  a N a   H , a I a   O - и мы показали, что добавочная прямая Нагеля
треугольника At Bt Ct аффинным преобразованием  a переводится в прямую Эйлера
исходного тупоугольного треугольника АВС.
□
5 Приложение: Кристиан Генрих фон Нагель (1803 – 1882)
(Christian Heinrich von Nagel)
Мы говорили о прямых, названных в честь двух математиков.
Великий Эйлер оставил после себя многотомное собрание сочинений, его творчеству и
жизни посвящены разнообразные исследования – при желании их несложно найти и с
ними ознакомиться. А вот о Нагеле известно совсем немногое. Краткие
биографические сведения удалось почерпнуть на сайте Кимберлинга (см.[3]).
Нижеследующий фрагмент заимствован именно оттуда:
21
В1821 К. Г. фон Нагель приступил к
изучению теологии в Тибингене. В
1825 он удостоен сана священника.
Затем в течение четырех лет
посещает лекции по математике и
физике, которые читают в
Университете Тибенгена
Боненбергер (J. G. von
Bohnenberger) и Рик (F. J. P. Riecke)
.В декабре 1826 г. Он принят
учителем математики и физики
(natural science) в Лицей и Реальное
Училище ( Realschule) Тибенгена и
продолжает изучать математику в
Университете. В 1830 получает
докторскую степень (Ph.D.)
(диссертация называлась «De
triangulis rectangulis ex algebraica
aequatione construendis» (название
латинское – можно приблизительно
понять, что речь идет о
прямоугольных треугольниках и
неких алгебраических
соотношениях, с ними связанных), а
научным руководителем был
Боненбергер), и звание приватдоцента.
Начиная с 19830 занимает должность профессора математики в Гимназии города Ульма. В
1840 заканчивает 400-страничную книгу, озаглавленную «Die Idee der Realschule, nach
ihrer theoretischen Begrundung und praktischen Ausfьhrung dargestellt»(что можно перевести
с немецкого примерно так: « Реальные Училища -теоретическое обоснование и
практическое воплощение»). В 1844 Нагель становится ректором Реального Училища в
Ульме и после 25 лет безупречной службы удостаивается титула «почетный гражданин
Ульма». В 1875 выходит в отставку.
Шесть работ Нагеля имеются в книге Peter Baptist, Die Entwicklung der Neueren
Dreiecksgeometrie, Wissenschaftsverlag, Mannheim, 1992. (П.Баптист, Развитие современной
геометрии треугольника). В одной из этих работ Нагель приводит доказательство
существования точек, которые ныне принято называть точками Нагеля и Жергонна.
Однако прямую Нагеля сам Нагель, скорее всего, не открывал – во всяком случае, в
дошедших до нас его работах она не упоминается. Как бы оно там ни было, прямая
названа в честь Нагеля вполне заслуженно – ибо вклад этого ученого в элементарную
геометрию весьма существенен.
Список литературы.
22
[1] Мякишев А. Элементы геометрии треугольника. М.: МЦНМО, 2002.
[2] Прасолов В. Задачи по планиметрии. М.: МЦНМО, 2007.
[3] Kimberling C. Biographical Studies.
[http://faculty.evansville.edu/ck6/bstud/index.html]
[4] Sigur S. Triangle Geometry
http://www.paideiaschool.org/Teacherpages/Steve_Sigur/geometryIndex.htm