Re: [math-fun] Find a polyhedron with all vertices on its circumsphere, but without all faces touching its insphere
And don't forget poor bastard "Archimedean 14" In[208]:= PolyhedronData[{"Johnson", 37}, "Name"] Out[208]= "elongated square gyrobicupola" (Why should I have to retype this?) In[202]:= Norm@Mean@# &@ PolyhedronData["ElongatedSquareGyrobicupola", "Vertices"][[#]] & /@ PolyhedronData["ElongatedSquareGyrobicupola", "Faces"] // FullSimplify // DeleteDuplicates Out[202]= {1/2 + 1/Sqrt[2], Sqrt[11/12 + 1/Sqrt[2]]} In[203]:= Min@% Out[203]= 1/2 + 1/Sqrt[2] In[200]:= PolyhedronData["ElongatedSquareGyrobicupola", "Inradius"] Out[200]= Missing["NotAvailable"] (Yoohoo, wri support!) —rwg On 2019-05-27 14:55, Tom Karzes wrote:
Actually, I believe *all* Archimedean solids satisty the condition (note that they exclude the Platonic solids).
All vertices in an Archimedean solid are the same distance from the center of the polyhedron. There are at least two different polygons among the faces, and only the largest of them will touch the insphere.
Tom
Tom Karzes writes:
There are lots of solutions to this. Any elongated prism will work. The insphere is not unique, but it can be made unique by tapering one end, forcing the insphere to the other end. The smallest is a triangular prism, with 5 faces. You can taper one end if you want to force a unique insphere. The face at the smaller end doesn't touch it.
A specific instance of this is a tetrahedron with one truncated vertex. Just snip a tiny piece off of one vertex, leaving a little triangle that's parallel to the opposite face. The result is a 5-sided tapered triangular prism that satisfies the condition.
More symmetrical, albeit larger, solutions can also be found. For instance, almost any Archimedean solid will work. All vertices are the same, so they all touch the circumsphere. But the faces differ, and in most cases some faces have their center closer to the center of the polyhedron than others, so only those faces touch the insphere.
Example: a truncated tetrahedron (3.6.6). This has 8 faces (4 hexagons and 4 triangles). Only the hexagons touch the insphere:
http://www.karzes.com/polyhedra/polyhedron.html?ph=3.6.6
As I said, I believe most of the other Archimedean solids work as well.
Tom
Andy Latto writes:
Or simpler, just take any rectangular prism that is not a cube. Works in two dimensions too.
Andy
On Mon, May 27, 2019, 03:52 Dan Asimov <dasimov@earthlink.net> wrote:
There is one with 6 faces, anyhow.
(Far below if you want to try to find one without spoilage.)
—Dan
...
Let T be a skinny isosceles triangle with apex A.
Let the polyhedron P be the result of truncating [the product T x [0, 1] of T with the unit interval] by cutting off a neighborhood N of {A} x [0, 1], thereby creating a new face — a skinny rectangle R.
Then P has all 8 of its vertices on its circumsphere C. But clearly C would not touch the rectangle R if N is small enough.
—Dan
Nice! I think the inradius should be the same as that of a rhombicuboctahedron. Tom Bill Gosper writes:
And don't forget poor bastard "Archimedean 14" In[208]:= PolyhedronData[{"Johnson", 37}, "Name"]
Out[208]= "elongated square gyrobicupola"
(Why should I have to retype this?)
In[202]:= Norm@Mean@# &@ PolyhedronData["ElongatedSquareGyrobicupola", "Vertices"][[#]] & /@ PolyhedronData["ElongatedSquareGyrobicupola", "Faces"] // FullSimplify // DeleteDuplicates
Out[202]= {1/2 + 1/Sqrt[2], Sqrt[11/12 + 1/Sqrt[2]]}
In[203]:= Min@%
Out[203]= 1/2 + 1/Sqrt[2]
In[200]:= PolyhedronData["ElongatedSquareGyrobicupola", "Inradius"]
Out[200]= Missing["NotAvailable"]
(Yoohoo, wri support!) —rwg
On 2019-05-27 14:55, Tom Karzes wrote:
Actually, I believe *all* Archimedean solids satisty the condition (note that they exclude the Platonic solids).
All vertices in an Archimedean solid are the same distance from the center of the polyhedron. There are at least two different polygons among the faces, and only the largest of them will touch the insphere.
Tom
Tom Karzes writes:
There are lots of solutions to this. Any elongated prism will work. The insphere is not unique, but it can be made unique by tapering one end, forcing the insphere to the other end. The smallest is a triangular prism, with 5 faces. You can taper one end if you want to force a unique insphere. The face at the smaller end doesn't touch it.
A specific instance of this is a tetrahedron with one truncated vertex. Just snip a tiny piece off of one vertex, leaving a little triangle that's parallel to the opposite face. The result is a 5-sided tapered triangular prism that satisfies the condition.
More symmetrical, albeit larger, solutions can also be found. For instance, almost any Archimedean solid will work. All vertices are the same, so they all touch the circumsphere. But the faces differ, and in most cases some faces have their center closer to the center of the polyhedron than others, so only those faces touch the insphere.
Example: a truncated tetrahedron (3.6.6). This has 8 faces (4 hexagons and 4 triangles). Only the hexagons touch the insphere:
http://www.karzes.com/polyhedra/polyhedron.html?ph=3.6.6
As I said, I believe most of the other Archimedean solids work as well.
Tom
Andy Latto writes:
Or simpler, just take any rectangular prism that is not a cube. Works in two dimensions too.
Andy
On Mon, May 27, 2019, 03:52 Dan Asimov <dasimov@earthlink.net> wrote:
There is one with 6 faces, anyhow.
(Far below if you want to try to find one without spoilage.)
—Dan
...
Let T be a skinny isosceles triangle with apex A.
Let the polyhedron P be the result of truncating [the product T x [0, 1] of T with the unit interval] by cutting off a neighborhood N of {A} x [0, 1], thereby creating a new face — a skinny rectangle R.
Then P has all 8 of its vertices on its circumsphere C. But clearly C would not touch the rectangle R if N is small enough.
—Dan
participants (2)
-
Bill Gosper -
Tom Karzes