رياضيات متصلة

في الجبر ، يمثل المتصل متعدد الحدود متعدد المتغيرات محدد المصفوفة ثلاثية الأقطار وله تطبيقات في الكسور المستمرة .

تعريف

القارية رقم نكن(x1،x2،...،xن){\displaystyle K_{n}(x_{1},\;x_{2},\;\ldots ,\;x_{n})}يتم تعريفها بشكل متكرر بواسطة

ك0=1؛{\displaystyle K_{0}=1;\,}
ك1(x1)=x1؛{\displaystyle K_{1}(x_{1})=x_{1};\,}
كن(x1،x2،...،xن)=xنكن-1(x1،x2،...،xن-1)+كن-2(x1،x2،...،xن-2).{\displaystyle K_{n}(x_{1},\;x_{2},\;\ldots ,\;x_{n})=x_{n}K_{n-1}(x_{1},\;x_{2},\;\ldots ,\;x_{n-1})+K_{n-2}(x_{1},\;x_{2},\;\ldots ,\;x_{n-2}).\,}

ملكيات

  • القاريةكن(x1،x2،...،xن){\displaystyle K_{n}(x_{1},\;x_{2},\;\ldots ,\;x_{n})}يمكن حسابها عن طريق جمع جميع نواتج الضرب الممكنة لـ x1 ، ...، xn ، حيث يتم حذف أي عدد من أزواج الحدود المتتالية المنفصلة ( قاعدة أويلر ). على سبيل المثال،
    ك5(x1،x2،x3،x4،x5)=x1x2x3x4x5+x3x4x5+x1x4x5+x1x2x5+x1x2x3+x1+x3+x5.{\displaystyle K_{5}(x_{1},\;x_{2},\;x_{3},\;x_{4},\;x_{5})=x_{1}x_{2}x_{3}x_{4}x_{5}\;+\;x_{3}x_{4}x_{5}\;+\;x_{1}x_{4}x_{5}\;+\;x_{1}x_{2}x_{5}\;+\;x_{1}x_{2}x_{3}\;+\;x_{1}\;+\;x_{3}\;+\;x_{5}.}
ويترتب على ذلك أن المتغيرات المستمرة ثابتة فيما يتعلق بعكس ترتيب المتغيرات غير المحددة:كن(x1،...،xن)=كن(xن،...،x1).{\displaystyle K_{n}(x_{1},\;\ldots ,\;x_{n})=K_{n}(x_{n},\;\ldots ,\;x_{1}).}
  • يمكن حساب المتصل كمحدد لمصفوفة ثلاثية الأقطار :
    كن(x1،x2،...،xن)=المحقق(x1100-1x210-10100-1xن).{\displaystyle K_{n}(x_{1},\;x_{2},\;\ldots ,\;x_{n})=\det {\begin{pmatrix}x_{1}&1&0&\cdots &0\\-1&x_{2}&1&\ddots &\vdots \\0&-1&\ddots &\ddots &0\\\vdots &\ddots &\ddots &\ddots &1\\0&\cdots &0&-1&x_{n}\end{pmatrix}}.}
  • كن(1،...،1)=Fن+1{\displaystyle K_{n}(1,\;\ldots ,\;1)=F_{n+1}}، وهو العدد ( ن + 1) من أعداد فيبوناتشي .
  • كن(x1،...،xن)كن-1(x2،...،xن)=x1+كن-2(x3،...،xن)كن-1(x2،...،xن).{\displaystyle {\frac {K_{n}(x_{1},\;\ldots ,\;x_{n})}{K_{n-1}(x_{2},\;\ldots ,\;x_{n})}}=x_{1}+{\frac {K_{n-2}(x_{3},\;\ldots ,\;x_{n})}{K_{n-1}(x_{2},\;\ldots ,\;x_{n})}}.}
  • تمثل نسب الكسور المستمرة (المتقاربة إلى) الكسور المستمرة على النحو التالي:
    كن(x1،...،xن)كن-1(x2،...،xن)=[x1؛x2،...،xن]=x1+1x2+1x3+....{\displaystyle {\frac {K_{n}(x_{1},\;\ldots ,x_{n})}{K_{n-1}(x_{2},\;\ldots ,\;x_{n})}}=[x_{1};\;x_{2},\;\ldots ,\;x_{n}]=x_{1}+{\frac {1}{\displaystyle {x_{2}+{\frac {1}{x_{3}+\ldots }}}}}.}
  • تتحقق متطابقة المصفوفة التالية:
    (كن(x1،...،xن)كن-1(x1،...،xن-1)كن-1(x2،...،xن)كن-2(x2،...،xن-1))=(x1110)×...×(xن110){\displaystyle {\begin{pmatrix}K_{n}(x_{1},\;\ldots ,\;x_{n})&K_{n-1}(x_{1},\;\ldots ,\;x_{n-1})\\K_{n-1}(x_{2},\;\ldots ,\;x_{n})&K_{n-2}(x_{2},\;\ldots ,\;x_{n-1})\end{pmatrix}}={\begin{pmatrix}x_{1}&1\\1&0\end{pmatrix}}\times \ldots \times {\begin{pmatrix}x_{n}&1\\1&0\end{pmatrix}}}.
    • بالنسبة للمحددات، فهذا يعني أن
      كن(x1،...،xن)كن-2(x2،...،xن-1)-كن-1(x1،...،xن-1)كن-1(x2،...،xن)=(-1)ن.{\displaystyle K_{n}(x_{1},\;\ldots ,\;x_{n})\cdot K_{n-2}(x_{2},\;\ldots ,\;x_{n-1})-K_{n-1}(x_{1},\;\ldots ,\;x_{n-1})\cdot K_{n-1}(x_{2},\;\ldots ,\;x_{n})=(-1)^{n}.}
    • وأيضًا
      كن-1(x2،...،xن)كن+2(x1،...،xن+2)-كن(x1،...،xن)كن+1(x2،...،xن+2)=(-1)ن+1xن+2.{\displaystyle K_{n-1}(x_{2},\;\ldots ,\;x_{n})\cdot K_{n+2}(x_{1},\;\ldots ,\;x_{n+2})-K_{n}(x_{1},\;\ldots ,\;x_{n})\cdot K_{n+1}(x_{2},\;\ldots ,\;x_{n+2})=(-1)^{n+1}x_{n+2}.}

التعميمات

يأخذ التعريف المعمم المتصل بالنسبة لثلاث متتابعات a و b و c ، بحيث يكون K ( n ) متعدد حدود لـ a₁ , ..., an و b₁ , ..., bₙ₋₁ و c₁ , ..., cₙ₋₁ . في هذه الحالة ، تصبح علاقة التكرار كما يلي :

ك0=1؛{\displaystyle K_{0}=1;\,}
ك1=أ1؛{\displaystyle K_{1}=a_{1};\,}
كن=أنكن-1-بن-1جن-1كن-2.{\displaystyle K_{n}=a_{n}K_{n-1}-b_{n-1}c_{n-1}K_{n-2}.\,}

بما أن b r و c r يدخلان في K فقط كحاصل ضرب b r c فلا يوجد فقدان للعمومية في افتراض أن b r كلها تساوي 1.

المَستَقبِل المُعَمَّم هو تحديدًا مُحدِّد المصفوفة ثلاثية الأقطار

(أ1ب10...00ج1أ2ب2...000ج2أ3...00000...أن-1بن-1000...جن-1أن).{\displaystyle {\begin{pmatrix}a_{1}&b_{1}&0&\ldots &0&0\\c_{1}&a_{2}&b_{2}&\ldots &0&0\\0&c_{2}&a_{3}&\ldots &0&0\\\vdots &\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&0&\ldots &a_{n-1}&b_{n-1}\\0&0&0&\ldots &c_{n-1}&a_{n}\end{pmatrix}}.}

في كتاب موير، يُطلق على المتصل المعمم ببساطة اسم المتصل.

مراجع