Brahmagupta polynomials
Brahmagupta polynomials are a class of polynomials associated with the Brahmagupa matrix which in turn is associated with the Brahmagupta's identity. The concept and terminology were introduced by E. R. Suryanarayan, University of Rhode Island, Kingston in a paper published in 1996.[1][2][3] These polynomials have several interesting properties and have found applications in tiling problems[4] and in the problem of finding Heronian triangles in which the lengths of the sides are consecutive integers.[5]
Definition
Brahmagupta's identity
In algebra, Brahmagupta's identity says that, for given integer N, the product of two numbers of the form [math]\displaystyle{ x^2 -Ny^2 }[/math] is again a number of the form. More precisely, we have
- [math]\displaystyle{ (x_1^2 - Ny_1^2)(x_2^2 - Ny_2^2) = (x_1x_2 + Ny_1y_2)^2 - N(x_1y_2 + x_2y_1)^2. }[/math]
This identity can be used to generate infinitely many solutions to the Pell's equation. It can also be used to generate successively better rational approximations to square roots of arbitrary integers.
Brahmagupta matrix
If, for an arbitrary real number [math]\displaystyle{ t }[/math], we define the matrix
- [math]\displaystyle{ B(x,y) = \begin{bmatrix} x & y \\ ty & x \end{bmatrix} }[/math]
then, Brahmagupta's identity can be expressed in the following form:
- [math]\displaystyle{ \det B(x_1,y_1) \det B(x_2,y_2) = \det ( B(x_1,y_1)B(x_2,y_2)) }[/math]
The matrix [math]\displaystyle{ B(x,y) }[/math] is called the Brahmagupta matrix.
Brahmagupta polynomials
Let [math]\displaystyle{ B=B(x,y) }[/math] be as above. Then, it can be seen by induction that the matrix [math]\displaystyle{ B^n }[/math] can be written in the form
- [math]\displaystyle{ B^n = \begin{bmatrix} x_n & y_n \\ ty_n & x_n \end{bmatrix} }[/math]
Here, [math]\displaystyle{ x_n }[/math] and [math]\displaystyle{ y_n }[/math] are polynomials in [math]\displaystyle{ x, y, t }[/math]. These polynomials are called the Brahmagupta polynomials. The first few of the polynomials are listed below:
- [math]\displaystyle{ \begin{alignat}{2} x_1 & = x & y_1 & = y \\ x_2 & = x^2+ty^2 & y_2 & = 2xy \\ x_3 & = x^3+3txy^2 & y_3 & = 3x^2y+ty^3 \\ x_4 & = x^4+6t^2x^2y^2+t^2y^4\qquad & y_4 & = 4x^3y +4txy^3 \end{alignat} }[/math]
Properties
A few elementary properties of the Brahmagupta polynomials are summarized here. More advanced properties are discussed in the paper by Suryanarayan.[1]
Recurrence relations
The polynomials [math]\displaystyle{ x_n }[/math] and [math]\displaystyle{ y_n }[/math] satisfy the following recurrence relations:
- [math]\displaystyle{ x_{n+1} = xx_n+tyy_n }[/math]
- [math]\displaystyle{ y_{n+1}=xy_n+yx_n }[/math]
- [math]\displaystyle{ x_{n+1} = 2xx_n - (x^2-ty^2)x_{n-1} }[/math]
- [math]\displaystyle{ y_{n+1} = 2xy_n - (x^2-ty^2)y_{n-1} }[/math]
- [math]\displaystyle{ x_{2n}=x_n^2+ty_n^2 }[/math]
- [math]\displaystyle{ y_{2n}=2x_ny_n }[/math]
Exact expressions
The eigenvalues of [math]\displaystyle{ B(x,y) }[/math] are [math]\displaystyle{ x\pm y\sqrt{t} }[/math] and the corresponding eigenvectors are [math]\displaystyle{ [1, \pm \sqrt{t}]^T }[/math]. Hence
- [math]\displaystyle{ B[1, \pm \sqrt{t}]^T = (x\pm y\sqrt{t})[1, \pm \sqrt{t}]^T }[/math].
It follows that
- [math]\displaystyle{ B^n[1, \pm \sqrt{t}]^T = (x\pm y\sqrt{t})^n[1, \pm \sqrt{t}]^T }[/math].
This yields the following exact expressions for [math]\displaystyle{ x_n }[/math] and [math]\displaystyle{ y_n }[/math]:
- [math]\displaystyle{ x_n = \tfrac{1}{2}\big[ (x + y\sqrt{t})^n + (x - y\sqrt{t})^n\big] }[/math]
- [math]\displaystyle{ y_n = \tfrac{1}{2\sqrt{t}}\big[ (x + y\sqrt{t})^n - (x - y\sqrt{t})^n\big] }[/math]
Expanding the powers in the above exact expressions using the binomial theorem and simplifying one gets the following expressions for [math]\displaystyle{ x_n }[/math] and [math]\displaystyle{ y_n }[/math]:
- [math]\displaystyle{ x_n = x^n +t {n \choose 2} x^{n-2}y^2 + t^2 {n\choose 4}x^{n-4}y^4+\cdots }[/math]
- [math]\displaystyle{ y_n = nx^{n-1}y +t{n\choose 3}x^{n-3}y^3 + t^2{n \choose 5}x^{n-5}y^5 +\cdots }[/math]
Special cases
- If [math]\displaystyle{ x=y=\tfrac{1}{2} }[/math] and [math]\displaystyle{ t=5 }[/math] then, for [math]\displaystyle{ n\gt 0 }[/math]:
- [math]\displaystyle{ 2y_n=F_n }[/math] is the Fibonacci sequence [math]\displaystyle{ 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, \ldots }[/math].
- [math]\displaystyle{ 2x_n=L_n }[/math] is the Lucas sequence [math]\displaystyle{ 2, 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, \ldots }[/math].
- If we set [math]\displaystyle{ x=y=1 }[/math] and [math]\displaystyle{ t=2 }[/math], then:
- [math]\displaystyle{ x_n=1,1,3,7,17,41,99,239,577,\ldots }[/math] which are the numerators of continued fraction convergents to [math]\displaystyle{ \sqrt{2} }[/math].[6] This is also the sequence of half Pell-Lucas numbers.
- [math]\displaystyle{ y_n= 0,1,2,5,12,29,70,169,408, \ldots }[/math] which is the sequence of Pell numbers.
A differential equation
[math]\displaystyle{ x_n }[/math] and [math]\displaystyle{ y_n }[/math] are polynomial solutions of the following partial differential equation:
- [math]\displaystyle{ \left( \frac{\partial^2}{\partial x^2} - \frac{1}{t}\frac{\partial^2}{\partial y^2}\right)U=0 }[/math]
References
- ↑ 1.0 1.1 E. R. Suryanarayan (February 1996). "Brahmagupta polynomials". The Fibonacci Quarterly 34: 30-39. https://www.fq.math.ca/Scanned/34-1/suryanarayan.pdf. Retrieved 30 November 2023.
- ↑ Eric W. Weisstein (1999). CRC Concise Encyclopedia of Mathematics. CRC Press. pp. 166-167. https://archive.org/details/weissteinericwcrcconciseencyclopediamathematicsvol1crc19994ah/Concise%20Encyclopedia%20of%20Mathematics-%20Vol%201/page/n173/mode/2up?view=theater. Retrieved 30 November 2023.
- ↑ E. R. Suryanarayan (February 1998). "The Brahmagupta polynomials in two complex variables". The Fibonacci Quarterly: 34-42. https://www.fq.math.ca/Scanned/36-1/suryanarayan.pdf. Retrieved 1 December 2023.
- ↑ Charles Dunkl and Mourad Ismail (October 2000). Proceedings of the International Workshop on Special Functions. World Scientific. pp. 282-292. https://doi.org/10.1142/9789812792303_0022. Retrieved 30 November 2023.(In the proceedings, see paper authored by R. Rangarajan and E. R. Suryanarayan and titled "The Brahmagupta Matrix and its applications")
- ↑ Raymond A. Beauregard and E. R. Suryanarayan (January 1998). "The Brahmagupta Triangle". College Mathematics Journal 29 (1): 13-17. https://maa.org/sites/default/files/pdf/mathdl/CMJ/methodoflastresort.pdf. Retrieved 30 November 2023.
- ↑ N. J. A. Sloane. "A001333". https://oeis.org/A001333.
![]() | Original source: https://en.wikipedia.org/wiki/Brahmagupta polynomials.
Read more |