Is it possible?

Geometry Level 2

Is it possible to place 5 mutually equidistant points in a 3-dimensional space?

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

True Learner
Dec 2, 2015

A maximum of n+1 mutually equidistant objects can be placed in a n-dimensional space.

Indeed! Could you share an explanation of why this is true?

Eli Ross Staff - 5 years, 6 months ago

Log in to reply

Suppose you have k + 1 k+1 points. Make your axes such that one of the points is on the origin and represent the other points with the vectors v 1 , . . . , v k \vec{v}_1,...,\vec{v}_k . We shall show that for all k + 1 k+1 points to be equidistant to each other, we must have that the vectors v i \vec{v}_i must all be linearly independent and therefore the dimension must be at least k k .

Let the common distance between the points be d d . Since all the points are equidistant to each other, we have that

v i 2 = d 2 ||\vec{v}_i||^2=d^2

and

v i v j 2 = d 2 ||\vec{v}_i-\vec{v}_j||^2=d^2

for all i j i\neq j . Expanding the second equation we get

v i 2 + v j 2 2 v i v j = d 2 ||\vec{v}_i||^2+||\vec{v}_j||^2-2\vec{v}_i\cdot\vec{v}_j = d^2

and plugging in the first equation we get the result

v i v j = d 2 2 \vec{v}_i \cdot \vec{v}_j = \frac{d^2}{2} .

Now assume for the sake of contradiction that the vectors are not linearly independent and order them in such a way that you have

v k = i = 1 k 1 a i v i \vec{v}_k = \sum_{i=1}^{k-1} a_i \vec{v}_i .

Also, let

C = d 2 2 i = 1 k 1 a i C=\frac{d^2}{2} \sum_{i=1}^{k-1}a_i .

Now we try to see how these constraints affect the coefficients of v k \vec{v}_k . Computing the dot product we get

v k v j = C + d 2 2 a j \vec{v}_k \cdot \vec{v}_j = C + \frac{d^2}{2}a_j

by distributing the dot product though the sum and using the equations for length and dot product above. This dot product also has to equal d 2 2 \frac{d^2}{2} for all j j , so in particular for j j j \neq j' , we must have that

C + d 2 2 a j = C + d 2 2 a j C+\frac{d^2}{2} a_j = C + \frac{d^2}{2} a_{j'}

a i = a j \Rightarrow a_i = a_{j'} .

Solving for the coefficients yields

v k = 1 k i = 1 k 1 v i \vec{v}_k = \frac{1}{k} \sum_{i=1}^{k-1} \vec{v}_i .

However, this implies that

v k 2 = 1 k 2 ( ( k 1 ) d 2 + ( k 1 ) ( k 2 ) d 2 2 ) = d 2 k 1 2 k < d 2 ||\vec{v}_k||^2 = \frac{1}{k^2} \left( (k-1) d^2 + (k-1)(k-2) \frac{d^2}{2} \right) = d^2 \cdot \frac{k-1}{2k} < d^2

which is a contradiction! Therefore we must have that in n n dimensions at most n + 1 n+1 points can be equidistant from each other.

Afternote: We gave an upper bound on the number of points allowed, but it turns out that this bound is tight because you can build up a set of n + 1 n+1 equidistant points in n n dimensions in the following way. For simplicity, let the common distance be 1. Start with the origin. Suppose you have done this process for the first k 1 k-1 dimensions and have built up k k points (including the origin) that are equidistant and only have non-zero coordinates in the first k 1 k-1 dimensions. Let v k = 1 k i = 1 k 1 v i + 1 k 1 2 k e k \vec{v}_k = \frac{1}{k}\sum_{i=1}^{k-1}\vec{v}_i + \sqrt{1- \frac{k-1}{2k}} \vec{e}_k , where e k \vec{e}_k is a unit vector in the k k th dimension. This new vector is equidistant from all the other vectors (because it is the same as the construction above with an extra term that is perpendicular to every other vector so it doesn't change the dot products), and it is also the right distance away from the origin because that's how the coefficient of the last term was selected. Therefore we keep doing this process and will eventually get a set of n + 1 n+1 points in n n dimensions that are equidistant from each other.

Rodrigo Paniza - 5 years, 6 months ago

Its easy to look on nature. No structures of chemistry contains this. So its impossible.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...