Пра́вильный пятияче́йник, или просто пятияче́йник[1], или пентахор (от др.-греч. πέντε — «пять» и χώρος — «место, пространство»), — один из шести правильных многоячейников в четырёхмерном пространстве: правильный четырёхмерный симплекс.
Открыт Людвигом Шлефли в середине 1850-х годов[2]. Символ Шлефли пятиячейника — {3,3,3}.
Двойственен сам себе. В отличие от пяти других правильных многоячейников, не имеет центральной симметрии.
Используется в физико-химическом анализе для изучения свойств многокомпонентных систем[3].
Ограничен 5 трёхмерными ячейками — одинаковыми правильными тетраэдрами. Любые две ячейки — смежные; угол между ними равен arccos 1 4 ≈ 75 , 52 ∘ . {\displaystyle \arccos \,{\frac {1}{4}}\approx 75{,}52^{\circ }.}
Его 10 двумерных граней — одинаковые правильные треугольники. Каждая грань разделяет 2 примыкающие к ней ячейки.
Имеет 10 рёбер равной длины. На каждом ребре сходятся по 3 грани и по 3 ячейки.
Имеет 5 вершин. В каждой вершине сходятся по 4 ребра, по 6 граней и по 4 ячейки. Любые 2 вершины соединены ребром; любые 3 вершины принадлежат одной грани; любые 4 вершины принадлежат одной ячейке.
Пятиячейник можно рассматривать как правильную четырёхмерную пирамиду с тетраэдрическим основанием.
Пятиячейник можно разместить в декартовой системе координат так, чтобы его вершины имели координаты ( 1 ; 1 ; 1 ; 0 ) , {\displaystyle (1;1;1;0),} ( 1 ; − 1 ; − 1 ; 0 ) , {\displaystyle (1;-1;-1;0),} ( − 1 ; 1 ; − 1 ; 0 ) , {\displaystyle (-1;1;-1;0),} ( − 1 ; − 1 ; 1 ; 0 ) , {\displaystyle (-1;-1;1;0),} ( 0 ; 0 ; 0 ; 5 ) . {\displaystyle (0;0;0;{\sqrt {5}}).}
При этом точка ( 0 ; 0 ; 0 ; 5 5 ) {\displaystyle \left(0;0;0;{\frac {\sqrt {5}}{5}}\right)} будет центром вписанной, описанной и полувписанных трёхмерных гиперсфер.
Если разместить пятиячейник так, чтобы его вершины имели координаты ( 5 4 ; 5 4 ; 5 4 ; 1 4 ) , {\displaystyle \left({\frac {\sqrt {5}}{4}};{\frac {\sqrt {5}}{4}};{\frac {\sqrt {5}}{4}};{\frac {1}{4}}\right),} ( 5 4 ; − 5 4 ; − 5 4 ; 1 4 ) , {\displaystyle \left({\frac {\sqrt {5}}{4}};-{\frac {\sqrt {5}}{4}};-{\frac {\sqrt {5}}{4}};{\frac {1}{4}}\right),} ( − 5 4 ; 5 4 ; − 5 4 ; 1 4 ) , {\displaystyle \left(-{\frac {\sqrt {5}}{4}};{\frac {\sqrt {5}}{4}};-{\frac {\sqrt {5}}{4}};{\frac {1}{4}}\right),} ( − 5 4 ; − 5 4 ; 5 4 ; 1 4 ) , {\displaystyle \left(-{\frac {\sqrt {5}}{4}};-{\frac {\sqrt {5}}{4}};{\frac {\sqrt {5}}{4}};{\frac {1}{4}}\right),} ( 0 ; 0 ; 0 ; − 1 ) , {\displaystyle \left(0;0;0;-1\right),} то они будут лежать на гиперсфере радиуса 1 {\displaystyle 1} с центром в начале координат.
В пятимерном пространстве возможно разместить пятиячейник так, чтобы все его вершины имели целые координаты: ( 1 ; 0 ; 0 ; 0 ; 0 ) , {\displaystyle (1;0;0;0;0),} ( 0 ; 1 ; 0 ; 0 ; 0 ) , {\displaystyle (0;1;0;0;0),} ( 0 ; 0 ; 1 ; 0 ; 0 ) , {\displaystyle (0;0;1;0;0),} ( 0 ; 0 ; 0 ; 1 ; 0 ) , {\displaystyle (0;0;0;1;0),} ( 0 ; 0 ; 0 ; 0 ; 1 ) . {\displaystyle (0;0;0;0;1).}
Центром вписанной, описанной и полувписанных гиперсфер при этом будет точка ( 1 5 ; 1 5 ; 1 5 ; 1 5 ; 1 5 ) . {\displaystyle \left({\frac {1}{5}};{\frac {1}{5}};{\frac {1}{5}};{\frac {1}{5}};{\frac {1}{5}}\right).}
Если пятиячейник имеет ребро длины a , {\displaystyle a,} то его четырёхмерный гиперобъём и трёхмерная гиперплощадь поверхности выражаются соответственно как
Радиус описанной трёхмерной гиперсферы (проходящей через все вершины многоячейника) при этом будет равен
радиус внешней полувписанной гиперсферы (касающейся всех рёбер в их серединах) —
радиус внутренней полувписанной гиперсферы (касающейся всех граней в их центрах) —
радиус вписанной гиперсферы (касающейся всех ячеек в их центрах) —
Иногда словом «пятиячейник» может обозначаться не только правильный, но и произвольный четырёхмерный симплекс.