Neighboring solids in tetrahedral-octahedral honeycombSpace-filling polyhedra (or honeycomb) survey?Platonic SolidsSymmetries of Archimedean Solidswhy aren't prisms archimedian solids?What honeycomb has the highest volume to edge length ratio?trying to grasp disphenoid tetrahedral honeycomb, what are the dihedral angles?What is the analogon of the hexagonal grid in 3-dimensional space? Rhombic dodecahedral honeycomb?The 30 tetrahedral ring in the 600 cell16-cell honeycomb (4D cross-polytope tesselation)3D solids of constant width from platonic solids
What is the word for reserving something for yourself before others do?
Did Shadowfax go to Valinor?
RSA: Danger of using p to create q
What's the point of deactivating Num Lock on login screens?
How to move a thin line with the black arrow in Illustrator?
What does the "remote control" for a QF-4 look like?
Arrow those variables!
How can bays and straits be determined in a procedurally generated map?
How much of data wrangling is a data scientist's job?
Horror movie about a virus at the prom; beginning and end are stylized as a cartoon
Can a vampire attack twice with their claws using Multiattack?
Languages that we cannot (dis)prove to be Context-Free
Cross compiling for RPi - error while loading shared libraries
Rock identification in KY
How to format long polynomial?
Do infinite dimensional systems make sense?
When a company launches a new product do they "come out" with a new product or do they "come up" with a new product?
How can I prevent hyper evolved versions of regular creatures from wiping out their cousins?
Why doesn't H₄O²⁺ exist?
Is it legal for company to use my work email to pretend I still work there?
Theorems that impeded progress
Does detail obscure or enhance action?
How does one intimidate enemies without having the capacity for violence?
Revoked SSL certificate
Neighboring solids in tetrahedral-octahedral honeycomb
Space-filling polyhedra (or honeycomb) survey?Platonic SolidsSymmetries of Archimedean Solidswhy aren't prisms archimedian solids?What honeycomb has the highest volume to edge length ratio?trying to grasp disphenoid tetrahedral honeycomb, what are the dihedral angles?What is the analogon of the hexagonal grid in 3-dimensional space? Rhombic dodecahedral honeycomb?The 30 tetrahedral ring in the 600 cell16-cell honeycomb (4D cross-polytope tesselation)3D solids of constant width from platonic solids
$begingroup$
In the tetrahedral-octahedral honeycomb, each vertex seems to be incident to 6 octahedra and 8 tetrahedra:
Such simple combinatorial fact is probably well-known, or perhaps even obvious. However, coming from a different field, I struggle to justify it mathematically. I thought perhaps one can read this from the Schläfli symbols notation or the Coxeter diagram, but did not succeed at that.
How would one go at arriving at this result if one does not want to use the rigorous method of counting colorful solids in a Wikipedia picture?
geometry polyhedra solid-geometry tiling tessellations
$endgroup$
add a comment |
$begingroup$
In the tetrahedral-octahedral honeycomb, each vertex seems to be incident to 6 octahedra and 8 tetrahedra:
Such simple combinatorial fact is probably well-known, or perhaps even obvious. However, coming from a different field, I struggle to justify it mathematically. I thought perhaps one can read this from the Schläfli symbols notation or the Coxeter diagram, but did not succeed at that.
How would one go at arriving at this result if one does not want to use the rigorous method of counting colorful solids in a Wikipedia picture?
geometry polyhedra solid-geometry tiling tessellations
$endgroup$
add a comment |
$begingroup$
In the tetrahedral-octahedral honeycomb, each vertex seems to be incident to 6 octahedra and 8 tetrahedra:
Such simple combinatorial fact is probably well-known, or perhaps even obvious. However, coming from a different field, I struggle to justify it mathematically. I thought perhaps one can read this from the Schläfli symbols notation or the Coxeter diagram, but did not succeed at that.
How would one go at arriving at this result if one does not want to use the rigorous method of counting colorful solids in a Wikipedia picture?
geometry polyhedra solid-geometry tiling tessellations
$endgroup$
In the tetrahedral-octahedral honeycomb, each vertex seems to be incident to 6 octahedra and 8 tetrahedra:
Such simple combinatorial fact is probably well-known, or perhaps even obvious. However, coming from a different field, I struggle to justify it mathematically. I thought perhaps one can read this from the Schläfli symbols notation or the Coxeter diagram, but did not succeed at that.
How would one go at arriving at this result if one does not want to use the rigorous method of counting colorful solids in a Wikipedia picture?
geometry polyhedra solid-geometry tiling tessellations
geometry polyhedra solid-geometry tiling tessellations
asked Mar 29 at 10:24
DahnDahn
2,44311938
2,44311938
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
You can check that solid angles of those polyhedra add up to $4pi$. We have (see here for details):
$$
Omega_tetr=2pi-6arcsinsqrt2over3,
quad
Omega_oct=2pi-8arcsinsqrt1over3.
$$
Hence, when 6 octahedra and 8 tetrahedra meet at a vertex, they cover a solid angle given by:
$$
Omega_tot=8Omega_tetr+6Omega_oct=
28pi-48left(arcsinsqrt2over3+arcsinsqrt1over3right).
$$
But the angles between parentheses are complementary (the squares of their sines add up to $1$), hence:
$$
Omega_tot=28pi-48piover2=4pi.
$$
$endgroup$
add a comment |
$begingroup$
From the Wikipedia page referred to in the question:
For an alternated cubic honeycomb, with edges parallel to the axes and with an edge length of $1$, the Cartesian coordinates of the vertices are: (For all integral values: $i,j,k$ with $i+j+k$ even)
$(i, j, k)$
In this construction of a tetrahedral-octahedral honeycomb, vertex $(i, j, k)$ is incident on $12$ edges, given by the $12$ vectors $(0, pm1,pm1)$, $(pm1, 0,pm1)$, $(pm1, pm1, 0)$, lying in the $3$ rectangular Cartesian coordinate planes meeting at $(i, j, k)$:
The $12$ vertices adjacent to $(i, j, k)$ are marked here in blue. The $6$ rectangular Cartesian coordinate semi-axes passing through $(i, j, k)$ are terminated by red dots, marking the centres of the $6$ octahedra incident on $(i, j, k)$.
Vertex $(i, j, k)$ is incident on $8$ cubes, of side length $1$, belonging to the underlying cubic honeycomb. In each of these cubes, $3$ edges of the tetrahedral-octahedral honeycomb extend diagonally across the $3$ faces of the cube meeting at $(i, j, k)$. The far ends of these $3$ diagonals, together with $(i, j, k)$ itself, constitute the vertices of one of the $8$ tetrahedra incident on $(i, j, k)$.
In the next diagram, I have shaded in the triangular faces of these tetrahedra opposite to vertex $(i, j, k)$:
In the next picture (taken from a different point of view), I have instead shaded in the square cross-sectional slices of the $6$ octahedra incident on $(i, j, k)$ (centred on the $6$ red dots in the first picture):
As can be seen from the last image, the $12$ vertices of the tetrahedral-octahedral honeycomb adjacent to vertex $(i, j, k)$ are the vertices of a cuboctahedron. For more information about this Archimedean solid, and for images of higher quality, see for example The cuboctahedron | Hexnet, or Cuboctahedron - Wikipedia.
From the Wikipedia page just referred to:
The Cartesian coordinates for the vertices of a cuboctahedron (of edge length $sqrt2$) centered at the origin are:
$$
beginarrayc
(pm1,pm1,0) \
(pm1,0,pm1) \
(0,pm1,pm1)
endarray
$$
which at least seems to confirm that I haven't misunderstood the construction.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3166977%2fneighboring-solids-in-tetrahedral-octahedral-honeycomb%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
You can check that solid angles of those polyhedra add up to $4pi$. We have (see here for details):
$$
Omega_tetr=2pi-6arcsinsqrt2over3,
quad
Omega_oct=2pi-8arcsinsqrt1over3.
$$
Hence, when 6 octahedra and 8 tetrahedra meet at a vertex, they cover a solid angle given by:
$$
Omega_tot=8Omega_tetr+6Omega_oct=
28pi-48left(arcsinsqrt2over3+arcsinsqrt1over3right).
$$
But the angles between parentheses are complementary (the squares of their sines add up to $1$), hence:
$$
Omega_tot=28pi-48piover2=4pi.
$$
$endgroup$
add a comment |
$begingroup$
You can check that solid angles of those polyhedra add up to $4pi$. We have (see here for details):
$$
Omega_tetr=2pi-6arcsinsqrt2over3,
quad
Omega_oct=2pi-8arcsinsqrt1over3.
$$
Hence, when 6 octahedra and 8 tetrahedra meet at a vertex, they cover a solid angle given by:
$$
Omega_tot=8Omega_tetr+6Omega_oct=
28pi-48left(arcsinsqrt2over3+arcsinsqrt1over3right).
$$
But the angles between parentheses are complementary (the squares of their sines add up to $1$), hence:
$$
Omega_tot=28pi-48piover2=4pi.
$$
$endgroup$
add a comment |
$begingroup$
You can check that solid angles of those polyhedra add up to $4pi$. We have (see here for details):
$$
Omega_tetr=2pi-6arcsinsqrt2over3,
quad
Omega_oct=2pi-8arcsinsqrt1over3.
$$
Hence, when 6 octahedra and 8 tetrahedra meet at a vertex, they cover a solid angle given by:
$$
Omega_tot=8Omega_tetr+6Omega_oct=
28pi-48left(arcsinsqrt2over3+arcsinsqrt1over3right).
$$
But the angles between parentheses are complementary (the squares of their sines add up to $1$), hence:
$$
Omega_tot=28pi-48piover2=4pi.
$$
$endgroup$
You can check that solid angles of those polyhedra add up to $4pi$. We have (see here for details):
$$
Omega_tetr=2pi-6arcsinsqrt2over3,
quad
Omega_oct=2pi-8arcsinsqrt1over3.
$$
Hence, when 6 octahedra and 8 tetrahedra meet at a vertex, they cover a solid angle given by:
$$
Omega_tot=8Omega_tetr+6Omega_oct=
28pi-48left(arcsinsqrt2over3+arcsinsqrt1over3right).
$$
But the angles between parentheses are complementary (the squares of their sines add up to $1$), hence:
$$
Omega_tot=28pi-48piover2=4pi.
$$
edited Mar 30 at 16:59
answered Mar 30 at 14:53
AretinoAretino
25.8k31545
25.8k31545
add a comment |
add a comment |
$begingroup$
From the Wikipedia page referred to in the question:
For an alternated cubic honeycomb, with edges parallel to the axes and with an edge length of $1$, the Cartesian coordinates of the vertices are: (For all integral values: $i,j,k$ with $i+j+k$ even)
$(i, j, k)$
In this construction of a tetrahedral-octahedral honeycomb, vertex $(i, j, k)$ is incident on $12$ edges, given by the $12$ vectors $(0, pm1,pm1)$, $(pm1, 0,pm1)$, $(pm1, pm1, 0)$, lying in the $3$ rectangular Cartesian coordinate planes meeting at $(i, j, k)$:
The $12$ vertices adjacent to $(i, j, k)$ are marked here in blue. The $6$ rectangular Cartesian coordinate semi-axes passing through $(i, j, k)$ are terminated by red dots, marking the centres of the $6$ octahedra incident on $(i, j, k)$.
Vertex $(i, j, k)$ is incident on $8$ cubes, of side length $1$, belonging to the underlying cubic honeycomb. In each of these cubes, $3$ edges of the tetrahedral-octahedral honeycomb extend diagonally across the $3$ faces of the cube meeting at $(i, j, k)$. The far ends of these $3$ diagonals, together with $(i, j, k)$ itself, constitute the vertices of one of the $8$ tetrahedra incident on $(i, j, k)$.
In the next diagram, I have shaded in the triangular faces of these tetrahedra opposite to vertex $(i, j, k)$:
In the next picture (taken from a different point of view), I have instead shaded in the square cross-sectional slices of the $6$ octahedra incident on $(i, j, k)$ (centred on the $6$ red dots in the first picture):
As can be seen from the last image, the $12$ vertices of the tetrahedral-octahedral honeycomb adjacent to vertex $(i, j, k)$ are the vertices of a cuboctahedron. For more information about this Archimedean solid, and for images of higher quality, see for example The cuboctahedron | Hexnet, or Cuboctahedron - Wikipedia.
From the Wikipedia page just referred to:
The Cartesian coordinates for the vertices of a cuboctahedron (of edge length $sqrt2$) centered at the origin are:
$$
beginarrayc
(pm1,pm1,0) \
(pm1,0,pm1) \
(0,pm1,pm1)
endarray
$$
which at least seems to confirm that I haven't misunderstood the construction.
$endgroup$
add a comment |
$begingroup$
From the Wikipedia page referred to in the question:
For an alternated cubic honeycomb, with edges parallel to the axes and with an edge length of $1$, the Cartesian coordinates of the vertices are: (For all integral values: $i,j,k$ with $i+j+k$ even)
$(i, j, k)$
In this construction of a tetrahedral-octahedral honeycomb, vertex $(i, j, k)$ is incident on $12$ edges, given by the $12$ vectors $(0, pm1,pm1)$, $(pm1, 0,pm1)$, $(pm1, pm1, 0)$, lying in the $3$ rectangular Cartesian coordinate planes meeting at $(i, j, k)$:
The $12$ vertices adjacent to $(i, j, k)$ are marked here in blue. The $6$ rectangular Cartesian coordinate semi-axes passing through $(i, j, k)$ are terminated by red dots, marking the centres of the $6$ octahedra incident on $(i, j, k)$.
Vertex $(i, j, k)$ is incident on $8$ cubes, of side length $1$, belonging to the underlying cubic honeycomb. In each of these cubes, $3$ edges of the tetrahedral-octahedral honeycomb extend diagonally across the $3$ faces of the cube meeting at $(i, j, k)$. The far ends of these $3$ diagonals, together with $(i, j, k)$ itself, constitute the vertices of one of the $8$ tetrahedra incident on $(i, j, k)$.
In the next diagram, I have shaded in the triangular faces of these tetrahedra opposite to vertex $(i, j, k)$:
In the next picture (taken from a different point of view), I have instead shaded in the square cross-sectional slices of the $6$ octahedra incident on $(i, j, k)$ (centred on the $6$ red dots in the first picture):
As can be seen from the last image, the $12$ vertices of the tetrahedral-octahedral honeycomb adjacent to vertex $(i, j, k)$ are the vertices of a cuboctahedron. For more information about this Archimedean solid, and for images of higher quality, see for example The cuboctahedron | Hexnet, or Cuboctahedron - Wikipedia.
From the Wikipedia page just referred to:
The Cartesian coordinates for the vertices of a cuboctahedron (of edge length $sqrt2$) centered at the origin are:
$$
beginarrayc
(pm1,pm1,0) \
(pm1,0,pm1) \
(0,pm1,pm1)
endarray
$$
which at least seems to confirm that I haven't misunderstood the construction.
$endgroup$
add a comment |
$begingroup$
From the Wikipedia page referred to in the question:
For an alternated cubic honeycomb, with edges parallel to the axes and with an edge length of $1$, the Cartesian coordinates of the vertices are: (For all integral values: $i,j,k$ with $i+j+k$ even)
$(i, j, k)$
In this construction of a tetrahedral-octahedral honeycomb, vertex $(i, j, k)$ is incident on $12$ edges, given by the $12$ vectors $(0, pm1,pm1)$, $(pm1, 0,pm1)$, $(pm1, pm1, 0)$, lying in the $3$ rectangular Cartesian coordinate planes meeting at $(i, j, k)$:
The $12$ vertices adjacent to $(i, j, k)$ are marked here in blue. The $6$ rectangular Cartesian coordinate semi-axes passing through $(i, j, k)$ are terminated by red dots, marking the centres of the $6$ octahedra incident on $(i, j, k)$.
Vertex $(i, j, k)$ is incident on $8$ cubes, of side length $1$, belonging to the underlying cubic honeycomb. In each of these cubes, $3$ edges of the tetrahedral-octahedral honeycomb extend diagonally across the $3$ faces of the cube meeting at $(i, j, k)$. The far ends of these $3$ diagonals, together with $(i, j, k)$ itself, constitute the vertices of one of the $8$ tetrahedra incident on $(i, j, k)$.
In the next diagram, I have shaded in the triangular faces of these tetrahedra opposite to vertex $(i, j, k)$:
In the next picture (taken from a different point of view), I have instead shaded in the square cross-sectional slices of the $6$ octahedra incident on $(i, j, k)$ (centred on the $6$ red dots in the first picture):
As can be seen from the last image, the $12$ vertices of the tetrahedral-octahedral honeycomb adjacent to vertex $(i, j, k)$ are the vertices of a cuboctahedron. For more information about this Archimedean solid, and for images of higher quality, see for example The cuboctahedron | Hexnet, or Cuboctahedron - Wikipedia.
From the Wikipedia page just referred to:
The Cartesian coordinates for the vertices of a cuboctahedron (of edge length $sqrt2$) centered at the origin are:
$$
beginarrayc
(pm1,pm1,0) \
(pm1,0,pm1) \
(0,pm1,pm1)
endarray
$$
which at least seems to confirm that I haven't misunderstood the construction.
$endgroup$
From the Wikipedia page referred to in the question:
For an alternated cubic honeycomb, with edges parallel to the axes and with an edge length of $1$, the Cartesian coordinates of the vertices are: (For all integral values: $i,j,k$ with $i+j+k$ even)
$(i, j, k)$
In this construction of a tetrahedral-octahedral honeycomb, vertex $(i, j, k)$ is incident on $12$ edges, given by the $12$ vectors $(0, pm1,pm1)$, $(pm1, 0,pm1)$, $(pm1, pm1, 0)$, lying in the $3$ rectangular Cartesian coordinate planes meeting at $(i, j, k)$:
The $12$ vertices adjacent to $(i, j, k)$ are marked here in blue. The $6$ rectangular Cartesian coordinate semi-axes passing through $(i, j, k)$ are terminated by red dots, marking the centres of the $6$ octahedra incident on $(i, j, k)$.
Vertex $(i, j, k)$ is incident on $8$ cubes, of side length $1$, belonging to the underlying cubic honeycomb. In each of these cubes, $3$ edges of the tetrahedral-octahedral honeycomb extend diagonally across the $3$ faces of the cube meeting at $(i, j, k)$. The far ends of these $3$ diagonals, together with $(i, j, k)$ itself, constitute the vertices of one of the $8$ tetrahedra incident on $(i, j, k)$.
In the next diagram, I have shaded in the triangular faces of these tetrahedra opposite to vertex $(i, j, k)$:
In the next picture (taken from a different point of view), I have instead shaded in the square cross-sectional slices of the $6$ octahedra incident on $(i, j, k)$ (centred on the $6$ red dots in the first picture):
As can be seen from the last image, the $12$ vertices of the tetrahedral-octahedral honeycomb adjacent to vertex $(i, j, k)$ are the vertices of a cuboctahedron. For more information about this Archimedean solid, and for images of higher quality, see for example The cuboctahedron | Hexnet, or Cuboctahedron - Wikipedia.
From the Wikipedia page just referred to:
The Cartesian coordinates for the vertices of a cuboctahedron (of edge length $sqrt2$) centered at the origin are:
$$
beginarrayc
(pm1,pm1,0) \
(pm1,0,pm1) \
(0,pm1,pm1)
endarray
$$
which at least seems to confirm that I haven't misunderstood the construction.
answered Mar 31 at 1:09
Calum GilhooleyCalum Gilhooley
5,119730
5,119730
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3166977%2fneighboring-solids-in-tetrahedral-octahedral-honeycomb%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown