Durchmesser regulärer sphärischer Simplexe (Q790426)

Auf der Kugelfläche \(\| X\| =r\) des n-dimensionalen euklidischen Raumes seien n Punkte \(P_ i,i=1,...,n\), gegeben, die die Ecken eines regulären sphärischen Simplex S mit der Kantenlänge \(\alpha\) bilden, das heißt, daß für \(i\neq j(P_ i,P_ j)=r^ 2\) cos \(\alpha\), cos \(\alpha =c\), gilt und der Parameter c durch die Ungleichungen \(-1/(n-1)<c<1\) einzuschränken ist. Das sphärische Simplex S wird als Durchschnitt von \(\| X\| =r\) mit der konvexen Hülle der Strahlen \(OP_ i,i=1,...,n\), erhalten. Der Durchmesser von \(S:d=d(S)\) wird durch \(d^ 2=\max_{(P,Q)\in SxS} \| P-Q\|^ 2\) definiert. Das Hauptergebnis der vorliegenden Arbeit besteht in der Bestimmung von d(S). 1) Im Falle \(c>0\) ist: \(d^ 2=2r^ 2(1-c)=4r^ 2 \sin^ 2\) (\(\alpha\) /2), wobei zwei Punkte aus S diesen Abstand genau dann haben, wenn sie mit unterschiedlichen Ecken von S zusammenfallen. Der Durchmesser wird also durch Eckpunktpaare realisiert. 2) Im Falle \(c<0\) gilt: a) Für gerades n ist \(d^ 2=4r^ 2(1-c)/(2+(n-2)c)\), wobei zwei Punkte aus S genau dann den Abstand d haben, wenn sie ''Schwerpunkte'' unterschiedlicher Randsimplizes der Dimension \(n/2-1\) sind; b) für ungerades n ist \(d^ 2=4r^ 2(1/2-(c/2)\sqrt{n^ 2-1/(2+(n-2)c)^ 2-c^ 2})\), wobei auch in diesem Fall, wie bei a), der Durchmesser nicht mehr durch den Abstand von Eckpunkten von S realisiert wird. 3) Für \(c=0\) ist \(d=\sqrt{2r}\), wobei es unendlich viele Punktepaare von S gibt, die diesen Abstand besitzen. Die Herleitung dieses Resultates führt über ein einfaches, nicht-lineares Optimierungsproblem in zwei ganzzahligen Veränderlichen.