Định thức Brahmagupta–Fibonacci

Trong đại số, định thức Brahmagupta–Fibonacci biến tích của hai tổng hai số chính phương thành tổng của hai số chính phương dưới hai cách khác nhau. Cụ thể hơn, định lý phát biểu
Ví dụ chẳng hạn,

Đồng thời, định thức cho thấy tập các tổng hai số chính phương đóng dưới phép nhân. Định thức còn biết dưới tên định thức Diophantus (định thức Đi-ô-phăng), bởi nó được lần đầu chứng minh bởi Diophantus xứ Alexandria. Nó là trường hợp đặc biệt của định lý bốn số chính phương của Euler, và cũng là của định thức Lagrange. 

Brahmagupta chứng minh và sử dụng dạng tổng quát hơn là định thức Brahmagupta, phát biểu rằng
Định thức này cho thấy khi cố định giá trị "A", tập các số dưới dạng "x" + "Ay" đóng dưới phép nhân.

Các định thức này thỏa mãn cho mọi số nguyên, cũng như các số hữu tỉ, và tổng quát hơn chúng đúng trong bất kỳ vành giao hoán. Mỗi dạng của định thức đều có kiểm chứng lại bằng cách khai triển cả hai vế của phương trình.

== Lịch sử ==
Định thức lần đầu xuất hiện trong cuốn "Arithmetica" (chương III, 19) của Diofantus vào thế ký thứ ba sau công nguyên. Nó được phát hiện lại bởi Brahmagupta (598–668), nhà toán học và nhà thiên văn học người Ấn. Ông tổng quát nó thành định thức Brahmagupta rồi sử dụng chúng để áp dụng trong cho phương trình Pell. Cuốn "Brahmasphutasiddhanta" của ông sau được dịch từ Sanskrit sang tiếng Ả Rập bởi Mohammad al-Fazari, rồi sang tiếng Latin trong 1126. Vào 1225, Fibonacci giới thiệu định thức này ở Tây Âu, trong cuốn "The Book of Squares", và do vậy, tên của định thức thường được gắn liền với ông.

== Các định thức liên quan ==
Các định thức tương tự bao gồm định lý bốn số chính phương của Euler liên hệ với các quaternion, và định thức tám số chính phương của Degen lấy từ các số octonion mà đồng thời có quan hệ với tuần hoàn Bott. Ngoài ra còn có định thức 16 số chính phương của Pfister, song trong dạng này nó không còn song tuyến tính nữa.

Các định thức này có quan hệ mạnh mẽ với phân loại Hurwitz cho các đại số hợp thành.

Định thức Brahmagupta–Fibonacci còn là dạng đặc biêt của định thức Lagrange mà bản thân nó là dạng đặc biệt của định thức Binet–Cauchy, định thức này được tổng quát tiếp thành công thức Cauchy–Binet cho định thức ma trận.

== Tính nhân tính của các số phức ==
Nếu "a", "b", "c", và "d" là các số thực, định thức Brahmagupta–Fibonacci tương đương với tính nhân tính của giá trị tuyệt đối của số phức:

Ta có thể chứng minh như sau: Khai triển vế phải và bình phương cả hai vế thu được:

mà theo định nghĩa của giá trị tuyệt đối, phương trình trên tương đương với

Tính tương tự trong trường hợp "a", "b", "c", và "d" là các số hữu tỉ cho thấy định thức có thể suy diễn là chuẩn của trường Q("i") có tính nhân tính: 

== Ứng dụng cho phương trình Pell ==
Trong bối cảnh ban đầu, Brahmagupta áp dụng phát hiện này để tìm nghiệm nguyên cho phương trình Pell "x" − "Ay" = 1. Sử dụng định thức dưới dạng tổng quát hơn

ông có thể "hợp" bộ ba ("x", "y", "k") và ("x", "y", "k") là nghiệm của "x" − "Ay" = "k", để sinh ra nghiệm mới sau

Không những cách này cho phép sinh vô hạn số nghiệm cho "x" − "Ay" = 1 bắt đầu từ một nghiệm, mà khi chia phép hợp thành đó bởi "k""k", ta có thể tìm ra nghiệm nguyên hoặc "gần nguyên" cho phương trình. Phương pháp tổng quát để giải phương trình Pell được đưa bởi Bhaskara II trong 1150, với tên là phương pháp chakravala, nó cũng dựa trên định thức này.

== Viết số nguyên thành tổng của hai số chính phương ==
Khi xét cùng với các định lý của Fermat, định thức Brahmagupta–Fibonacci có thể dùng để chứng minh tích một số chính phương với bất kỳ số nguyên tố thuộc dạng 4"n" + 1 có thể viết thành tổng hai số chính phương.

== Xem thêm ==
- Ma trận Brahmagupta
- Đa thức Brahmagupta
- Định thức Lagrange
- Định lý tổng hai số chính phương

== Liên kết ngoài ==
- Brahmagupta's identity tại PlanetMath
- Brahmagupta Identity trên MathWorld
- A Collection of Algebraic Identities