Условие
Внутри равностороннего (не обязательно правильного) семиугольника
A1A2...
A7 взята произвольно точка
O. Обозначим через
H1,
H2,...,
H7 основания перпендикуляров, опущенных из точки
O на
стороны
A1A2,
A2A3,...,
A7A1 соответственно. Известно, что точки
H1,
H2,...,
H7 лежат на самих сторонах, а не на их продолжениях.
Доказать, что
A1H1 +
A2H2 + ... +
A7H7 =
H1A2 +
H2A3 + ... +
H7A1.
Решение
Пусть без ограничения общности сторона семиугольника равна 1.
Пусть
xi=AiHi ,
hi=OHi , будем считать
A8=A1 ,
H8=H1 .
По теореме Пифагора
Ai+1
Hi2+OHi2=OAi+1
2=Ai+1
Hi+1
2+OHi+1
2 ,
то есть
1
-2
xi+xi2+hi2=xi+1
2+hi+1
2 .
Складывая такие равенства для каждого
i=1
,..7
, получаем
7
-2(
x1+..x7)
=0
. Это как раз означает, что
A1H1 + A2H2 + ... + A7H7 = H1A2 + H2A3 + ... + H7A1 .
Источники и прецеденты использования