ЗАДАЧИ
problems.ru |
О проекте
|
Об авторах
|
Справочник
Каталог по темам | по источникам | |
|
Задача 58397
УсловиеДокажите, что если a, b, c и d — длины последовательных сторон выпуклого четырехугольника ABCD, а m и n — длины его диагоналей, то m2n2 = a2c2 + b2d2 - 2abcd cos(A + C) (Бретшнейдер).РешениеДокажем сначала, что если u, v, w, z — комплексные числа, причем u + v + w + z = 0, то
| uw - vz|2 = | u + v|2| v + w|2.
В самом деле,
| uw - vz| = | uw + v(u + v + w)| = | u + v| . | v + w|.
Пусть комплексные числа u, v, w, z соответствуют векторам , , , . Тогда | u + v|2| v + w|2 = m2n2 и
| uw - vz|2 = (uw - vz)( - ) = | uw|2 + | vz|2 - (uw - vz).
Так как
| uw|2 = a2c2 и
| vz|2 = b2d2, то остается доказать, что
uw - vz = 2abcd cos(A + C).
Для этого достаточно проверить, что аргумент числа
uw равен
±(A + C). Остается заметить, что аргумент числа u
(соответственно w) равен
±, где — угол между
векторами u и v (соответственно w и z).
Источники и прецеденты использования
|
© 2004-...
МЦНМО
(о копирайте)
|
Пишите нам
|