Special orthogonal bases for lattices in \(\mathbb{R}^3\) (Q509111)

Summary: Ein geometrisches Problem, das -- doch etwas überraschend -- mit rein zahlentheoretischen Uberlegungen gelöst werden kann: Finde im \(\mathbb R^3\) zu einer gegebenen natürlichen Zahl \(L\) drei paarweise senkrechte Gittervektoren der Länge \(L\), von denen mindestens einer nicht parallel zu einer Koordinatenachse ist. Es wird gezeigt unter welchen Bedingungen und wie solche Gitterbasen gefunden werden können. Eine wichtige Rolle in diesem Zusammenhang spielen natürlich die Darstellungen von \(L^2\) als Summe von 2 oder 3 Quadraten. Es stellt sich heraus, dass es, um alle diese Darstellungen zu finden, genügt, die viel kleineren ungeraden Teiler von \(L\) zu studieren. Die dabei zur Anwendung kommenden Aussagen erinnern, wenig überraschend, an den bekannten Dreiquadratesatz. Schon erstaunlicher ist, dass sie mit elementaren Argumenten hergeleitet werden können, ganz im Gegensatz zum erwähnten, sehr tiefen Theorem von Gauss-Legendre.