Докажите, что ортогональная проекция вершины правильного многогранника на его противоположную грань лежит в центре описанной окружности этой грани, и обобщите для полуправильных тел
Установим центр многогранника в начале координат OOO. Пусть v⃗\vec vv — радиус-вектор вершины VVV. Обозначим через FFF «противоположную» грань так, что её центр CCC лежит на луче, противоположном v⃗\vec vv (это корректно для правильных тел и для полуправильных тел благодаря дуальности: центры граней образуют вершины двойственного телa, которое у правильных тел снова правильно, а у полуправильных — изогедрально). Тогда существует t>0t>0t>0 такое, что c⃗=−tv⃗.
\vec c=-t\vec v. c=−tv. Плоскость грани FFF нормальна к направлению v⃗\vec vv и имеет уравнение ⟨x⃗,v⃗⟩=d,d=⟨c⃗,v⃗⟩=−t∥v⃗∥2.
\langle \vec x,\vec v\rangle = d, \qquad d=\langle \vec c,\vec v\rangle = -t\|\vec v\|^2. ⟨x,v⟩=d,d=⟨c,v⟩=−t∥v∥2.
Ортогональная проекция вершины v⃗\vec vv на эту плоскость равна p⃗=v⃗−⟨v⃗,v⃗⟩−d∥v⃗∥2 v⃗.
\vec p=\vec v-\frac{\langle \vec v,\vec v\rangle-d}{\|\vec v\|^2}\,\vec v. p=v−∥v∥2⟨v,v⟩−dv.
Подставляя ddd, получаем ⟨v⃗,v⃗⟩−d=∥v⃗∥2−(−t∥v⃗∥2)=(1+t)∥v⃗∥2,
\langle \vec v,\vec v\rangle-d=\|\vec v\|^2-(-t\|\vec v\|^2)=(1+t)\|\vec v\|^2, ⟨v,v⟩−d=∥v∥2−(−t∥v∥2)=(1+t)∥v∥2,
и поэтому p⃗=v⃗−(1+t)v⃗=−tv⃗=c⃗.
\vec p=\vec v-(1+t)\vec v=-t\vec v=\vec c. p=v−(1+t)v=−tv=c.
Таким образом ортогональная проекция вершины совпадает с центром грани CCC. Поскольку грань правильного (или полуправильного) тела — правильный правильный многоугольник, его центр грани одновременно является центром описанной окружности этой грани, и значит проекция лежит в центре описанной окружности. Обобщение для полуправильных (Арчимедовых) тел: у полуправильных тел все вершины эквивалентны относительно группы симметрий, а центры граней образуют вершины двойственного (каталанова) тела, которое изогедрально. Поэтому для каждой вершины существует грань с центром на луче, противоположном радиус-вектору вершины, и предыдущий векторный вывод остаётся в силе; проекция вершины на такую грань даёт её центр (и, так как грани состоят из правильных многоугольников, — их описанный центр).
c⃗=−tv⃗. \vec c=-t\vec v.
c=−tv.
Плоскость грани FFF нормальна к направлению v⃗\vec vv и имеет уравнение
⟨x⃗,v⃗⟩=d,d=⟨c⃗,v⃗⟩=−t∥v⃗∥2. \langle \vec x,\vec v\rangle = d,
\qquad d=\langle \vec c,\vec v\rangle = -t\|\vec v\|^2.
⟨x,v⟩=d,d=⟨c,v⟩=−t∥v∥2. Ортогональная проекция вершины v⃗\vec vv на эту плоскость равна
p⃗=v⃗−⟨v⃗,v⃗⟩−d∥v⃗∥2 v⃗. \vec p=\vec v-\frac{\langle \vec v,\vec v\rangle-d}{\|\vec v\|^2}\,\vec v.
p =v−∥v∥2⟨v,v⟩−d v. Подставляя ddd, получаем
⟨v⃗,v⃗⟩−d=∥v⃗∥2−(−t∥v⃗∥2)=(1+t)∥v⃗∥2, \langle \vec v,\vec v\rangle-d=\|\vec v\|^2-(-t\|\vec v\|^2)=(1+t)\|\vec v\|^2,
⟨v,v⟩−d=∥v∥2−(−t∥v∥2)=(1+t)∥v∥2, и поэтому
p⃗=v⃗−(1+t)v⃗=−tv⃗=c⃗. \vec p=\vec v-(1+t)\vec v=-t\vec v=\vec c.
p =v−(1+t)v=−tv=c. Таким образом ортогональная проекция вершины совпадает с центром грани CCC. Поскольку грань правильного (или полуправильного) тела — правильный правильный многоугольник, его центр грани одновременно является центром описанной окружности этой грани, и значит проекция лежит в центре описанной окружности.
Обобщение для полуправильных (Арчимедовых) тел: у полуправильных тел все вершины эквивалентны относительно группы симметрий, а центры граней образуют вершины двойственного (каталанова) тела, которое изогедрально. Поэтому для каждой вершины существует грань с центром на луче, противоположном радиус-вектору вершины, и предыдущий векторный вывод остаётся в силе; проекция вершины на такую грань даёт её центр (и, так как грани состоят из правильных многоугольников, — их описанный центр).