Brahmagupta-Identität

Die Identität beschreibt, wie sich das Produkt von zwei Summen, bestehend aus je zwei Quadratzahlen, wieder als Summe von zwei anderen Quadratzahlen darstellen lässt.

${\displaystyle \left(a^{2}+b^{2}\right)\left(c^{2}+d^{2}\right)}$ ${\displaystyle =\left(ac+bd\right)^{2}+\left(ad-bc\right)^{2}}$ ${\displaystyle =\left(ac-bd\right)^{2}+\left(ad+bc\right)^{2}}$

Ein Zahlenbeispiel:

${\displaystyle (1^{2}+4^{2})(2^{2}+7^{2})=30^{2}+1^{2}=26^{2}+15^{2}.}$

Als direkte Folgerung aus der Identität ergibt sich, dass die Menge der Summen zweier Quadratzahlen bezüglich der Multiplikation abgeschlossen ist.

Brahmagupta selbst hat ein allgemeineres Ergebnis bewiesen und benutzt, das äquivalent zu

${\displaystyle {\begin{aligned}\left(a^{2}+nb^{2}\right)\left(c^{2}+nd^{2}\right)&{}=\left(ac-nbd\right)^{2}+n\left(ad+bc\right)^{2}\\&{}=\left(ac+nbd\right)^{2}+n\left(ad-bc\right)^{2}\end{aligned}}}$

ist. Als Folgerung ergibt sich, dass die Menge der Zahlen von der Form ${\displaystyle x^{2}+ny^{2}}$ bezüglich der Multiplikation abgeschlossen ist.

Die letztere Identität geht auf den indischen Mathematiker und Astronomen Brahmagupta (598–668) zurück und findet sich in seinem Werk Brahmasphutasiddhanta aus dem Jahre 628. Dieses wurde zunächst von Muhammad al-Fazari aus dem Sanskrit ins Arabische übersetzt; um 1128 entstand dann eine Übersetzung ins Lateinische aus der arabischen Version.[1] Später wurde die (frühere) Diophantos-Identität auch in Fibonaccis Liber Quadratorum von 1225 beschrieben.

Brahmagupta–Fibonacci-Identität ist eine Zwei-Quadrate-Identität, die sich auf vier, acht, sechzehn und mehr Quadrate erweitern lässt:

• Brahmagupta–Fibonacci-Identität:[2] ${\displaystyle (x_{1}^{2}+x_{2}^{2})\cdot (y_{1}^{2}+y_{2}^{2})=z_{1}^{2}+z_{2}^{2}}$
• Eulers Vier-Quadrate-Identität:[3] ${\displaystyle (x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2})\cdot (y_{1}^{2}+y_{2}^{2}+y_{3}^{2}+y_{4}^{2})=z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+z_{4}^{2}}$
• Degens Acht-Quadrate-Identität:[4] ${\displaystyle (x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+\ldots +x_{8}^{2})\cdot (y_{1}^{2}+y_{2}^{2}+y_{3}^{2}+\ldots +y_{8}^{2})=z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+\ldots +z_{8}^{2}}$
• Pfisters Sechzehn-Quadrate-Identität:[5] ${\displaystyle (x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+\ldots +x_{16}^{2})\cdot (y_{1}^{2}+y_{2}^{2}+y_{3}^{2}+\ldots +y_{16}^{2})=z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+\ldots +z_{16}^{2}}$

Pfister bewies 1967, dass prinzipiell für alle Potenzen von Zwei (2ⁿ) Identitäten gefunden werden können.[4]

Die Zwei-Quadrate-Identität steht in Verbindung mit den Komplexen Zahlen, die Vier-Quadrate-Identität mit den Quaternionen, die Acht-Quadrate-Identität mit den Oktonionen, siehe Quadrate-Satz.

1. George G. Joseph (2000). The Crest of the Peacock, S. 306. Princeton University Press. ISBN 0-691-00659-8. (englisch)
2. Eric W. Weisstein: Fibonacci Identity. In: MathWorld (englisch).
3. Eric W. Weisstein: Euler Four-Square Identity. In: MathWorld (englisch).
4. Eric W. Weisstein: Degen's Eight-Square Identity. In: MathWorld (englisch).
5. Tito Piezas III: Pfister's 16-Square Identity (Memento vom 17. September 2016 im Internet Archive)

• Eric W. Weisstein: Fibonacci Identity. In: MathWorld (englisch).
• Brahmagupta-Identität bei PlanetMath (englisch)