1
$\begingroup$

Is there an equation which would give me the radius of the smallest sphere containing a certain tetrahedron (no need to touch all vertices); given that I know the insphere, circumsphere radii and the longest edge of the tetrahedron.

For 2D example of a triangle: http://demonstrations.wolfram.com/CircumcircleAndIncircleOfATriangle/

  • 1
    Is this a regular tetrahedron?2012-06-12
  • 0
    No it's not, all the edges would be equal if it were.2012-06-12
  • 0
    The answer to the last sentence is no. Consider a "spire-shaped" tetrahedron with an equilateral base and a large altitude; the insphere is centered near the base, but the smallest enclosing sphere is centered about halfway up the altitude.2012-06-12
  • 0
    Then it should be the barycenter of the vertices?2012-06-12
  • 0
    If you want me to be notified of a comment, you need to put the syntax "@Rahul" somewhere in it. (You always get notified of comments on your own questions.) Anyway, think about it for a minute: does the barycenter of the vertices work for the example I just mentioned?2012-06-12
  • 0
    @RahulNarain ok ok you are right, I am impatiently brute forcing. Sorry about that.2012-06-12
  • 0
    By the way, you should be aware there are algorithms to compute the [smallest enclosing sphere](http://en.wikipedia.org/wiki/Smallest_circle_problem) of an arbitrary number of points in linear time. There's [a little more info in the comp.graphics.algorithms FAQ](http://cgafaq.info/wiki/Minimal_enclosing_sphere).2012-06-12
  • 0
    @RahulNarain My problem is a bit specific because I have the radii already computed and I want to constrain my upper bound without extra calculations. For instance if I put a sphere with a radius of the largest edge in the center of the insphere I am done. Yet I have a feeling that I might use the circumsphere radius to constrain better.2012-06-12
  • 0
    Sure, the minimum of the circumradius and $\sqrt{3/8}$ times the length of the longest edge is an upper bound on the radius of the minimal enclosing sphere.2012-06-12
  • 0
    Your edit conveys no information; any 4 points lie on a sphere.2012-06-12

1 Answers 1

1

Let $r_\min$ be the radius of the minimal enclosing sphere.

The circumradius is an upper bound on $r_\min$, because the circumsphere encloses the tetrahedron.

$\sqrt{3/8}$ times the length of the longest edge is an upper bound on $r_\min$, because for a given length $\ell$, the tetrahedron with the largest minimal enclosing sphere and no edge longer than $\ell$ is the regular tetrahedron of edge length $\ell$, and its circumradius is $\sqrt{3/8}\ell$.

Putting that together, the value $\min(r_{\text{circ}},\sqrt{3/8}\ell_\max)$ is an upper bound on $r_\min$.

I don't know how the inradius can be used to improve the bound. But I'm pretty sure all you can get are bounds; specifying the circumradius, length of longest edge, and inradius is not sufficient to uniquely specify a tetrahedron.

  • 0
    Thank you very much for your answer. Do you think I can infer something about the center of this minimal sphere based on the centers of the insphere and circumsphere centers which I already know?2012-06-13
  • 0
    @zamazalotta: I doubt it. Consider a flat "cap-shaped" tetrahedron with one large equilateral face, and the fourth vertex somewhere just slightly above that face. The circumcenter is way off near infinity, and the incenter is just underneath the fourth vertex, but the center of the minimal enclosing sphere is precisely the center of the large equilateral face and doesn't change as you move the fourth vertex.2012-06-13
  • 0
    @zamazalotta: In general, it's a good idea to check your intuition against the various kinds of "bad" tetrahedra that are possible. These are illustrated, for example, in Figure 54 of Edelsbrunner's "[Triangulations and meshes in computational geometry](http://www.cs.duke.edu/~edels/Publications/Surveys/)".2012-06-13
  • 0
    That is a really good article, thanks a lot. One thing that I observe in 2D is that if the diameter of CC is bigger than the largest edge, the center of CC is always outside the triangle. So if this hold for 3D may be I can use it to further constrain such tetrahedra2012-06-13