الرياضيات المتقطعة: مقدمة مفتوحة › المتتاليات 7 / 9 السابق التالي

الاستدلال القوي

القسم 4.6 الاستدلال القوي

الأهداف

بعد إتمام هذا القسم، ينبغي أن تتمكّن من فعل ما يلي.

  1. أن تشرح الفرق بين البرهان بالاستدلال والبرهان بالاستدلال القوي (strong induction).
  2. أن تستعمل الاستدلال القوي لإثبات العبارات.

معاينة القسم

استكشف!

ابدأ بمربّع من الورق. تريد أن تقطع هذا المربّع إلى مربّعات أصغر، دون أيّ هدر (كلّ قطعةِ ورقٍ تنتهي إليها يجب أن تكون مربّعًا). من البديهي أنّه ممكن تقسيم المربّع إلى 4 مربّعات. ويمكنك أيضًا تقطيعه إلى 9 مربّعات. ويتبيّن أنّه ممكن تقسيم المربّع إلى 7 مربّعات (مع أنّها ليست جميعها بالحجم نفسه). فما الأعداد الأخرى من المربّعات التي يمكن أن تنتهي إليها؟

أحيانًا، لإثبات صحّة P(k+1)P(k+1)، يكون من المفيد أن نعرف أنّ P(k)P(k) و P(k−1)P(k-1) و P(k−2)P(k-2) جميعها صادقة. وهذا هو الحال بالتأكيد عند إثبات شيءٍ عن علاقةٍ تعاودية معطاة على هيئة مجموعةٍ من حدَّين سابقين.

المثال 4.6.1.

أثبت أنّ 2n2^n حلٌّ للعلاقة التعاودية an=5an−1−6an−2a_n = 5a_{n-1} - 6a_{n-2} مع الشروط الابتدائية a0=1a_0 = 1 وa1=2.a_1 = 2\text{.}

الحلّ.

البرهان.

دع P(n)P(n) هي العبارة، «an=2n.a_n = 2^n\text{.}» وسنُبيّن أنّ هذه العبارة صادقة لكل n≥0.n \ge 0\text{.}

الحالات الأساسية: a0=20=1a_0 = 2^0 = 1 وa1=21=2a_1 = 2^1 = 2 كلتاهما توافق الشروطَ الابتدائية.

الحالة الاستقرائية: لتكن k≥2k \ge 2 اعتباطيّة. افترض أنّ P(k)P(k) وP(k−1)P(k-1) صادقتان معًا. أي، افترض أنّ ak=2ka_k = 2^k وak−1=2k−1.a_{k-1} = 2^{k-1}\text{.} وسنُبيّن أنّ P(k+1)P(k+1) صادقة. تأمّل ak+1.a_{k+1}\text{.} لدينا ak+1=5ak−6ak−1=5⋅2k−6⋅2k−1=10⋅2k−1−6⋅2k−1=4⋅2k−1=2k+1.\begin{align*} a_{k+1} = \amp 5a_k - 6a_{k-1}\\ = \amp 5\cdot 2^k - 6\cdot 2^{k-1}\\ = \amp 10 \cdot 2^{k-1} - 6 \cdot 2^{k-1}\\ = \amp 4\cdot 2^{k-1}\\ = \amp 2^{k+1}\text{.} \end{align*} إذن، بمبدأ الاستدلال الرياضي، تكون العبارة P(n)P(n) صادقة لكل n≥0.n \ge 0\text{.}

حسنًا، أو بالأحرى مبدأ الاستدلال الرياضي. فهل ما فعلناه جيّد؟

وهناك أيضًا أحيانٌ نودّ فيها أن نرجع إلى الوراء أكثر من ذلك، لنستعمل افتراضًا بأنّ P(j)P(j) صادقة عند jj أصغر بكثير من k+1.k+1\text{.} وهذه هي الفكرة التي يقوم عليها الاستدلال القوي، وهي موضوع هذا القسم القصير.

ورقة العمل: نشاط تمهيدي

1.

نشاط فكّر في اللغز التالي:

لديك شريطٌ من الشوكولاتة مستطيل، مكوّن من nn مربّع شوكولاتةٍ متطابقة. يمكنك أن تأخذ هذا الشريط وتكسره على امتداد أيّ صفٍّ أو عمود. كم مرّةً ستحتاج إلى كسر الشريط لتقليله إلى nn مربّع شوكولاتة منفرد؟

أوّلًا، قد يبدو هذا السؤال مستحيلًا. ربّما كنا نقصد السؤال عن أصغر عددٍ من الكسرات اللازم. لنبحث في الأمر.

(a)

افترض أنّك بدأت بشريط 1×31\times 3. كم كسرةً ستحتاج إليه لتقليله إلى مربّعات منفردة؟

(b)

ولو كان لديك شريط 1×41\times 4، فكم كسرةً مطلوبة؟

ولو كانت لديك 4 مربّعات مرتّبة في مربّع 2×22\times 2، فإنّ كسرتك الأولى ستقتضي أن تكسر الشوكولاتة إلى شريطين 1×21 \times 2. ثمّ سيحتاج كلٌّ من هذين الشريطين إلى مزيدٍ من الكسرات، بمجموعٍ كسراتٍ للانتقال من 2×22\times 2 إلى المربّعات المنفردة.

(c)

يمكن أن يكون شريط 66 مربّعاتٍ إمّا شريط 1×61 \times 6، فيتطلّب كسرات، أو شريط 2×32 \times 3.

وهناك طريقتان للمضيّ قدمًا الآن.

  1. اكسر الشريط إلى شريطين 1×31 \times 3، كلٌّ منهما يتطلّب مزيدًا من الكسرات، بمجموعٍ كسرات.
  2. اكسر الشريط إلى شريط 1×21\times 2 وشريط 2×22 \times 2. يتطلّب الشريط 1×21 \times 2 مزيدًا من الكسرات، ويتطلّب الشريط 2×22 \times 2 مزيدًا من الكسرات، بمجموعٍ كسرات.

(d)

استنادًا إلى البيانات أعلاه، ما الذي ينبغي أن يكون تخميننا لعدد الكسرات اللازم لتقليل شريطٍ من nn مربّعًا إلى مربّعات منفردة، بدلالة n?n\text{?}

ستستغرق كسراتٍ لتقليل شريطٍ من nn مربّعًا إلى مربّعات منفردة.

(e)

هل نصدّق هذا؟ افترض أنّك استخدمت كسرةً واحدةً لتقليل الشريط إلى شريطين أصغر، كلٌّ فيهما aa وbb مربّعًا. فإنّ كان التخمين صحيحًا، فكم كسرةً إضافية ستحتاج إليها لتقليل الشريط ذي الحجم aa؟

وكم كسرةً إضافية ستحتاج إليها لتقليل الشريط ذي الحجم bb؟

وكم كسرةً يكون ذلك كلّه معًا، بدلالة aa وb,b\text{,} بما في ذلك الكسرة الأولى؟

لكنّ ما هو a+b?a+b\text{?} لقد حصلنا على aa وbb بكسر المربّعات الـ nn إلى قطعتين، إذن a+b=a+b =. وهذا يعطينا عددًا إجماليًّا من الكسرات مقداره .

قسم فرعي: القسمة والتغلب

تخيَّل التعريفات التعاودية بوصفها تعليماتٍ لبناء سُلّم. يمكنك بناء السلم بارتفاعٍ ما شئت، لأنّ لديك تعليمات لبناء العتبة التالية، ما دمت واقفًا على العتبة التي قبلها.

والاستدلال هو تقنية البرهان المقابلة. فإلإثبات أنّك تستطيع تسلّق السلم إلى أيّ ارتفاعٍ شئت، تُثبت أنّك تستطيع الصعود إلى السلم (الحالة الأساسية) ثمّ تُثبت أنّه من أيّ عتبةٍ تستطيع الانتقال إلى العتبة التالية (الخطوة الاستقرائية).

وبعبارةٍ أدقّ، افترض أنّك تحاول إثبات أنّك تستطيع الوصول إلى العتبة 4 من السلم. لقد أثبتَّ بنجاح أنّه بإمكانك الوصول إلى العتبة 1، وأنّه من أيّ عتبةٍ تستطيع الوصول إلى التي تليها. إذن تستطيع الوصول إلى العتبة 1، ومن 1 تستطيع الوصول إلى 2. ومن 2 تستطيع الوصول إلى 3، ومن 3 تستطيع الوصول إلى 4. إذن تستطيع الوصول إلى 4.

لكن لاحظ أنّك على طول الطريق تعرف أنّك مررتَ بالعتبات من 1 إلى 3. ثمّ إنّه لا بأس من أن نفترض أنّنا مررنا بكلّ العتبات التي تحت العتبة التالية التي نحاول الوصول إليها. وهذه هي الفكرة التي يقوم عليها الاستدلال القوي.

واستعارةُ السُلَّم الأفضل للاستدلال القوي هي أن نفكّر في السلاسل بوصفها أشياءً يمكننا تكديسها فوق بعضها بعض. نريد أن نبيّن أنّه من الممكن تسلّق 20 عتبةٍ من سُلَم. فلنقسم ذلك إلى سُلَّمين أصغر، لنقل سُلَمًا بـ 12 عتبةً وسُلَمًا بـ 8 عتبات. يمكننا أن نفترض أنّنا نستطيع تسلّق كليهما، لأنّ 20 أصغرُ حجمٍ لم نتحقّق منه بعد. حسنًا، ضع هذين السلمين معًا، فتحصل على 12+8=2012+8 = 20 عتبة.

من الأفضل ألّا ننزل عن استعارتنا الهشّة قبل أن نؤذي أنفسنا. فلننظر إلى تعريفٍ رسميّ للاستدلال القوي.

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

ابدأ بذكر ما نريد إثباته: «دع P(n)P(n) تكون العبارة….» ثمّ أثبت حقيقتين:

  1. الحالة الأساسية: أثبت أنّ P(0)P(0) صادقة. (وربّما أثبت كذلك الحالات الأساسية الأخرى اللازمة.)
  2. الحالة الاستقرائية: افترض أنّ P(j)P(j) صادقة لكل j≤k.j \le k\text{.} أثبت أنّ P(k+1)P(k+1) صادقة.

اختُتم بقولك: «إذن، بالاستدلال القوي، تكون العبارة P(n)P(n) صادقة لكل n>0.n \gt 0\text{.}»

وبالطبع، من المقبول استبدال 0 بحالةٍ أساسية أكبر عند الحاجة. 2 تقنيًّا، لا يشترط الاستدلال القوي منك إثبات حالةٍ أساسية منفصلة. ذلك لأنّك عند إثبات الحالة الاستقرائية يجب أن تُبيّن أنّ P(0)P(0) صادقة، بافتراض أنّ P(k)P(k) صادقة لكل k<0.k \lt 0\text{.} لكنّ هذا لا يفيدك في شيء، فتنتهي إلى إثبات P(0)P(0) على أيّ حال. ولأجل الاطمئنان، سنُدرج الحالة الأساسية على نحوٍ منفصل دائمًا.

ولتوضيح الاستدلال القوي، فلنعد إلى مسألة شريط الشوكولاتة.

مبرهنة 4.6.2.

معطى شريطِ شوكولاتةٍ مستطيلٍ من nn مربّعًا، فإنّه يستغرق دائمًا n−1n-1 كسرةً لتقليل الشريط إلى مربّعات منفردة.

البرهان.

دع P(n)P(n) هي العبارة، «يستغرق شريط شوكولاتةٍ من nn مربّعًا n−1n-1 كسرةً لتقليله إلى مربّعات منفردة.»

الحالة الأساسية: تأمّل P(2).P(2)\text{.} ويجب أن تكون المربّعات مرتّبة في مستطيل 1×21\times 2، ونحتاج 2−1=12-1 = 1 كسرةً لتقليله إلى مربّعات منفردة.

الحالة الاستقرائية: ثبّت عددًا k≥2k\ge 2 اعتباطيًّا وافترض أنّ P(j)P(j) صادقة لكل j≤k.j \le k\text{.} تأمّل شريط شوكولاتةٍ مستطيلٍ من k+1k+1 مربّعًا. اكسر الشريط مرّةً واحدةً على امتداد أيّ صفٍّ أو عمود. ينتج عن ذلك شريطَي شوكولاتة، لنقل بحجمي aa وbb . أي إنّ لدينا شريط شوكولاتةٍ مستطيلٍ من aa مربّعًا، وشريط شوكولاتةٍ مستطيلٍ من bb مربّعًا، وa+b=k+1.a+b = k+1\text{.}

ونعرف أيضًا أنّ a≤ka \le k وb≤k,b \le k\text{,} إذن بفرضية الاستقراء لدينا، تكون P(a)P(a) وP(b)P(b) صادقتين. لتقليل الشريط ذي الـ aa مربّعًا إلى مربّعات منفردة يلزم a−1a-1 كسرة؛ ولتقليل الشريط ذي الـ bb مربّعًا إلى مربّعات منفردة يلزم b−1b-1 كسرة. وبعمل ذلك ينتج شريطنا الأصليّ مقلَّلًا إلى مربّعات منفردة. ومجتمعةً تتضمّن الكسرةَ الأولى، مع a−1a-1 وb−1b-1 من الكسرات، أي بمجموعٍ قدره 1+a−1+b−1=a+b−1=k+1−1=k\begin{equation*} 1+a-1+b-1 = a+b-1 = k+1 - 1 = k \end{equation*} كسرة. إذن P(k+1)P(k+1) صادقة.

إذن، بالاستدلال القوي، تكون العبارة P(n)P(n) صادقة لكل n≥2.n \ge 2\text{.}

وهنا مثالٌ أكثر صلةً بالرياضيات:

المثال 4.6.3.

أثبت أنّ كلّ عددٍ طبيعيّ أكبر من 1 إمّا أوّليّ أو يمكن كتابته على هيئة جداءِ أعدادٍ أوّليّة.

الحلّ. أوّلًا، الفكرة: إن أخذنا عددًا ما n,n\text{,} فقد يكون أوّليًّا. وإن كان كذلك، فقد فرغنا. وإن لم يكن كذلك، فهو مركّب، أي إنّه جداءُ عددين أصغر منه. وكلُّ عاملٍ من هذين أصغرُ من nn (لكنّه 2 على الأقلّ)، فيمكننا تكرار الحجة مع هذين العددين. لقد انتقلنا إلى حالةٍ أصغر.

والآن البرهان الرسميّ:

البرهان.

دع P(n)P(n) هي العبارة، «nn إمّا أوّليّ أو يمكن كتابته على هيئة جداءِ أعدادٍ أوّليّة.» وسنُثبت أنّ P(n)P(n) صادقة لكل n≥2.n \ge 2\text{.}

الحالة الأساسية: P(2)P(2) صادقة لأنّ 22 أوّليّ بالفعل.

الحالة الاستقرائية: افترض أنّ P(j)P(j) صادقة لكل j≤k.j \le k\text{.} نريد أن نُبيّن أنّ P(k+1)P(k+1) صادقة. أي، نريد أن نُبيّن أنّ k+1k+1 إمّا أوّليّ أو جداءُ أعدادٍ أوّليّة. فإن كان k+1k+1 أوّليًّا، فقد فرغنا. وإن لم يكن كذلك، فإنّ لـ k+1k+1 أكثرَ من قاسمين، ويمكننا كتابة k+1=m1⋅m2,k+1 = m_1 \cdot m_2\text{,} حيث m1m_1 وm2m_2 أصغرُ من k+1k+1 (وأكبرُ من 1). بفرضية الاستقراء، فإنّ m1m_1 وm2m_2 كلًّا منهما إمّا أوّليّ أو يمكن كتابته على هيئة جداءِ أعدادٍ أوّليّة. وفي الحالين، لدينا أنّ m1⋅m2=k+1m_1\cdot m_2 = k+1 يمكن كتابته على هيئة جداءِ أعدادٍ أوّليّة.

إذن، بالاستدلال القوي، تكون العبارة P(n)P(n) صادقة لكل n≥2.n \ge 2\text{.}

أمّا استعمالُك الاستدلالَ الاعتياديّ أم الاستدلالَ القوي فيعتمد على العبارة التي تريد إثباتها. فإن أردتَ أن تكون آمنًا، فيمكنك دائمًا استعمال الاستدلال القوي. فهو فعلًا أقوى، إذ يستطيع إنجاز كلّ ما يستطيع إنجازه الاستدلال «الضعيف». لكنّ استعمال الاستدلال الاعتياديّ يكون أسهل في أغلب الأحيان، إذ إنّ هناك موضعًا واحدًا فقط يمكنك فيه استعمال فرضية الاستقراء. وهناك أيضًا ما يُقال عن الأناقة في البراهين. فإن استطعتَ إثبات عبارةٍ بأدواتٍ أبسط، فكان من جيّد أن تفعل ذلك.

أسئلة القراءة

1.

  • صادق.
  • هذا معكوس. أنت لا تزال تُثبت الحالة التالية، وإنّما الفرق أنّه يجوز لك افتراض كلّ الحالات السابقة (لا الحالة السابقة وحدها).
  • خاطئ.
  • هذا معكوس. أنت لا تزال تُثبت الحالة التالية، وإنّما الفرق أنّه يجوز لك افتراض كلّ الحالات السابقة (لا الحالة السابقة وحدها).

2.

أيٌّ ممّا يلي من الادّعاءات عن العلاقة بين البرهان بالاستدلال والبرهان بالاستدلال القوي صحيح؟

  • أيّ برهانٍ بالاستدلال يمكن كتابته على هيئة برهانٍ بالاستدلال القوي.
  • أيّ برهانٍ بالاستدلال القوي يمكن كتابته على هيئة برهانٍ بالاستدلال.
  • الاستدلال القوي «أقوى» لأنّ الحالة الأساسية أقوى.
  • الاستدلال القوي «أقوى» لأنّ فرضية الاستقراء أقوى.

3.

ما الأسئلة التي لديك؟ اكتب سؤالًا واحدًا على الأقلّ عن محتوى هذا القسم قد يثير فضولك أو يثير فضول زميلٍ لك بعد قراءة هذا القسم.

تمارين: مسائل تدريبية

1.

افترض أنّك تحاول إثبات، بالاستدلال القوي، أنّ عبارةً P(n)P(n) صادقة لكل n≥0.n \ge 0\text{.} فما الذي ستحاول إثباته في خطوة الاستدلال من البرهان؟ (حدّد كل ما ينطبق.)

  • أنّه بافتراض أنّ P(j)P(j) صادقة لكل j≤k,j \le k\text{,} لـ k≥0k \ge 0 اعتباطيّ، يمكننا إثبات أنّ P(k+1)P(k+1) صادقة.
  • أنّ (P(0)∧P(1)∧⋯∧P(k))(P(0) \wedge P(1) \wedge \cdots \wedge P(k)) يتفرّ منه P(k+1)P(k+1) لكل k≥0.k \ge 0\text{.}
  • أنّه بافتراض أنّ P(k+1)P(k+1) صادقة لـ k≥0k \ge 0 اعتباطيّ، يمكننا إثبات أنّ P(j)P(j) صادقة لكل j≤k.j \le k\text{.}
  • أنّ P(k+1)P(k+1) يتفرّ منه P(j)P(j) لكل j≤k.j \le k\text{.}
  • أنّ P(k−2)P(k-2) يتفرّ منه P(k+1)P(k+1) لقيمةٍ واحدةٍ على الأقلّ من k≥0.k \ge 0\text{.}

2.

إليك نسخةً أبسط من مسألة شريط الشوكولاتة: افترض أنّ لديك شريط شوكولاتةٍ طوله nn مربّعًا. يمكنك كسر شريط الشوكولاتة إلى قطعتين بإجراء كسرةٍ مستقيمةٍ واحدةٍ عبر الشريط. ومهما كان موضع الكسرات التي تجريها، فإنّك ستكسر شريط الشوكولاتة إلى nn قطعةٍ بإجراء n−1n-1 كسرة.

رتّب بعض العبارات التالية بالترتيب الصحيح لتشكيل برهانٍ بالاستدلال القوي لهذا الادّعاء.

لتكن \(P(n)\) هي العبارة أنّ لوح شوكولاتة طوله \(n\) مربّعًا يمكن كسره إلى \(n\) قطعة بكسرٍ \(n-1\) مرّات.
---
\(P(1)\) صادقة لأنّ لوح الشوكولاتة الذي طوله مربّع واحد يكون قطعةً واحدة بالفعل.
---
افترض أنّ \(P(j)\) صادقة لكل \(j \le k\) مع \(k \ge 1\) اعتباطيًّا\text{.}
---
ولتأخذ لوح شوكولاتة طوله \(k+1\) مربّعًا.
---
وأيًّا كان الموضع الذي تكسر عنده هذا اللوح، فستحصل على لوحين أصغر، طولاهما \(a\) و\(b\) مثلًا\text{.}
---
ولأنّ كلًّا من \(a\) و\(b\) لا يتجاوز \(k\text{,}\)، الممكن كسر هذين اللوحين الأصغر إلى مربّعاتٍ مفردة باستخدام \(a-1\) و\(b-1\) كسرٍ على التوالي.
---
إذن العدد الإجمالي للكسرات هو \(a-1 + b-1 + 1 = a+b -1\text{,}\) وهو \(k+1-1 = k\text{.}\)
---
إذن، بمبدأ الاستدلال القوي، \(P(n)\) صادقة لكل \(n \ge 1\text{.}\)

تمارين: تمارين إضافية

1.

افترض أنّ فريقًا من كرة القدم لا يسجّل سوى الأهداف الميدانية (field goals) البالغة 3 نقاط واللمسات (touchdowns) البالغة 7 نقاط (تجاهل احتمالات الأهداف الآمنة، ونقاط التحويل المفقودة، والتحويلات ذات النقطتين). أثبت، باستعمال الاستدلال القوي، أنّ الفريق يستطيع تحقيق أيّ عددٍ من النقاط، 12 نقطةً فأكثر.

تلميح. إن كانت لديك ثلاث حالات أساسية، فهل يمكنك دائمًا أن تتأكّد من قدرتك على الحصول على ثلاث نقاطٍ إضافية؟

2.

أثبت باستعمال الاستدلال القوي أنّ مجموع الزوايا الداخلية لمضلّع nn محدّب يساوي (n−2)⋅180∘.(n-2)\cdot 180^\circ\text{.} (مضلّع nn المحدّب هو مضلّع له nn ضلعًا، كلُّ زاويةٍ داخليةٍ فيه أصغرُ من 180∘.180^\circ\text{.})

تلميح. ابدأ بمضلّع (k+1)(k+1)، وقسِّمه إلى مضلّعين أصغر.

3.

أثبت أنّ كلّ عددٍ صحيحٍ موجب إمّا قوةٌ لـ 2 أو يمكن كتابته على هيئة مجموعٍ قوى متمايزة لـ 2.

4.

أثبت، باستعمال الاستدلال القوي، أنّ كلّ عددٍ طبيعيّ إمّا عددٌ فيبوناتشيّ أو يمكن كتابته على هيئة مجموع أعدادٍ فيبوناتشيّة متباعدة.

تلميح. كما في السؤال السابق، سنرغب في طرح شيءٍ من nn في الخطوة الاستقرائية. فقد طرحنا هناك أكبرَ قوةٍ لـ 2 أصغرَ من n.n\text{.} فما الذي ينبغي أن تطرحه هنا؟

ولاحظ أنّ عليك هنا أن تهتمّ أيضًا بأن يكون المجموع الذي تحصل عليه من فرضية الاستقراء، مع العدد الذي طرحته، مجموعًا لأعدادٍ فيبوناتشيّة متباعدة. وفي الحقيقة يمكنك إثبات أنّ الأعداد الفيبوناتشيّة في المجموع غير متتالية!

5.

لقد أثبتّا سابقًا أنّه لأيّ شجرة، يكون عددُ الحوافّ دائمًا أقلّ بواحدٍ من عدد الرؤوس. أي إنّ شجرةً ذات vv رأسًا وee حافةً تحقّق v=e+1.v = e+1\text{.}

أعطِ برهانًا بديلًا لهذه الحقيقة باستعمال الاستدلال القوي على عدد الرؤوس. وافعل ذلك بأخذ رأسٍ ليس ورقةً و«تقسيمه» إلى رأسين، كلٌّ منهما ينتمي إلى شجرةٍ منفصلة.

6.

افترض أنّ عددًا حقيقيًّا بعينه xx له الخاصيّة أنّ x+1xx + \frac{1}{x} عددٌ صحيح. أثبت أنّ xn+1xnx^n + \frac{1}{x^n} عددٌ صحيح لكل الأعداد الطبيعية n.n\text{.}

تلميح. ستحتاج إلى استعمال الاستدلال القوي. وفي الحالة الاستقرائية، حاول أن تضرب (xk+1xk)(x+1x),\left (x^k + \frac{1}{x^{k}}\right)\left(x+\frac{1}{x}\right)\text{,} ثمّ اجمع أيّ الحدود يتكوّن منها عددٌ صحيح.

7.

إليك مثالًا لتقنية استدلالٍ أعقد تُدعى الاستدلالَ المزدوج.

ستُثبت أنّ الأعداد الفيبوناتشيّة تحقّق الهوية Fn2+Fn+12=F2n+1.F_n^2 + F_{n+1}^2 = F_{2n+1}\text{.} وإحدى طرق ذلك هي إثبات الهوية الأعمّ، FmFn+Fm+1Fn+1=Fm+n+1,\begin{equation*} F_mF_n + F_{m+1}F_{n+1} = F_{m+n+1}\text{,} \end{equation*} ثمّ إدراك أنّه عند m=nm = n نحصل على النتيجة المرغوبة.

ولاحظ أنّ لدينا الآن متغيّران، إذ نريد إثبات ذلك لكل m≥0m \ge 0 و لكل n≥0n \ge 0 في الوقت نفسه. ولكلّ زوجٍ من هذه الأزواج (m,n),(m,n)\text{,} دع P(m,n)P(m,n) تكون العبارة FmFn+Fm+1Fn+1=Fm+n+1F_mF_n + F_{m+1}F_{n+1} = F_{m+n+1}

(a)

أوّلًا ثبّت m=0,m = 0\text{,} وقدّم برهانًا بالاستدلال الرياضي على أنّ P(0,n)P(0,n) تصدق لكل n≥0.n \ge 0\text{.} ولاحظ أنّ هذا البرهان سيكون سهلًا جدًّا.

(b)

والآن ثبّت n,n\text{,} اعتباطيًّا، وقدّم برهانًا بالاستدلال الرياضي القوي على أنّ P(m,n)P(m,n) تصدق لكل m≥0.m \ge 0\text{.}

(c)

يمكنك الآن أن تستنتج أنّ P(m,n)P(m,n) تصدق لكل m,n≥0.m,n\ge 0\text{.} فهل تصدّق ذلك؟ اشرح لماذا هذا النوع من الاستدلال صحيح. مثلًا، لماذا تُضمّن براهينك أعلاه أنّ P(2,3)P(2,3) صادقة؟

8.

معطى مربّع، يمكنك تقطيع المربّع إلى مربّعاتٍ أصغر بالقطع على امتداد خطوطٍ موازيةٍ لأضلاع المربّع الأصليّ (ولا يلزم أن تمتدّ هذه الخطوط بكامل طول ضلع المربّع الأصليّ). فمثلًا، بالقطع على امتداد الخطوط أدناه، ستقسم مربّعًا إلى 6 مربّعاتٍ أصغر:

مربّعٌ كبيرٌ واحدٌ مع خمسة مربّعاتٍ طولُ ضلع كلٍّ منها نصفُ ضلع المربّع، تلتفّ حول الضلع العلوي والضلع الأيمن، مشكلةً بذلك مربّعًا أكبر. أثبت، باستعمال الاستدلال القوي، أنّه من الممكن تقطيع مربّعٍ إلى nn مربّعاتٍ أصغر لأيّ n≥6.n \ge 6\text{.}

تلميح. ستحتاج إلى ثلاث حالات أساسية. وهذا في الواقع تلميحٌ جيّد جدًّا، إذ يوحي بأنّك لإثبات صحّة P(n)P(n) ستودّ استعمال حقيقة أنّ P(n−3)P(n-3) صادقة. إذن لا بدّ من أن تزيد عدد المربّعات بمقدار 3 بطريقةٍ ما.