Чотирисхилий купол — Вікіпедія

У геометрії чотирисхилий купол — призматоїд, що складається з правильного восьмикутника (нижня основа купола), квадрата (верхня грань, що паралельна основі), та бічних граней: 4 прямокутників та 4 рівнобедрених трикутників.

Нижня основа також може бути напівправильним рівнокутним восьмикутником (дітетрагоном), в якому сторони рівні через одну, і всі кути рівні. При цьому сторона верхнього квадрата має бути рівною більшій стороні дітетрагона.

Належить до родини куполів і є підкласом призматоїдів.

Два куполи можуть бути з'єднані по їх нижній основі, утворюючи багатогранник бікупол^[en], в прямій (якщо з'єднані однойменні грані) або повернутій (якщо з'єднані різнойменні грані) орієнтації.

Чотирисхилий (квадратний) купол
Тип	Багатогранник Джонсона J4 Призматоїд, множина куполів.
Властивості	Опуклий, рівносторонній, правильногранний
Комбінаторика
Елементи	10 граней (4{3} + (4+1){4} + 1{8}) 20 ребер 12 вершин: 8 вершин (3-го степеня) + 4(4-го)
Грані	4 Правильних трикутників, 4+1 Квадратів, 1 Правильний восьмикутник.
Характеристика Ейлера	${\displaystyle \chi =\Gamma -{\hbox{P}}+{\hbox{B}}=2}$
Конфігурація вершини	8(3.4.8) 4(3.43)
Вершинна фігура	4 рівнобедрених трапецій з довжинами сторін 1, ${\displaystyle {\sqrt {2}}}$, ${\displaystyle {\sqrt {2}}}$ та ${\displaystyle {\sqrt {2}}}$ 8 трикутників з довжинами сторін 1, ${\displaystyle {\sqrt {2}}}$ та ${\displaystyle {\sqrt {2+{\sqrt {2}}}}}$
Класифікація
Позначення	• J4 (в нотації Нормана Джонсона[en]) • M5 (в нотації Залгаллера[1]) • U4 = Q4 [2] (в нотації Конвея[en]) • Q4 (в нотації Стюарта)
Символ Шлефлі	{4} || t{4}
Група симетрії	C4v[en], [4], (*44), порядок 8 (Циклічна симетрія 4-Піраміди)
Група обертань	C4, [4]+, (44), порядок 4
Двоїстий багатогранник	Напіврозсічений чотирикутний трапецоедр
Розгортка

Рівносторонній чотирисхилий купол (або квадратний купол) є одним із багатогранників Джонсона (J₄ або M₅ (за Залгаллером^[1]).

Багатогранник Джонсона — один із 92 строго опуклих багатогранників, що мають правильні грані, але не є однорідним (тобто він не є правильним багатогранником, архімедовим тілом, призмою або антипризмою). Правильногранні багатогранники названі ім'ям Нормана Джонсона^[en], який першим перелічив їх в 1966 р. ^[2]

Чотирисхилий купол складено з 10 граней: 4 правильних трикутників, 4+1 = 5 квадратів та 1 правильного восьмикутника.

Кожна трикутна грань оточена двома квадратами та одним восьмикутником; одна квадратна грань (верхня основа) оточена чотирма квадратами; чотири квадратні грані (бокові) оточені двома трикутними, однією квадратною та однією восьмикутною гранями; восьмикутна грань оточена чотирма трикутними та чотирма квадратними гранями.

Має 20 ребер однакової довжини. 4 ребра розташовуються між двома квадратними гранями, 8 ребер — між квадратною і трикутною гранями, 4 ребра — між трикутною і восьмикутною гранями, 4 ребра ‒ між квадратною і восьмикутною гранями.

У чотирисхилого купола 12 вершин: 4 вершини оточені трикутною і трьома квадратними гранями; 8 вершин оточені трикутною, квадратною та 8-кутною гранями.

Чотирисхилий купол можна розглядати як зріз ромбокубооктаедра, і може бути отриманий шляхом розділу ромбокубооктаедра площиною по восьмикутному перерізу між двома протилежними паралельними квадратними гранями. Ромбокубооктаедр двома такими розсіченнями може бути розділений на два квадратні куполи та восьмикутну рівносторонню призму.

І навпаки, два чотирисхилих куполи в прямій орієнтації можна поєднати з рівносторонньою восьмикутною призмою по восьмикутній грані, і отримати ромбокубооктаедр (який також можна назвати подовженим квадратним ортобікуполом)

Чотирисхилий купол має вісь поворотної симетрії 4-го порядку, що проходить через центри основ; а також чотири площини дзеркальної симетрії, що проходять через вісь купола та середини сторін нижньої основи.

Кількість діагоналей опуклого багатогранника: ${\displaystyle {\binom {B}{2}}-P}$, де В — кількість вершин, Р — кількість ребер багатогранника. Для чотирисхилого купола:

${\displaystyle {\binom {12}{2}}-20={\frac {12}{2}}\cdot {\frac {11}{1}}-20=46}$ діагоналей (30 граневих та 16 просторових).

Діагоналі квадратного купола з довжиною ребра ${\displaystyle a}$
	Граневі діагоналі	${\displaystyle CE={\sqrt {2}}\cdot a\approx 1.4142135\cdot a}$${\displaystyle AB={\sqrt {2+{\sqrt {2}}}}\cdot a\approx 1.847759\cdot a}$ ${\displaystyle AC=(1+{\sqrt {2}})\cdot a\approx 2.4142135\cdot a}$ ${\displaystyle AD={\sqrt {4+2{\sqrt {2}}}}\cdot a\approx 2.613125\cdot a}$
	Просторові діагоналі	${\displaystyle AF={\sqrt {2+{\sqrt {2}}}}\cdot a\approx 1.847759\cdot a}$${\displaystyle AE={\sqrt {3+{\sqrt {2}}}}\cdot a\approx 2.1010029\cdot a}$

Для квадратного купола з довжиною ребра ${\displaystyle a}$:
Радіус описаної сфери (проходить через всі вершини)		${\displaystyle R={\frac {1}{2}}{\sqrt {5+2{\sqrt {2}}}}\cdot a}$	${\displaystyle \approx 1.39896632\cdot a}$
Радіус напіввписаної сфери (дотикається до всіх ребер)		${\displaystyle \rho ={\frac {1}{2}}{\sqrt {4+2{\sqrt {2}}}}\cdot a}$	${\displaystyle \approx 1.30656296\cdot a}$
Вписаної сфери квадратний купол не має
Висота H (Відстань між паралельними квадратною та 8-кутною гранями)		${\displaystyle H={\frac {\sqrt {2}}{2}}\cdot a}$	${\displaystyle \approx 0.70710678\cdot a}$
Площа поверхні		${\displaystyle S=\left(7+2{\sqrt {2}}+{\sqrt {3}}\right)\cdot a^{2}}$	${\displaystyle \approx 11.5604779\cdot a^{2}}$
Об'єм		${\displaystyle V=\left(1+{\frac {2{\sqrt {2}}}{3}}\right)\cdot a^{3}}$	${\displaystyle \approx 1.94280904\cdot a^{3}}$

Центр мас квадратного купола лежить на його осі симетрії на відстані ${\displaystyle {\frac {5-2{\sqrt {2}}}{8}}\cdot a}$ від нижньої основи^[3].

Плоскі кути граней при вершині: 60°, 90°, 135°.

Кути багатогранника
Двогранний кут між гранями {3} та {4}	${\displaystyle \alpha =\arccos \left(-{\frac {\sqrt {6}}{3}}\right)}$	≈ 2.5261129 rad ≈ 144°44′ 8.1971′′
Двогранний кут між гранями {3} та {8}	${\displaystyle \beta =\arccos \left({\frac {\sqrt {3}}{3}}\right)}$	≈ 0.9553166 rad ≈ 54°44′ 8.1971′′
Двогранний кут між гранями {4} та {4}	${\displaystyle \gamma =\arccos \left(-{\frac {\sqrt {2}}{2}}\right)}$	= ${\displaystyle {\frac {3\pi }{4}}}$ rad = 135°
Двогранний кут між гранями {4} та {8}	${\displaystyle \delta =\arccos \left({\frac {\sqrt {2}}{2}}\right)}$	= ${\displaystyle {\frac {\pi }{4}}}$ rad = 45°
Тілесний кут при вершині нижньої основи (восьмикутної)	${\displaystyle \Omega _{1}={\frac {\pi }{4}}+\arccos \left({\frac {2{\sqrt {2}}}{3}}\right)={\frac {3\pi }{4}}-\mathop {\mathrm {arctg} } \left(2{\sqrt {2}}\right)=}$ ${\displaystyle =4\arctan \left({\sqrt {12-6{\sqrt {2}}}}+{\sqrt {2}}-3\right)}$	${\displaystyle \Omega _{1}}$≈ 1.125235 ср
Тілесний кут при вершині верхньої основи (квадратної)	${\displaystyle \Omega _{2}=2\pi +\arccos \left({\frac {-2{\sqrt {2}}}{3}}\right)={\frac {3\pi }{2}}-\mathop {\mathrm {arctg} } \left(2{\sqrt {2}}\right)=}$ ${\displaystyle ={\frac {3\pi }{4}}+4\arctan \left({\sqrt {12-6{\sqrt {2}}}}+{\sqrt {2}}-3\right)}$	${\displaystyle \Omega _{2}}$ ≈ 3.481429 ср
Сферичність	${\displaystyle \Psi ={\frac {\sqrt[{3}]{4\pi \cdot (17+12{\sqrt {2}})}}{7+2{\sqrt {2}}+{\sqrt {3}}}}}$	${\displaystyle \Psi \thickapprox 0.651320998}$

Координати вершин квадратного купола з довжиною ребра a = 1:^[4]

• ${\displaystyle \left({\frac {1}{2}},\pm {\frac {1}{2}},{\frac {\sqrt {2}}{2}}\right)}$ , ${\displaystyle \left(-{\frac {1}{2}},\pm {\frac {1}{2}},{\frac {\sqrt {2}}{2}}\right)}$ — ці координати формують верхню квадратну грань купола.
• ${\displaystyle \left({\frac {1+{\sqrt {2}}}{2}},\pm {\frac {1}{2}},0\right)}$, ${\displaystyle \left(-{\frac {1+{\sqrt {2}}}{2}},\pm {\frac {1}{2}},0\right)}$, ${\displaystyle \left({\frac {1}{2}},\pm {\frac {1+{\sqrt {2}}}{2}},0\right)}$, ${\displaystyle \left(-{\frac {1}{2}},\pm {\frac {1+{\sqrt {2}}}{2}},0\right)}$— ці координати формують нижню восьмикутну грань купола, що знаходиться в площині XОY і з центром на початку координат. Вісь купола співпадає з віссю Oz.

Чотирисхилий купол не має канонічно-двоїстого багатогранника (середньовписані сфери обох багатогранників співпадають).

Його топологічно-двоїстий може бути побудований лише загальним чином (кожній грані початкового багатогранника відповідає вершина двоїстого, кожній вершині початкового — грань двоїстого, з дотриманням симетрії початкового багатогранника), а тому форми та розміри двоїстого багатогранника до початкового чотирисхилого купола можуть різнитися.

Двоїстий до чотирисхилого купола (Напіврозсічений чотирикутний трапецоедр, dJ4) має 12 граней: 8 трикутників + 4 дельтоїда; 20 ребер, 10 вершин.

Двоїстий багатогранник	Розгортка двоїстого

Чотирисхилий купол належить до родини куполів. Сімейство n-куполів з правильними гранями існує до n = 5 включно.

Сімейство опуклих куполів

n	2	3	4	5	6	7
Назва	Двосхилий купол	Трисхилий купол	Чотирисхилий купол	П'ятисхилий купол	Шестисхилий купол (плоский)	Семисхилий купол (з неправильними бічними гранями)
Символ Шлефлі	{2} || t{2}	{3} || t{3}	{4} || t{4}	{5} || t{5}	{6} || t{6}	{7} || t{7}
Купол
Пов'язані однорідні багатогранники	Трикутна призма	Кубооктаедр	Ромбокубо- октаедр	Ромбоікосо- додекаедр	Ромботри- шестикутна мозаїка[en]	Ромботри- семикутна мозаїка[en]

Два чотирисхилих куполи можуть бути з'єднані своїми восьмикутними основами в прямій орієнтації (поєднуються однойменні бокові грані); отримаємо багатогранник Джонсона J₂₇ — чотириcхилий прямий бікупол^[en]. Якщо один з куполів повернути на 45º, то отримаємо багатогранник Джонсона J₂₉ - чотириcхилий повернутий бікупол^[en].

Також чотирисхилий купол можна з'єднати з восьмикутною призмою, та восьмикутною антипризмою, утворивши при цьому багатогранники Джонсона J₁₉ (Подовжений чотирисхилий купол), та J₂₃ (Скручений подовжений чотирисхилий купол).

Якщо до останніх двох приєднати ще один квадратний купол, отримаємо ромбокубооктаедр, або багатогранники Джонсона — Подовжений чотирисхилий повернутий бікупол (J₃₇), Скручений подовжений чотирисхилий бікупол (J₄₅).

Чотирисхилий прямий бікупол	Чотирисхилий повернутий бікупол	Подовжений чотирисхилий купол	Скручений подовжений чотирисхилий купол	Подовжений чотирисхилий повернутий бікупол	Скручений подовжений чотирисхилий бікупол

Схрещений квадратний купол^[en] — один з неопуклих ізоморфів багатогранників Джонсона, топологічно ідентичний квадратному куполу.

Його можна отримати як зріз неопуклого великого ромбокубооктаедра^[en] або квазіромбокубооктаедра, аналогічно тому, як квадратний купол можна отримати як зріз ромбокубооктаедра. Як і в усіх куполах, багатокутник основи має вдвічі більше ребер і вершин, ніж верхній багатокутник; у цьому випадку багатокутник основи є октаграмою.

Його можна розглядати як купол із ретроградною квадратною основою, побудований, на відміну від квадратного купола, так що квадратні та трикутні грані з’єднують основи, перетинаючись один з одним.

Чотирисхилий купол у комбінації з деякими багатогранниками утворює неоднорідні стільники, якими можна заповнити простір.

Заповнити трьохвимірний простір без проміжків та накладень можна за допомогою:^[5]

1. Квадратних куполів та правильних тетраедрів;
2. Квадратних куполів, кубів та кубоктаедрів;
3. Квадратних куполів, квадратних пірамід (J₁), тетраедрів, а також кубом, подовженою квадратною пірамідою (J₈), подовженою квадратною біпірамідою (J₁₅), або їх комбінаціями.

• Norman W. Johnson^[en]. Convex Solids with Regular Faces // Canadian Journal of Mathematics. — 1966. — Т. 18. — ISSN 0008-414X. — DOI:10.4153/CJM-1966-021-8. (Містить оригінальне перерахування 92 тіл і гіпотезу, що інших немає.)
• Залгаллер В. А. Выпуклые многогранники с правильными гранями. — М.—Л. : Наука, 1967. — Т. 2. — 221 с. — (Зап. научн. сем. ЛОМИ) (Перший доказ, що існує тільки 92 тіл Джонсона.)

• Weisstein, Eric W. Квадратний купол(англ.) на сайті Wolfram MathWorld.
• Polytope Wiki.Square_cupola
• McCooey, David.Square Cupola
• Klitzing, Richard. "squacu".
• Quickfur. "The Square Cupola"