Skip to main content
added 60 characters in body; edited title
Source Link
Michael Hardy
  • 1
  • 12
  • 85
  • 126

two tetrahedra in R^4$\mathbb R^4$

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

If two regular tetrahedra of side length 1 are placed in $R^4$$\mathbb R^4$ so that the diameter of their union is 1,$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$\mathbb R^d$ so that their union has diameter 1,$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$$\mathbb R^4$ (with similar conditions) that 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$$\mathbb 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.$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,$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$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$$\mathbb R^3$ must share a vertex, but that's an overkill.

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.

two tetrahedra in $\mathbb R^4$

It is relatively easy to show (see below) that if we have two equilateral triangles of side 1 in $\mathbb 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 $\mathbb 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 $\mathbb 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 $\mathbb 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 $\mathbb 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 $\mathbb R^3$ must share a vertex, but that's an overkill.

removed deprecated tag 'geometry' (since this question was bumped to the front page)
Link
Ricardo Andrade
  • 6.2k
  • 5
  • 42
  • 69
Rollback to Revision 5
Link
Benjamin Steinberg
  • 38.6k
  • 3
  • 104
  • 186

two tetrahedra in $\mathbb R^4$R^4

added 1 characters in body
Source Link
filipm
  • 1.4k
  • 8
  • 15
Loading
added 2177 characters in body; deleted 1031 characters in body; added 1029 characters in body
Source Link
filipm
  • 1.4k
  • 8
  • 15
Loading
edited tags
Link
Romeo
  • 2.7k
  • 19
  • 27
Loading
added 512 characters in body
Source Link
filipm
  • 1.4k
  • 8
  • 15
Loading
Source Link
filipm
  • 1.4k
  • 8
  • 15
Loading