Квант

55

Заметим, что OD⃗\vec{O D} — вектор грани A′B′C′A' B' C' для терзера A′B′C′D′A' B' C' D' — является также вектором грани A′B′C′A' B' C' и для терзера OA′B′C′O A' B' C'. Действительно, точки OO и D′D' лежат по одному сторону от плоскости A′B′C′A' B' C' (инaque сумма OA⃗′+OB⃗′+OC⃗′+OD⃗′\vec{O A}' + \vec{O B}' + \vec{O C}' + \vec{O D}' не равнялась бы O⃗\vec{O}), поэтому вектор OD⃗\vec{O D} направлен во внешнюю сторону терзера OA′B′C′O A' B' C'. По теореме о «жеже» вектор — OD⃗\vec{O D} равен сумме векторов граней OA′B′O A' B', OB′C′O B' C' и OC′A′O C' A' терзера OA′B′C′O A' B' C'. Но этот терзар строится точно так же (с точностью до параллельного перенока), как терзар PA′B′C′P A' B' C' в задание aa, следовательно OD⃗′=−k(DA⃗+DB⃗+DC⃗)\vec{O D}' = -k(\vec{D A} + \vec{D B} + \vec{D C}), где k=3V/4k = 3V/4. Аналогично OA′′=−k(AB⃗+AC⃗+AD⃗)O A'' = -k(\vec{A B} + \vec{A C} + \vec{A D}), поэтому D′′A′′=OA⃗′−OD⃗′=k(DA⃗+DB⃗+DC⃗−AB⃗−AC⃗−AD⃗)=k⋅4DA⃗=3V⋅DA⃗D'' A'' = \vec{O A}' - \vec{O D}' = k(\vec{D A} + \vec{D B} + \vec{D C} - \vec{A B} - \vec{A C} - \vec{A D}) = k \cdot 4 \vec{D A} = 3V \cdot \vec{D A}. Таким же образом доказывается, что D′′B′′=3V⋅DB⃗D'' B'' = 3V \cdot \vec{D B}, D′′C′′=3V⋅DA⃗D'' C'' = 3V \cdot \vec{D A}. Это и значит, что терзеры A′′B′′C′′D′′A'' B'' C'' D'' и ABCDABCD готовятся с коэффициентом 3V.

Отсюда немедленно следует, что для любых четырех некомпланных векторов, дающих в сумме O⃗\vec{O}, существует единственный с точностью до параллельного перенока терзар, для которого данные векторы служат векторами граней. (Если OA⃗\vec{O A}, OB⃗\vec{O B}, OC⃗\vec{O C} и OD⃗\vec{O D} — данные векторы и OA′⃗\vec{O A'}, OB′⃗\vec{O B'}, OC′⃗\vec{O C'}, OD′⃗\vec{O D'} — векторы граней терзера ABCDABCD, то искомый терзар готовится A′B′C′D′A' B' C' D'.) Это утверждение является очень частным и простым случаем так называемой проблемы Минковского: можно ли по заданному набору некомпланных векторов с нулевой суммой простроить выпуклый многообразник, для которого они служили бы векторами граней? Будет ли такой многообразник единственный? Эта проблема была поставлена и решена (положительно) выдающимся немецким математиком Германом Минковским в конце прошло века.

Задание
9. В терзарре ABCDABCD грани ABCABC и ABDABD, а также CDACDA и CDBCDB равновелики. Доказите, что отрезок, соединяющий ребер ABAB и CDCD, является их общим перпендикуляром.

  1. Доказите, что следующие свойства терзарра эквивалентны*): 1) все грани конгруэнтны; 2) все грани равновелики; 3) центр описанной сферы совпадает с центром тяжестями (центр тяжестями определяется тем, что сумма векторов, проведенных из него в вершины терзара, есть O⃗\vec{O}).

*) Термэрдры, о которых говорится в этой задание, называются равногранными. Они подробно расссказано в статье В. Э. Матизена в этом номере журнала; см. также выше задачу 8, г.

56

КВАНТ УЛЬБАЕТСЯ КВАНТ УЛЬБАЕТСЯ

Математический факультет

Авиационный институт
— У товарища отличная характеристика, имеет опыт работы в летном деле…

Физический факультет
— Теерь вспомнили закон всемирного тягоотenia?

Педагогический институт
— Итак, вы пришли в класс.
Ну-ка, наведите порядок!

Электрохимический институт
—… Да, с практическими навыками у вас слабовато.

56