Условие
Пусть
a1,...,
an — векторы сторон
n-угольника,

=

(
ai,
aj).
Докажите, что
a12 =
a22 +...+
an2 + 2
aiajcos

, где
ai = |
ai|.
Решение
Пусть

=

(
ai,
a1). Рассматривая проекции на
прямую, параллельную
a1, и прямую, перпендикулярную
a1,
получаем
a1 =
aicos

и
0 =
aisin

соответственно. Возводя эти равенства в квадрат и складывая их,
получаем
a12 =
ai2(cos
2
+ sin
2
) + 2
aiaj(cos

cos

+ sin

sin

) =
a22 +...+
an2 + 2
aiajcos(

-

).
Остается заметить, что

-

=

(
ai,
a1) -

(
aj,
a1) =

(
ai,
aj) =

.
Источники и прецеденты использования