Über orthogonal liegende Gitterpunkte auf Kugelflächen. (Q2579845)

Zwei Punkte einer Kugelfläche heißen zueinander orthogonal, wenn sie auf zueinander senkrechten Durchmessern liegen. Auf einer Kugelfläche \(x^2 + y^2 + z^2 = r^2\) (\(r > 0\)) gibt es, wie gezeigt wird, dann und nur dann ein Tripel zueinander paarweise orthogonaler Gitterpunkte (Punkte mit ganzzahligen Koordinaten), wenn \(r\) eine ganze Zahl ist. In diesem Falle gibt es sogar zu jedem Gitterpunkt \((x_1, y_1, z_1)\) der Kugelfläche zwei weitere, die mit ihm zusammen ein Tripel paarweise orthogonaler bilden. Ist der Gitterpunkt \((x_1, y_1, z_1)\) überdies primitiv, d. h. der größte gemeinsame Teiler von \(x_1, y_1, z_1\) gleich 1, so gibt es auf der Kugelfläche überhaupt nur vier zu \((x_1, y_1, z_1)\) orthogonale Gitterpunkte; sie bilden die Endpunkte zweier (nach dem obigen zueinander senkrechten) Durchmesser. Ist \(n\) eine natürliche Zahl, so gibt es auf der Kugelfläche \(x^2 + y^2 + z^2 = n\) dann und nur dann zwei zueinander orthogonale Gitterpunkte, wenn \(n\) Summe zweier Quadrate ist; ist \(n\) dabei insbesondere quadratfrei, so können jene beiden Gitterpunkte nur auf den Koordinatenachsen gewählt werden.