المتتاليات العددية
الاستدلال بالتراجع و تطبيقاته
الاستدلال بالتراجع هو الأداة التي تحوّل عددا لا نهائيا من عمليات تحقّق إلى برهانين فقط. و هو مبدأ مسلّم به في بناء الأعداد الطبيعية: لا يُبرهن، بل يُؤسَّس عليه.
- تحرير برهان بالتراجع في مرحلتين مفصولتين
- التمييز بين الخاصية الابتدائية و الخاصية الوراثية
- بيان لماذا لا تكفي الوراثة وحدها
- توظيف فرضية التراجع في متباينة و في قابلية القسمة
- مفهوم المتتالية و الرتبة
- الحساب الجبري و قابلية القسمة في مجموعة الأعداد الطبيعية
1. المبدأ
لتكن P(n) خاصية متعلّقة بعدد طبيعي n، و n₀ عدد طبيعي. للبرهان على صحّة P(n) من أجل كلّ عدد طبيعي n أكبر من أو يساوي n₀، يكفي ما يلي.
- المرحلة 1 — الخاصية الابتدائية: نتأكّد من صحّة الخاصية من أجل n₀، أي P(n₀)
- المرحلة 2 — الخاصية الوراثية: نفرض الخاصية صحيحة من أجل عدد طبيعي كيفي n أكبر من أو يساوي n₀ (فرضية التراجع)، و نبرهن أنّها صحيحة من أجل n+1
⭐ الوراثة تنقل الصحّة من كلّ رتبة إلى التي تليها، و الخاصية الابتدائية تشعل السلسلة. بدون الأولى لا انتقال، و بدون الثانية لا انطلاق.
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: «4 مرفوعا إلى الأسّ n زائد 2 مضاعف للعدد 3».
🎯المطلوب: برهن بالتراجع أنّ هذه الخاصية صحيحة من أجل كلّ عدد طبيعي n.
نسمّي الخاصية بجملة صريحة.
نتحقّق عند الرتبة صفر بالحساب، لا بالادّعاء.
نفرض الخاصية عند رتبة كيفية، و نكتب الفرضية في صيغة صالحة للتعويض.
نكتب ما نريد بلوغه: العبارة عند الرتبة الموالية.
نُظهر عبارة الرتبة n بإخراج العامل 4.
ننشر و نجمع.
و نخرج العامل 3، فتظهر قابلية القسمة.
نعتبر الخاصية «3 مرفوعا إلى الأسّ n أكبر من أو يساوي مائة n»، من أجل كلّ عدد طبيعي n أكبر من أو يساوي 6.
🎯المطلوب: برهن بالتراجع على صحّة هذه الخاصية.
نسمّي الخاصية، و ننتبه إلى أنّها تبدأ من الرتبة ستّة لا صفر.
نتحقّق عند الرتبة ستّة بحساب الطرفين.
نفرض الخاصية عند رتبة كيفية أكبر من ستّة.
نضرب الطرفين في 3، فتبقى المتباينة في اتّجاهها لأنّ 3 موجب.
نفصل ثلاثمائة إلى مائة زائد مائتين، لنُظهر الطرف المطلوب.
و من الرتبة ستّة نحصر الجزء الثاني من الأسفل.
فنجمع الحصرين.
نعتبر الخاصية المتعلّقة بالعدد الطبيعي n: «3 مرفوعا إلى الأسّ 2n+1، زائد 2 مرفوعا إلى الأسّ n+2، مضاعف للعدد 7».
🎯المطلوب: برهن بالتراجع على صحّة هذه الخاصية من أجل كلّ عدد طبيعي n.
نسمّي الخاصية.
نتحقّق عند الرتبة صفر.
نفرض الخاصية و نعزل الأسّ الأوّل.
نكتب عبارة الرتبة الموالية و نُظهر أسّي الرتبة n.
نعوّض الأسّ الأوّل بما تعطيه الفرضية.
ننشر و نجمع حدّي الأسّ الثاني.
و نخرج العامل سبعة.
رأيت في الحصّة السابقة أنّ مجموع الأعداد الفردية المتتابعة يساوي مربّع عددها، و برهنت ذلك بدستور مجموع متتالية حسابية.
🎯المطلوب: برهن على النتيجة نفسها مرّة أخرى، هذه المرّة بالاستدلال بالتراجع.
نسمّي الخاصية.
نتحقّق عند الرتبة واحد: الطرف الأيسر حدّ واحد.
نفرض الخاصية عند رتبة كيفية.
عبارة الرتبة الموالية هي المجموع نفسه، زائد الحدّ الفردي الموالي.
نعوّض المجموع الأوّل بفرضية التراجع.
و نتعرّف على متطابقة شهيرة.
الصفحة 1/8
© مدرستي — هذا الدرس من تأليف مدرستي · madrassati.net