Условие
Пусть
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).
Источники и прецеденты использования