سلسلة هندسية

في الرياضيات ، المتسلسلة الهندسية هي متسلسلة تجمع حدود متتالية هندسية لانهائية ، حيث تكون نسبة الحدود المتتالية ثابتة. على سبيل المثال، المتسلسلة12+14+18+{\displaystyle {\tfrac {1}{2}}+{\tfrac {1}{4}}+{\tfrac {1}{8}}+\cdots }هي متسلسلة هندسية ذات نسبة مشتركة12{\displaystyle {\tfrac {1}{2}}}، والذي يتقارب مع مجموع1{\displaystyle 1} . كل حد في متسلسلة هندسية هو المتوسط ​​الهندسي للحد الذي يسبقه والحد الذي يليه، بنفس الطريقة التي يكون بها كل حد في متسلسلة حسابية هو المتوسط ​​الحسابي لجيرانه.

على الرغم من أن مفارقات زينون، عالم الرياضيات اليوناني ، حول الزمان والحركة (القرن الخامس قبل الميلاد) قد فُسِّرت على أنها تتضمن متسلسلات هندسية، إلا أن هذه المتسلسلات لم تُدرس وتُطبَّق رسميًا إلا بعد قرن أو قرنين من الزمن على يد علماء الرياضيات اليونانيين ، كما استخدمها أرخميدس، على سبيل المثال ، لحساب المساحة داخل القطع المكافئ (القرن الثالث قبل الميلاد). واليوم، تُستخدم المتسلسلات الهندسية في التمويل الرياضي ، وحساب مساحات الأشكال الكسورية، ومواضيع متنوعة في علوم الحاسوب.

على الرغم من أن المتسلسلات الهندسية تتضمن في الغالب أعدادًا حقيقية أو مركبة ، إلا أن هناك أيضًا نتائج وتطبيقات مهمة للمتسلسلات الهندسية ذات القيم المصفوفية ، والمتسلسلات الهندسية ذات القيم الوظيفية.ص{\displaystyle p}- المتسلسلات الهندسية للأعداد adic ، وبشكل عام المتسلسلات الهندسية لعناصر الحقول الجبرية المجردة والحلقات وأنصاف الحلقات.

التعريف: متسلسلة هندسية منتهية

المتسلسلة الهندسية هي متسلسلة مشتقة من نوع خاص من المتتابعات يُسمى المتتابعة الهندسية . المتتابعة الهندسية هي متتابعة تُستنتج من حد ابتدائي، حيث يُنتج الحد التالي بضربه في ثابت من الحد السابق، وتستمر العملية بنفس الثابت. يُسمى هذا الثابت نسبة مشتركة. [ أ ] ليكنأ{\displaystyle a}ليكن الحد الأولي ور{\displaystyle r}ليكن النسبة المشتركة لمتتابعة هندسية. بالنسبة لعدد محدود من الحدود، تتكون المتتابعة الهندسية من العناصر حتىن{\displaystyle n}الحد النوني، والذي يُكتب على النحو التالي:أ،أر،أر2،أر3،...،أرن{\textstyle a,ar,ar^{2},ar^{3},\ldots ,ar^{n}}. ينتج عن جمع جميع الحدود أعلاه متسلسلة هندسية منتهية ، معبر عنها على النحو التالي [ 1 ]أ+أر+أر2+أر3++أرن=ك=0نأرك.{\displaystyle a+ar+ar^{2}+ar^{3}+\cdots +ar^{n}=\sum _{k=0}^{n}ar^{k}.}

متىر>1{\displaystyle r>1}ويُطلق عليه غالبًا معدل النمو أو معدل التوسع. عندما0<ر<1{\displaystyle 0<r<1}يُطلق عليه غالبًا معدل التحلل أو معدل الانكماش، حيث تأتي فكرة كونه "معدلًا" من تفسيره.ك{\displaystyle k}كنوع من متغيرات الزمن المنفصلة. عندما يحتوي مجال تطبيق ما على مصطلحات متخصصة لأنواع محددة من النمو والتوسع والانكماش والاضمحلال، فغالبًا ما تُستخدم هذه المصطلحات أيضًا لتسميةر{\displaystyle r}معلمات المتسلسلة الهندسية. في علم الاقتصاد ، على سبيل المثال، تُسمى معدلات ارتفاع وانخفاض مستويات الأسعار بمعدلات التضخم ومعدلات الانكماش ، بينما تشمل معدلات الزيادة في قيم الاستثمارات معدلات العائد وأسعار الفائدة . [ 2 ]

لر1{\displaystyle r\neq 1}، مجموع متسلسلة هندسية منتهيةSن{\displaystyle S_{n}}بدءًا من الحد الصفري وحتىن{\displaystyle n}يُصاغ الحد رقم -th على النحو التالي: [ 1 ]Sن=أ(1-رن+1)1-ر.{\displaystyle S_{n}={\frac {a(1-r^{n+1})}{1-r}}.}

المتسلسلات الهندسية اللانهائية والتقارب

السلسلة الهندسية14+116+164+1256+{\displaystyle {\frac {1}{4}}+{\frac {1}{16}}+{\frac {1}{64}}+{\frac {1}{256}}+\cdots }تظهر على شكل مساحات من المربعات الأرجوانية. كل مربع من المربعات الأرجوانية يحتوي على14{\textstyle {\frac {1}{4}}}من مساحة المربع الأكبر التالي12×12=14{\textstyle {\frac {1}{2}}\times {\frac {1}{2}}={\frac {1}{4}}}،14×14=116{\textstyle {\frac {1}{4}}\times {\frac {1}{4}}={\frac {1}{16}}}وهكذا دواليك. بالتالي، فإن مجموع مساحات المربعات البنفسجية يساوي ثلث مساحة المربع الكبير. هذه المتسلسلة مثال على متسلسلة هندسية متقاربة.

عندما يكون هناك عدد لا نهائي من الحدود في المتتابعة الهندسية، فإن المتسلسلة الهندسية هي: [ 3 ]أ+أر+أر2+أر3+=ك=0أرك.{\displaystyle a+ar+ar^{2}+ar^{3}+\cdots =\sum _{k=0}^{\infty}ar^{k}.}يمكن أن تكون نتيجة المتسلسلة اللانهائية متقاربة أو متباعدة . التقارب يعني وجود قيمة بعد جمع عدد لا نهائي من الحدود، بينما التباعد يعني عدم وجود قيمة بعد الجمع. يمكن وصف تقارب المتسلسلة الهندسية بناءً على قيمة نسبة مشتركة. على سبيل المثال، متسلسلة غراندي هي متسلسلة هندسية متباعدة يمكن التعبير عنها كما يلي:1-1+1-1+{\displaystyle 1-1+1-1+\cdots }، حيث يكون الحد الأولي1{\displaystyle 1}والنسبة المشتركة هي-1{\displaystyle -1}وذلك لأنها تأخذ ثلاث قيم مختلفة. يمكن تفسير الأعداد العشرية التي تتكرر أنماطها إلى ما لا نهاية على أنها متسلسلات هندسية، وبالتالي يمكن تحويلها إلى تعبيرات عن نسبة عددين صحيحين . [ 4 ] على سبيل المثال، الكسر العشري المتكرر0.7777...{\displaystyle 0.7777\ldots }يمكن كتابتها على شكل متسلسلة هندسية0.7777...=710+710(110)+710(1102)+710(1103)+،{\displaystyle 0.7777\ldots ={\frac {7}{10}}+{\frac {7}{10}}\left({\frac {1}{10}}\right)+{\frac {7}{10}}\left({\frac {1}{10^{2}}}\right)+{\frac {7}{10}}\left({\frac {1}{10^{3}}}\right)+\cdots ,}حيث يكون الحد الأوليأ=710{\displaystyle a={\tfrac {7}{10}}}والنسبة المشتركة هير=110{\displaystyle r={\tfrac {1}{10}}}.

لتحديد مدى تقاربها، يمكن البحث عن مقدار النسبة المشتركة.ر{\displaystyle r}وحيد:

  • لو|ر|<1{\displaystyle \vert r\vert <1}، تقترب حدود المتسلسلة من الصفر (وتصبح أصغر فأصغر في قيمتها المطلقة) ومتتالية المجاميع الجزئيةSن{\displaystyle S_{n}}تتقارب إلى قيمة حدية لـأ1-ر{\textstyle {\frac {a}{1-r}}}[ 3 ]
  • لو|ر|>1{\displaystyle \vert r\vert >1}[ 3 ] تصبح حدود المتسلسلة أكبر فأكبر في القيمة المطلقة، كما أن المجاميع الجزئية للحدود تصبح أكبر فأكبر في القيمة المطلقة، لذلك تتباعد المتسلسلة .
  • لو|ر|=1{\displaystyle \vert r\vert =1}لا تصبح حدود المتسلسلة أكبر أو أصغر في قيمتها المطلقة، ولا يتقارب تسلسل المجاميع الجزئية للمتسلسلة. عندمار=1{\displaystyle r=1}جميع حدود المتسلسلة متماثلة و|Sن|{\displaystyle |S_{n}|}تنمو إلى ما لا نهاية. عندمار=-1{\displaystyle r=-1}تأخذ المصطلحات قيمتينأ{\displaystyle a}و-أ{\displaystyle -a}بالتناوب، وبالتالي يتذبذب تسلسل المجاميع الجزئية للحدود بين القيمتينأ{\displaystyle a}و 0. يمكن إيجاد مثال على ذلك في متسلسلة غراندي . عندما تكون النسبة المشتركة هي الوحدة التخيليةر=أنا{\displaystyle r=i}وأ=1{\displaystyle a=1}، وتدور المجاميع الجزئية دوريًا بين الأعداد المركبة1{\displaystyle 1}،1+أنا{\displaystyle 1+i}،أنا{\displaystyle i}،0{\displaystyle 0}،1{\displaystyle 1}،1+أنا{\displaystyle 1+i}،أنا{\displaystyle i}،0{\displaystyle 0}... ، ولا تتقارب أبدًا إلى حدٍّ ما. عندما تكون النسبة المشتركة جذرًا للوحدةر=هـ2πأناص/q{\displaystyle r=e^{2\pi ip/q}}بالنسبة لعدد نسبيص/q{\displaystyle p/q}بأقل الشروط ومع أيأ0{\displaystyle a\neq 0}ستدور المجاميع الجزئية للسلسلة إلى أجل غير مسمى بفترة زمنية قدرهاq{\displaystyle q}[ 5 ] ، ولا تتقارب أبدًا إلى حد معين.

يُظهر معدل التقارب كيف تقترب المتتالية بسرعة من نهايتها. في حالة المتسلسلة الهندسية ، تكون المتتالية ذات الصلة هيSن{\displaystyle S_{n}}وحدته هيS{\displaystyle S} يتم العثور على السعر والطلب عبر ليمن|Sن+1-S||Sن-S|q،{\displaystyle \lim _{n\rightarrow \infty }{\frac {\left|S_{n+1}-S\right|}{\left|S_{n}-S\right|^{q}}},} أينq{\displaystyle q}يمثل رتبة التقارب. باستخدام|Sن-S|=|أرن+11-ر|{\textstyle |S_{n}-S|=\left|{\frac {ar^{n+1}}{1-r}}\right|}واختيار ترتيب التقاربq=1{\displaystyle q=1}يعطي: [ 6 ]ليمن|أرن+21-ر||أرن+11-ر|1=|ر|.{\displaystyle \lim _{n\rightarrow \infty }{\frac {\left|{\frac {ar^{n+2}}{1-r}}\right|}{\left|{\frac {ar^{n+1}}{1-r}}\right|^{1}}}=|r|.} عندما تتقارب المتسلسلة، يصبح معدل التقارب أبطأ كلما|ر|{\displaystyle |r|}الأساليب1{\displaystyle 1}[ 6 ] يعتمد نمط التقارب أيضًا على إشارة أو قيمة المعامل المركب للنسبة المشتركة. إذار>0{\displaystyle r>0}و|ر|<1{\displaystyle |r|<1}عندئذٍ تشترك جميع الحدود في نفس الإشارة، وتقترب المجاميع الجزئية للحدود من نهايتها النهائية بشكل رتيب . إذار<0{\displaystyle r<0}و|ر|<1{\displaystyle |r|<1}تتناوب الحدود المتجاورة في المتسلسلة الهندسية بين القيم الموجبة والسالبة، والمجاميع الجزئيةSن{\displaystyle S_{n}}تتأرجح بعض الحدود فوق وتحت حدها النهائيS{\displaystyle S}. للمعقدر{\displaystyle r}و|ر|<1،{\displaystyle |r|<1,}الSن{\displaystyle S_{n}}تتقارب في نمط حلزوني.

إثبات التقارب

تم إثبات التقارب على النحو التالي. المجموع الجزئي للأولن+1{\displaystyle n+1}حدود المتسلسلة الهندسية، حتى وضمنهارن{\displaystyle r^{n}}شرط، Sن=أر0+أر1++أرن=ك=0نأرك،{\displaystyle S_{n}=ar^{0}+ar^{1}+\cdots +ar^{n}=\sum _{k=0}^{n}ar^{k},} يُعطى بالصيغة المغلقة Sن={أ(ن+1)ر=1أ(1-رن+11-ر)خلاف ذلك{\displaystyle S_{n}={\begin{cases}a(n+1)&r=1\\a\left({\frac {1-r^{n+1}}{1-r}}\right)&{\text{otherwise}}\end{cases}}} أينر{\displaystyle r}هي النسبة المشتركة. الحالةر=1{\displaystyle r=1}هي مجرد عملية جمع بسيطة، وهي حالة من حالات المتسلسلة الحسابية . صيغة المجاميع الجزئيةSن{\displaystyle S_{n}}معر1{\displaystyle r\neq 1}يمكن استنتاج ذلك على النحو التالي: [ 7 ] [ 8 ] [ 9 ]Sن=أر0+أر1++أرن،رSن=أر1+أر2++أرن+1،Sن-رSن=أر0-أرن+1،Sن(1-ر)=أ(1-رن+1)،Sن=أ(1-رن+11-ر)،{\displaystyle {\begin{aligned}S_{n}&=ar^{0}+ar^{1}+\cdots +ar^{n},\\rS_{n}&=ar^{1}+ar^{2}+\cdots +ar^{n+1},\\S_{n}-rS_{n}&=ar^{0}-ar^{n+1},\\S_{n}\left(1-r\right)&=a\left(1-r^{n+1}\right),\\S_{n}&=a\left({\frac {1-r^{n+1}}{1-r}}\right),\end{aligned}}} لر1{\displaystyle r\neq 1}. مثلر{\displaystyle r}الأساليب 1، أو القسمة متعددة الحدود، أو قاعدة لوبيتال، تستعيد الحالةSن=أ(ن+1){\displaystyle S_{n}=a(n+1)}[ 10 ]

برهان بدون كلمات لصيغة مجموع المتسلسلة الهندسية إذا|ر|<1{\displaystyle |r|<1}ون{\displaystyle n\to \infty }، الرن{\displaystyle r^{n}}يختفي المصطلح، تاركًاليمنSن=أ1-ر{\textstyle \lim _{n\to \infty }S_{n}={\frac {a}{1-r}}}يستخدم هذا الشكل اصطلاحًا مختلفًا قليلاً لـSن{\displaystyle S_{n}}من النص الرئيسي، مع إزاحة بمقدار مصطلح واحد.

مثلن{\displaystyle n}عندما يقترب r من اللانهاية، يجب أن تكون القيمة المطلقة لـ r أقل من واحد حتى تتقارب هذه المتتالية من المجاميع الجزئية إلى حد معين. وعندما يحدث ذلك، تتقارب المتسلسلة تقاربًا مطلقًا . وتصبح المتسلسلة اللانهائية عندئذٍ S=أ+أر+أر2+أر3+أر4+=ليمنSن=ليمنأ(1-رن+1)1-ر=أ1-ر-أ1-رليمنرن+1=أ1-ر،{\displaystyle {\begin{aligned}S&=a+ar+ar^{2}+ar^{3}+ar^{4}+\cdots \\&=\lim _{n\rightarrow \infty }S_{n}\\&=\lim _{n\rightarrow \infty }{\frac {a(1-r^{n+1})}{1-r}}\\&={\frac {a}{1-r}}-{\frac {a}{1-r}}\lim _{n\rightarrow \infty }r^{n+1}\\&={\frac {a}{1-r}},\end{aligned}}} ل|ر|<1{\displaystyle |r|<1}[ 7 ]

تُستخدم نتيجة التقارب هذه على نطاق واسع لإثبات تقارب المتسلسلات الأخرى أيضًا، كلما أمكن تقييد حدود تلك المتسلسلات من الأعلى بمتسلسلة هندسية مناسبة؛ وتُعدّ استراتيجية الإثبات هذه أساسًا لاختبار النسبة واختبار الجذر لتقارب المتسلسلات اللانهائية. [ 11 ]

الاتصال بسلسلة القوى

على غرار المتسلسلة الهندسية،  تحتوي متسلسلة القوى  على مُعامل واحد لمتغير مشترك مرفوع إلى قوى متتالية تُقابل المتسلسلة الهندسية. ر{\displaystyle r}لكن له معايير إضافية أ0،أ1،أ2،...،{\displaystyle a_{0},a_{1},a_{2},\ldots ,}واحد لكل حد في المتسلسلة، للمعاملات المميزة لكل منها x0،x1،x2،...{\displaystyle x^{0},x^{1},x^{2},\ldots }بدلاً من مجرد معلمة إضافية واحدة أ{\displaystyle a} بالنسبة لجميع الحدود، فإن المعامل المشترك لـ رك{\displaystyle r^{k}} في كل حد من حدود المتسلسلة الهندسية. ولذلك، يمكن اعتبار المتسلسلة الهندسية فئة من متسلسلات القوى التي تحقق فيها متتالية المعاملات الشرط التالي: أك=أ{\displaystyle a_{k}=a} للجميع ك{\displaystyle k} و x=ر{\displaystyle x=r}[ 12 ]

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

باعتبارها متسلسلة قوى، فإن المتسلسلة الهندسية لها نصف قطر تقارب يساوي 1. [ 15 ] ويمكن اعتبار ذلك نتيجة لنظرية كوشي-هادامارد وحقيقة أنليمنأن=1{\displaystyle \lim _{n\rightarrow \infty }{\sqrt[{n}]{a}}=1}لأيأ{\displaystyle a}أو كنتيجة لاختبار النسبة لتقارب المتسلسلات اللانهائية، معليمن|أرن+1||أرن|=|ر|{\displaystyle \lim _{n\rightarrow \infty }{\frac {|ar^{n+1}|}{|ar^{n}|}}=|r|} مما يعني التقارب فقط لـ|ر|<1.{\displaystyle |r|<1.}ومع ذلك، فإن كلاً من اختبار النسبة ونظرية كوشي-هادامارد يتم إثباتهما باستخدام صيغة المتسلسلة الهندسية كنتيجة منطقية سابقة، لذا فإن مثل هذا الاستدلال سيكون دائرياً بشكل خفي. [ 16 ]

التطبيقات

كما ذُكر سابقًا، يُمكن تطبيق المتسلسلة الهندسية في مجال الاقتصاد . ويؤدي ذلك إلى النسبة المشتركة للمتسلسلة الهندسية، والتي قد تُشير إلى معدلات ارتفاع وانخفاض مستويات الأسعار، وتُسمى معدلات التضخم ومعدلات الانكماش؛ في المقابل، تشمل معدلات ارتفاع قيم الاستثمارات معدلات العائد وأسعار الفائدة . وبشكل أكثر تحديدًا ، في التمويل الرياضي والرياضيات الاكتوارية ، يُمكن أيضًا تطبيق المتسلسلة الهندسية في القيمة الزمنية للنقود ؛ أي لتمثيل القيم الحالية للدفعات الدورية الدائمة ، وهي مبالغ مالية تُدفع سنويًا إلى أجل غير مسمى في المستقبل. يُستخدم هذا النوع من الحسابات لحساب النسبة المئوية السنوية للقرض، مثل قرض الرهن العقاري . كما يُمكن استخدامه لتقدير القيمة الحالية لأرباح الأسهم المتوقعة ، أو القيمة النهائية للأصل المالي بافتراض معدل نمو ثابت. ومع ذلك، فإن افتراض ثبات أسعار الفائدة غير صحيح عموماً، ومن غير المرجح أن تستمر المدفوعات إلى الأبد، إذ قد يفقد مُصدر المعاش الدائم قدرته على الاستمرار في الدفع أو ينهي التزامه بذلك، لذا فإن تقديرات كهذه ليست سوى إرشادات استرشادية لاتخاذ القرارات وليست تنبؤات علمية بالقيم الحالية الفعلية. [ 2 ]

يتكون باطن ندفة ثلج كوخ من اتحاد عدد لا نهائي من المثلثات

إضافةً إلى إيجاد المساحة المحصورة بين قطع مكافئ وخط مستقيم في كتاب أرخميدس " تربيع القطع المكافئ" [ 17 ] ، يمكن أيضًا تطبيق المتسلسلة الهندسية لإيجاد مساحة ندفة كوخ الثلجية ، والتي تُوصف بأنها اتحاد عدد لا نهائي من المثلثات متساوية الأضلاع (انظر الشكل). كل ضلع من أضلاع المثلث الأخضر يساوي تمامًا13{\textstyle {\frac {1}{3}}}بحجم ضلع المثلث الأزرق الكبير، وبالتالي فهو يمتلك بالضبط19{\textstyle {\frac {1}{9}}}المساحة. وبالمثل، يحتوي كل مثلث أصفر على19{\textstyle {\frac {1}{9}}}مساحة المثلث الأخضر، وهكذا. يمكن تمثيل جميع هذه المثلثات بمتسلسلات هندسية: مساحة المثلث الأزرق هي الحد الأول، ومساحة المثلثات الخضراء الثلاثة هي الحد الثاني، ومساحة المثلثات الصفراء الاثني عشر هي الحد الثالث، وهكذا. باستثناء الحد الأول 1، فإن لهذه المتسلسلة نسبة ثابتة.ر=49{\textstyle r={\frac {4}{9}}}وباعتبار المثلث الأزرق وحدة مساحة، فإن المساحة الإجمالية لندفة الثلج هي: [ 18 ]1+3(19)+12(19)2+48(19)3+=1+131-49=85.{\displaystyle 1+3\left({\frac {1}{9}}\right)+12\left({\frac {1}{9}}\right)^{2}+48\left({\frac {1}{9}}\right)^{3}+\cdots =1+{\frac {\frac {1}{3}}{1-{\frac {4}{9}}}}={\frac {8}{5}}.}

خلفية

قبل 2500 عام، اعتقد علماء الرياضيات اليونانيون أن مجموع قائمة لا نهائية من الأعداد الموجبة يساوي اللانهاية. ولذلك، ابتكر زينون الإيلي مفارقة ، موضحًا أنه لكي يقطع المرء مسافة من مكان إلى آخر، عليه أولًا أن يقطع نصف المسافة إلى هناك، ثم نصف المسافة المتبقية، ثم نصف تلك المسافة المتبقية، وهكذا، قاطعًا عددًا لا نهائيًا من الفترات قبل الوصول. وبذلك، قسم مسافة ثابتة إلى قائمة لا نهائية من أنصاف المسافات المتبقية، كل منها أطول من الصفر. كشفت مفارقة زينون لليونانيين خطأ افتراضهم بأن مجموع قائمة لا نهائية من الأعداد الموجبة يساوي اللانهاية. [ 19 ]

رسم توضيحي لكتاب العناصر لإقليدس ، الكتاب التاسع، القضية 35.
تقسيم أرخميدس لقطعة مكافئة إلى عدد لا نهائي من المثلثات

يتميز كتاب " الأصول" لإقليدس بكونه أقدم كتاب رياضيات يُستخدم باستمرار في العالم، ويتضمن برهانًا على مجموع المتسلسلات الهندسية المنتهية في الكتاب التاسع، القضية 35، موضحًا في الشكل المجاور. [ 20 ] وتنص القضية على ما يلي:

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

استخدم أرخميدس في كتابه "تربيع القطع المكافئ" مجموع متسلسلة هندسية لحساب المساحة المحصورة بين قطع مكافئ وخط مستقيم. وتنص نظرية أرخميدس على أن المساحة الكلية أسفل القطع المكافئ هي43{\textstyle {\frac {4}{3}}}من مساحة المثلث الأزرق. كانت طريقته تقسيم المساحة إلى عدد لا نهائي من المثلثات، كما هو موضح في الشكل المجاور. وقد حدد أن كل مثلث أخضر يحتوي على18{\textstyle {\frac {1}{8}}}مساحة المثلث الأزرق، كل مثلث أصفر18{\textstyle {\frac {1}{8}}}مساحة المثلث الأخضر، وهكذا. بافتراض أن مساحة المثلث الأزرق تساوي 1، فإن المساحة الكلية تساوي مجموع المتسلسلة اللانهائية. 1+2(18)+4(18)2+8(18)3+.{\displaystyle 1+2\left({\frac {1}{8}}\right)+4\left({\frac {1}{8}}\right)^{2}+8\left({\frac {1}{8}}\right)^{3}+\cdots .} هنا، يمثل الحد الأول مساحة المثلث الأزرق، والحد الثاني مساحة المثلثين الأخضرين، والحد الثالث مساحة المثلثات الصفراء الأربعة، وهكذا. بتبسيط الكسور نحصل على 1+14+116+164+،{\displaystyle 1+{\frac {1}{4}}+{\frac {1}{16}}+{\frac {1}{64}}+\cdots ,} متسلسلة هندسية ذات نسبة مشتركةر=14{\displaystyle r={\tfrac {1}{4}}}ومجموعها هو: [ 17 ]11-ر =11-14=43.{\displaystyle {\frac {1}{1-r}}\ ={\frac {1}{1-{\frac {1}{4}}}}={\frac {4}{3}}.}

يُستخدم مخطط السلسلة الهندسية ثنائية الأبعاد لنيكول أورسم لتحديد أن السلسلة اللانهائية12+24+38+416+532+664+7128+{\displaystyle {\tfrac {1}{2}}+{\tfrac {2}{4}}+{\tfrac {3}{8}}+{\tfrac {4}{16}}+{\tfrac {5}{32}}+{\tfrac {6}{64}}+{\tfrac {7}{128}}+\cdots }يتقارب إلى 2.
  • البُعد الأول أفقي، في الصف السفلي، ويمثل المتسلسلة الهندسية ذات القيمة الأوليةأ=12{\displaystyle a={\tfrac {1}{2}}}والنسبة المشتركةر=12{\displaystyle r={\tfrac {1}{2}}}: S=12+14+18+=121-12=1.{\displaystyle S={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+\cdots ={\frac {\frac {1}{2}}{1-{\frac {1}{2}}}}=1.}
  • البعد الثاني هو البعد الرأسي، حيث يمثل الصف السفلي حدًا أوليًا جديدًاأ=S{\displaystyle a=S}يتقلص كل صف لاحق فوقه وفقًا لنفس النسبة المشتركةر=12{\displaystyle r={\tfrac {1}{2}}}، مما يؤدي إلى إنشاء سلسلة هندسية أخرى بمجموعتي{\displaystyle T}: تي=S(1+12+14+18+)=S1-ر=11-12=2.{\displaystyle {\begin{aligned}T&=S\left(1+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+\cdots \right)\\&={\frac {S}{1-r}}={\frac {1}{1-{\frac {1}{2}}}}=2.\end{aligned}}}
هذا النهج يعمم بشكل مفيد إلى أبعاد أعلى، وقد تم وصف هذا التعميم أعلاه في §  الاتصال بسلسلة القوى .

بالإضافة إلى برهانه البسيط والأنيق على تباعد السلسلة التوافقية ، أثبت نيكول أورسم [ 21 ] أن السلسلة الحسابية الهندسية المعروفة باسم سلم غابرييل، [ 22 ]12+24+38+416+532+664+7128+=2.{\displaystyle {\frac {1}{2}}+{\frac {2}{4}}+{\frac {3}{8}}+{\frac {4}{16}}+{\frac {5}{32}}+{\frac {6}{64}}+{\frac {7}{128}}+\cdots =2.}

ما وراء الأعداد الحقيقية والمركبة

بينما المتسلسلات الهندسية ذات المعاملات العددية الحقيقية والمركبةأ{\displaystyle a}ور{\displaystyle r}وهي الأكثر شيوعًا، وهي عبارة عن متسلسلات هندسية من مصطلحات أكثر عمومية مثل الدوال والمصفوفات وص{\displaystyle p}تُستخدم الأعداد الأدية أيضًا في تطبيقات أخرى. [ 23 ] العمليات الرياضية المستخدمة للتعبير عن متسلسلة هندسية بمعلومية مُعاملاتها هي ببساطة الجمع والضرب المتكرر، ولذا فمن الطبيعي، في سياق الجبر الحديث ، تعريف المتسلسلات الهندسية ذات المُعاملات من أي حلقة أو حقل . [ 24 ] يُعدّ التعميم الإضافي للمتسلسلات الهندسية ذات المُعاملات من أنصاف الحلقات أقل شيوعًا، ولكنه يُستخدم أيضًا؛ على سبيل المثال، في دراسة التكرار ذي النقطة الثابتة لدوال التحويل ، كما هو الحال في تحويلات الأوتوماتا عبر المتسلسلات الكسرية . [ 25 ]

لتحليل تقارب هذه المتسلسلات الهندسية العامة، فإنه بالإضافة إلى الجمع والضرب، يجب أن يكون لدينا مقياس للمسافة بين المجاميع الجزئية للمتسلسلة. وهذا قد يُدخل تعقيدات جديدة في مسائل التقارب، مثل التمييز بين التقارب المنتظم والتقارب النقطي في متسلسلات الدوال، وقد يؤدي إلى تناقضات قوية مع البديهيات المستمدة من الأعداد الحقيقية، كما هو الحال في تقارب المتسلسلات.1+2+4+8+{\displaystyle 1+2+4+8+\cdots }معأ=1{\displaystyle a=1}ور=2{\displaystyle r=2}لأ1-ر=-1{\displaystyle {\frac {a}{1-r}}=-1}في الأعداد الثنائية باستخدام القيمة المطلقة الثنائية كمقياس للتقارب. في هذه الحالة، تكون القيمة المطلقة الثنائية للمعامل المشترك هي|ر|2=|2|2=12{\displaystyle |r|_{2}=|2|_{2}={\tfrac {1}{2}}}وعلى الرغم من أن هذا يبدو غير بديهي من منظور القيمة المطلقة للأعداد الحقيقية (حيث|2|=2،{\displaystyle |2|=2,}بطبيعة الحال)، إلا أنه مبرر تمامًا في سياق التحليل p-adic . [ 23 ]

عندما لا يكون ضرب المعاملات تبادليًا ، كما هو الحال غالبًا بالنسبة للمصفوفات أو المؤثرات الفيزيائية العامة ، وخاصة في ميكانيكا الكم ، فإن الطريقة القياسية لكتابة المتسلسلة الهندسية،

أ+أر+أر2+أر3+،{\displaystyle a+ar+ar^{2}+ar^{3}+\cdots ,}

قد يكون من الضروري التمييز بين الضرب من اليمين والبديل

أ+رأ+ر2أ+ر3أ+،{\displaystyle a+ra+r^{2}a+r^{3}a+\cdots ,}

الضرب من اليسار، وكذلك التناظر

أ+ر12أر12+رأر+ر32أر32+،{\displaystyle a+r^{\frac {1}{2}}ar^{\frac {1}{2}}+rar+r^{\frac {3}{2}}ar^{\frac {3}{2}}+\cdots ,}

بضرب كل جانب في النصف. قد تتوافق هذه الخيارات مع بدائل مهمة ذات نقاط قوة وضعف مختلفة في التطبيقات، كما هو الحال في ترتيب التداخلات المتبادلة بين الانجراف والانتشار بشكل مختلف على نطاقات زمنية متناهية الصغر في تكامل إيتو وتكامل ستراتونوفيتش في حساب التفاضل والتكامل العشوائي .

ملحوظات

  1. على سبيل المثال، تسلسل2،6،18،54،...{\displaystyle 2,6,18,54,\dots }هي متتالية هندسية بنسبة مشتركة هي3{\displaystyle 3}.

مراجع

  1. 1 2 يونغ، سينثيا ي. (2010). حساب التفاضل والتكامل التمهيدي . جون وايلي وأولاده . ص  966. ISBN 978-0-470-55665-8.
  2. 1 2 سيفيتانيك، جاكسا؛ زاباتيرو، فرناندو (2004). مقدمة في اقتصاديات ورياضيات الأسواق المالية . كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا. ص 35-38 . ISBN  978-0-262-03320-6.
  3. 1 2 3 فاربيرج، ديل إي؛ بورسيل، إدوين J.؛ ريجدون ، ستيفن إي. (2007). حساب التفاضل والتكامل ( الطبعة التاسعة). بيرسون برنتيس هول . ص. 456. ردمك   978-0131469686.
  4. أبوستول (1967) ، ص 393.
  5. أبوستول، توم م. (1967). حساب التفاضل والتكامل . المجلد 1 ( الطبعة الثانية). الولايات المتحدة الأمريكية: جون وايلي وأولاده . ص 408. ISBN    0-471-00005-1.
  6. 1 2 نوسيدال، خورخي؛ رايت، ستيفن جيه. (1999). التحسين العددي ( الطبعة الأولى). نيويورك: سبرينغر. ص 28-29 . ISBN   978-0-387-98793-4.
  7. 1 2 أبوستول (1967) ، ص 388-390.
  8. أبراموفيتز، م.؛ ستيجون، آي. أ. (1972). دليل الدوال الرياضية مع الصيغ والرسوم البيانية والجداول الرياضية (الطبعة التاسعة ). نيويورك: منشورات دوفر . ص 10.  
  9. بروتر، موراي هـ.؛ موري، تشارلز ب. الابن (1970). حساب التفاضل والتكامل الجامعي مع الهندسة التحليلية (الطبعة الثانية ). ريدينغ: أديسون-ويسلي . الصفحات 639-640 . LCCN 76087042 .   
  10. أبوستول (1967) ، ص 292-295.
  11. أبوستول (1967) ، ص 399-400.
  12. أبوستول (1967) ، ص 389.
  13. ويلف، هربرت س. (1990). علم وظائف التوليد . سان دييغو، كاليفورنيا: أكاديميك برس. الصفحات 27-28 ، 32، 45، 49. ISBN  978-1-48-324857-8.
  14. بيندر، كارل م.؛ أورزاج، ستيفن أ. (1999). أساليب رياضية متقدمة للعلماء والمهندسين: الأساليب التقاربية ونظرية الاضطراب . سبرينغر ساينس + بيزنس ميديا. ص 368-371 . ISBN  978-0-387-98931-0.
  15. سبيفاك، مايكل (2008). حساب التفاضل والتكامل ( الطبعة الرابعة). هيوستن، تكساس: دار النشر Publish or Perish، ص 473. ISBN   978-0-914098-91-1.
  16. سبيفاك (2008) ، ص 476.
  17. 1 2 سوين، جوردون؛ دينس، توماس (1998). "إعادة النظر في تربيع أرخميدس للقطع المكافئ" . مجلة الرياضيات . 71 (2): 123-130 . doi : 10.2307/2691014 . ISSN 0025-570X . JSTOR 2691014 .  
  18. خاري، أبورفا؛ لاخوفسكا، آن (2015). جميل، بسيط، دقيق، جنوني: الرياضيات في العالم الحقيقي . مطبعة جامعة ييل . ص 181. ISBN  978-0-300-21642-4.
  19. ريدل، دوغلاس إي. (1974). حساب التفاضل والتكامل والهندسة التحليلية ( الطبعة الثانية). دار وادزورث للنشر. ص 556. ISBN   053400301-X.
  20. هيبرغ، جيه إل (2007). عناصر إقليدس في الهندسة (ملف PDF) . ترجمة ريتشارد فيتزباتريك. ريتشارد فيتزباتريك. ص 4. ISBN  978-0615179841تمت أرشفة الملف (PDF) من النسخة الأصلية بتاريخ 2013-08-11.
  21. باب، ج. (2003). "المفاهيم الرياضية والبراهين من نيكول أورسم: استخدام تاريخ التفاضل والتكامل لتدريس الرياضيات" (ملف PDF) . وينيبيغ: المؤتمر الدولي السابع لتدريس التاريخ والفلسفة والعلوم. الصفحات 11-12 ، 21. مؤرشف (ملف PDF) من الأصل بتاريخ 27-05-2021. 
  22. سوين، ستيوارت ج. (2018). "برهان بلا كلمات: درج جبرائيل". مجلة الرياضيات . 67 (3): 209. doi : 10.1080/0025570X.1994.11996214 . ISSN 0025-570X . 
  23. 1 2 روبرت، آلان م. (2000). دورة فيص{\displaystyle p}التحليل الأدي . نصوص الدراسات العليا في الرياضيات. المجلد 198. نيويورك، الولايات المتحدة الأمريكية: سبرينغر-فيرلاغ. الصفحات 3-4 ، 12-17 . ISBN  978-0387-98669-2.
  24. دوميت، ديفيد س.؛ فوت، ريتشارد م. (2004). الجبر المجرد ( الطبعة الثالثة). هوبوكين، نيو جيرسي: جون وايلي وأولاده . ص 238. ISBN   978-0-471-43334-7.
  25. كويتش، و. (1997). "9. أنصاف الحلقات ومتسلسلات القوى الرسمية: أهميتها للغات الرسمية ونظرية الأوتوماتا". في روزنبرغ، ج.؛ سالوما، أ. (محرران). دليل اللغات الرسمية . المجلد 1. برلين: سبرينغر. الصفحات 609-677 . ISBN   978-3642638633.
  • أندروز، جورج إي. (1998). "المتسلسلة الهندسية في حساب التفاضل والتكامل". المجلة الرياضية الأمريكية الشهرية . 105 (1). الجمعية الرياضية الأمريكية: 36-40 . doi : 10.2307/2589524 . JSTOR 2589524 . 
  • Beyer, WH CRC Standard Mathematical Tables, 28th ed. Boca Raton, FL: CRC Press, p.  8, 1987.
  • كوران، ر. وروبنز، هـ. "المتتالية الهندسية". §1.2.3 في ما هي الرياضيات؟: مدخل تمهيدي للأفكار والأساليب، الطبعة الثانية. أكسفورد، إنجلترا: مطبعة جامعة أكسفورد، ص  13-14، 1996.
  • هول، برايان سي. (2015)، زمر لي، وجبر لي، والتمثيلات: مقدمة تمهيدية ، نصوص الدراسات العليا في الرياضيات، المجلد  222 (  الطبعة الثانية)، سبرينغر، ISBN 978-3-319-13466-6
  • هورن، روجر أ.؛ جونسون، تشارلز ر. (1990). تحليل المصفوفات . مطبعة جامعة كامبريدج. ISBN 978-0-521-38632-6..
  • جيمس ستيوارت (2002). حساب التفاضل والتكامل ، الطبعة الخامسة، بروكس كول. رقم ISBN 978-0-534-39339-7
  • لارسون، هوستتلر، وإدواردز (2005). حساب التفاضل والتكامل مع الهندسة التحليلية ، الطبعة الثامنة، شركة هوتون ميفلين. ISBN 978-0-618-50298-1
  • باباس، ت. "المحيط والمساحة والمتسلسلة اللانهائية". متعة الرياضيات. سان كارلوس، كاليفورنيا: وايد وورلد للنشر/تيترا، ص  134-135، 1989.
  • بروتر، موراي هـ.؛ موري، تشارلز ب. الابن (1970)، حساب التفاضل والتكامل الجامعي مع الهندسة التحليلية (الطبعة الثانية  )، ريدينغ: أديسون-ويسلي ، LCCN 76087042 
  • روجر ب. نيلسن (1997). براهين بلا كلمات: تمارين في التفكير البصري ، الجمعية الرياضية الأمريكية. ISBN 978-0-88385-700-7

التاريخ والفلسفة

  • سي إتش إدواردز الابن (1994). التطور التاريخي للتفاضل والتكامل ، الطبعة الثالثة، سبرينغر. ISBN 978-0-387-94313-8.
  • إيلي ماور (1991). إلى ما لا نهاية وما بعدها: تاريخ ثقافي لللامتناهي ، مطبعة جامعة برينستون. رقم ISBN 978-0-691-02511-7
  • مور لازيرويتز (2000). بنية الميتافيزيقا (المكتبة الدولية للفلسفة) ، روتليدج. ISBN 978-0-415-22526-7

الاقتصاد

  • كارل ب. سيمون ولورانس بلوم (1994). الرياضيات للاقتصاديين ، دبليو دبليو نورتون وشركاه. رقم ISBN 978-0-393-95733-4
  • مايك روسر (2003). الرياضيات الأساسية للاقتصاديين ، الطبعة الثانية، روتليدج. ISBN 978-0-415-26784-7

علم الأحياء

  • إدوارد باتشلت (1992). مقدمة في الرياضيات لعلماء الأحياء ، الطبعة الثالثة، سبرينغر. ISBN 978-0-387-09648-3
  • ريتشارد ف. بيرتون (1998). علم الأحياء بالأرقام: تشجيع على التفكير الكمي ، مطبعة جامعة كامبريدج. رقم ISBN 978-0-521-57698-7