Dan's got it. (Why am I not surprised?) Putting it succinctly: At each vertex of the tetrahedron, record the solid angle between the (outward-going) vectors perpendicular to the three faces that meet at that vertex. These four solid angles sum to 4 pi. Indeed, if you transport those vectors so that their tails are at the origin, you can see that those solid angles partition the sphere. So now, the next time anyone asks you for "the" 3D analogue of the sum-of-the-angles-of-a-triangle theorem, you, like Polya, can respond instantly. This theorem generalizes to n-dimensional space, for all n. (It's worthwhile taking a few seconds to consider the case n=2, to see how it compares with (a) the familiar fact about the sum of the interior angles of a triangle, and (b) the "baby Gauss-Bonnet" formula that says that as you go around a triangle, the total turning-angle is 2 pi.) Jim Propp On Mon, May 25, 2015 at 5:35 PM, Dan Asimov <dasimov@earthlink.net> wrote:
For a convex closed surface K in space, there is a possibly-multivalued map
f: K -> S^2
to the unit sphere given by each point p of K is sent to the set of points of S^2 representing directions that are outward normal to the set of affine hyperplanes in space that intersect K in the point p (and possibly others), but that intersect no interior points of K.
By pulling back the area measure dA from S^2 via f, this defines a measure
mu = f*(dA) on K,
and the total measure
mu(K) = area(S^2) = 4pi.
When K is a convex polyhedron, this measure mu is concentrated at the vertices. At each vertex v, mu({v}) is equal to the solid angle subtended by the cone dual to the local cone of K around v. (I.e., dual to the cone that is the union of the faces of K containing v — the set of lines that are "perpendicular" at the points of a small simple closed curve about v to the faces containing v, interpolating in the obvious way across edges.)
This whole thing may also be thought of as the limit of the Gauss-Bonnet theorem applied to increasingly good approximations to K by smooth surfaces.
——Dan
On May 25, 2015, at 11:09 AM, James Propp <jamespropp@gmail.com> wrote:
How many of you already know (or can figure out) what four solid angles associated with a general tetrahedron add up to 4 pi?
I've been told that George Polya, when asked, replied with the correct answer instantly (it was part of his geometric toolkit), but that few of his contemporaries, when polled in an informal survey, were aware of this three-dimensional analogue of the familiar fact about the angles of a triangle summing to pi. I'm guessing that things haven't changed much in the intervening half-century.
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun