خلاصة الفصل
استكشف!
يتضاعف كل يوم مخزونك من حبوب الإسبريسو السحرية المغطاة بالشوكولاتة (تنقسم كل حبة إلى نصفين)، ثم تأكل 5 حبات منها. لديك 10 حبات في بداية اليوم 0.
- اكتب الحدود الأولى من المتتالية (sequence). ثم أعطِ تعريفًا تعاوديًا (recursive definition) للمتتالية، واشرح كيف تعرف أنه صحيح.
- أثبت، باستخدام الاستقراء الرياضي (mathematical induction)، أن الرقم الأخير في عدد الحبوب التي لديك في اليوم ذي الرقم هو دائمًا 5، لكل
- أوجد صيغة مغلقة (closed formula) للحد ذي الرتبة في المتتالية، وأثبت صحتها بالاستقراء.
استكشفنا في هذا الفصل المتتاليات والاستقراء الرياضي. قد لا يبدو للوهلة الأولى أن بينهما ارتباطًا وثيقًا، لكن ثمة رابطًا: الاستدلال التعاودي (recursive reasoning). عندما تكون لدينا حالات كثيرة (وربما عدد لا نهائي منها)، يكون وصف حالة معينة من خلال علاقتها بالحالات الأخرى أسهل غالبًا من وصفها من الصفر. ففي المتتاليات، يمكننا وصف الحد ذي الرتبة ببيان علاقته بالحد السابق. وعند إثبات صحة عبارة تتضمن المتغير لجميع قيم يمكننا بيان سبب صحة الحالة استنادًا إلى سبب صحة الحالة
مع أن التفكير في المسائل تعاوديًا أسهل غالبًا من التفكير فيها على نحو مباشر مستقل عن الحالات السابقة (على الأقل بعد أن تعتاد هذا النمط من التفكير)، فإن هدفنا النهائي هو تجاوز هذا الوصف التعاودي. ففي المتتاليات، نريد إيجاد صيغ مغلقة للحد ذي الرتبة . وفي البراهين، نريد أن نعرف أن العبارة صحيحة لقيمة معينة من (لا أن تكون صحيحة فقط بافتراض صحتها للقيمة السابقة من ). رأينا في هذا الفصل بعض طرائق الانتقال من الأوصاف التعاودية إلى الأوصاف المباشرة المستقلة عن الحالات السابقة.
- إذا كانت حدود متتالية تزداد بفرق ثابت أو بنسبة ثابتة (وكلاهما وصف تعاودي)، فإن المتتالية تكون حسابية (arithmetic) أو هندسية (geometric)، على الترتيب. ولدينا صيغ مغلقة لكل منهما تعتمد على الحدود الأولى والفرق المشترك أو النسبة المشتركة.
- إذا كانت حدود متتالية تزداد بمعدل كثير حدود (polynomial)، أي إذا كانت الفروق بين الحدود تشكل متتالية صيغتها المغلقة كثيرة حدود، فإن المتتالية تُعطى بصيغة مغلقة كثيرة حدود (درجتها تزيد بواحد على درجة متتالية الفروق).
- إذا كانت حدود متتالية تزداد بمعدل أُسّي (exponential)، فإننا نتوقع أن تكون صيغتها المغلقة أُسّية. وغالبًا ما تكون لهذه المتتاليات صيغ تعاودية بسيطة نسبيًا، وتتيح لنا تقنية الجذر المميِّز (characteristic root technique) إيجاد صيغها المغلقة.
- إذا أردنا إثبات صحة عبارة لجميع قيم (الأكبر من قيمة ابتدائية صغيرة)، واستطعنا بيان سبب استلزام صحة العبارة عند صحتها عند فإن مبدأ الاستقراء الرياضي يضمن صحة العبارة لجميع قيم (الأكبر من قيمة الحالة الأساسية (base case)).
حاولنا طوال الفصل أن نفهم لماذا تصح الحقائق المذكورة أعلاه. وهذا، جزئيًا، ما تسعى البراهين، بالاستقراء أو بغيره، إلى تحقيقه: فهي تشرح لماذا تكون الحقائق الرياضية حقائق فعلًا. وبينما نطوّر قدرتنا على الاستدلال الرياضي، من الجيد أن نتأكد من سلامة طرائق استدلالنا. والفرع الرياضي الذي يهتم بتحديد ما إذا كان الاستدلال سليمًا هو المنطق الرياضي (mathematical logic)، وهو موضوع الفصل التالي.
تمارين: مراجعة الفصل
1.
تفعيل. أوجد
2.
تفعيل. تأمل المتتالية
- كم حدًا في المتتالية؟
- ما الحد قبل الأخير؟
- أوجد مجموع جميع حدود المتتالية.
3.
تفعيل. تأمل المتتالية المعطاة بالصيغة
- أوجد الحدود الأربعة الأولى للمتتالية.
، ، ، ، …
ما نوع هذه المتتالية؟
- حسابية.
- هندسية.
- لا هذه ولا تلك.
- أوجد مجموع الحدود الـ21 الأولى. أي احسب
4.
تأمل المتتالية افترض أن
- أوجد صيغة مغلقة لـ الحد ذي الرتبة في المتتالية، بكتابة كل حد على هيئة مجموع متتالية. تلميح: أوجد أولًا لكن تجاهله عند اختزال المجموع.
- أوجد صيغة مغلقة مرة أخرى، مستخدمًا هذه المرة إما ملاءمة كثيرات الحدود (polynomial fitting) أو تقنية الجذر المميِّز (بحسب ما يلائم المسألة). بيّن خطوات عملك.
- أوجد صيغة مغلقة مرة ثالثة، بالتعرف على المتتالية بوصفها تعديلًا لمتتالية معروفة أو لمتتاليات معروفة. اشرح.
5.
تفعيل. استخدم ملاءمة كثيرات الحدود لإيجاد صيغة الحد ذي الرتبة للمتتالية التي تبدأ كما يلي:
لاحظ أن الحد الأول أعلاه هو وليس
6.
افترض أن الصيغة المغلقة لمتتالية معينة كثيرة حدود من الدرجة 3. ماذا يمكنك أن تقول عن الصيغة المغلقة لكل مما يلي؟
- متتالية المجاميع الجزئية (partial sums)؟
- متتالية الفروق الثانية (second differences)؟
7.
تأمل المتتالية المعطاة تعاوديًا بـ و و
- اكتب الحدود الستة الأولى للمتتالية.
- هل يمكن أن تكون الصيغة المغلقة لـ كثيرة حدود؟ اشرح.
8.
تفعيل. تبدأ المتتالية بالحدود ، ولها الصيغة المغلقة
استخدم هذه الحقيقة لإيجاد صيغة مغلقة للمتتالية التي تبدأ بالحدود
9.
في أغنية أيام عيد الميلاد الاثنا عشر (The Twelve Days of Christmas)، أعطاني حبيبي أولًا هدية واحدة؛ ثم هديتين وهدية واحدة؛ ثم ثلاث هدايا وهديتين وهدية واحدة؛ وهكذا. كم هدية أعطاني حبيبي إجمالًا خلال الأيام الاثني عشر؟
10.
تفعيل. تأمل علاقة التعاود (recurrence relation) ، حيث الحدّان الأولان هما و
- اكتب الحدود الخمسة الأولى للمتتالية التي تعرّفها علاقة التعاود هذه.
، ، ، … 2. حل علاقة التعاود، أي أوجد صيغة مغلقة لـ
11.
تفعيل. تأمل علاقة التعاود ، حيث الحدّان الأولان هما و
- أوجد الحدّين التاليين للمتتالية ( و):
2. حل علاقة التعاود، أي أوجد صيغة مغلقة لـ
12.
تتكاثر أرانب الشوكولاتة السحرية لديك كالأرانب: ينتج كل أرنب كبير أرنبين صغيرين جديدين كل يوم، وفي كل يوم ينمو كل أرنب صغير وُلد في اليوم السابق ليصبح أرنبًا كبيرًا. افترض أنك تبدأ بأرنبين صغيرين، وأن أي أرنب لا يموت أبدًا (ولا يؤكل).
- اكتب الحدود الأولى للمتتالية.
- أعطِ تعريفًا تعاوديًا للمتتالية، واشرح سبب صحته.
- أوجد صيغة مغلقة للحد ذي الرتبة في المتتالية.
13.
تأمل متتالية المجاميع الجزئية لـمربعات أعداد فيبوناتشي (Fibonacci numbers): و و تبدأ المتتالية بالحدود
-
خمّن صيغة للمجموع الجزئي ذي الرتبة ، بدلالة أعداد فيبوناتشي. تلميح: اكتب كل حد على هيئة حاصل ضرب.
-
أثبت صحة صيغتك بالاستقراء الرياضي.
-
اشرح علاقة هذه المسألة بالصورة التالية:
مستطيل مقسَّم إلى مربع (على اليسار) ومستطيل مشابه (على اليمين). يُقسَّم المستطيل المشابه إلى مربع (في الأسفل) ومستطيل مشابه (في الأعلى). يُقسَّم هذا المستطيل العلوي إلى مربع (على اليمين) ومستطيل (على اليسار). يُقسَّم المستطيل الأيسر إلى مربع (في الأعلى) ومستطيل (في الأسفل). ويُقسَّم المستطيل السفلي إلى مربعين متساويين.
14.
أثبت العبارات التالية بالاستقراء الرياضي:
- عندما .
- لكل
- من مضاعفات 3 لكل
- أكبر قيمة رسوم بريدية لا يمكنك تكوينها بالضبط باستخدام طوابع بقيمتي 4 و9 سنتات هي 23 سنتًا.
- مربع كل عدد زوجي يقبل القسمة على 4.
تلميح.
- ينبغي أن يشبه هذا براهين المجاميع الأخرى. وتتلخص الخطوة الأخيرة في جمع الكسور.
- اكتب
- تزيد قيمة طابع واحد من فئة 9 سنتات بسنت واحد على قيمة طابعين من فئة 4 سنتات، وتزيد قيمة سبعة طوابع من فئة 4 سنتات بسنت واحد على قيمة ثلاثة طوابع من فئة 9 سنتات.
- احرص على استخدام الاستقراء فعلًا هنا. الحالة الأساسية: الحالة الاستقرائية (inductive case): افترض أن يقبل القسمة على 4، وتأمل يقبل هذا القسمة على 4 لأن يقبلها بوضوح، ولأن يقبلها أيضًا بحسب فرضية الاستقراء (inductive hypothesis).
ملاحظة المترجم: نُقلت المساواة في التلميح الخامس كما وردت في المصدر؛ والتوسيع الصحيح هو . ويظل الاستدلال بالقابلية للقسمة على 4 صحيحًا مع هذا التصحيح.
15.
أثبت بالاستقراء الرياضي أن تصح لكل
تلميح. هذا برهان مباشر بالاستقراء. لاحظ أنك ستحتاج إلى تبسيط للحصول على
16.
افترض أن و، و أثبت، باستخدام الاستقراء القوي (strong induction)، أن لكل
تلميح. هناك حالتان أساسيتان: و ثم، في الحالة الاستقرائية، افترض أن صحيحة لكل يتيح لك هذا افتراض أن و طبّق علاقة التعاود.
17.
أثبت بالاستقراء أن لكل مجموعة تحتوي على عنصرًا مجموعة جزئية مختلفة، لأي