كسر مستمر

في الرياضيات، الكسر المستمر (بالإنجليزية: Continued fraction)‏ هو كسر يأخذ الصيغة التالية :

$a_{0} + \frac{1}{a_{1} + \frac{1}{a_{2} + \frac{1}{⋱ + \frac{1}{a_{n}}}}}$

كسر مستمر منته، حيث n عدد صحيح موجب وa₀ عدد صحيح، و a_i عدد صحيح موجب بالنسبة إلى i=1,…,n.

x = a_{0} + \frac{1}{a_{1} + \frac{1}{a_{2} + \frac{1}{a_{3} + \frac{1}{⋱}}}}

حيث a₀ عدد صحيح والاعداد (a_i (i ≠ 0 هي أعداد موجبة. يتم تعريف التعبيرات الأطول بالمثل.

إذا سُمح لكل بسط جزئي ومقام جزئي أن يأخذا قيما اختيارية، والتي يمكن أن تكون دوالا رياضية، يصبح التعبير الناتج كسرا مستمرا معمما.^[1]^[2]^[3]

تحفيز

الهدف الرئيسي من تعريف الكسور المستمرة هو الحصول على تمثيل رياضي بحت للأعداد الحقيقية. الكثير يعلم عن التمثيل العشري للأعداد الحقيقية والتي تعرف بالعلاقة:

r = \sum_{i = 0}^{\infty} a_{i} 1 0^{- i},

حيث a₀ عدد صحيح، وكل a_i آخر هو عنصر في المجموعة {0, 1, 2,..., 9}. بهذا التمثيل، يمكن تمثيل العدد باي π على سبيل المثال، بتعاقب من الاعداد (a_i) = (3, 1, 4, 1, 5, 9, 2,...).

لهذا التمثيل بعض المشاكل. أحدها أن العديد من الأعداد النسبية تفتقر إلى التمثيل المحدود بهذا النظام. على سبيل المثال العدد 1/3 يمثل بسلسلة متعاقبة (0, 3, 3, 3, 3,....). يمكن للكسور المستمرة تفادي مثل هذه المشاكل.

لنتمعن العدد 415/93، يمكن وصفه على أنه تقريبا 4.4624، وبتقريب أكثر 4. في الحقيقة أكبر بقليل من 4، وبتقريب أكثر 4 + 1/2. ولكن 2 في المقام ليس صحيحا;المقام الأصح هو أكثر بقليل من 2، تقريبا 2 + 1/6، أي 415/93 4 + 1/(2 + 1/6). لكن 6 في المقام ليس دقيقا أيضا; أي أن القيمة الدقيقة للمقام هي 6+1/7. إذن 415/93 هو بالحقيقة 4+1/(2+1/(6+1/7)) بالضبط. بإهمال الاجزاء المتبقية من التعبير 4 + 1/(2 + 1/(6 + 1/7)) يعطى الرمز المختصر [4; 2، 6، 7].

لهذا الترميز بعض الخصائص المميزة:

تمثيل الكسر المستمر لعدد هو منتهي إذا وإذا كان العدد نسبي.
تمثيلات الكسور المستمرة للأعداد النسبية البسيطة تكون عادة قصيرة.
لكل عدد نسبي تمثيل فريد من الكسر المستمر.
تمثيل الكسر المستمر لعدد غير نسبي هو فريد.
بنود الكسر المستمر قابلة للمعاودة إذ وإذا كان فقط تمثيل الكسر المستمر عدد مربع غير نسبي.
تقريب تمثيل الكسر المستمر لعدد x ينتج عنه تقريب نسبي لـx والذي يمثل التقريب الأمثل.

حساب تمثيل الكسور المستمرة

ليكن العدد الحقيقي r, وليكن i الجزء الصحيح وf الجزء الكسري ل r. وبالتالي يمثل الكسر المستمر بالصورة r is [i; …]، حيث "…" هو تمثيل الكسر المستمر لـ 1/f. من المعتاد ابدال الفاصلة الأولى بفاصلة منقوطة.

لحساب الكسر المستمر للعدد r، اكتب الجزء الصحيح. ثم اطرحه من r. إذا كان الفرق هو 0، توقف هنا; مالم جد المقلوب وأستمر بالعمليات السابقة. سيتوقع هذا الاجراء إذا وفقط إذا كان r نسبيا.

أوجد صورة الكسر المستمر للعدد 3.245
$3$	$3.245 (3 \frac{49}{200}) - 3$	$= 0.245 (\frac{49}{200})$	$1 / 0.245 (\frac{200}{49})$	$= 4.082 (4 \frac{4}{49})$
$4$	$4.082 (4 \frac{4}{49}) - 4$	$= 0.082 (\frac{4}{49})$	$1 / 0.082 (\frac{49}{4})$	$= 12.250 (12 \frac{1}{4})$
$12$	$12.250 (12 \frac{1}{4}) - 12$	$= 0.250 (\frac{1}{4})$	$1 / 0.250 (\frac{4}{1})$	$= 4.000$
$4$	$4.000 - 4$	$= 0.000$	توقف
الكسر المستمر لـ 3.245 هو [3; 4, 12, 4]
$3.245 = 3 + \frac{1}{4 + \frac{1}{12 + \frac{1}{4}}}$

صور الكسور المستمرة

x = [a_{0}; a_{1}, a_{2}, a_{3}]

أو

x = a_{0} + \frac{1 ∣}{∣ a_{1}} + \frac{1 ∣}{∣ a_{2}} + \frac{1 ∣}{∣ a_{3}} .

أو

x = a_{0} + \frac{1}{a_{1} +} \frac{1}{a_{2} +} \frac{1}{a_{3} +} .

وأحيانا

x = ⟨ a_{0}; a_{1}, a_{2}, a_{3} ⟩ .

أو

[a_{0}; a_{1}, a_{2}, a_{3}, \dots] = lim_{n \to \infty} [a_{0}; a_{1}, a_{2}, \dots, a_{n}] .

الكسور المستمرة المنتهية

هناك صورتان للكسر المستمر المنتهي:

[a_{0}; a_{1}, a_{2}, a_{3}, \dots, a_{n}, 1] = [a_{0}; a_{1}, a_{2}, a_{3}, \dots, a_{n} + 1] .

مثل,

2.25 = 9 / 4 = [2; 3, 1] = [2; 4],

- 4.2 = - 21 / 5 = [- 5; 1, 3, 1] = [- 5; 1, 4] .

الكسور المستمرة للمقاليب

مثل,

2.25 = \frac{9}{4} = [2; 4],

\frac{1}{2.25} = \frac{4}{9} = [0; 2, 4] .

الكسور المستمرة غير المنتهية

\frac{a_{0}}{1}, \frac{a_{1} a_{0} + 1}{a_{1}}, \frac{a_{2} (a_{1} a_{0} + 1) + a_{0}}{a_{2} a_{1} + 1}, \frac{a_{3} (a_{2} (a_{1} a_{0} + 1) + a_{0}) + (a_{1} a_{0} + 1)}{a_{3} (a_{2} a_{1} + 1) + a_{1}} .

وبصيغة أخرى:

$h_{n} = a_{n} h_{n - 1} + h_{n - 2}, k_{n} = a_{n} k_{n - 1} + k_{n - 2} .$

وتكون الصيغ المتقاربة

\frac{h_{n}}{k_{n}} = \frac{a_{n} h_{n - 1} + h_{n - 2}}{a_{n} k_{n - 1} + k_{n - 2}} .

بعض المبرهنات المفيدة

إذا كان a₀، a₁، a₂،... متوالية من الأعداد الموجبة، تعرف التعاقب $h_{n}$ و $k_{n}$ بالمعاودة:

$h_{n} = a_{n} h_{n - 1} + h_{n - 2}$			$h_{- 1} = 1$		$h_{- 2} = 0$
$k_{n} = a_{n} k_{n - 1} + k_{n - 2}$			$k_{- 1} = 0$		$k_{- 2} = 1$

نظرية 1

لاي $x \in R$ موجب

[a_{0}; a_{1}, \dots, a_{n - 1}, x] = \frac{x h_{n - 1} + h_{n - 2}}{x k_{n - 1} + k_{n - 2}} .

نظرية 2

التقاربات [a₀; a₁, a₂,...]تعطى بالعلاقة

[a_{0}; a_{1}, \dots, a_{n}] = \frac{h_{n}}{k_{n}} .

نظرية 3

إذا كان التقارب النوني n لكسر مستمر هو $h_{n} / k_{n}$ ، حينئذ

k_{n} h_{n - 1} - k_{n - 1} h_{n} = (- 1)^{n} .

نشر π في كسر مستمر

\frac{3}{1}, \frac{22}{7}, \frac{333}{106}, \frac{355}{113}, \dots

\frac{3}{1} + \frac{1}{1 \times 7} - \frac{1}{7 \times 106} + \frac{1}{106 \times 113} - \dots

الصورة المختصرة:

π = [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, 1, 2, 2, 2, 2, 1, 84, \dots]

أو

π = 3 + \frac{1}{7 + \frac{1}{15 + \frac{1}{1 + \frac{1}{292 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{2 + \frac{1}{1 + \frac{}{}}}}}}}}}}

كما أن هناك صيغ أكثر انتظاما:

π = 3 + \frac{1^{2}}{6 + \frac{3^{2}}{6 + \frac{5^{2}}{6 + \frac{7^{2}}{6 + \frac{9^{2}}{6 + \frac{1 1^{2}}{6 + \frac{1 3^{2}}{6 + \frac{1 5^{2}}{6 + \dots}}}}}}}} = \frac{4}{1 + \frac{1^{2}}{3 + \frac{2^{2}}{5 + \frac{3^{2}}{7 + \frac{4^{2}}{9 + \frac{5^{2}}{11 + \frac{6^{2}}{13 + \frac{7^{2}}{15 + \dots}}}}}}}}

أنماط منتظمة من الكسور المستمرة

e = \exp (1) = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, 1, 1, 10, 1, 1, 12, \dots] .

ولدينا أيضا، عندما n عدد صحيح أكبر من الواحد,

\exp (1 / n) = [1; n - 1, 1, 1, 3 n - 1, 1, 1, 5 n - 1, 1, 1, 7 n - 1, \dots] .

إذا كانت n ّعدد فردي

\exp (2 / n) = [1; (n - 1) / 2, 6 n, (5 n - 1) / 2, 1, 1, \dots, 3 k + (n - 1) / 2, (12 k + 6) n, 3 k + (5 n - 1) / 2, 1, 1, \dots]

الحالة الخاصة عند n = 1:

e^{2} = \exp (2) = [7; 2, 1, 1, 3, 18, 5, 1, 1, 6, 30, 8, 1, 1, 9, 42, 11, 1, 1, \dots, 3 k, 12 k + 6, 3 k + 2, 1, 1, \dots] .

الكسر المستمر لظل المقلوب الزائدي

\tanh (1 / n) = [0; n, 3 n, 5 n, 7 n, 9 n, 11 n, 13 n, 15 n, 17 n, 19 n, \dots]

حيث n عدد صحيح موجب; كذلك

\tan (1) = [1; 1, 1, 3, 1, 5, 1, 7, 1, 9, 1, 11, 1, 13, 1, 15 \dots]

و

\tan (1 / n) = [0; n - 1, 1, 3 n - 2, 1, 5 n - 2, 1, 7 n - 2, \dots] .

إذا كانت (I_n(x هي دالة بسل المعدلة من النوع الأول، فإنه يمكن تعريف دالة على الصورة الكسرية p/q

S (p / q) = \frac{I_{p / q} (2 / q)}{I_{1 + p / q} (2 / q)},

$a_{0} + \frac{1}{a_{1} + \frac{1}{a_{2} + \frac{1}{⋱ + \frac{1}{a_{n}}}}}$

كسر متصل منته,حيث a₀ هو عدد صحيح ما، و n هو عدد صحيح طبيعي و ai هي أعداد صحيحة طبيعية.

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

على سبيل المثال، العدد π يمثل بسلسلة الأعداد التالية :

(...,a_i = (3,1,4,1,5,9,2

لتمثيل الأعداد الحقيقية بالكسور المستمرة مجموعة من الخصائص المهمة :

التمثيل لعدد حقيقي ما بالكسور المستمرة هو منته إذا وفقط إذا كان ذلك العدد جذريا.
لكل عدد جذري تمثيل واحد، عموما، بالكسور المستمرة. على سبيل الدقة، كل عدد جذري يمثل بالكسور المستمرة على شكلين اثنين، يحدد منهما الواحد الآخر.

[a₀; a₁, … a_n − 1, a_n] = [a₀; a₁, … a_{n − 1}, a_n − 1, 1]

لكل عدد غير جذري، تمثيل وحيد بالكسور المستمرة.

تاريخ الكسور المستمرة

في عام 1737، درس ليونهارت أويلر خصائص الكسور المستمرة واستنتج أن e عدد غير جذري.
في عام 1761، أثبت يوهان لامبرت لأول مرة أن $π$ عدد غير جذري. استعمل من أجل هذا الهدف الكسور المستمرة الممثِلة ل tan(x).

انظر أيضا

مراجع

^ "Estimating square roots, generalized continued fraction expression for every square root", The Ben Paul Thurston Blog نسخة محفوظة 13 ديسمبر 2017 على موقع واي باك مشين.
^ Hardy، G.H.؛ Wright، E.M. (1979). An Introduction to the Theory of Numbers (ط. Fifth). Oxford.
^ "E101 – Introductio in analysin infinitorum, volume 1". مؤرشف من الأصل في 2015-07-12. اطلع عليه بتاريخ 2008-03-16.

وصلات خارجية

ما هو الكسر المستمر وما تطبيقاته - موقع إجابة.

في كومنز صور وملفات عن: كسر مستمر

[1] "Estimating square roots, generalized continued fraction expression for every square root", The Ben Paul Thurston Blog نسخة محفوظة 13 ديسمبر 2017 على موقع واي باك مشين.

[2] Hardy، G.H.؛ Wright، E.M. (1979). An Introduction to the Theory of Numbers (ط. Fifth). Oxford.

[3] "E101 – Introductio in analysin infinitorum, volume 1". مؤرشف من الأصل في 2015-07-12. اطلع عليه بتاريخ 2008-03-16.

[1]

[2]

[3]