Eine Konstruktion \(k\)-dimensionaler magischer Würfel. (Q2579857)

Analog dem magischen Quadrat von \(n\) Reihen und \(n\) Spalten in der Ebene definiert Verf. einen \(k\)-dimensionalen magischen Würfel der Ordnung \(n\). Jede Stelle in diesem \(k\)-dimensionalen Schema ist durch \(k\) aus den Zahlen \(0, 1, 2,\dots, n - 1\) gewählte und in eine bestimmte Reihenfolge gebrachte Zahlen \(a_1, a_2, \dots, a_k\) bestimmt. Es wird gefragt, ob es möglich ist, jeder solchen Reihenfolge, d. h. jeder Stelle in dem Würfelschema, eine der natürlichen Zahlen \(1, 2,\dots, n^k\), die mit \(G(a_1,a_2,\dots,a_k)\) bezeichnet wird, derart zuzuordnen, daß A. jede natürliche Zahl \(\leqq n^k\) genau einmal unter den Zahlen \(G\) vorkommt und B. für jedes \(i\)(\(1 \leqq i \leqq k\)) die Summe \(\sum\limits_{a_i = 0}^{n-1} G(a_1, a_2, \dots, a_i, \dots, a_k)\) denselben Wert besitzt. Diese Summation ist so zu verstehen: Alle in der Klammer vorkommenden \(a_s\) außer dem an \(n\)-ter Stelle stehenden \(a_i\) bleiben konstant, dieses Glied \(a_i\) aber durchläuft die Werte \(0, 1, 2,\dots, n - 1\). Verf. gibt eine Konstruktion eines solchen magischen Würfels an für den Fall, daß \(k\) eine beliebige und \(n\) eine ungerade natürliche Zahl (\(> 1\)) ist. -- Ref. weist darauf hin, daß der Fall \(k = 3\) laut \textit{H. Schubert}, Mathematische Mußestunden, 6. Aufl., neubearb. von \textit{F. Fitting} (1940; F. d. M. 66, 36), S. 157-159, seit \textit{Kochanski} (1686) mehrfach behandelt worden ist.