MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Project an n-simplex of side length $a$ on it's ($n-1$)-dimensional circumsphere by a ray starting at the center. Denote the images of the $n+1$ faces of dimension $n-1$ of the simplex by $A_1,\dots A_{n+1}$. Choose $a_i\in A_i, i=1,\dots, n+1$. Are there always $i, j\in \mathbb{N}$ with $d(a_i, a_j)>=a$?

share|cite|improve this question
what is your last $a$? – Gjergji Zaimi Jan 22 '11 at 19:44
its the side length of the inscribed n-simplex – bearkiller Jan 22 '11 at 19:45
I assume "midpoint" is the center of the sphere? – Igor Rivin Jan 22 '11 at 21:02
Yes, thank you. – bearkiller Jan 22 '11 at 21:03


For a regular tetrahedron in $\mathbb E^3$, if you take a centroid of one face together with the midpoints of its three edges projected to the circumscribed sphere, they satisfy your conditions (or if you want the conditions to be strict, each midpoint of an edge can be perturbed into the adjoining face). The distances are shorter than the edgelengths of the tetrahedron. This is geometrically self-evident, but if you want numbers, for the unit sphere, the edgelengths of the inscribed regular tetrahedron are $1.63299...$, and the edgelengths for the tetrahedron of the $a_i$ described above are $1.41421...$ and $.919402...$.

alt text

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.