الكسر المستمر

ب0+أ1ب1+أ2ب2+أ3ب3+{\displaystyle b_{0}+{\cfrac {a_{1}}{b_{1}+{\cfrac {a_{2}}{b_{2}+{\cfrac {a_{3}}{b_{3}+\ddots }}}}}}}
يُعرَّف الكسر المستمر اللانهائي بواسطة المتتابعات{أأنا}،{بأنا}{\displaystyle \{a_{i}\},\{b_{i}\}}، لأنا=0،1،2،...{\displaystyle i=0,1,2,\ldots }، معأ0=0{\displaystyle a_{0}=0}.

الكسر المستمر هو تعبير رياضي يُكتب على شكل كسر، مقامه يحتوي على مجموع يتضمن كسرًا آخر، قد يكون بدوره كسرًا بسيطًا أو كسرًا مستمرًا. [ 1 ] [ 2 ] إذا انتهت هذه العملية المتكررة بكسر بسيط، فإن النتيجة تكون كسرًا مستمرًا محدودًا ؛ أما إذا استمرت إلى ما لا نهاية، فإن النتيجة تكون كسرًا مستمرًا غير محدود . الحالة الخاصة التي تكون فيها جميع البسط{أأنا}{\displaystyle \{a_{i}\}}(انظر الصورة) تساوي واحدًا، وجميع المقامات{بأنا}{\displaystyle \{b_{i}\}}عندما تكون الأعداد صحيحة موجبة، يُشار إلى الكسر المستمر البسيط (أو المنتظم) باسم الكسر المستمر البسيط . يمكن التعبير عن أي عدد نسبي موجب ككسر مستمر بسيط محدود، ويمكن التعبير عن أي عدد غير نسبي موجب ككسر مستمر بسيط غير محدود.

تستخدم فروع الرياضيات المختلفة مصطلحات ورموزًا متباينة للكسور المستمرة. ففي نظرية الأعداد ، يشير مصطلح " الكسر المستمر " عادةً إلى الكسور المستمرة البسيطة، بينما يُشار إلى الحالة العامة بالكسور المستمرة المعممة . أما في التحليل المركب والتحليل العددي ، فيُشار إلى الحالة العامة عادةً بمصطلح " الكسر المستمر" .

يمكن أن تكون بسط ومقامات الكسور المستمرة متتابعات{أأنا}،{بأنا}{\displaystyle \{a_{i}\},\{b_{i}\}}من الأرقام أو الدوال .

التركيبة

الكسر المستمر هو تعبير على الصورة x=ب0+أ1ب1+أ2ب2+أ3ب3+أ4ب4+{\displaystyle x=b_{0}+{\cfrac {a_{1}}{b_{1}+{\cfrac {a_{2}}{b_{2}+{\cfrac {a_{3}}{b_{3}+{\cfrac {a_{4}}{b_{4}+\ddots \,}}}}}}}}} حيث أن a n ( n > 0 ) هي البسط الجزئية ، و b n هي المقامات الجزئية ، ويسمى الحد الرئيسي b 0 الجزء الصحيح من الكسر المستمر.

يتم تكوين المتقاربات المتتالية للكسر المستمر عن طريق تطبيق صيغ التكرار الأساسية : x0=أ0ب0=ب0،x1=أ1ب1=ب1ب0+أ1ب1،x2=أ2ب2=ب2(ب1ب0+أ1)+أ2ب0ب2ب1+أ2، ...{\displaystyle {\begin{aligned}x_{0}&={\frac {A_{0}}{B_{0}}}=b_{0},\\x_{1}&={\frac {A_{1}}{B_{1}}}={\frac {b_{1}b_{0}+a_{1}}{b_{1}}},\\x_{2}&={\frac {A_{2}}{B_{2}}}={\frac {b_{2}(b_{1}b_{0}+a_{1})+a_{2}b_{0}}{b_{2}b_{1}+a_{2}}},\ \dots \end{aligned}}} حيث يمثل A <sub>n </sub> البسط و B <sub> n </sub> المقام، ويُطلق عليهما اسم "المستمرين" ، [ 3 ] [ 4 ] للمُتقارب النوني . ويتم التعبير عنهما من خلال علاقة التكرار الثلاثية [ 5 ].أن=بنأن-1+أنأن-2،بن=بنبن-1+أنبن-2ل ن1{\displaystyle {\begin{aligned}A_{n}&=b_{n}A_{n-1}+a_{n}A_{n-2},\\B_{n}&=b_{n}B_{n-1}+a_{n}B_{n-2}\qquad {\text{for }}n\geq 1\end{aligned}}} مع القيم الأولية أ-1=1،أ0=ب0،ب-1=0،ب0=1.{\displaystyle {\begin{aligned}A_{-1}&=1,&A_{0}&=b_{0},\\B_{-1}&=0,&B_{0}&=1.\end{aligned}}}

إذا اقتربت متتالية التقارب { xⁿ } من حدٍّ ما ، فإن الكسر المستمر يكون متقاربًا وله قيمة محددة. أما إذا لم تقترب متتالية التقارب من حدٍّ ما أبدًا، فإن الكسر المستمر يكون متباعدًا. وقد يتباعد بالتذبذب (على سبيل المثال، قد تقترب متتاليتا التقارب الفردي والزوجي من حدّين مختلفين)، أو قد ينتج عنه عدد لا نهائي من المقامات الصفرية Bⁿ .

تاريخ

تبدأ قصة الكسور المستمرة مع خوارزمية إقليدس ، [ 6 ] وهي إجراء لإيجاد القاسم المشترك الأكبر لعددين طبيعيين m و n . وقد قدمت هذه الخوارزمية فكرة القسمة لاستخراج باقي جديد - ثم القسمة على الباقي الجديد بشكل متكرر.

مرّ ما يقارب ألفي عام قبل أن يبتكر بومبيلي (1579) تقنية لتقريب جذور المعادلات التربيعية باستخدام الكسور المستمرة في منتصف القرن السادس عشر. ثم تسارعت وتيرة التطور. فبعد 24 عامًا فقط، في عام 1613، قدّم بيترو كاتالدي أول تدوين رسمي للكسر المستمر المعمم. [ 7 ] وقد مثّل كاتالدي الكسر المستمر على النحو التالي: أ0ون1د1ون2د2ون3د3{\displaystyle {a_{0}\cdot }\,\&\,{\frac {n_{1}}{d_{1}\cdot }}\,\&\,{\frac {n_{2}}{d_{2}\cdot }}\,\&\,{\frac {n_{3}}{d_{3}}}} مع النقاط التي تشير إلى مكان الكسر التالي، وكل علامة & تمثل علامة زائد حديثة.

في أواخر القرن السابع عشر، أدخل جون واليس مصطلح "الكسر المستمر" إلى الأدبيات الرياضية. [ 8 ] وقد ظهرت مؤخرًا تقنيات جديدة للتحليل الرياضي ( حساب التفاضل والتكامل لنيوتن وليبنيز )، واستخدم جيل من معاصري واليس هذا المصطلح الجديد.

في عام 1744 ، نشر أويلر كتاب "De fractionibus continuis dissertatio" [مقال عن الكسور المستمرة]. [ 9 ] (تتوفر ترجمة إنجليزية سهلة القراءة). [ 2 ]

في عام 1748، نشر أويلر نظرية تُبين أن نوعًا معينًا من الكسور المستمرة يُكافئ متسلسلة لانهائية عامة جدًا . [ 10 ] ولا تزال صيغة أويلر للكسور المستمرة أساسًا للعديد من البراهين الحديثة لتقارب الكسور المستمرة .

في عام 1761، قدم يوهان هاينريش لامبرت أول برهان على أن π عدد غير نسبي ، باستخدام الكسر المستمر التالي لـ tan x : [ 11 ]لون برونزي(x)=x1+-x23+-x25+-x27+{\displaystyle \tan(x)={\cfrac {x}{1+{\cfrac {-x^{2}}{3+{\cfrac {-x^{2}}{5+{\cfrac {-x^{2}}{7+{}\ddots }}}}}}}}}

يمكن تطبيق الكسور المستمرة أيضًا على مسائل نظرية الأعداد ، وهي مفيدة بشكل خاص في دراسة المعادلات الديوفانتية . في أواخر القرن الثامن عشر، استخدم لاغرانج الكسور المستمرة لبناء الحل العام لمعادلة بيل ، مجيبًا بذلك على سؤال حيّر علماء الرياضيات لأكثر من ألف عام. [ 12 ] يشير اكتشاف لاغرانج إلى أن التوسع الكسوري المستمر المتعارف عليه للجذر التربيعي لكل عدد صحيح غير مربع دوري، وأنه إذا كان طول الدورة p > 1 ، فإنه يحتوي على سلسلة متناظرة طولها p − 1 .

في عام 1813، اشتق غاوس من الدوال الهندسية الفائقة ذات القيم المركبة ما يسمى الآن بالكسور المستمرة لغوس . [ 13 ] ويمكن استخدامها للتعبير عن العديد من الدوال الأولية وبعض الدوال الأكثر تقدمًا (مثل دوال بيسل )، ككسور مستمرة تتقارب بسرعة في كل مكان تقريبًا في المستوى المركب.

الترميز

إنّ صيغة الكسر المستمر الطويلة المعروضة في المقدمة سهلة الفهم للقارئ غير المطلع. مع ذلك، فهي تشغل مساحة كبيرة وقد يصعب طباعتها. لذا، ابتكر علماء الرياضيات عدة رموز بديلة. استخدم غوتفريد لايبنتز أحيانًا رموزًا مثل [ 14 ].x=ب0+أ1ب1+ أ2ب2+ أ3ب3+أ4ب4+.{\displaystyle {\begin{aligned}x=b_{0}+{\dfrac {a_{1}}{b_{1}}}{{} \atop +}\\[28mu]\ \end{aligned}}\!{\begin{aligned}{\dfrac {a_{2}}{b_{2}}}{{} \atop +}\\[2mu]\ \end{aligned}}\!{\begin{aligned}{\dfrac {a_{3}}{b_{3}}}{{} \atop +}\end{aligned}}\!{\begin{aligned}\\[2mu]{\dfrac {a_{4}}{b_{4}}}+\,\cdots .\end{aligned}}} توجد طريقة تدوين أكثر إيجازًا تضع كل كسر متداخل على نفس السطر، وتشير إلى التداخل عن طريق علامات الجمع المعلقة في المقامات x=ب0+أ1ب1 +أ2ب2 +أ3ب3 +أ4ب4 +،{\displaystyle x=b_{0}+{\frac {a_{1}}{b_{1}~\!+}}\,{\frac {a_{2}}{b_{2}~\!+}}\,{\frac {a_{3}}{b_{3}~\!+}}\,{\frac {a_{4}}{b_{4}~\!{+}\,\cdots }}\,,} أو أحيانًا مع علامات الجمع المكتوبة بحيث تتماشى عموديًا مع المقامات ولكن ليس أسفل أشرطة الكسور، [ 15 ]x=ب0+أ1ب1+أ2ب2+أ3ب3+أ4ب4+.{\displaystyle x=b_{0}+{\frac {a_{1}}{b_{1}}}{{} \atop +}{\frac {a_{2}}{b_{2}}}{{} \atop +}{\frac {a_{3}}{b_{3}}}{{} \atop +}{\frac {a_{4}}{b_{4}}}{{} \atop \!{}+\,\cdots .}}

كتب برينغشيم الكسر المستمر المعمم بهذه الطريقة: x=ب0+|أ1ب1|+|أ2ب2|+|أ3ب3|+|أ4ب4|+.{\displaystyle x=b_{0}+{{} \atop {{\big |}\!}}\!{\frac {a_{1}}{\,b_{1}\,}}\!{{\!{\big |}} \atop {}}+{{} \atop {{\big |}\!}}\!{\frac {a_{2}}{\,b_{2}\,}}\!{{\!{\big |}} \atop {}}+{{} \atop {{\big |}\!}}\!{\frac {a_{3}}{\,b_{3}\,}}\!{{\!{\big |}} \atop {}}+{{} \atop {{\big |}\!}}\!{\frac {a_{4}}{\,b_{4}\,}}\!{{\!{\big |}} \atop {}}+\cdots .}

استحضر كارل فريدريش غاوس مفهوم الضرب اللانهائي الأكثر شيوعًا عندما ابتكر هذه الصيغة: x=ب0+كأنا=1أأنابأنا.{\displaystyle x=b_{0}+{\underset {i=1}{\overset {\infty }{\operatorname {K} }}}{\frac {a_{i}}{b_{i}}}.} هنا، يرمز الحرف " K " إلى Kettenbruch ، وهي الكلمة الألمانية التي تعني "الكسر المستمر". ولعل هذه الطريقة هي الأنسب والأكثر اختصارًا للتعبير عن الكسور المستمرة؛ إلا أنها ليست شائعة الاستخدام بين مصممي النصوص الإنجليزية. (عادةً ما يكون حجم الحرف K مماثلاً لحجم المستخدم للدلالة على المجموع أو المستخدم للدلالة على حاصل الضرب، ولكن في هذه المقالة يظهر الحرف K أصغر بكثير من ذلك بسبب قيود تقنية).

بعض الاعتبارات الأساسية

فيما يلي بعض النتائج الأولية ذات الأهمية الأساسية في التطوير المستمر للنظرية التحليلية للكسور المستمرة.

البسط والمقامات الجزئية

إذا كان أحد البسط الجزئي a n +1 يساوي صفرًا، فإن الكسر المستمر اللانهائي ب0+كأنا=1أأنابأنا{\displaystyle b_{0}+{\underset {i=1}{\overset {\infty }{\operatorname {K} }}}{\frac {a_{i}}{b_{i}}}} هي في الواقع مجرد كسر مستمر محدود ذو n حدًا كسريًا، وبالتالي دالة كسرية من a <sub>1</sub> إلى a <sub>n</sub> و b <sub>0</sub> إلى b<sub> n +1</sub> . لا يُعد هذا النوع من الكسور ذا أهمية كبيرة من وجهة النظر المتبعة في التحليل الرياضي، لذا يُفترض عادةً أن جميع قيم a<sub> i </sub> ≠ 0. ولا داعي لفرض هذا القيد على المقامات الجزئية b <sub> i </sub> .

صيغة المحدد

عندما يكون التقارب النوني لكسر مستمر xن=ب0+كنأنا=1أأنابأنا{\displaystyle x_{n}=b_{0}+{\underset {i=1}{\overset {n}{\operatorname {K} }}}{\frac {a_{i}}{b_{i}}}} يمكن التعبير عنها ككسر بسيط x n = A n / B n ويمكننا استخدام صيغة المحدد

لربط بسط ومقامات المتتاليات المتقاربة x <sub>n</sub> و x <sub>n -1 </sub> ببعضها البعض. ويمكن إثبات ذلك بسهولة بالاستقراء الرياضي .

تحويل التكافؤ

إذا كانت { c i } = { c 1 , c 2 , c 3 , ...} أي متتالية لانهائية من الأعداد المركبة غير الصفرية ، فيمكننا إثبات ذلك بالاستقراء الرياضي. ب0+أ1ب1+أ2ب2+أ3ب3+أ4ب4+=ب0+ج1أ1ج1ب1+ج1ج2أ2ج2ب2+ج2ج3أ3ج3ب3+ج3ج4أ4ج4ب4+{\displaystyle b_{0}+{\cfrac {a_{1}}{b_{1}+{\cfrac {a_{2}}{b_{2}+{\cfrac {a_{3}}{b_{3}+{\cfrac {a_{4}}{b_{4}+\ddots \,}}}}}}}}=b_{0}+{\cfrac {c_{1}a_{1}}{c_{1}b_{1}+{\cfrac {c_{1}c_{2}a_{2}}{c_{2}b_{2}+{\cfrac {c_{2}c_{3}a_{3}}{c_{3}b_{3}+{\cfrac {c_{3}c_{4}a_{4}}{c_{4}b_{4}+\ddots \,}}}}}}}}} حيث يُفهم التساوي على أنه تكافؤ، أي أن المتقاربات المتتالية للكسر المستمر على اليسار هي نفسها تمامًا متقاربات الكسر على اليمين.

يُعدّ تحويل التكافؤ عامًا تمامًا، ولكن هناك حالتان خاصتان تستحقان الذكر بشكل خاص. أولًا، إذا لم يكن أي من aᵢ يساوي صفرًا، فيمكن اختيار متتالية {ci} لجعل كل بسط جزئي يساوي 1 : ب0+كأنا=1أأنابأنا=ب0+كأنا=11جأنابأنا$ حيث c 1 = 1 / a 1 ، c 2 = a 1 / a 2 ، c 3 = a 2 / a 1 a 3 ، وبشكل عام c n +1 = 1 / a n +1 c n .

ثانيًا، إذا لم يكن أي من المقامات الجزئية b i يساوي صفرًا، فيمكننا استخدام إجراء مماثل لاختيار متتالية أخرى { d i } لجعل كل مقام جزئي a يساوي 1: ب0+كأنا=1أأنابأنا=ب0+كأنا=1دأناأأنا1$ حيث d 1 = 1 / b 1 وإلا فإن d n +1 = 1 / b n b n +1 .

تُعد هاتان الحالتان الخاصتان لتحويل التكافؤ مفيدتين للغاية عند تحليل مشكلة التقارب العامة.

مفاهيم التقارب

كما ذكرنا في المقدمة، الكسر المستمر x=ب0+كأنا=1أأنابأنا{\displaystyle x=b_{0}+{\underset {i=1}{\overset {\infty }{\operatorname {K} }}}{\frac {a_{i}}{b_{i}}}} يتقارب إذا كانت متتالية المتقاربات { xₙ } تؤول إلى حد نهائي. هذا المفهوم للتقارب طبيعي جدًا، ولكنه أحيانًا يكون مقيدًا للغاية. لذلك، من المفيد تقديم مفهوم التقارب العام للكسر المستمر. باختصار، يتمثل هذا في استبدالكأنا=نأأنابأنا{\displaystyle \operatorname {K} _{i=n}^{\infty }{\tfrac {a_{i}}{b_{i}}}}نستخدم جزءًا من الكسر مقسومًا على w n ، بدلًا من صفر، لحساب المتقاربات. تُسمى المتقاربات التي تم الحصول عليها بهذه الطريقة بالمتقاربات المعدلة . نقول إن الكسر المستمر يتقارب عمومًا إذا وُجدت متتالية{wن*}{\displaystyle \{w_{n}^{*}\}}بحيث يتقارب تسلسل المتقاربات المعدلة لجميع{wن}{\displaystyle \{w_{n}\}}متميز بشكل كافٍ عن{wن*}{\displaystyle \{w_{n}^{*}\}}التسلسل{wن*}{\displaystyle \{w_{n}^{*}\}}يُطلق عليها حينها اسم متتالية استثنائية للكسر المستمر. انظر الفصل الثاني من كتاب لورنتزن ووادلاند (1992) للاطلاع على تعريف دقيق.

يوجد أيضًا مفهوم التقارب المطلق للكسور المستمرة، والذي يستند إلى مفهوم التقارب المطلق للمتسلسلة: يُقال إن الكسر المستمر متقارب تقاربًا مطلقًا عندما تكون المتسلسلة و=ن(ون-ون-1)،{\displaystyle f=\sum _{n}\left(f_{n}-f_{n-1}\right),} أينون=كأنا=1نأأنابأنا{\displaystyle f_{n}=\operatorname {K} _{i=1}^{n}{\tfrac {a_{i}}{b_{i}}}}[ 16 ] توفر نظرية Śleszyński–Pringsheim شرطًا كافيًا للتقارب المطلق .

أخيرًا، يكون الكسر المستمر لمتغير واحد أو أكثر من المتغيرات المركبة متقاربًا بانتظام في جوار مفتوح Ω عندما تتقارب متقارباته بانتظام على Ω ؛ أي، عندما يكون لكل ε > 0 يوجد M بحيث أنه لكل n > M ، لكلzΩ{\displaystyle z\in \Omega }، |و(z)-ون(z)|<ε.{\displaystyle |f(z)-f_{n}(z)|<\varepsilon .}

التقارب الزوجي والفردي

قد يكون من الضروري أحيانًا فصل الكسر المستمر إلى جزئيه الزوجي والفردي. على سبيل المثال، إذا كان الكسر المستمر يتباعد بالتذبذب بين نقطتي نهاية مختلفتين p و q ، فإن المتتالية { x₀ , x₂ , x₄ , ...} يجب أن تتقارب إلى إحداهما، والمتتالية { x₁ , x₃ , x₅ , ...} يجب أن تتقارب إلى الأخرى. في مثل هذه الحالة ، قد يكون من الملائم التعبير عن الكسر المستمر الأصلي على هيئة كسرين مستمرين مختلفين، أحدهما يتقارب إلى p ، والآخر يتقارب إلى q .

يمكن كتابة صيغ الأجزاء الزوجية والفردية للكسر المستمر بأكثر الطرق اختصارًا إذا تم تحويل الكسر مسبقًا بحيث تكون جميع مقاماته الجزئية مساوية للواحد. تحديدًا، إذا x=كأنا=1أأنا1{\displaystyle x={\underset {i=1}{\overset {\infty }{\operatorname {K} }}}{\frac {a_{i}}{1}}} إذا كان لدينا كسر مستمر، فإن الجزء الزوجي × زوجي والجزء الفردي × فردي يُعطيان بالعلاقة التالية: xحتى=أ11+أ2-أ2أ31+أ3+أ4-أ4أ51+أ5+أ6-أ6أ71+أ7+أ8-{\displaystyle x_{\text{even}}={\cfrac {a_{1}}{1+a_{2}-{\cfrac {a_{2}a_{3}}{1+a_{3}+a_{4}-{\cfrac {a_{4}a_{5}}{1+a_{5}+a_{6}-{\cfrac {a_{6}a_{7}}{1+a_{7}+a_{8}-\ddots }}}}}}}}} و xغريب=أ1-أ1أ21+أ2+أ3-أ3أ41+أ4+أ5-أ5أ61+أ6+أ7-أ7أ81+أ8+أ9-{\displaystyle x_{\text{odd}}=a_{1}-{\cfrac {a_{1}a_{2}}{1+a_{2}+a_{3}-{\cfrac {a_{3}a_{4}}{1+a_{4}+a_{5}-{\cfrac {a_{5}a_{6}}{1+a_{6}+a_{7}-{\cfrac {a_{7}a_{8}}{1+a_{8}+a_{9}-\ddots }}}}}}}}} على التوالي. وبشكل أدق، إذا كانت المتقاربات المتتالية للكسر المستمر x هي { x 1 , x 2 , x 3 , ...} ، فإن المتقاربات المتتالية لـ x الزوجي كما هو مكتوب أعلاه هي { x 2 , x 4 , x 6 , ...} ، والمتقاربات المتتالية لـ x الفردي هي { x 1 , x 3 , x 5 , ...} . [ 17 ]

شروط اللاعقلانية

إذا كانت a₁ , a₂ , ... و b₁ , b₂ , ... أعدادًا صحيحة موجبة بحيث يكون aₖ bₖ لجميع قيم k الكبيرة بما فيه الكفاية ، فإن x=ب0+كأنا=1أأنابأنا{\displaystyle x=b_{0}+{\underset {i=1}{\overset {\infty }{\operatorname {K} }}}{\frac {a_{i}}{b_{i}}}} يتقارب إلى حد غير منطقي. [ 18 ]

صيغ التكرار الأساسية

ترتبط البسط والمقامات الجزئية للمضاعفات المتتالية للكسر بصيغ التكرار الأساسية : أ-1=1ب-1=0أ0=ب0ب0=1أن+1=بن+1أن+أن+1أن-1بن+1=بن+1بن+أن+1بن-1{\displaystyle {\begin{aligned}A_{-1}&=1&B_{-1}&=0\\A_{0}&=b_{0}&B_{0}&=1\\A_{n+1}&=b_{n+1}A_{n}+a_{n+1}A_{n-1}&B_{n+1}&=b_{n+1}B_{n}+a_{n+1}B_{n-1}\end{aligned}}}

تُعطى المتتاليات المتقاربة للكسر المستمر بالصيغة التالية: xن=أنبن.{\displaystyle x_{n}={\frac {A_{n}}{B_{n}}}.}

تُعزى هذه العلاقات التكرارية إلى جون واليس (1616-1703) وليونهارد أويلر (1707-1783). [ 19 ] وهذه العلاقات التكرارية هي ببساطة تدوين مختلف للعلاقات التي توصل إليها بيترو أنطونيو كاتالدي (1548-1626).

كمثال على ذلك، ضع في اعتبارك الكسر المستمر البسيط في شكله القانوني الذي يمثل النسبة الذهبية φ : φ=1+11+11+11+11+{\displaystyle \varphi =1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{1+\ddots \,}}}}}}}}}

بتطبيق صيغ التكرار الأساسية، نجد أن البسط المتتالي A <sub>n</sub> هي {1، 2، 3، 5، 8، 13، ...} والمقام المتتالي B<sub> n</sub> هي {1، 1، 2، 3، 5، 8، ...} ، وهي أعداد فيبوناتشي . وبما أن جميع البسط الجزئية في هذا المثال تساوي واحدًا، فإن صيغة المحدد تؤكد لنا أن القيمة المطلقة للفرق بين التقاربات المتتالية تقترب من الصفر بسرعة كبيرة.

التحويلات الكسرية الخطية

التحويل الكسري الخطي (LFT) هو دالة مركبة على الشكل التالي w=و(z)=أz+بجz+د،{\displaystyle w=f(z)={\frac {az+b}{cz+d}},} حيث z متغير مركب، و a و b و c و d ثوابت مركبة اختيارية بحيث يكون cz + d ≠ 0. ويُفرض عادةً قيد إضافي هو adbc ، لاستبعاد الحالات التي يكون فيها w = f ( z ) ثابتًا. يتميز التحويل الكسري الخطي، المعروف أيضًا بتحويل موبيوس ، بالعديد من الخصائص الرائعة. أربع من هذه الخصائص ذات أهمية بالغة في تطوير النظرية التحليلية للكسور المستمرة.

  • إذا كانت قيمة c لا تساوي صفرًا، فإن تحويل فورييه الخطي له نقطة ثابتة واحدة أو نقطتان ثابتتان . ويمكن ملاحظة ذلك من خلال النظر في المعادلة.و(z)=zأz+ب=جz2+دzجz2+(د-أ)z-ب=0،{\displaystyle f(z)=z\Rightarrow az+b=cz^{2}+dz\Rightarrow cz^{2}+(da)zb=0,}وهي معادلة تربيعية واضحة في z . جذور هذه المعادلة هي النقاط الثابتة للدالة f ( z ) . إذا كان المميز ( d - a ) ² + 4bc يساوي صفرًا، فإن تحويل فورييه الخطي (LFT) يُثبّت نقطة واحدة؛ وإلا فإنه يُثبّت نقطتين.
  • إذا كان adbc، فإن تحويل فورييه الخطي (LFT) هو تحويل توافقي قابل للعكس من المستوى العقدي الممتد إلى نفسه. بعبارة أخرى، يمتلك هذا التحويل دالة عكسية.z=ز(w)=+دw-ب-جw+أ{\displaystyle z=g(w)={\frac {{\phantom {+}}dw-b}{-cw+a}}}بحيث يكون f ( g ( z )) = g ( f ( z )) = z لكل نقطة z في المستوى المركب الممتد، وتحافظ كل من f و g على الزوايا والأشكال عند المقاييس الصغيرة جدًا. من صيغة z = g ( w نرى أن g هي أيضًا تحويل فورييه خطي.
  • إن تركيب دالتين خطيتين مختلفتين من دوال التحويل الخطي (LFTs) حيث adbc هو في حد ذاته دالة تحويل خطي حيث adbc . بعبارة أخرى، فإن مجموعة جميع دوال التحويل الخطي التي تحقق adbc مغلقة تحت عملية تركيب الدوال. تُعرف مجموعة جميع دوال التحويل الخطي هذه، بالإضافة إلى عملية تركيب الدوال (التي تُعرف أيضًا باسم "عملية الزمرة")، باسم زمرة التشاكل الذاتي للمستوى العقدي الممتد.
  • إذا كانت قيمة a تساوي صفرًا، فإن تحويل فورييه الخطي يختزل إلىw=و(z)=بجz+د،{\displaystyle w=f(z)={\frac {b}{cz+d}},}وهي دالة ميرومورفية بسيطة للغاية لـ z ذات قطب بسيط واحد (عند d / c ) وباقي يساويb / c . (انظر أيضًا متسلسلات لوران .)

الجزء المستمر كتركيب من LFTs

لنفترض سلسلة من التحويلات الكسرية الخطية البسيطة τ0(z)=ب0+z،τ1(z)=أ1ب1+z،τ2(z)=أ2ب2+z،τ3(z)=أ3ب3+z،\displaystyle \begin{aligned}\tau_0(z)&=b_0+z,\\\tau_1(z)&=\frac{a_1}{b_1+z}},\\\tau_2(z)&=\frac{a_2}{b_2+z}},\\\tau_3(z)&=\frac{a_3}{b_3+z}},\\&\;\vdots \end{aligned}}}

نستخدم هنا الرمز τ لتمثيل كل تحويل خطي بسيط، ونعتمد الترميز الدائري التقليدي لتركيب الدوال. كما نقدم رمزًا جديدًا Τ n لتمثيل تركيب n + 1 تحويل τ i ؛ أي، تي1(z)=τ0τ1(z)=τ0(τ1(z))،تي2(z)=τ0τ1τ2(z)=τ0(τ1(τ2(z)))،{\displaystyle {\begin{aligned}{\boldsymbol {\mathrm {T} }}_{\boldsymbol {1}}(z)&=\tau _{0}\circ \tau _{1}(z)=\tau _{0}{\big (}\tau _{1}(z){\big )},\\{\boldsymbol {\mathrm {T} }}_{\boldsymbol {2}}(z)&=\tau _{0}\circ \tau _{1}\circ \tau _{2}(z)=\tau _{0}{\Big (}\tau _{1}{\big (}\tau _{2}(z){\big )}{\Big )},\end{aligned}}} وهكذا دواليك. من خلال التعويض المباشر من المجموعة الأولى من التعبيرات إلى المجموعة الثانية، نرى أن تي1(z)=τ0τ1(z)=ب0+أ1ب1+zتي2(z)=τ0τ1τ2(z)=ب0+أ1ب1+أ2ب2+z{\displaystyle {\begin{aligned}{\boldsymbol {\mathrm {T} }}_{\boldsymbol {1}}(z)&=\tau _{0}\circ \tau _{1}(z)&=&\quad b_{0}+{\cfrac {a_{1}}{b_{1}+z}}\\[4px]{\boldsymbol {\mathrm {T} }}_{\boldsymbol {2}}(z)&=\tau _{0}\circ \tau _{1}\circ \tau _{2}(z)&=&\quad b_{0}+{\cfrac {a_{1}}{b_{1}+{\cfrac {a_{2}}{b_{2}+z}}}}\end{aligned}}} وبشكل عام، تين(z)=τ0τ1τ2τن(z)=ب0+كنأنا=1أأنابأنا{\displaystyle {\boldsymbol {\mathrm {T} }}_{\boldsymbol {n}}(z)=\tau _{0}\circ \tau _{1}\circ \tau _{2}\circ \cdots \circ \tau _{n}(z)=b_{0}+{\underset {i=1}{\overset {n}{\operatorname {K} }}}{\frac {a_{i}}{b_{i}}}} حيث يُفهم أن المقام الجزئي الأخير في الكسر المستمر المحدود K هو b n + z . وبما أن b n + 0 = b n ، فإن صورة النقطة z = 0 تحت تحويل فورييه الخطي المتكرر Τ n هي في الواقع قيمة الكسر المستمر المحدود ذي n من البسط الجزئية: تين(0)=تين+1()=ب0+كنأنا=1أأنابأنا.{\displaystyle {\boldsymbol {\mathrm {T} }}_{\boldsymbol {n}}(0)={\boldsymbol {\mathrm {T} }}_{\boldsymbol {n+1}}(\infty )=b_{0}+{\underset {i=1}{\overset {n}{\operatorname {K} }}}{\frac {a_{i}}{b_{i}}}.}

تفسير هندسي

إن تعريف الكسر المستمر المحدود على أنه صورة نقطة تحت التحويل الكسري الخطي المتكرر Τ n ( z ) يؤدي إلى تفسير هندسي جذاب بديهيًا للكسور المستمرة اللانهائية.

العلاقة xن=ب0+كنأنا=1أأنابأنا=أنبن=تين(0)=تين+1(){\displaystyle x_{n}=b_{0}+{\underset {i=1}{\overset {n}{\operatorname {K} }}}{\frac {a_{i}}{b_{i}}}={\frac {A_{n}}{B_{n}}}={\boldsymbol {\mathrm {T} }}_{\boldsymbol {n}}(0)={\boldsymbol {\mathrm {T} }}_{\boldsymbol {n+1}}(\infty )} يمكن فهم ذلك من خلال إعادة كتابة Τ n ( z ) و Τ n +1 ( z ) بدلالة صيغ التكرار الأساسية : تين(z)=(بن+z)أن-1+أنأن-2(بن+z)بن-1+أنبن-2تين(z)=zأن-1+أنzبن-1+بن؛تين+1(z)=(بن+1+z)أن+أن+1أن-1(بن+1+z)بن+أن+1بن-1تين+1(z)=zأن+أن+1zبن+بن+1.{\displaystyle {\begin{aligned}{\boldsymbol {\mathrm {T} }}_{\boldsymbol {n}}(z)&={\frac {(b_{n}+z)A_{n-1}+a_{n}A_{n-2}}{(b_{n}+z)B_{n-1}+a_{n}B_{n-2}}}&{\boldsymbol {\mathrm {T} }}_{\boldsymbol {n}}(z)&={\frac {zA_{n-1}+A_{n}}{zB_{n-1}+B_{n}}};\\[6px]{\boldsymbol {\mathrm {T} }}_{\boldsymbol {n+1}}(z)&={\frac {(b_{n+1}+z)A_{n}+a_{n+1}A_{n-1}}{(b_{n+1}+z)B_{n}+a_{n+1}B_{n-1}}}&{\boldsymbol {\mathrm {T} }}_{\boldsymbol {n+1}}(z)&={\frac {zA_{n}+A_{n+1}}{zB_{n}+B_{n+1}}}.\end{aligned}}}

في المعادلة الأولى، تقترب النسبة من ⁠An / Bn⁠ عندما تقترب z من الصفر. وفي الثانية، تقترب النسبة من ⁠An / Bn⁠ عندما تقترب z من اللانهاية . وهذا يقودنا إلى تفسيرنا الهندسي الأول. إذا كان الكسر المستمر متقاربًا، فإن المتقاربات المتتالية ⁠An / Bn⁠ تتقارب في النهاية تقاربًا تامًا . وبما أن التحويل الكسري الخطي Τn ( z ) دالة متصلة ، فلا بد من وجود جوار لـ z = 0 يُحوّل إلى جوار صغير جدًا لـ Τn(0) = ⁠An/ Bn⁠ . وبالمثل ، لا بد من وجود جوار للنقطة عند اللانهاية يُحوّل إلى جوار صغير جدًا لـ Τn ( ) = ⁠An 1 / Bn 1 . لذا إذا كان الكسر المستمر يتقارب، فإن التحويل Τ n ( z ) يرسم كلاً من z الصغيرة جدًا و z الكبيرة جدًا في جوار صغير بشكل تعسفي لـ x ، فإن قيمة الكسر المستمر، مع ازدياد n بشكل أكبر فأكبر.

بالنسبة للقيم المتوسطة لـ z ، بما أن التقاربات المتتالية تقترب من بعضها البعض، فلا بد أن يكون لدينا أن-1بن-1أنبنأن-1أنبن-1بن=ك{\displaystyle {\frac {A_{n-1}}{B_{n-1}}}\approx {\frac {A_{n}}{B_{n}}}\quad \Rightarrow \quad {\frac {A_{n-1}}{A_{n}}}\approx {\frac {B_{n-1}}{B_{n}}}=k} حيث k ثابت، تم إدخاله للتسهيل. ولكن بعد ذلك، بالتعويض في تعبير Τ n ( z ) نحصل على تين(z)=zأن-1+أنzبن-1+بن=أنبن(zأن-1أن+1zبن-1بن+1)أنبن(zك+1zك+1)=أنبن{\displaystyle {\boldsymbol {\mathrm {T} }}_{\boldsymbol {n}}(z)={\frac {zA_{n-1}+A_{n}}{zB_{n-1}+B_{n}}}={\frac {A_{n}}{B_{n}}}\left({\frac {z{\frac {A_{n-1}}{A_{n}}}+1}{z{\frac {B_{n-1}}{B_{n}}}+1}}\right)\approx {\frac {A_{n}}{B_{n}}}\left({\frac {zk+1}{zk+1}}\right)={\frac {A_{n}}{B_{n}}}} بحيث تُسقط حتى القيم المتوسطة لـ z (باستثناء z ≈ − k −1 ) على جوار صغير جدًا لـ x ، وهي قيمة الكسر المستمر، كلما ازدادت قيمة n . وبشكل بديهي، يبدو الأمر كما لو أن الكسر المستمر المتقارب يُسقط كامل المستوى العقدي الممتد على نقطة واحدة. [ 20 ]

لاحظ أن المتتالية { Τn } تقع ضمن زمرة التشاكل الذاتي للمستوى العقدي الممتد، لأن كل Τn هو تحويل كسري خطي يحقق الشرط abcd . وكل عنصر من عناصر زمرة التشاكل الذاتي هذه يُسقط المستوى العقدي الممتد على نفسه: لا يمكن لأي من Τn أن يُسقط المستوى على نقطة واحدة. ومع ذلك، في النهاية ، تُعرّف المتتالية { Τn } كسرًا مستمرًا لانهائيًا ، والذي (إذا تقارب) يُمثل نقطة واحدة في المستوى العقدي.

عندما يتقارب كسر مستمر لانهائي، فإن المتتالية المقابلة { Τn } من تحويلات فورييه الخطية "تركز" المستوى في اتجاه x ، قيمة الكسر المستمر. في كل مرحلة من مراحل العملية، يتم رسم منطقة أكبر فأكبر من المستوى في جوار x ، وتمتد المنطقة الأصغر فأصغر المتبقية من المستوى بشكل أرق لتغطية كل شيء خارج ذلك الجوار. [ 21 ]

بالنسبة للكسور المستمرة المتباعدة، يمكننا التمييز بين ثلاث حالات:

  1. قد تُعرّف المتتاليتان { Τ 2 n −1 } و { Τ 2 n } كسرين مستمرين متقاربين لهما قيمتان مختلفتان، x فردي و x ​​زوجي . في هذه الحالة، يتباعد الكسر المستمر المُعرّف بالمتتالية { Τ n } بالتذبذب بين نقطتي نهاية مختلفتين. وفي الواقع، يمكن تعميم هذه الفكرة: إذ يُمكن إنشاء متتاليات { Τ n } تتذبذب بين ثلاث أو أربع أو أي عدد من نقاط النهاية. وتظهر حالات مثيرة للاهتمام لهذه الحالة عندما تُشكّل المتتالية { Τ n } زمرة جزئية من رتبة منتهية ضمن زمرة التشاكلات الذاتية على المستوى العقدي الممتد.
  2. قد تُنتج المتتالية { Τn } عددًا لا نهائيًا من المقامات الصفرية Bi ، بالإضافة إلى متتالية فرعية من متقاربات محدودة. قد لا تتكرر هذه المتقاربات المحدودة أو تتبع نمطًا تذبذبيًا واضحًا. أو قد تتقارب إلى حدٍّ نهائي، أو حتى تتذبذب بين عدة حدود نهائية. بغض النظر عن سلوك المتقاربات المحدودة، فإن الكسر المستمر المُعرَّف بالمتتالية { Τn } يتباعد بالتذبذب، ويكون عند نقطة اللانهاية في هذه الحالة . [ 22 ]
  3. قد لا ينتج عن المتتالية { Τ n } أكثر من عدد محدود من المقامات الصفرية B i . بينما ترقص المتتالية الفرعية ذات التقارب المحدود بشكل جامح حول المستوى في نمط لا يتكرر أبدًا ولا يقترب أبدًا من أي حد محدود أيضًا.
تفسير مرئي لكسر مستمر بسيط

يمكن بناء أمثلة مثيرة للاهتمام للحالتين 1 و3 من خلال دراسة الكسر المستمر البسيط x=1+z1+z1+z1+z1+{\displaystyle x=1+{\cfrac {z}{1+{\cfrac {z}{1+{\cfrac {z}{1+{\cfrac {z}{1+\ddots }}}}}}}}} حيث z هو أي عدد حقيقي بحيث يكون z < 1 / 4 . [ 23 ]

صيغة أويلر للكسور المستمرة

أثبت أويلر المتطابقة التالية: [ 10 ]أ0+أ0أ1+أ0أ1أ2++أ0أ1أ2أن=أ01-أ11+أ1-أ21+أ2-أن1+أن.{\displaystyle a_{0}+a_{0}a_{1}+a_{0}a_{1}a_{2}+\cdots +a_{0}a_{1}a_{2}\cdots a_{n}={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{1+a_{2}-\cdots {\cfrac {a_{n}}{1+a_{n}}}}}}}}}.}

ومن هذا يمكن استخلاص العديد من النتائج الأخرى، مثل: 1u1+1u2+1u3++1uن=1u1-u12u1+u2-u22u2+u3-uن-12uن-1+uن،{\displaystyle {\frac {1}{u_{1}}}+{\frac {1}{u_{2}}}+{\frac {1}{u_{3}}}+\cdots +{\frac {1}{u_{n}}}={\cfrac {1}{u_{1}-{\cfrac {u_{1}^{2}}{u_{1}+u_{2}-{\cfrac {u_{2}^{2}}{u_{2}+u_{3}-\cdots {\cfrac {u_{n-1}^{2}}{u_{n-1}+u_{n}}}}}}}}},} و 1أ0+xأ0أ1+x2أ0أ1أ2++xنأ0أ1أ2...أن=1أ0-أ0xأ1+x-أ1xأ2+x-أن-1xأن+x.{\displaystyle {\frac {1}{a_{0}}}+{\frac {x}{a_{0}a_{1}}}+{\frac {x^{2}}{a_{0}a_{1}a_{2}}}+\cdots +{\frac {x^{n}}{a_{0}a_{1}a_{2}\ldots a_{n}}}={\cfrac {1}{a_{0}-{\cfrac {a_{0}x}{a_{1}+x-{\cfrac {a_{1}x}{a_{2}+x-\cdots {\cfrac {a_{n-1}x}{a_{n}+x}}}}}}}}.}

إن صيغة أويلر التي تربط الكسور المستمرة والمتسلسلات هي الدافع وراء المتباينات الأساسية ، وهي أيضًا أساس المناهج الأولية لمشكلة التقارب .

أمثلة

الدوال والأعداد المتسامية

فيما يلي كسران مستمران يمكن بناؤهما باستخدام متطابقة أويلر .

هـx=x00!+x11!+x22!+x33!+x44!+=1+x1-1x2+x-2x3+x-3x4+x-{\displaystyle e^{x}={\frac {x^{0}}{0!}}+{\frac {x^{1}}{1!}}+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+{\frac {x^{4}}{4!}}+\cdots =1+{\cfrac {x}{1-{\cfrac {1x}{2+x-{\cfrac {2x}{3+x-{\cfrac {3x}{4+x-\ddots }}}}}}}}}

سجل(1+x)=x11-x22+x33-x44+=x1-0x+12x2-1x+22x3-2x+32x4-3x+{\displaystyle \log(1+x)={\frac {x^{1}}{1}}-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-{\frac {x^{4}}{4}}+\cdots ={\cfrac {x}{1-0x+{\cfrac {1^{2}x}{2-1x+{\cfrac {2^{2}x}{3-2x+{\cfrac {3^{2}x}{4-3x+\ddots }}}}}}}}}

فيما يلي أمثلة إضافية على الكسور المستمرة المعممة:

دالة الظل العكسيxy=xy1y2+(1xy)23y2-1x2+(3xy)25y2-3x2+(5xy)27y2-5x2+=x1y+(1x)23y+(2x)25y+(3x)27y+{\displaystyle \arctan {\cfrac {x}{y}}={\cfrac {xy}{1y^{2}+{\cfrac {(1xy)^{2}}{3y^{2}-1x^{2}+{\cfrac {(3xy)^{2}}{5y^{2}-3x^{2}+{\cfrac {(5xy)^{2}}{7y^{2}-5x^{2}+\ddots }}}}}}}}={\cfrac {x}{1y+{\cfrac {(1x)^{2}}{3y+{\cfrac {(2x)^{2}}{5y+{\cfrac {(3x)^{2}}{7y+\ddots }}}}}}}}}

هـxy=1+2x2y-x+x26y+x210y+x214y+x218y+هـ2=7+25+17+19+111+{\displaystyle e^{\frac {x}{y}}=1+{\cfrac {2x}{2y-x+{\cfrac {x^{2}}{6y+{\cfrac {x^{2}}{10y+{\cfrac {x^{2}}{14y+{\cfrac {x^{2}}{18y+\ddots }}}}}}}}}}\quad \Rightarrow \quad e^{2}=7+{\cfrac {2}{5+{\cfrac {1}{7+{\cfrac {1}{9+{\cfrac {1}{11+\ddots }}}}}}}}}

سجل(1+xy)=xy+1x2+1x3y+2x2+2x5y+3x2+=2x2y+x-(1x)23(2y+x)-(2x)25(2y+x)-(3x)27(2y+x)-{\displaystyle \log \left(1+{\frac {x}{y}}\right)={\cfrac {x}{y+{\cfrac {1x}{2+{\cfrac {1x}{3y+{\cfrac {2x}{2+{\cfrac {2x}{5y+{\cfrac {3x}{2+\ddots }}}}}}}}}}}}={\cfrac {2x}{2y+x-{\cfrac {(1x)^{2}}{3(2y+x)-{\cfrac {(2x)^{2}}{5(2y+x)-{\cfrac {(3x)^{2}}{7(2y+x)-\ddots }}}}}}}}}

يعتمد هذا الأخير على خوارزمية اشتقها أليكسي نيكولايفيتش خوفانسكي في سبعينيات القرن العشرين. [ 24 ]

مثال: اللوغاريتم الطبيعي للعدد 2 (= [0; 1, 2, 3, 1, 5, 2/3 , 7 , 1/2 , 9 , 2/5 , ... , 2k - 1 , 2 / k , ... ] 0.693147 ... ) : [ 25 ]سجل2=سجل(1+1)=11+12+13+22+25+32+=23-129-2215-3221-{\displaystyle \log 2=\log(1+1)={\cfrac {1}{1+{\cfrac {1}{2+{\cfrac {1}{3+{\cfrac {2}{2+{\cfrac {2}{5+{\cfrac {3}{2+\ddots }}}}}}}}}}}}={\cfrac {2}{3-{\cfrac {1^{2}}{9-{\cfrac {2^{2}}{15-{\cfrac {3^{2}}{21-\ddots }}}}}}}}}

π

فيما يلي ثلاثة من أشهر الكسور المستمرة المعممة لـ π ، حيث تم اشتقاق أولها وثالثها من صيغ الظل العكسي الخاصة بهما أعلاه عن طريق وضع x = y = 1 والضرب في 4. صيغة لايبنتز لـ π : π=41+122+322+522+=ن=04(-1)ن2ن+1=41-43+45-47+-{\displaystyle \pi ={\cfrac {4}{1+{\cfrac {1^{2}}{2+{\cfrac {3^{2}}{2+{\cfrac {5^{2}}{2+\ddots }}}}}}}}=\sum _{n=0}^{\infty }{\frac {4(-1)^{n}}{2n+1}}={\frac {4}{1}}-{\frac {4}{3}}+{\frac {4}{5}}-{\frac {4}{7}}+-\cdots } يتقارب ببطء، ويتطلب ما يقرب من 3 × 10 ^n حدًا لتحقيق n منزلة عشرية صحيحة.

السلسلة مشتقة من Nilakantha Somayaji : π=3+126+326+526+=3-ن=1(-1)نن(ن+1)(2ن+1)=3+1123-1235+1347-+{\displaystyle \pi =3+{\cfrac {1^{2}}{6+{\cfrac {3^{2}}{6+{\cfrac {5^{2}}{6+\ddots }}}}}}=3-\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n(n+1)(2n+1)}}=3+{\frac {1}{1\cdot 2\cdot 3}}-{\frac {1}{2\cdot 3\cdot 5}}+{\frac {1}{3\cdot 4\cdot 7}}-+\cdots } كما أنها تتقارب ببطء شديد، حيث تتطلب ما يقرب من 50 حدًا لخمسة أرقام عشرية وما يقرب من 120 حدًا لستة أرقام عشرية. وكلاهما يتقارب بشكل شبه خطي .

على الجانب الآخر: π=41+123+225+327+=4-1+16-134+163145-44551+16601-138341+-{\displaystyle \pi ={\cfrac {4}{1+{\cfrac {1^{2}}{3+{\cfrac {2^{2}}{5+{\cfrac {3^{2}}{7+\ddots }}}}}}}}=4-1+{\frac {1}{6}}-{\frac {1}{34}}+{\frac {16}{3145}}-{\frac {4}{4551}}+{\frac {1}{6601}}-{\frac {1}{38341}}+-\cdots } يتقارب خطيًا، مضيفًا ثلاثة أرقام على الأقل من الدقة لكل أربعة حدود، بوتيرة أسرع قليلاً من صيغة الجيب العكسي لـ π : π=6الخطيئة-1(12)=ن=03(2نن)16ن(2ن+1)=31601+61613+181625+601637+{\displaystyle \pi =6\sin ^{-1}\left({\frac {1}{2}}\right)=\sum _{n=0}^{\infty }{\frac {3\cdot {\binom {2n}{n}}}{16^{n}(2n+1)}}={\frac {3}{16^{0}\cdot 1}}+{\frac {6}{16^{1}\cdot 3}}+{\frac {18}{16^{2}\cdot 5}}+{\frac {60}{16^{3}\cdot 7}}+\cdots \!} وهو ما يضيف ثلاثة أرقام عشرية على الأقل لكل خمسة حدود. [ 26 ]

  • ملاحظة: معدل تقارب هذا الكسر المستمر μ يؤول إلى 3 √8 ≈ 0.1715729 ، وبالتالي فإن 1 / μ يؤول إلى 3 + √8 ≈ 5.828427 ، ولوغاريتمه العشري هو 0.7655... ≈ 13/17 > 3/4 . ويُلاحظ نفس المقدار 1 / μ = 3 + √8 ( مربع نسبة الفضة ) في الكسور المستمرة العامة غير المطوية لكل من اللوغاريتم الطبيعي للعدد 2 والجذر النوني للعدد 2 (الذي ينطبق على أي عدد صحيح n > 1 ) عند حسابه باستخدام 2 = 1 + 1 . بالنسبة للكسور المستمرة العامة المطوية لكلا التعبيرين، فإن معدل التقارب μ = (3 √8 ) ² = 17 √288 ≈ 0.02943725 ، وبالتالي 1 / μ = (3 + √8 ) ² = 17 + √288 33.97056 ، ولوغاريتمه العشري 1.531... ≈ 26/17 > 3/2 ، مما يضيف ثلاثة أرقام على الأقل لكل حدين . وذلك لأن العامل المشترك الأكبر المطوي يطوي كل زوج من الكسور من العامل المشترك الأكبر غير المطوي إلى كسر واحد، مما يضاعف معدل التقارب. ويشرح مرجع ماني ساردينا الكسور المستمرة "المطوية" بمزيد من التفصيل.
  • ملاحظة: إن استخدام الكسر المستمر لـ arctan x / y المذكور أعلاه مع الصيغة المعروفة الشبيهة بصيغة ماشين يوفر تعبيرًا متقاربًا بشكل أسرع، وإن كان لا يزال خطيًا:π=16لون برونزي-115-4لون برونزي-11239=165+1215+2225+3235+-4239+12717+221195+321673+.{\displaystyle \pi =16\tan ^{-1}{\cfrac {1}{5}}\,-\,4\tan ^{-1}{\cfrac {1}{239}}={\cfrac {16}{5+{\cfrac {1^{2}}{15+{\cfrac {2^{2}}{25+{\cfrac {3^{2}}{35+\ddots }}}}}}}}\,-\,{\cfrac {4}{239+{\cfrac {1^{2}}{717+{\cfrac {2^{2}}{1195+{\cfrac {3^{2}}{1673+\ddots }}}}}}}}.}

جذور الأعداد الموجبة

يمكن التعبير عن الجذر النوني لأي عدد موجب z m بإعادة صياغة المعادلة z = x n + y ، مما ينتج عنه zمن=(xن+y)من=xم+مyنxن-م+(ن-م)y2xم+(ن+م)y3نxن-م+(2ن-م)y2xم+(2ن+م)y5نxن-م+(3ن-م)y2xم+{\displaystyle {\sqrt[{n}]{z^{m}}}={\sqrt[{n}]{\left(x^{n}+y\right)^{m}}}=x^{m}+{\cfrac {my}{nx^{n-m}+{\cfrac {(n-m)y}{2x^{m}+{\cfrac {(n+m)y}{3nx^{n-m}+{\cfrac {(2n-m)y}{2x^{m}+{\cfrac {(2n+m)y}{5nx^{n-m}+{\cfrac {(3n-m)y}{2x^{m}+\ddots }}}}}}}}}}}}} والتي يمكن تبسيطها، عن طريق طي كل زوج من الكسور إلى كسر واحد، إلى zمن=xم+2xممyن(2xن+y)-مy-(12ن2-م2)y23ن(2xن+y)-(22ن2-م2)y25ن(2xن+y)-(32ن2-م2)y27ن(2xن+y)-(42ن2-م2)y29ن(2xن+y)-.{\displaystyle {\sqrt[{n}]{z^{m}}}=x^{m}+{\cfrac {2x^{m}\cdot my}{n(2x^{n}+y)-my-{\cfrac {(1^{2}n^{2}-m^{2})y^{2}}{3n(2x^{n}+y)-{\cfrac {(2^{2}n^{2}-m^{2})y^{2}}{5n(2x^{n}+y)-{\cfrac {(3^{2}n^{2}-m^{2})y^{2}}{7n(2x^{n}+y)-{\cfrac {(4^{2}n^{2}-m^{2})y^{2}}{9n(2x^{n}+y)-\ddots }}}}}}}}}}.}

الجذر التربيعي لـ z هو حالة خاصة عندما يكون m = 1 و n = 2 : z=x2+y=x+y2x+y2x+3y6x+3y2x+=x+2xy2(2x2+y)-y-13y26(2x2+y)-35y210(2x2+y)-{\displaystyle {\sqrt {z}}={\sqrt {x^{2}+y}}=x+{\cfrac {y}{2x+{\cfrac {y}{2x+{\cfrac {3y}{6x+{\cfrac {3y}{2x+\ddots }}}}}}}}=x+{\cfrac {2x\cdot y}{2(2x^{2}+y)-y-{\cfrac {1\cdot 3y^{2}}{6(2x^{2}+y)-{\cfrac {3\cdot 5y^{2}}{10(2x^{2}+y)-\ddots }}}}}}}والتي يمكن تبسيطها بملاحظة أن 5 / 10 = 3 / 6 = 1 / 2 :z=x2+y=x+y2x+y2x+y2x+y2x+=x+2xy2(2x2+y)-y-y22(2x2+y)-y22(2x2+y)-.{\displaystyle {\sqrt {z}}={\sqrt {x^{2}+y}}=x+{\cfrac {y}{2x+{\cfrac {y}{2x+{\cfrac {y}{2x+{\cfrac {y}{2x+\ddots }}}}}}}}=x+{\cfrac {2x\cdot y}{2(2x^{2}+y)-y-{\cfrac {y^{2}}{2(2x^{2}+y)-{\cfrac {y^{2}}{2(2x^{2}+y)-\ddots }}}}}}.}

يمكن أيضًا التعبير عن الجذر التربيعي بواسطة كسر مستمر دوري ، ولكن الشكل أعلاه يتقارب بشكل أسرع مع قيم x و y المناسبة .

المثال 1

يمكن حساب الجذر التكعيبي للعدد اثنين (2 1/3 أو 3 2 ≈ 1.259921...) بطريقتين:

أولاً، "التدوين القياسي" لـ x = 1 و y = 1 و 2z − y = 3 : 23=1+13+22+49+52+715+82+1021+112+=1+219-1-2427-5745-81063-111381-.{\displaystyle {\sqrt[{3}]{2}}=1+{\cfrac {1}{3+{\cfrac {2}{2+{\cfrac {4}{9+{\cfrac {5}{2+{\cfrac {7}{15+{\cfrac {8}{2+{\cfrac {10}{21+{\cfrac {11}{2+\ddots }}}}}}}}}}}}}}}}=1+{\cfrac {2\cdot 1}{9-1-{\cfrac {2\cdot 4}{27-{\cfrac {5\cdot 7}{45-{\cfrac {8\cdot 10}{63-{\cfrac {11\cdot 13}{81-\ddots }}}}}}}}}}.}

ثانيًا، تقارب سريع مع x = 5 و y = 3 و 2z − y = 253 : 23=54+0.550+25+4150+55+7250+85+10350+115+=54+2.51253-1-24759-571265-8101771-.{\displaystyle {\sqrt[{3}]{2}}={\cfrac {5}{4}}+{\cfrac {0.5}{50+{\cfrac {2}{5+{\cfrac {4}{150+{\cfrac {5}{5+{\cfrac {7}{250+{\cfrac {8}{5+{\cfrac {10}{350+{\cfrac {11}{5+\ddots }}}}}}}}}}}}}}}}={\cfrac {5}{4}}+{\cfrac {2.5\cdot 1}{253-1-{\cfrac {2\cdot 4}{759-{\cfrac {5\cdot 7}{1265-{\cfrac {8\cdot 10}{1771-\ddots }}}}}}}}.}

المثال 2

نسبة بوجسون (100 1/5 أو 5 100 ≈ 2.511886...)، مع x = 5 و y = 75 و 2 zy = 6325 : 1005=52+3250+125+18750+275+331250+425+=52+531265-3-12183795-27336325-42488855-.{\displaystyle {\sqrt[{5}]{100}}={\cfrac {5}{2}}+{\cfrac {3}{250+{\cfrac {12}{5+{\cfrac {18}{750+{\cfrac {27}{5+{\cfrac {33}{1250+{\cfrac {42}{5+\ddots }}}}}}}}}}}}={\cfrac {5}{2}}+{\cfrac {5\cdot 3}{1265-3-{\cfrac {12\cdot 18}{3795-{\cfrac {27\cdot 33}{6325-{\cfrac {42\cdot 48}{8855-\ddots }}}}}}}}.}

المثال 3

الجذر الثاني عشر للعدد اثنين (2 1/12 أو 12 2 ≈ 1.059463...)، باستخدام "التدوين القياسي": 212=1+112+112+1336+232+2560+352+3784+472+=1+2136-1-1113108-2325180-3537252-4749324-.{\displaystyle {\sqrt[{12}]{2}}=1+{\cfrac {1}{12+{\cfrac {11}{2+{\cfrac {13}{36+{\cfrac {23}{2+{\cfrac {25}{60+{\cfrac {35}{2+{\cfrac {37}{84+{\cfrac {47}{2+\ddots }}}}}}}}}}}}}}}}=1+{\cfrac {2\cdot 1}{36-1-{\cfrac {11\cdot 13}{108-{\cfrac {23\cdot 25}{180-{\cfrac {35\cdot 37}{252-{\cfrac {47\cdot 49}{324-\ddots }}}}}}}}}}.}

المثال 4

الخامسة المثالية في التوزيع المتساوي (2 7/12 أو 12 2 7 ≈ 1.498307...)، مع m = 7 :

باستخدام "التدوين القياسي": 2712=1+712+52+1936+172+3160+292+4384+412+=1+2736-7-519108-1731180-2943252-4155324-.{\displaystyle {\sqrt[{12}]{2^{7}}}=1+{\cfrac {7}{12+{\cfrac {5}{2+{\cfrac {19}{36+{\cfrac {17}{2+{\cfrac {31}{60+{\cfrac {29}{2+{\cfrac {43}{84+{\cfrac {41}{2+\ddots }}}}}}}}}}}}}}}}=1+{\cfrac {2\cdot 7}{36-7-{\cfrac {5\cdot 19}{108-{\cfrac {17\cdot 31}{180-{\cfrac {29\cdot 43}{252-{\cfrac {41\cdot 55}{324-\ddots }}}}}}}}}}.}

تقارب سريع مع x = 3 ، y = −7153 ، و 2z − y = 219 + 312 : 2712=12312-715312=32-0.571534312-1171536-13715312312-2371536-25715320312-3571536-37715328312-4771536-{\displaystyle {\sqrt[{12}]{2^{7}}}={\cfrac {1}{2}}{\sqrt[{12}]{3^{12}-7153}}={\cfrac {3}{2}}-{\cfrac {0.5\cdot 7153}{4\cdot 3^{12}-{\cfrac {11\cdot 7153}{6-{\cfrac {13\cdot 7153}{12\cdot 3^{12}-{\cfrac {23\cdot 7153}{6-{\cfrac {25\cdot 7153}{20\cdot 3^{12}-{\cfrac {35\cdot 7153}{6-{\cfrac {37\cdot 7153}{28\cdot 3^{12}-{\cfrac {47\cdot 7153}{6-\ddots }}}}}}}}}}}}}}}}}

2712=32-3715312(219+312)+7153-11137153236(219+312)-23257153260(219+312)-35377153284(219+312)-.{\displaystyle {\sqrt[{12}]{2^{7}}}={\cfrac {3}{2}}-{\cfrac {3\cdot 7153}{12(2^{19}+3^{12})+7153-{\cfrac {11\cdot 13\cdot 7153^{2}}{36(2^{19}+3^{12})-{\cfrac {23\cdot 25\cdot 7153^{2}}{60(2^{19}+3^{12})-{\cfrac {35\cdot 37\cdot 7153^{2}}{84(2^{19}+3^{12})-\ddots }}}}}}}}.}

يمكن الاطلاع على المزيد من التفاصيل حول هذه التقنية في الطريقة العامة لاستخراج الجذور باستخدام الكسور المستمرة (المطوية) .

أبعاد أعلى

معنى آخر للكسر المستمر المعمم هو تعميمه إلى أبعاد أعلى. على سبيل المثال، ثمة علاقة وثيقة بين الكسر المستمر البسيط في صورته القياسية للعدد الحقيقي غير النسبي α ، وكيفية وقوع نقاط الشبكة الصحيحة في بعدين على جانبي الخط y = αx . بتعميم هذه الفكرة، يمكن التساؤل عن شيء يتعلق بنقاط الشبكة في ثلاثة أبعاد أو أكثر. أحد أسباب دراسة هذا المجال هو تحديد مفهوم التطابق الرياضي كميًا ؛ على سبيل المثال، بالنسبة للحدود الأحادية في عدة أعداد حقيقية، نأخذ الصيغة اللوغاريتمية وندرس مدى صغرها. سبب آخر هو إيجاد حل محتمل لمسألة هيرميت .

لقد كانت هناك محاولات عديدة لبناء نظرية معممة. وقد بذل فيليكس كلاين ( متعدد السطوح كلاينوجورج بواتو ، وجورج سيكيريس جهوداً ملحوظة في هذا الاتجاه .

انظر أيضاً

ملحوظات

  1. وول 1948 ، ص 13.
  2. 1 2 أويلر 1985 .
  3. كوسيك وفلايف 1989 .
  4. كريستال 1999 .
  5. ^ جونز وثرون 1980 ، ص. 20.
  6. إقليدس (2008) - تقوم خوارزمية إقليدس بتوليد كسر مستمر كمنتج ثانوي.
  7. كاتالدي 1613 .
  8. واليس 1699 .
  9. أويلر 1744 .
  10. 1 2 أويلر 1748 ، الفصل 18.
  11. ^ هافيل 2012 ، ص 104-105.
  12. كان براهمغوبتا (598-670) أول عالم رياضيات يقوم بدراسة منهجية لمعادلة بيل.
  13. غاوس 1813 .
  14. كاجوري، فلوريان (1925). "لايبنيتز، الباني الرئيسي للرموز الرياضية" . إيزيس . 7 (3): 412-429 . doi : 10.1086/358328 .
  15. سوانسون، إيلين (1999) [1971]. الرياضيات في شكل نص (ملف PDF) . تحديث: أوشين، أرلين؛ شلاير، أنطوانيت ( طبعة محدثة). الجمعية الأمريكية للرياضيات. 2.4.1c "الكسور المستمرة"، ص 18.  
  16. ^ لورينتزن ووادلاند 1992 .
  17. يستنتج أوسكار بيرون صيغًا أكثر عمومية للتمديد والانكماش للكسور المستمرة. انظر بيرون (1977أ) ، بيرون (1977ب) .
  18. أنجيل 2021 .
  19. Porubský 2008 .
  20. هذا التفسير البديهي ليس دقيقًا، لأن الكسر المستمر اللانهائي ليس دالة، بل هو نهاية متتالية من الدوال. ويُشابه بناء الكسر المستمر اللانهائي تقريبًا بناء عدد غير نسبي باعتباره نهاية متتالية كوشي من الأعداد النسبية.
  21. بسبب هذه التشبيهات،يتم وصف نظرية التحويل المطابق أحيانًا بأنها "هندسة الصفائح المطاطية".
  22. يتمثل أحد أساليب حل مشكلة التقارب في إنشاء كسور مستمرة موجبة محددة ، والتي لا تكون مقاماتها B i صفرًا أبدًا.
  23. تمت مناقشة هذا الجزء الدوري من الفترة واحد بشكل أكثر تفصيلاً في مقالة مشكلة التقارب .
  24. "طريقة بديلة لحساب $\log(x)$" . موقع تبادل الأسئلة والأجوبة في الرياضيات .
  25. بورواين، كراندال وفي 2004 ، ص 278، 280.
  26. بيكمان 1971 .

مراجع

  • أنجيل، ديفيد (2021). اللاعقلانية والتجاوز في نظرية الأعداد . تشابمان آند هول/سي آر سي. رقم ISBN 9780367628376.
  • كريستال، جورج (1999). الجبر، كتاب تمهيدي للمراحل العليا من المدارس الثانوية والكليات: الجزء 1. الجمعية الأمريكية للرياضيات. ص  500. ISBN 0-8218-1649-7.
  • أويلر، ليونارد (1985). "مقال في الكسور المستمرة" (ملف PDF) . نظرية الأنظمة الرياضية . 18. ترجمة: مايرا ف. وايمان؛ بوستويك ف. وايمان. سبرينغر-فيرلاغ: 295-328 . doi : 10.1007/bf01699475 . hdl : 1811/32133 . S2CID 126941824. تاريخ الاسترجاع: 12 يوليو 2026. مترجم من مجلة إنستروم، العدد 71 . 
  • هافيل، جوليان (2012). الأعداد غير النسبية: قصة الأرقام التي لا يمكنك الاعتماد عليها . مطبعة جامعة برينستون. ص  280. ISBN 978-0691143422JSTOR j.ctt7smdw . 
  • لورنتزن، ليزا ؛ واديلاند، هاكون (1992). الكسور المستمرة مع تطبيقات . ريدينغ، ماساتشوستس: نورث هولاند. ISBN 978-0-444-89265-2.(يغطي بشكل أساسي النظرية التحليلية وبعض النظرية الحسابية.)
  • بيرون، أوسكار (1977 أ) [1954]. Die Lehre von den Kettenbrüchen . المجلد.  الفرقة الأولى: Elementare Kettenbrüche (3  ed.). Vieweg + Teubner Verlag. رقم ISBN 9783519020219.
  • بيرون، أوسكار (1977 ب) [1954]. Die Lehre von den Kettenbrüchen . المجلد.  النطاق الثاني: Analytisch-funktionentheoretische Kettenbrüche (3  ed.). Vieweg + Teubner Verlag. رقم ISBN 9783519020226.
  • بوروبسكي، ستيفان (2008). "التعريفات الأساسية للكسور المستمرة" . بوابة المعلومات التفاعلية للرياضيات الخوارزمية . براغ، جمهورية التشيك: معهد علوم الحاسوب التابع لأكاديمية العلوم التشيكية . تاريخ الاسترجاع: 2 مايو 2022 .
  • بريس، دبليو إتش؛ تيوكولسكي، إس إيه؛ فيترلينغ، دبليو تي؛ فلانيري، بي بي (2007). "القسم 5.2. حساب الكسور المستمرة" . وصفات عددية: فن الحوسبة العلمية (  الطبعة الثالثة). نيويورك: مطبعة جامعة كامبريدج. ISBN 978-0-521-88068-8أُرشف من المصدر الأصلي بتاريخ 2021-05-06 . تم الاطلاع عليه بتاريخ 2011-08-08 .
  • سيكيريس، جورج (1970). “الكسور المستمرة متعددة الأبعاد”. آن. جامعة. الخيال العلمي. بودابست. طائفة إيوتفوس. الرياضيات . 13 : 113 - 140.