الكسر المستمر
الكسر المستمر هو تعبير رياضي يُكتب على شكل كسر، مقامه يحتوي على مجموع يتضمن كسرًا آخر، قد يكون بدوره كسرًا بسيطًا أو كسرًا مستمرًا. [ 1 ] [ 2 ] إذا انتهت هذه العملية المتكررة بكسر بسيط، فإن النتيجة تكون كسرًا مستمرًا محدودًا ؛ أما إذا استمرت إلى ما لا نهاية، فإن النتيجة تكون كسرًا مستمرًا غير محدود . الحالة الخاصة التي تكون فيها جميع البسط(انظر الصورة) تساوي واحدًا، وجميع المقاماتعندما تكون الأعداد صحيحة موجبة، يُشار إلى الكسر المستمر البسيط (أو المنتظم) باسم الكسر المستمر البسيط . يمكن التعبير عن أي عدد نسبي موجب ككسر مستمر بسيط محدود، ويمكن التعبير عن أي عدد غير نسبي موجب ككسر مستمر بسيط غير محدود.
تستخدم فروع الرياضيات المختلفة مصطلحات ورموزًا متباينة للكسور المستمرة. ففي نظرية الأعداد ، يشير مصطلح " الكسر المستمر " عادةً إلى الكسور المستمرة البسيطة، بينما يُشار إلى الحالة العامة بالكسور المستمرة المعممة . أما في التحليل المركب والتحليل العددي ، فيُشار إلى الحالة العامة عادةً بمصطلح " الكسر المستمر" .
يمكن أن تكون بسط ومقامات الكسور المستمرة متتابعاتمن الأرقام أو الدوال .
التركيبة
الكسر المستمر هو تعبير على الصورة حيث أن a n ( n > 0 ) هي البسط الجزئية ، و b n هي المقامات الجزئية ، ويسمى الحد الرئيسي b 0 الجزء الصحيح من الكسر المستمر.
يتم تكوين المتقاربات المتتالية للكسر المستمر عن طريق تطبيق صيغ التكرار الأساسية : حيث يمثل A <sub>n </sub> البسط و B <sub> n </sub> المقام، ويُطلق عليهما اسم "المستمرين" ، [ 3 ] [ 4 ] للمُتقارب النوني . ويتم التعبير عنهما من خلال علاقة التكرار الثلاثية [ 5 ]. مع القيم الأولية
إذا اقتربت متتالية التقارب { xⁿ } من حدٍّ ما ، فإن الكسر المستمر يكون متقاربًا وله قيمة محددة. أما إذا لم تقترب متتالية التقارب من حدٍّ ما أبدًا، فإن الكسر المستمر يكون متباعدًا. وقد يتباعد بالتذبذب (على سبيل المثال، قد تقترب متتاليتا التقارب الفردي والزوجي من حدّين مختلفين)، أو قد ينتج عنه عدد لا نهائي من المقامات الصفرية Bⁿ .
تاريخ
تبدأ قصة الكسور المستمرة مع خوارزمية إقليدس ، [ 6 ] وهي إجراء لإيجاد القاسم المشترك الأكبر لعددين طبيعيين m و n . وقد قدمت هذه الخوارزمية فكرة القسمة لاستخراج باقي جديد - ثم القسمة على الباقي الجديد بشكل متكرر.
مرّ ما يقارب ألفي عام قبل أن يبتكر بومبيلي (1579) تقنية لتقريب جذور المعادلات التربيعية باستخدام الكسور المستمرة في منتصف القرن السادس عشر. ثم تسارعت وتيرة التطور. فبعد 24 عامًا فقط، في عام 1613، قدّم بيترو كاتالدي أول تدوين رسمي للكسر المستمر المعمم. [ 7 ] وقد مثّل كاتالدي الكسر المستمر على النحو التالي: مع النقاط التي تشير إلى مكان الكسر التالي، وكل علامة & تمثل علامة زائد حديثة.
في أواخر القرن السابع عشر، أدخل جون واليس مصطلح "الكسر المستمر" إلى الأدبيات الرياضية. [ 8 ] وقد ظهرت مؤخرًا تقنيات جديدة للتحليل الرياضي ( حساب التفاضل والتكامل لنيوتن وليبنيز )، واستخدم جيل من معاصري واليس هذا المصطلح الجديد.
في عام 1744 ، نشر أويلر كتاب "De fractionibus continuis dissertatio" [مقال عن الكسور المستمرة]. [ 9 ] (تتوفر ترجمة إنجليزية سهلة القراءة). [ 2 ]
في عام 1748، نشر أويلر نظرية تُبين أن نوعًا معينًا من الكسور المستمرة يُكافئ متسلسلة لانهائية عامة جدًا . [ 10 ] ولا تزال صيغة أويلر للكسور المستمرة أساسًا للعديد من البراهين الحديثة لتقارب الكسور المستمرة .
في عام 1761، قدم يوهان هاينريش لامبرت أول برهان على أن π عدد غير نسبي ، باستخدام الكسر المستمر التالي لـ tan x : [ 11 ]
يمكن تطبيق الكسور المستمرة أيضًا على مسائل نظرية الأعداد ، وهي مفيدة بشكل خاص في دراسة المعادلات الديوفانتية . في أواخر القرن الثامن عشر، استخدم لاغرانج الكسور المستمرة لبناء الحل العام لمعادلة بيل ، مجيبًا بذلك على سؤال حيّر علماء الرياضيات لأكثر من ألف عام. [ 12 ] يشير اكتشاف لاغرانج إلى أن التوسع الكسوري المستمر المتعارف عليه للجذر التربيعي لكل عدد صحيح غير مربع دوري، وأنه إذا كان طول الدورة p > 1 ، فإنه يحتوي على سلسلة متناظرة طولها p − 1 .
في عام 1813، اشتق غاوس من الدوال الهندسية الفائقة ذات القيم المركبة ما يسمى الآن بالكسور المستمرة لغوس . [ 13 ] ويمكن استخدامها للتعبير عن العديد من الدوال الأولية وبعض الدوال الأكثر تقدمًا (مثل دوال بيسل )، ككسور مستمرة تتقارب بسرعة في كل مكان تقريبًا في المستوى المركب.
الترميز
إنّ صيغة الكسر المستمر الطويلة المعروضة في المقدمة سهلة الفهم للقارئ غير المطلع. مع ذلك، فهي تشغل مساحة كبيرة وقد يصعب طباعتها. لذا، ابتكر علماء الرياضيات عدة رموز بديلة. استخدم غوتفريد لايبنتز أحيانًا رموزًا مثل [ 14 ]. توجد طريقة تدوين أكثر إيجازًا تضع كل كسر متداخل على نفس السطر، وتشير إلى التداخل عن طريق علامات الجمع المعلقة في المقامات أو أحيانًا مع علامات الجمع المكتوبة بحيث تتماشى عموديًا مع المقامات ولكن ليس أسفل أشرطة الكسور، [ 15 ]
كتب برينغشيم الكسر المستمر المعمم بهذه الطريقة:
استحضر كارل فريدريش غاوس مفهوم الضرب اللانهائي الأكثر شيوعًا ∏ عندما ابتكر هذه الصيغة: هنا، يرمز الحرف " K " إلى Kettenbruch ، وهي الكلمة الألمانية التي تعني "الكسر المستمر". ولعل هذه الطريقة هي الأنسب والأكثر اختصارًا للتعبير عن الكسور المستمرة؛ إلا أنها ليست شائعة الاستخدام بين مصممي النصوص الإنجليزية. (عادةً ما يكون حجم الحرف K مماثلاً لحجم ∑ المستخدم للدلالة على المجموع أو ∏ المستخدم للدلالة على حاصل الضرب، ولكن في هذه المقالة يظهر الحرف K أصغر بكثير من ذلك بسبب قيود تقنية).
بعض الاعتبارات الأساسية
فيما يلي بعض النتائج الأولية ذات الأهمية الأساسية في التطوير المستمر للنظرية التحليلية للكسور المستمرة.
البسط والمقامات الجزئية
إذا كان أحد البسط الجزئي a n +1 يساوي صفرًا، فإن الكسر المستمر اللانهائي هي في الواقع مجرد كسر مستمر محدود ذو 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 n = A n / B n ويمكننا استخدام صيغة المحدد
| 1 |
لربط بسط ومقامات المتتاليات المتقاربة x <sub>n</sub> و x <sub>n -1 </sub> ببعضها البعض. ويمكن إثبات ذلك بسهولة بالاستقراء الرياضي .
دليل |
|---|
الحالة الأساسية تنتج الحالة n = 1 من عملية حسابية بسيطة للغاية. خطوات استقرائية بافتراض أن ( 1 ) صحيحة لـ n − 1 ، نحتاج إذن إلى التحقق من صحة العلاقة نفسها لـ n . بالتعويض بقيمتي A n و B n في ( 1 )، نحصل على: وهذا صحيح بسبب فرضية الاستقراء لدينا. على وجه التحديد، إذا لم يكن أي من B n أو B n − 1 يساوي صفرًا ( n > 0 )، فيمكننا التعبير عن الفرق بين المتقاربين ( n − 1) و n على النحو التالي: |
تحويل التكافؤ
إذا كانت { c i } = { c 1 , c 2 , c 3 , ...} أي متتالية لانهائية من الأعداد المركبة غير الصفرية ، فيمكننا إثبات ذلك بالاستقراء الرياضي. حيث يُفهم التساوي على أنه تكافؤ، أي أن المتقاربات المتتالية للكسر المستمر على اليسار هي نفسها تمامًا متقاربات الكسر على اليمين.
يُعدّ تحويل التكافؤ عامًا تمامًا، ولكن هناك حالتان خاصتان تستحقان الذكر بشكل خاص. أولًا، إذا لم يكن أي من aᵢ يساوي صفرًا، فيمكن اختيار متتالية {ci} لجعل كل بسط جزئي يساوي 1 : حيث 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: حيث d 1 = 1 / b 1 وإلا فإن d n +1 = 1 / b n b n +1 .
تُعد هاتان الحالتان الخاصتان لتحويل التكافؤ مفيدتين للغاية عند تحليل مشكلة التقارب العامة.
مفاهيم التقارب
كما ذكرنا في المقدمة، الكسر المستمر يتقارب إذا كانت متتالية المتقاربات { xₙ } تؤول إلى حد نهائي. هذا المفهوم للتقارب طبيعي جدًا، ولكنه أحيانًا يكون مقيدًا للغاية. لذلك، من المفيد تقديم مفهوم التقارب العام للكسر المستمر. باختصار، يتمثل هذا في استبدالنستخدم جزءًا من الكسر مقسومًا على w n ، بدلًا من صفر، لحساب المتقاربات. تُسمى المتقاربات التي تم الحصول عليها بهذه الطريقة بالمتقاربات المعدلة . نقول إن الكسر المستمر يتقارب عمومًا إذا وُجدت متتاليةبحيث يتقارب تسلسل المتقاربات المعدلة لجميعمتميز بشكل كافٍ عنالتسلسليُطلق عليها حينها اسم متتالية استثنائية للكسر المستمر. انظر الفصل الثاني من كتاب لورنتزن ووادلاند (1992) للاطلاع على تعريف دقيق.
يوجد أيضًا مفهوم التقارب المطلق للكسور المستمرة، والذي يستند إلى مفهوم التقارب المطلق للمتسلسلة: يُقال إن الكسر المستمر متقارب تقاربًا مطلقًا عندما تكون المتسلسلة أين[ 16 ] توفر نظرية Śleszyński–Pringsheim شرطًا كافيًا للتقارب المطلق .
أخيرًا، يكون الكسر المستمر لمتغير واحد أو أكثر من المتغيرات المركبة متقاربًا بانتظام في جوار مفتوح Ω عندما تتقارب متقارباته بانتظام على Ω ؛ أي، عندما يكون لكل ε > 0 يوجد M بحيث أنه لكل n > M ، لكل،
التقارب الزوجي والفردي
قد يكون من الضروري أحيانًا فصل الكسر المستمر إلى جزئيه الزوجي والفردي. على سبيل المثال، إذا كان الكسر المستمر يتباعد بالتذبذب بين نقطتي نهاية مختلفتين p و q ، فإن المتتالية { x₀ , x₂ , x₄ , ...} يجب أن تتقارب إلى إحداهما، والمتتالية { x₁ , x₃ , x₅ , ...} يجب أن تتقارب إلى الأخرى. في مثل هذه الحالة ، قد يكون من الملائم التعبير عن الكسر المستمر الأصلي على هيئة كسرين مستمرين مختلفين، أحدهما يتقارب إلى p ، والآخر يتقارب إلى q .
يمكن كتابة صيغ الأجزاء الزوجية والفردية للكسر المستمر بأكثر الطرق اختصارًا إذا تم تحويل الكسر مسبقًا بحيث تكون جميع مقاماته الجزئية مساوية للواحد. تحديدًا، إذا إذا كان لدينا كسر مستمر، فإن الجزء الزوجي × زوجي والجزء الفردي × فردي يُعطيان بالعلاقة التالية: و على التوالي. وبشكل أدق، إذا كانت المتقاربات المتتالية للكسر المستمر 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 الكبيرة بما فيه الكفاية ، فإن يتقارب إلى حد غير منطقي. [ 18 ]
صيغ التكرار الأساسية
ترتبط البسط والمقامات الجزئية للمضاعفات المتتالية للكسر بصيغ التكرار الأساسية :
تُعطى المتتاليات المتقاربة للكسر المستمر بالصيغة التالية:
تُعزى هذه العلاقات التكرارية إلى جون واليس (1616-1703) وليونهارد أويلر (1707-1783). [ 19 ] وهذه العلاقات التكرارية هي ببساطة تدوين مختلف للعلاقات التي توصل إليها بيترو أنطونيو كاتالدي (1548-1626).
كمثال على ذلك، ضع في اعتبارك الكسر المستمر البسيط في شكله القانوني الذي يمثل النسبة الذهبية φ :
بتطبيق صيغ التكرار الأساسية، نجد أن البسط المتتالي A <sub>n</sub> هي {1، 2، 3، 5، 8، 13، ...} والمقام المتتالي B<sub> n</sub> هي {1، 1، 2، 3، 5، 8، ...} ، وهي أعداد فيبوناتشي . وبما أن جميع البسط الجزئية في هذا المثال تساوي واحدًا، فإن صيغة المحدد تؤكد لنا أن القيمة المطلقة للفرق بين التقاربات المتتالية تقترب من الصفر بسرعة كبيرة.
التحويلات الكسرية الخطية
التحويل الكسري الخطي (LFT) هو دالة مركبة على الشكل التالي حيث z متغير مركب، و a و b و c و d ثوابت مركبة اختيارية بحيث يكون cz + d ≠ 0. ويُفرض عادةً قيد إضافي هو ad ≠ bc ، لاستبعاد الحالات التي يكون فيها w = f ( z ) ثابتًا. يتميز التحويل الكسري الخطي، المعروف أيضًا بتحويل موبيوس ، بالعديد من الخصائص الرائعة. أربع من هذه الخصائص ذات أهمية بالغة في تطوير النظرية التحليلية للكسور المستمرة.
- إذا كانت قيمة c لا تساوي صفرًا، فإن تحويل فورييه الخطي له نقطة ثابتة واحدة أو نقطتان ثابتتان . ويمكن ملاحظة ذلك من خلال النظر في المعادلة.وهي معادلة تربيعية واضحة في z . جذور هذه المعادلة هي النقاط الثابتة للدالة f ( z ) . إذا كان المميز ( d - a ) ² + 4bc يساوي صفرًا، فإن تحويل فورييه الخطي (LFT) يُثبّت نقطة واحدة؛ وإلا فإنه يُثبّت نقطتين.
- إذا كان ad ≠ bc، فإن تحويل فورييه الخطي (LFT) هو تحويل توافقي قابل للعكس من المستوى العقدي الممتد إلى نفسه. بعبارة أخرى، يمتلك هذا التحويل دالة عكسية.بحيث يكون f ( g ( z )) = g ( f ( z )) = z لكل نقطة z في المستوى المركب الممتد، وتحافظ كل من f و g على الزوايا والأشكال عند المقاييس الصغيرة جدًا. من صيغة z = g ( w )، نرى أن g هي أيضًا تحويل فورييه خطي.
- إن تركيب دالتين خطيتين مختلفتين من دوال التحويل الخطي (LFTs) حيث ad ≠ bc هو في حد ذاته دالة تحويل خطي حيث ad ≠ bc . بعبارة أخرى، فإن مجموعة جميع دوال التحويل الخطي التي تحقق ad ≠ bc مغلقة تحت عملية تركيب الدوال. تُعرف مجموعة جميع دوال التحويل الخطي هذه، بالإضافة إلى عملية تركيب الدوال (التي تُعرف أيضًا باسم "عملية الزمرة")، باسم زمرة التشاكل الذاتي للمستوى العقدي الممتد.
- إذا كانت قيمة a تساوي صفرًا، فإن تحويل فورييه الخطي يختزل إلىوهي دالة ميرومورفية بسيطة للغاية لـ z ذات قطب بسيط واحد (عند − d / c ) وباقي يساوي b / c . (انظر أيضًا متسلسلات لوران .)
الجزء المستمر كتركيب من LFTs
لنفترض سلسلة من التحويلات الكسرية الخطية البسيطة
نستخدم هنا الرمز τ لتمثيل كل تحويل خطي بسيط، ونعتمد الترميز الدائري التقليدي لتركيب الدوال. كما نقدم رمزًا جديدًا Τ n لتمثيل تركيب n + 1 تحويل τ i ؛ أي، وهكذا دواليك. من خلال التعويض المباشر من المجموعة الأولى من التعبيرات إلى المجموعة الثانية، نرى أن وبشكل عام، حيث يُفهم أن المقام الجزئي الأخير في الكسر المستمر المحدود K هو b n + z . وبما أن b n + 0 = b n ، فإن صورة النقطة z = 0 تحت تحويل فورييه الخطي المتكرر Τ n هي في الواقع قيمة الكسر المستمر المحدود ذي n من البسط الجزئية:
تفسير هندسي
إن تعريف الكسر المستمر المحدود على أنه صورة نقطة تحت التحويل الكسري الخطي المتكرر Τ n ( z ) يؤدي إلى تفسير هندسي جذاب بديهيًا للكسور المستمرة اللانهائية.
العلاقة يمكن فهم ذلك من خلال إعادة كتابة Τ n ( z ) و Τ n +1 ( z ) بدلالة صيغ التكرار الأساسية :
في المعادلة الأولى، تقترب النسبة من 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 ، بما أن التقاربات المتتالية تقترب من بعضها البعض، فلا بد أن يكون لدينا حيث k ثابت، تم إدخاله للتسهيل. ولكن بعد ذلك، بالتعويض في تعبير Τ n ( z ) نحصل على بحيث تُسقط حتى القيم المتوسطة لـ z (باستثناء z ≈ − k −1 ) على جوار صغير جدًا لـ x ، وهي قيمة الكسر المستمر، كلما ازدادت قيمة n . وبشكل بديهي، يبدو الأمر كما لو أن الكسر المستمر المتقارب يُسقط كامل المستوى العقدي الممتد على نقطة واحدة. [ 20 ]
لاحظ أن المتتالية { Τn } تقع ضمن زمرة التشاكل الذاتي للمستوى العقدي الممتد، لأن كل Τn هو تحويل كسري خطي يحقق الشرط ab ≠ cd . وكل عنصر من عناصر زمرة التشاكل الذاتي هذه يُسقط المستوى العقدي الممتد على نفسه: لا يمكن لأي من Τn أن يُسقط المستوى على نقطة واحدة. ومع ذلك، في النهاية ، تُعرّف المتتالية { Τn } كسرًا مستمرًا لانهائيًا ، والذي (إذا تقارب) يُمثل نقطة واحدة في المستوى العقدي.
عندما يتقارب كسر مستمر لانهائي، فإن المتتالية المقابلة { Τn } من تحويلات فورييه الخطية "تركز" المستوى في اتجاه x ، قيمة الكسر المستمر. في كل مرحلة من مراحل العملية، يتم رسم منطقة أكبر فأكبر من المستوى في جوار x ، وتمتد المنطقة الأصغر فأصغر المتبقية من المستوى بشكل أرق لتغطية كل شيء خارج ذلك الجوار. [ 21 ]
بالنسبة للكسور المستمرة المتباعدة، يمكننا التمييز بين ثلاث حالات:
- قد تُعرّف المتتاليتان { Τ 2 n −1 } و { Τ 2 n } كسرين مستمرين متقاربين لهما قيمتان مختلفتان، x فردي و x زوجي . في هذه الحالة، يتباعد الكسر المستمر المُعرّف بالمتتالية { Τ n } بالتذبذب بين نقطتي نهاية مختلفتين. وفي الواقع، يمكن تعميم هذه الفكرة: إذ يُمكن إنشاء متتاليات { Τ n } تتذبذب بين ثلاث أو أربع أو أي عدد من نقاط النهاية. وتظهر حالات مثيرة للاهتمام لهذه الحالة عندما تُشكّل المتتالية { Τ n } زمرة جزئية من رتبة منتهية ضمن زمرة التشاكلات الذاتية على المستوى العقدي الممتد.
- قد تُنتج المتتالية { Τn } عددًا لا نهائيًا من المقامات الصفرية Bi ، بالإضافة إلى متتالية فرعية من متقاربات محدودة. قد لا تتكرر هذه المتقاربات المحدودة أو تتبع نمطًا تذبذبيًا واضحًا. أو قد تتقارب إلى حدٍّ نهائي، أو حتى تتذبذب بين عدة حدود نهائية. بغض النظر عن سلوك المتقاربات المحدودة، فإن الكسر المستمر المُعرَّف بالمتتالية { Τn } يتباعد بالتذبذب، ويكون عند نقطة اللانهاية في هذه الحالة . [ 22 ]
- قد لا ينتج عن المتتالية { Τ n } أكثر من عدد محدود من المقامات الصفرية B i . بينما ترقص المتتالية الفرعية ذات التقارب المحدود بشكل جامح حول المستوى في نمط لا يتكرر أبدًا ولا يقترب أبدًا من أي حد محدود أيضًا.

يمكن بناء أمثلة مثيرة للاهتمام للحالتين 1 و3 من خلال دراسة الكسر المستمر البسيط حيث z هو أي عدد حقيقي بحيث يكون z < − 1 / 4 . [ 23 ]
صيغة أويلر للكسور المستمرة
أثبت أويلر المتطابقة التالية: [ 10 ]
ومن هذا يمكن استخلاص العديد من النتائج الأخرى، مثل: و
إن صيغة أويلر التي تربط الكسور المستمرة والمتسلسلات هي الدافع وراء المتباينات الأساسية ، وهي أيضًا أساس المناهج الأولية لمشكلة التقارب .
أمثلة
الدوال والأعداد المتسامية
فيما يلي كسران مستمران يمكن بناؤهما باستخدام متطابقة أويلر .
فيما يلي أمثلة إضافية على الكسور المستمرة المعممة:
يعتمد هذا الأخير على خوارزمية اشتقها أليكسي نيكولايفيتش خوفانسكي في سبعينيات القرن العشرين. [ 24 ]
مثال: اللوغاريتم الطبيعي للعدد 2 (= [0; 1, 2, 3, 1, 5, 2/3 , 7 , 1/2 , 9 , 2/5 , ... , 2k - 1 , 2 / k , ... ] ≈ 0.693147 ... ) : [ 25 ]
π
فيما يلي ثلاثة من أشهر الكسور المستمرة المعممة لـ π ، حيث تم اشتقاق أولها وثالثها من صيغ الظل العكسي الخاصة بهما أعلاه عن طريق وضع x = y = 1 والضرب في 4. صيغة لايبنتز لـ π : يتقارب ببطء، ويتطلب ما يقرب من 3 × 10 ^n حدًا لتحقيق n منزلة عشرية صحيحة.
السلسلة مشتقة من Nilakantha Somayaji : كما أنها تتقارب ببطء شديد، حيث تتطلب ما يقرب من 50 حدًا لخمسة أرقام عشرية وما يقرب من 120 حدًا لستة أرقام عشرية. وكلاهما يتقارب بشكل شبه خطي .
على الجانب الآخر: يتقارب خطيًا، مضيفًا ثلاثة أرقام على الأقل من الدقة لكل أربعة حدود، بوتيرة أسرع قليلاً من صيغة الجيب العكسي لـ π : وهو ما يضيف ثلاثة أرقام عشرية على الأقل لكل خمسة حدود. [ 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 المذكور أعلاه مع الصيغة المعروفة الشبيهة بصيغة ماشين يوفر تعبيرًا متقاربًا بشكل أسرع، وإن كان لا يزال خطيًا:
جذور الأعداد الموجبة
يمكن التعبير عن الجذر النوني لأي عدد موجب z m بإعادة صياغة المعادلة z = x n + y ، مما ينتج عنه والتي يمكن تبسيطها، عن طريق طي كل زوج من الكسور إلى كسر واحد، إلى
الجذر التربيعي لـ z هو حالة خاصة عندما يكون m = 1 و n = 2 : والتي يمكن تبسيطها بملاحظة أن 5 / 10 = 3 / 6 = 1 / 2 :
يمكن أيضًا التعبير عن الجذر التربيعي بواسطة كسر مستمر دوري ، ولكن الشكل أعلاه يتقارب بشكل أسرع مع قيم x و y المناسبة .
المثال 1
يمكن حساب الجذر التكعيبي للعدد اثنين (2 1/3 أو 3 √ 2 ≈ 1.259921...) بطريقتين:
أولاً، "التدوين القياسي" لـ x = 1 و y = 1 و 2z − y = 3 :
ثانيًا، تقارب سريع مع x = 5 و y = 3 و 2z − y = 253 :
المثال 2
نسبة بوجسون (100 1/5 أو 5 √ 100 ≈ 2.511886...)، مع x = 5 و y = 75 و 2 z − y = 6325 :
المثال 3
الجذر الثاني عشر للعدد اثنين (2 1/12 أو 12 √ 2 ≈ 1.059463...)، باستخدام "التدوين القياسي":
المثال 4
الخامسة المثالية في التوزيع المتساوي (2 7/12 أو 12 √ 2 7 ≈ 1.498307...)، مع m = 7 :
باستخدام "التدوين القياسي":
تقارب سريع مع x = 3 ، y = −7153 ، و 2z − y = 219 + 312 :
يمكن الاطلاع على المزيد من التفاصيل حول هذه التقنية في الطريقة العامة لاستخراج الجذور باستخدام الكسور المستمرة (المطوية) .
أبعاد أعلى
معنى آخر للكسر المستمر المعمم هو تعميمه إلى أبعاد أعلى. على سبيل المثال، ثمة علاقة وثيقة بين الكسر المستمر البسيط في صورته القياسية للعدد الحقيقي غير النسبي α ، وكيفية وقوع نقاط الشبكة الصحيحة في بعدين على جانبي الخط y = αx . بتعميم هذه الفكرة، يمكن التساؤل عن شيء يتعلق بنقاط الشبكة في ثلاثة أبعاد أو أكثر. أحد أسباب دراسة هذا المجال هو تحديد مفهوم التطابق الرياضي كميًا ؛ على سبيل المثال، بالنسبة للحدود الأحادية في عدة أعداد حقيقية، نأخذ الصيغة اللوغاريتمية وندرس مدى صغرها. سبب آخر هو إيجاد حل محتمل لمسألة هيرميت .
لقد كانت هناك محاولات عديدة لبناء نظرية معممة. وقد بذل فيليكس كلاين ( متعدد السطوح كلاين )، وجورج بواتو ، وجورج سيكيريس جهوداً ملحوظة في هذا الاتجاه .
انظر أيضاً
ملحوظات
- ↑ وول 1948 ، ص 13.
- 1 2 أويلر 1985 .
- ↑ كوسيك وفلايف 1989 .
- ↑ كريستال 1999 .
- ^ جونز وثرون 1980 ، ص. 20.
- ↑ إقليدس (2008) - تقوم خوارزمية إقليدس بتوليد كسر مستمر كمنتج ثانوي.
- ↑ كاتالدي 1613 .
- ↑ واليس 1699 .
- ↑ أويلر 1744 .
- 1 2 أويلر 1748 ، الفصل 18.
- ^ هافيل 2012 ، ص 104-105.
- ↑ كان براهمغوبتا (598-670) أول عالم رياضيات يقوم بدراسة منهجية لمعادلة بيل.
- ↑ غاوس 1813 .
- ↑ كاجوري، فلوريان (1925). "لايبنيتز، الباني الرئيسي للرموز الرياضية" . إيزيس . 7 (3): 412-429 . doi : 10.1086/358328 .
- ↑ سوانسون، إيلين (1999) [1971]. الرياضيات في شكل نص (ملف PDF) . تحديث: أوشين، أرلين؛ شلاير، أنطوانيت ( طبعة محدثة). الجمعية الأمريكية للرياضيات. 2.4.1c "الكسور المستمرة"، ص 18.
- ^ لورينتزن ووادلاند 1992 .
- ↑ يستنتج أوسكار بيرون صيغًا أكثر عمومية للتمديد والانكماش للكسور المستمرة. انظر بيرون (1977أ) ، بيرون (1977ب) .
- ↑ أنجيل 2021 .
- ↑ Porubský 2008 .
- ↑ هذا التفسير البديهي ليس دقيقًا، لأن الكسر المستمر اللانهائي ليس دالة، بل هو نهاية متتالية من الدوال. ويُشابه بناء الكسر المستمر اللانهائي تقريبًا بناء عدد غير نسبي باعتباره نهاية متتالية كوشي من الأعداد النسبية.
- ↑ بسبب هذه التشبيهات،يتم وصف نظرية التحويل المطابق أحيانًا بأنها "هندسة الصفائح المطاطية".
- ↑ يتمثل أحد أساليب حل مشكلة التقارب في إنشاء كسور مستمرة موجبة محددة ، والتي لا تكون مقاماتها B i صفرًا أبدًا.
- ↑ تمت مناقشة هذا الجزء الدوري من الفترة واحد بشكل أكثر تفصيلاً في مقالة مشكلة التقارب .
- ↑ "طريقة بديلة لحساب $\log(x)$" . موقع تبادل الأسئلة والأجوبة في الرياضيات .
- ↑ بورواين، كراندال وفي 2004 ، ص 278، 280.
- ↑ بيكمان 1971 .
مراجع
- أنجيل، ديفيد (2010). "عائلة من الكسور المستمرة" (ملف PDF) . مجلة نظرية الأعداد . 130 (4). إلسيفير: 904-911 . doi : 10.1016/j.jnt.2009.12.003 .
- أنجيل، ديفيد (2021). اللاعقلانية والتجاوز في نظرية الأعداد . تشابمان آند هول/سي آر سي. رقم ISBN 9780367628376.
- بيكمان، بيتر (1971). تاريخ باي . دار سانت مارتن للنشر، الصفحات 131-133، 140-143 . رقم ISBN 0-88029-418-3.
- بومبيلي، رافائيل (1579). الجبر .
- بورواين، جوناثان مايكل ؛ كراندال، ريتشارد إي .؛ في، جريج (2004). "حول كسر رامانوجان AGM، الجزء الأول: حالة المعاملات الحقيقية" . الرياضيات التجريبية . 13 (3): 275-285 . doi : 10.1080/10586458.2004.10504540 . S2CID 17758274 .
- كاتالدي، بيترو أنطونيو (1613). Trattato del modo brevissimo di trovar la radice Quadra delli numeri [ دراسة عن طريقة سريعة للعثور على الجذور التربيعية للأعداد ] .
- كريستال، جورج (1999). الجبر، كتاب تمهيدي للمراحل العليا من المدارس الثانوية والكليات: الجزء 1. الجمعية الأمريكية للرياضيات. ص 500. ISBN 0-8218-1649-7.
- كوسيك، توماس و.؛ فلاهيف، ماري إي. (1989). أطياف ماركوف ولاغرانج . الجمعية الرياضية الأمريكية. ص 89. ISBN 0-8218-1531-8.
- أويلر، ليونارد (1744). “De Fractionibus Continuis Dissertatio” (PDF) (باللاتينية). أرشيف أويلر . تم الاسترجاع في 15 يوليو، 2026 .
إنستروم رقم 71
- أويلر، ليونارد (1748). "E101 – Introductio in analysin infinitorum, volume 1" (باللاتينية). أرشيف أويلر . تاريخ الاسترجاع: 2 مايو 2022.
العدد 101 من سلسلة أويلر
.
- أويلر، ليونارد (1985). "مقال في الكسور المستمرة" (ملف PDF) . نظرية الأنظمة الرياضية . 18. ترجمة: مايرا ف. وايمان؛ بوستويك ف. وايمان. سبرينغر-فيرلاغ: 295-328 . doi : 10.1007/bf01699475 . hdl : 1811/32133 . S2CID 126941824. تاريخ الاسترجاع: 12 يوليو 2026.
مترجم من مجلة إنستروم، العدد 71
.
- غاوس، كارل فريدريش (1813). Disquisitiones Generales circa seriem infinitam .
- هافيل، جوليان (2012). الأعداد غير النسبية: قصة الأرقام التي لا يمكنك الاعتماد عليها . مطبعة جامعة برينستون. ص 280. ISBN 978-0691143422JSTOR j.ctt7smdw .
- جونز، ويليام ب.؛ ثرون، دبليو جيه (1980). الكسور المستمرة. النظرية التحليلية وتطبيقاتها . موسوعة الرياضيات وتطبيقاتها. المجلد 11. ريدينغ، ماساتشوستس: أديسون-ويسلي. ISBN 0-201-13510-8. Zbl 0445.30003 . (يغطي كلاً من النظرية التحليلية والتاريخ.)
- لورنتزن، ليزا ؛ واديلاند، هاكون (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 .
- ساردينا، ماني (2007). "طريقة عامة لاستخراج الجذور باستخدام الكسور المستمرة (المطوية)" . سري (المملكة المتحدة).
- سيكيريس، جورج (1970). “الكسور المستمرة متعددة الأبعاد”. آن. جامعة. الخيال العلمي. بودابست. طائفة إيوتفوس. الرياضيات . 13 : 113 - 140.
- فون كوخ، هيلج (1895). "Sur un théorème de Stieltjes et sur les fonctions définies par des Fractions continue" . نشرة دي لا سوسيتيه ماثيماتيك دو فرانس . 23 : 33 – 40. دوى : 10.24033/bsmf.508 . جي اف ام 26.0233.01 .
- وال، هوبرت ستانلي (1948). النظرية التحليلية للكسور المستمرة . سلسلة الجامعة في الرياضيات العليا. لندن: شركة دي. فان نوستراند. ص 433.— (1967) [1948]. النظرية التحليلية للكسور المستمرة . سلسلة الجامعة في الرياضيات العليا (طبعة مُعاد طباعتها ). برونكس، نيويورك: دار نشر تشيلسي. ص 433. ISBN 0-8284-0207-8. إل سي سي إن 66-24296 .
- واليس، جون (1699). أعمال رياضية [ الأعمال الرياضية ] .
روابط خارجية
- الصفحات العشرون الأولى من كتاب ستيفن ر. فينش، الثوابت الرياضية ، منشورات جامعة كامبريدج ، 2003، رقم ISBN 0-521-81805-2، يحتوي على الكسور المستمرة المعممة لـ √ 2 والنسبة الذهبية.
- تسلسل OEIS A133593 ("الكسر المستمر الدقيق لـ Pi")
- الكسور المستمرة
- الكسور (الرياضيات)
