المتتاليات العددية
مبدأ الاستدلال بالتراجع
الاستدلال بالتراجع هو الأداة التي تحوّل عددا لا نهائيا من عمليات تحقّق إلى برهانين فقط. و هو مسلّمة في بناء الأعداد الطبيعية: لا يُبرهن، بل يُؤسَّس عليه.
- صياغة مبدأ الاستدلال بالتراجع في مرحلتين مفصولتين
- التمييز بين الخاصية الابتدائية و الخاصية الوراثية
- بيان لماذا لا تكفي الوراثة وحدها، بمثال مضادّ
- تحرير برهان بالتراجع في شكله الكامل
- مفهوم المتتالية و الرتبة
- الحساب الجبري و قابلية القسمة في مجموعة الأعداد الطبيعية
1. المبدأ
لتكن P(n) خاصية متعلّقة بعدد طبيعي n، و n₀ عدد طبيعي. للبرهان على صحّة P(n) من أجل كلّ عدد طبيعي n أكبر من أو يساوي n₀، يكفي ما يلي.
- المرحلة 1 — الخاصية الابتدائية: نتأكّد من صحّة الخاصية من أجل n₀، أي P(n₀)
- المرحلة 2 — الخاصية الوراثية: نفرض الخاصية صحيحة من أجل عدد طبيعي كيفي n أكبر من أو يساوي n₀ (فرضية التراجع)، و نبرهن أنّها صحيحة من أجل n+1
⭐ الوراثة تنقل الصحّة من كلّ رتبة إلى التي تليها، و الخاصية الابتدائية تشعل السلسلة. بدون الأولى لا انتقال، و بدون الثانية لا انطلاق.
و نقول إنّ الخاصية وراثية لمّا تنتقل من العدد الطبيعي n إلى الذي يتبعه n+1. عند الانتهاء من المرحلتين نقرّ أنّ الخاصية صحيحة من أجل كلّ عدد طبيعي n أكبر من أو يساوي n₀.
2. لماذا الخاصية الابتدائية ضرورية
قد تكون خاصية وراثية دون أن تكون صحيحة أبدا. المثال الذي يقدّمه المنهاج نفسه قاطع: الخاصية «3 مرفوعا إلى الأسّ n يقبل القسمة على 5».
لأنّ 3n⁺¹ = 3 × 3n: إن قسم 5 العدد الأوّل قسم جداءه في 3. فالوراثة محقّقة تماما. و مع ذلك المرحلة الأولى لا تتحقّق: 3⁰ = 1 لا يقبل القسمة على 5، فالمبدأ لا يُطبَّق. و الخاصية خاطئة فعلا عند كلّ رتبة، لكنّ هذا لا يُستنتج من سقوط المرحلة الأولى.
3. كيف يُحرَّر البرهان
- نسمّي الخاصية: « نضع P(n) الخاصية … » — بجملة واحدة صريحة
- المرحلة 1: نعوّض n بـ n₀ في الطرفين و نتحقّق بالحساب
- المرحلة 2: « نفرض P(n) صحيحة من أجل n كيفي ≥ n₀ » ثمّ « و نبرهن P(n+1) »
- نكتب ما نريد بلوغه قبل أن نحسب: هذا ما يوجّه كلّ السطور التالية
- نخلص: « حسب مبدأ التراجع، P(n) صحيحة من أجل كلّ n ≥ n₀ »
نعود إلى التخمين الذي فتح هذا الدرس: مجموع الأعداد الفردية المتتابعة الأولى يساوي مربّع عددها.
🎯المطلوب: برهن بالاستدلال بالتراجع على صحّة هذا التخمين من أجل كلّ عدد طبيعي n غير معدوم.
نسمّي الخاصية بجملة صريحة.
نتحقّق عند الرتبة واحد: الطرف الأيسر حدّ واحد، و الأيمن مربّع واحد.
نفرض الخاصية عند رتبة كيفية أكبر من أو تساوي واحدا.
نكتب ما نريد بلوغه: المجموع نفسه، زائد الحدّ الفردي الموالي.
نعوّض المجموع الأوّل بفرضية التراجع.
و نتعرّف على متطابقة شهيرة.
نعتبر الخاصية المتعلّقة بالعدد الطبيعي n: «4 مرفوعا إلى الأسّ n زائد 2 مضاعف للعدد 3».
🎯المطلوب: برهن بالتراجع أنّ هذه الخاصية صحيحة من أجل كلّ عدد طبيعي n.
نسمّي الخاصية.
نتحقّق عند الرتبة صفر بالحساب، لا بالادّعاء.
نفرض الخاصية عند رتبة كيفية، و نكتب الفرضية في صيغة صالحة للتعويض.
نكتب ما نريد بلوغه: العبارة عند الرتبة الموالية.
نُظهر عبارة الرتبة n بإخراج العامل 4.
ننشر و نجمع.
و نخرج العامل 3، فتظهر قابلية القسمة.
نعتبر الخاصية «3 مرفوعا إلى الأسّ n يقبل القسمة على 5»، و هي المثال الذي يقدّمه المنهاج نفسه.
🎯المطلوب: أثبت أنّ هذه الخاصية وراثية، ثمّ ادرس المرحلة الأولى و استنتج.
نسمّي الخاصية كما لو كنّا سنبرهن عليها.
نبدأ بالوراثة، و نفرض الخاصية عند رتبة كيفية.
نكتب عبارة الرتبة الموالية و نُظهر عبارة الرتبة n.
فنخرج العامل خمسة: الوراثة محقّقة تماما.
لكنّنا لم نتحقّق بعد من المرحلة الأولى. نحسبها.
فالباقي واحد لا صفر: الخاصية الابتدائية خاطئة، فالسلسلة لا تنطلق أصلا و المبدأ لا يعطي شيئا.
نعتبر الخاصية القائلة إنّ مجموع مربّعات الأعداد الطبيعية الأولى، من واحد إلى n، يساوي جداء n في n زائد واحد في اثنين n زائد واحد، مقسوما على ستّة.
🎯المطلوب: برهن بالتراجع على صحّة هذه الخاصية من أجل كلّ عدد طبيعي n غير معدوم.
نسمّي الخاصية.
نتحقّق عند الرتبة واحد بحساب الطرفين.
نفرض الخاصية عند رتبة كيفية غير معدومة.
نكتب ما نريد بلوغه عند الرتبة الموالية.
نعوّض المجموع الأوّل بالفرضية، ثمّ نوحّد المقامات.
ننشر ما بين القوسين الداخليّين.
و نحلّل هذا الثلاثي الحدود إلى جداء عاملين.
الصفحة 1/8
© مدرستي — هذا الدرس من تأليف مدرستي · madrassati.net