Proof for Close Packing of Congruent Identical Spheres

  • A
  • Thread starter fizixfan
  • Start date
  • #1
105
30

Main Question or Discussion Point

I developed two algorithms for calculating the density of close packed congruent identical spheres in two different arrangements:
  • A tetrahedron with four equilateral triangular faces, and
  • A square pyramid with a square base and four equilateral triangular faces, as shown below.

tetrahedral ball stack w- n=3.jpg

Figure 1. Tetrahedral ball stack.
pyramidal ball stack.jpg

Figure 2. Square pyramidal ball stack.

Here are the Excel-friendly algorithms (n = number of spheres along bottom row):

Density of Tetrahedral Stack (Dt):

Dt = (4*(2^0.5)*n*(n+1)*(n+2)*Pi())/(3*(2*n+2*3^0.5-2)^3 or

Dt equation.jpg
(1)

Density of Square Pyramidal Stack (Dp):

Dp = ( n*(1+n)*(1+2*n)*Pi())/(3*((1+(2^0.5*n)))^3) or

Dp equation.jpg
(2)

I found that, as the number of spheres approaches infinity for both arrangements, that Dt = Dp = ≈ 0.74048... or π/√18.

I resorted to Wolfram Alpha with the following query:

Dt limit.jpg
=
Dp limit.jpg
(3)

and got the following result:

Wolfram Proof RTC = SPC.jpg
(4)

True!

I then forwarded my calculations to Dr. Thomas C. Hales, who proved the Kepler Conjecture, asking him if Dt = Dp was correct, and he responded, saying,

"The reason for the equal densities in a tetrahedron and square pyramid is that they can both be viewed as part of the face-centered-cubic packing, each with a different set of exposed facets."

My question to you is this: can you provide a detailed proof that (1) = (2) as n→∞, i.e., that
Dt equals Dp.jpg
is true?


Thanks for any input!

Fizixfan.
 

Answers and Replies

  • #2
12,934
9,581
You get the equality of the limits by calculating the coefficients of the highest power ##3## of ##n##. It is sufficient to see that
$$\frac{2 \pi n^3}{3 \cdot \sqrt{2}^3 n^3} = \frac{4 \pi \sqrt{2} n^3}{3 \cdot 2^3 \cdot n^3}$$
because all other terms don't grow as fast (and division of the complete fractions by ##n^3## (nominator and denominator) gives ##\frac{1}{n}## terms which become zero at infinity).
 
  • Like
Likes fizixfan

Related Threads on Proof for Close Packing of Congruent Identical Spheres

Replies
3
Views
763
Replies
6
Views
1K
Replies
4
Views
4K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
3
Views
9K
  • Last Post
Replies
2
Views
4K
  • Last Post
Replies
7
Views
4K
Replies
1
Views
506
  • Last Post
Replies
24
Views
14K
Top