Условие
Пусть
A4 — ортоцентр треугольника
A1A2A3.
Докажите, что существуют такие числа
,...,
,
что
AiAj2 =
+
, причем, если треугольник не прямоугольный,
то
(1/
) = 0.
Решение
Одна из точек
Ai лежит внутри треугольника,
образованного тремя другими точками, поэтому можно считать, что
треугольник
A1A2A3 остроугольный (или прямоугольный).
Числа
,
и
легко находятся из соответствующей
системы уравнений; в результате получаем
= (
b2 +
c2 -
a2)/2,
= (
a2 +
c2 -
b2)/2 и
= (
a2 +
b2 -
c2)/2, где
a =
A2A3,
b =
A1A3 и
c =
A1A2. Согласно задаче
5.45, б)
A1A42 = 4
R2 -
a2,
где
R — радиус описанной окружности треугольника
A1A2A3.
Поэтому
=
A1A42 -
= 4
R2 - (
a2 +
b2 +
c2)/2 =
A2A42 -
=
A3A42 -
.
Проверим теперь, что
1/
= 0. Так как
(
b2 +
c2 -
a2)/2 =
bc cos
= 2
Sctg, то
1/
=
tg/2
S. Остается заметить,
что
2/(
a2 +
b2 +
c2 - 8
R2) = (
tg+
tg+
tg)/2
S (задача
12.49).
Источники и прецеденты использования