Über den Rauminhalt. (Q1510759)

Zwei Polyeder \(\varPi'\) und \(\varPi''\) heißen ``endlichgleich'', wenn aus ihnen durch geeignetes Hinzufügen resp. kongruenter Polyeder zwei Polyeder \(\overline{\varPi}'\) und \(\overline{\varPi}^{\prime\prime}\) hervorgehen, die ihrerseits in resp. kongruente Polyeder zerlegbar sind. Sind \(\varPi'\) und \(\varPi''\) selbst schon in resp. kongruente Polyeder zerlegbar, so heißen sie ``zerlegungsgleich'', anderenfalls ``ergänznngsgleich''. -- Daß\ die Gleichheit des Inhaltes zweier Polyeder für die Zerlegungsgleichheit nicht ausreicht, hat der Verf. bereits in einer früheren Arbeit (Gött. Nach. 1900; vergl. F. d. M. 31, 505, JFM 31.0505.02) nachgewiesen; hier wird gezeigt, daß\ aus der Inhaltsgleichheit auch die Endlichgleichheit nicht gefolgert werden könne. Es seien \(p_1', p_2', \dots;\; p_1^{\prime\prime}, p^{\prime\prime}_2, \dots\) die Kanten zweier endlichgleichen Polyeder, \(\pi_1', \pi_2', \dots;\; \pi^{\prime\prime}_1, \pi^{\prime\prime}_2, \dots\) die an ihnen liegenden Flächenwinkel, ferner \(L_i (p_1', p_2', \dots;\; p_1^{\prime\prime}, p^{\prime\prime}_2, \dots)\; (i= 1, 2, \dots)\) das System von einander unabhängiger linearer, homogener Relationen mit rationalen Koeffizienten, welches zwischen \(p_1', p_2', \dots, p^{\prime\prime}_1, p^{\prime\prime}_2, \dots\) besteht. Man ersetze jetzt in diesen Relationen die \(p', p''\) durch Unbekannten auf. Da diese Gleichungen Lösungen besitzen (nämlich wenigstens die eine \(p'_1, \dots, p^{\prime\prime}_1, \dots)\), und ihre Koeffizienten rational sind, so besitzen sie auch rationale Lösungen. Es gilt nun der Satz: Ist \(r_1', r_2', \dots;\; r^{\prime\prime}_1, r^{\prime\prime}_2, \dots\) irgend ein rationales Lösungssystem jener Gleichungen, so ist stets \[ r_1' \pi_1' + r_2' \pi_2' + \cdots - (r^{\prime\prime}_1 \pi^{\prime\prime}_1 + r^{\prime\prime}_2 \pi^{\prime\prime}_2 + \cdots) = r\cdot R, \] wo \(r\) eine rationale Zahl und \(R\) einen rechten Winkel bezeichnet. Als Beispiel wird gezeigt, daß\ zwei reguläre Tetraeder niemals einem regulären Tetraeder endlichgleich sein können.