Brahmagupta-Identität

Die Brahmagupta-Identität, auch als Brahmagupta–Fibonacci-Identität oder Fibonacci-Identität bekannt, ist eine Identität in der elementaren Algebra. Trotz ihres Namens geht ihre erste bekannte Verwendung nicht auf Brahmagupta oder Fibonacci zurück, sondern findet sich in einem Werk des Diophantos von Alexandria (Arithmetica (III, 19)).

Identitätsgleichung

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.

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

Ein Zahlenbeispiel:

$(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

${\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 $x^{2}+ny^{2}$ bezüglich der Multiplikation abgeschlossen ist.

Historisches

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. Später wurde die (frühere) Diophantos-Identität auch in Fibonaccis Liber Quadratorum von 1225 beschrieben.

Erweiterungen

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: $(x_{1}^{2}+x_{2}^{2})\cdot (y_{1}^{2}+y_{2}^{2})=z_{1}^{2}+z_{2}^{2}$
• Eulers Vier-Quadrate-Identität: $(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: $(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: $(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.

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.

Weblinks

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