Thursday, November 17, 2011

Math Problem: Evenly spaced points on a sphere - Part 3

Continued from Part 2

Let’s try to find a way to systematically divide the triangles on a sphere into smaller triangles in such a way that the resulting triangles are as evenly spaced as possible, starting with either a tetrahedron, an octahedron, or an icosahedron. One thing we can do is place a new point in the center of each triangle. This is called a Kleetope. It is not possible to create a distribution of points that is as evenly spaced as possible by producing successive Kleeptopes because the resulting triangles will become less and less like equilateral triangles. Some points will be very close to each other and other points will be further apart.

original triangle   subdivided once by threes   subdivided twice by threes

Another thing we can do is split each triangle into four triangles by placing new points at the midpoint of each triangle edge.

original triangle   subdivided once by fours   subdivided twice by fours

When you subdivide a triangle into four triangles on the surface of a sphere, the four triangles are not all the same size. The center one is larger. But as you keep subdividing and the triangles get smaller, the curvature of the sphere makes less and less of a difference and the size of the subdivided triangles become more uniform. So if you can show that a set of points after some number of subdivisions are as evenly spaced as possible, then further subdivisions will also be as evenly spaced as possible. Let’s find the size of the center triangle after subdividing.

triangle with labels

Use the spherical law of cosines twice, once for the bigger triangle, and once for the smaller triangle. We’ll assume the radius of the sphere is 1.

cos(x) = cos(a)^2 + sin(a)^2 cos(t)

cos(2 a) = cos(2 a)^2 + sin(2 a)^2 cos(t)

Solve for cos(t).

cos(t) = ( cos(2 a) - cos(2 a)^2 ) / sin(2 a)^2

Try to simplify using the pythagorean trigonometric identity and the double angle formula.

cos(t) =

cos(t) =

Substitute for cos(t) in the smaller triangle.

cos(x) =

cos(x) =

cos(x) =

cos(x) = ( 3 cos(a)^2 - 1 ) / ( 2 cos(a)^2 )

When the big triangle (2 a) is very small, x is barely bigger than a. When 2 a is 2 pi / 9 (or 40°), x is about 5% bigger than a. When 2 a is 4 pi / 9 (or 80°), x is about 24% bigger than a. Finally, when 2 a is 2 pi / 3 (or 120°), x is twice the size of a, which is the same size as the original triangle. This is the case when the three original points are all evenly spaced around the equator, and the three new points are placed on the midpoints, which are also on the equator.

My guess is that you could take a tetrahedron, an octahedron, or an icosahedron, and iteratively split each triangle into four triangles, and you’d end up with an arrangement of points at each iteration that is as evenly spaced as it could be. Additionally, you could form the Kleeptope one time for each of these iterative arrangements and the arrangement of points would be as evenly spaced as they could be.

Iteratively splitting the tetrahedron

pointsedgesfacesdistance between adjacent points
464109.4712°
10241654.7356° and 90°
349664various


Forming the Kleetope for each iteration of the tetrahedron

pointsedgesfacesdistance between adjacent points
81812109.4712° and something
267248various
98288192various


Iteratively splitting the octahedron

pointsedgesfacesdistance between adjacent points
612890°
18483245° and 60°
66192128various


Forming the Kleetope for each iteration of the octahedron

pointsedgesfacesdistance between adjacent points
14362490° and something
5014496various
194576384various


Iteratively splitting the icosahedron

pointsedgesfacesdistance between adjacent points
12302063.435°
421208031.717° and 36°
162480320various


Forming the Kleetope for each iteration of the icosahedron

pointsedgesfacesdistance between adjacent points
32906063.435° and something
122360240various
4821440960various


So it looks like we can make a lot of arrangements of points that are probably as evenly spaced as possible, and we can make them larger and larger without limit.

However, it may not possible to mathematically specify an arrangement of points that is as evenly spaced as possible for any number of points n, because when n is a large prime, the optimal arrangement of points is probably unrelated to any patterns of points for any smaller n.