Sur un lemme de M. Pompeiu. (Q2592486)

\textit{Pompeju} hat in einer der Société Roumaine des Sciences am 22. 5. 39 vorgelegten noch nicht veröffentlichten Arbeit gezeigt, daß von vier beliebigen komplexen Zahlen \(z_1\), \(z_2\), \(z_3\) und \(z_4\) mindestens zwei, etwa \(z_1\) und \(z_2\), die Bedingungen \(|\,z_1+z_2\,|>|\,z_1\,|\), \(|\,z_1+z_2\,|>|\,z_2\,|\) erfüllen. Diesen Satz verallgemeinert Verf. auf den euklidischen Raum von \(n\) Dimensionen: Von \(n + 2\) beliebigen Vektoren \(\mathfrak{a}_1, \,\mathfrak{a}_2, \ldots \!, \mathfrak{a}_{n+1}, \,\mathfrak{a}_{n+2}\) genügen mindestens zwei, etwa \(\mathfrak{a}_1\) und \(\mathfrak{a}_2\), den Ungleichheiten \(|\, \mathfrak{a}_1+\mathfrak{a}_2 \,|>|\, \mathfrak{a}_1 \,|\), \(|\, \mathfrak{a}_1+\mathfrak{a}_2 \,|>|\, \mathfrak{a}_2 \,|\). Der Beweis beruht darauf, daß von \(n + 2\) beliebigen Halbgeraden im \(R_n\) mindestens zwei einen nicht-stumpfen Winkel einschließen, oder, anders ausgedrückt, daß, wenn \(n+1\) gegebene Halbgeraden zu je zweien stumpfe Winkel einschließen, jede weitere Halbgerade mit mindestens einer von den \(n + 1\) gegebenen einen spitzen Winkel bildet.