ब्रह्मगुप्त बहुपद

**ब्रह्मगुप्त बहुपद,** ब्रह्मगुप्त मैट्रिक्स से जुड़े बहुपदों की एक श्रेणी है जो ब्रह्मगुप्त की सर्वसमिका से सम्बन्धित है। इसके बारे में सबसे पहले ई० आर० सूर्यनारायण ने 1996 में प्रकाशित एक शोधपत्र जानकरी दी थी। वे किंग्स्टन के रोड आइलैंड विश्वविद्यालय में शोधरत थे। इन बहुपदों में कई रोचक गुण हैं और इनका उपयोग टाइलिंग समस्याओं के हल में तथा हेरोनियन त्रिकोण को खोजने की समस्या में किया गया है।

ब्रह्मगुप्त बहुपद के अन्तर्गत ये सभी बहुपद समाहित हैं- फिबोनाकी बहुपद, पेल्ल बहुपद, पेल्ल-ल्युकस बहुपद (Pell-Lucas polynomials) तथा मॉर्गन-वॉयस बहुपद (Morgan-Voyce polynomials)।

## परिभाषा

### ब्रह्मगुप्त की सर्वसमिका

बीजगणित में, ब्रह्मगुप्त सर्वसमिका के यह कहती है कि किसी दिए गए पूर्णांक N के लिए, x^2 -Ny^2 के तरह की दो पूर्णांकों का गुणनफल उसी तरह का एक अन्य पूर्णांक होगा। दूसरे शब्दों में,

:(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. 

इस सर्वसमिका का उपयोग पेल के समीकरण के अनन्त हल खोजने के लिये किया जा सकता है। इसका उपयोग किसी भी पूर्णांक के वर्गमूल के लिए एक परिमेय संख्या उत्पन्न करने के लिये भी किया जा सकता है जिसे क्रमशः अधिक शुद्ध किया जा सकता है।

### ब्रह्मगुप्त की मैट्रिक्स
यदि किसी भी यादृच्छ वास्तविक संख्या t के लिये हम निम्नलिखित मैट्रिक्स परिभाषित करते हैं-
:B(x,y) = \begin{bmatrix} x & y \\ ty & x \end{bmatrix}
तो, ब्रह्मगुप्त की सर्वसमिका को निम्नलिखित रूप में अभिव्यक्त किया जा सकता है:
:\det B(x_1,y_1) \det B(x_2,y_2) = \det ( B(x_1,y_1)B(x_2,y_2))
इस मैट्रिक्स B(x,y) को ब्रह्मगुप्त की मैट्र्क्स कहते हैं।

### ब्रह्मगुप्त के बहुपद

माना B=B(x,y) ऊपर जैसा पारिभाषित मैट्रिक है। हम इन्डक्शन सिद्धन्त का उप्योग करके यह दिख सकते हैं कि मैट्रिक्स B^n को निम्नलिखित रूप में भी लिख सकते हैं। 
: B^n = \begin{bmatrix} x_n & y_n \\ ty_n & x_n \end{bmatrix}
यहाँ, x_n तथा y_n बहुपद हैं x, y, t के। इन बहुपदों को **ब्रह्मगुप्त बहुपद** कहते हैं।  इनमें से कुछ आरम्भिक बहुपदों को नीचे लिखा गया है-

:
\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}


## गुणधर्म
नीचे, ब्रह्मगुप्त बहुपदों के कुछ सरल गुण दिये गये हैं। श्री ई० आर० सूर्यनारायण ने अपने शोधपत्र में इसके उन्नत गुणधर्मों को भी प्रकाशित किया है।
### Recurrence relations
ब्रह्मगुप्त बहुपद x_n और y_n निम्नलिखित recurrence relations को सन्तुष्ट करते हैं:
*x_{n+1} = xx_n+tyy_n
*y_{n+1}=xy_n+yx_n
*x_{n+1} = 2xx_n - (x^2-ty^2)x_{n-1}
*y_{n+1} = 2xy_n - (x^2-ty^2)y_{n-1}
*x_{2n}=x_n^2+ty_n^2
*y_{2n}=2x_ny_n

### परिशुद्ध व्यंजक (Exact expressions)

x\pm y\sqrt{t} मैट्रिक्स B(x,y) के आइगन मान (eigenvalue) हैं तथा इनके संगत आइगन वेक्टर [1, \pm \sqrt{t}]^T है। अतः
:B[1, \pm \sqrt{t}]^T = (x\pm y\sqrt{t})[1, \pm \sqrt{t}]^T.
अतः 
:B^n[1, \pm \sqrt{t}]^T = (x\pm y\sqrt{t})^n[1, \pm \sqrt{t}]^T.
इससे  x_n and y_n के लिये निम्नलिखित ठीक-ठीक (exact) व्यंजक प्राप्त होत है:
*x_n = \tfrac{1}{2}\big[ (x + y\sqrt{t})^n + (x - y\sqrt{t})^n\big]
*y_n = \tfrac{1}{2\sqrt{t}}\big[ (x + y\sqrt{t})^n - (x - y\sqrt{t})^n\big]

द्विपद प्रमेय का उपयोग क्रके उपर्युक्त ब्यंजक के घातों का प्रसार करने तथा सरल करने के बाद हमें x_n और y_n के लिये निम्नलिखित व्यंजक प्राप्त होता है-
*x_n = x^n +t {n \choose 2} x^{n-2}y^2 + t^2 {n\choose 4}x^{n-4}y^4+\cdots 
* 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 

### विशेष स्थितियाँ

# यदि x=y=\tfrac{1}{2} और t=5 तो n>0 के लिये:
:::2y_n=F_n is the Fibonacci sequence 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, \ldots. 
:::2x_n=L_n is the Lucas sequence 2, 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, \ldots.

# यदि हम x=y=1 और t=2 रख दें तो
:::x_n=1,1,3,7,17,41,99,239,577,\ldots जो कि उन सतत भिन्नों के अंश (numerators) हैं जिसके कन्वर्ज होने पर \sqrt{2} प्राप्त होता है। यही अर्ध पेल-ल्युकस संख्याओं का अनुक्रम (sequence) भी है।
:::y_n=  0,1,2,5,12,29,70,169,408, \ldots जो पेल संख्याओं का अनुक्रम है।

### अवकल समीकरण
x_n तथा y_n निम्नलिखित आंशिक अवकल समीकरण (partial differential equation) के बहुपदीय हल हैं-
:: \left( \frac{\partial^2}{\partial x^2} - \frac{1}{t}\frac{\partial^2}{\partial y^2}\right)U=0

## सन्दर्भ

## इन्हें भी देखें
*ब्रह्मगुप्त
*ब्रह्मगुप्त मैट्रिक्स
*ब्रह्मगुप्त सर्वसमिका
*ब्रह्मगुप्त का सूत्र
*ब्रह्मगुप्त अन्तर्वेशन सूत्र
*ब्रह्मगुप्त प्रमेय

श्रेणी:मैट्रिक्स
श्रेणी:ब्रह्मगुप्त