# two tetrahedra in R^4

It is relatively easy to show (see below) that if we have two equilateral triangles of side 1 in $R^3$, such that their union has diameter 1, then they must share a vertex. I wonder whether we have an analog of this in higher dimensions. To start with 4 dimensions, the question is whether the following statement is true:

If two regular tetrahedra of side length 1 are placed in $R^4$ so that the diameter of their union is 1, then the tetrahedra must share a vertex.

(here 'tetrahedron' is the convex hull of four points with equal pairwise distances and 'diameter' of a set is the maximum distance between two points of the set)

In general one is tempted to conjecture:

If two regular $(d-1)$-dimensional simplices of edge length 1 live in $R^d$ so that their union has diameter 1, then they must share a vertex.

In fact, I believe they must share at least $d-2$ vertices, but let's start with just one vertex, probably it already contains the essence of the problem.

One may think of some even more general statements (what happens with $m$-simplex and $n$-simplex?), but I didn't come up with a reasonable conjecture.

It's easy to construct a tetrahedron and a triangle in $R^4$ (with similar conditions) that do not share a vertex. Here I sketch it. I omit easy straightforward calculations, feel free to verify it on your own. Take a tetrahedron $abcd$ in $R^4$ and take the midpoints $u$ and $v$ of the edges $ab$ and $cd$. We have $|uv|=1/\sqrt2$. Extend the segment $uv$ on both sides by an equal length to get a segment $xy$ of length 1.
Then the largest distance from $x$ and $y$ to a vertex of the tetrahedron is $\sqrt{\frac58+\frac{1}{2\sqrt2}}$ (e.g., the cosine law). Let the origin coincide with the center of the tetrahedron and let the tetrahedron lie in $\{x_4=0\}$. Translate the points $x$ and $y$ by vector $(0,0,0,\frac{\sqrt{3}}{2}-\sqrt{5/8})$ to get points $p$ and $q$ and let $r=(0,0,0,-\sqrt{5/8})$. Now $pqr$ is an equilateral triangle of side 1 and all the distances among the points $p,q,r,a,b,c,d$ are at most 1 (some of them are trivially at most 1, while for the others we use the Pythagorean theorem).

Now let me sketch the proof of the statement for $d=3$. It's enough to prove that one cannot have a triangle and a unit segment which lies on one side of the triangle's plane (without increasing the diameter). Suppose this is possible. First translate the segment by a vector orthogonal to the plane until one endpoint gets into the plane (the diameter hasn't increased). Now rotate the segment around the endpoint that is in the plane, so that the other endpoint also falls in the plane (and so that the diameter doesn't increase). Now we are in a 2-dimensional space and it's easy to show that the segment and triangle must share a vertex.

A less elementary approach is to just apply the so called Dolnikov's theorem: any two odd cycles in a graph of diameters in $R^3$ must share a vertex, but that's an overkill.

-
@filipm, Have you done some work on this problem? Do you know whether the statement is provably true or provably false? The command tone in your problem statement "Prove or disprove" makes this look likes it's a homework assignment or problem-set with the "command" being given to the student to solve the problem. If so, then this is not the correct site for homework or unmotivated problems: see FAQs. If you could show what work you done, or some motivation behind this to show that it's a research problem & not homework you're trying to skip doing yourself, that would be better. –  sleepless in beantown Nov 29 '10 at 12:59
To the best of my knowledge it is not known whether the statement is true or false. My guess is that it's true. I should have put maybe: "you're kindly asked to prove or disprove the following statement", so that it doesn't sound as a command. I read the faqs and it seems to me that the problem I asked fits well. –  filipm Nov 29 '10 at 14:17
Yikes; what on earth is wrong with the phrase "prove or disprove"? –  Dr Shello Nov 30 '10 at 2:42
I'm not sure why this should generalize to higher dimensions, since it is not true for line segments in $\mathbb R^2$. In fact, using the bases of two bisecting line segments is the nicest way I can see to fit two equilateral triangles in $\mathbb R^3$ that share only one vertex. (E.g. five vertices $(\pm 1/2, \pm 1/2, 0)$ and $(0,0,\sqrt 3/2)$.) A similar construction for tetrahedra in $\mathbb R^4$ would make them share an edge. A possible attack: consider just the vertices of the two simplices, and study their convex hull. In my construction it's an irregular pryamid (half-octahedron). –  Elizabeth S. Q. Goodman Dec 16 '10 at 6:13
The correct generalization appears to be the following: a unit regular $m$-simplex and a unit regular $n$-simplex embedded into $\mathbb R^d$ with union diameter 1 must have at least $m+n-d$ vertices in common. –  Tracy Hall Jan 23 '11 at 22:06

Also in this paper there is the proof of Schur's conjecture. This conjecture states that any diameter graph in $\mathbb R^d$ on $n$ vertices may have at most $n$ cliques of size $d$.