La identidad de Brahmagupta-Fibonacci , también llamada identidad de Brahmagupta o identidad diofántica [1] [2] [3] [4] es una identidad algebraica que muestra cómo el producto de dos sumas de cuadrados se puede representar como una suma de cuadrados ( y de dos maneras):
En términos de álgebra general , esta identidad significa que el conjunto de todas las sumas de dos cuadrados se cierra bajo la multiplicación .
Ejemplo:
Esta identidad se publicó por primera vez en el siglo III d.C. mi. Diofanto de Alejandría en el tratado "Aritmética" (libro III, teorema 19). El matemático y astrónomo indio Brahmagupta en el siglo VI probablemente descubrió de forma independiente y generalizó un poco la identidad al agregar un parámetro arbitrario :
Brahmagupta describió la identidad en el tratado "Brahma-sphuta-siddhanta" ("Enseñanzas mejoradas de Brahma", 628) y usó la ecuación de Pell para resolver ( abajo )
En Europa, la identidad apareció por primera vez en el Libro de los cuadrados de Fibonacci ( Liber quadratorum ) (1225).
Sean números complejos . Entonces la identidad de Brahmagupta-Fibonacci es equivalente a la propiedad multiplicativa del módulo complejo :
De hecho, al elevar al cuadrado ambos lados, obtenemos:
o según la definición del módulo:
Como se mencionó anteriormente , Brahmagupta usó su identidad (3), (4) al resolver la ecuación de Pell [5] :
donde es un número natural que no es un cuadrado. Brahmagupta primero seleccionó la solución inicial de la ecuación, luego escribió la identidad de la siguiente forma [5] :
Esto muestra que si los triples y forman una solución a la ecuación x 2 − Ay 2 = k , entonces se puede encontrar un triple más
y así sucesivamente, obteniendo un número infinito de soluciones.
Un método general para resolver la ecuación de Pell, publicado en 1150 por Bhaskara II ( método "chakravala" ), también se basa en la identidad de Brahmagupta.
Combinado con el teorema de Fermat-Euler , la identidad de Brahmagupta-Fibonacci muestra que el producto del cuadrado de un número entero y cualquier número de primos de la forma puede representarse como una suma de cuadrados.
La identidad se aplicaba originalmente a los números enteros , sin embargo es válida en cualquier anillo o campo conmutativo , como el anillo de polinomios o el campo de los números complejos .
La identidad de Brahmagupta-Fibonacci es un caso especial de la identidad de cuatro cuadrados de Euler o la identidad de Lagrange (teoría de números) . La identidad de cuatro cuadrados también se aplica a los cuaterniones , y la identidad análoga de ocho cuadrados a los octoniones .