مدارس ، ثانويتي على الأنترنيت

مبادئ في المنطق
Quelques Eléments de Logique Mathématique

---

|تقديم| العبارة| الدالة العبارية| المكممات| ترتيب المكممات| العمليات المنطقية | الاستدلال|

تقديم

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

البداية

---

العبارة

مثال

1. $1+1=2$ نص رياضي يحمل معنى صحيحا $\left(v\right)$...عبارة
2. $\sin \left(\raisebox{1ex}{$\pi $}\!\left/ \!\raisebox{-1ex}{$2$}\right.\right)\succ 2$ نص رياضي يحمل معنى خاطئا $\left(F\right)$ ...عبارة

جميع قيم الحقيقة في الرياضيات هي نسبية و ليست مطلقة : فهي مرتبطة باختيار الموضوعات التي نختارها كصحيحة.

البداية

---

الدالة العبارية

في بعض الأحيان تظهر في النصوص الرياضية متغيرات تنتمي الى مجموعة معينة كما يبين المثال التالي:
$x:Q$ عدد صحيح طبيعي ...دالة عبارية.
هذه الدالة العبارية تصبح عبارة في حالة تعويض المتغير بعدد صحيح طبيعي.معين.

البداية

---

المكممات

نعتبر المتساويتين : $\begin{array}{l}\left(1\right):{\left(x+1\right)}_{}^2=x^2+2x+1\\ \left(2\right):{\left(x+1\right)}_{}^2=x_{}^2+1\end{array}$ حيث $x\in ℝ$

• المتساوية $\left(1\right)$ هي احدى المتطابقات الهامة ، اذن لكل عدد حقيقي $x$ المتساوية $\left(1\right)$ محققة.
  -لكل $x$من $ℝ$، ${\left(x+1\right)}^2=x^2+2x+1$
  - $\forall x\in ℝ:{\left(x+1\right)}^2=x^2+2x+1$
  - $\forall$ يسمى المكمم الكوني
  
• يمكننا التفكير أن المتساوية $\left(2\right)$ خاطئة و مع ذلك من أجل $x=0$ فهي محققة .
  هل يمكن القول أن المتساوية $\left(2\right)$ صحيحة ؟ لا ، لأنه من أجل $x=1$ ليست كذلك.
  لتكوين عبارة صحيحة يجب اتمام المتساوية $\left(2\right)$ ب :
  - يوجد على الأقل $x$ من $ℝ$ يحقق ${\left(x+1\right)}^2=x^2+1$
  - $\exists x\in ℝ:{\left(x+1\right)}^2=x^2+1$
  - $\exists$ يسمى المكمم الوجودي.
  

ملاحظة
بالرجوع للمتساوية $\left(1\right)$ يمكننا الإنتباه إلى أن :
$\exists xℝ:{\left(x+1\right)}^2=x^2+2x+1$ هي كذلك عبارة صحيحة ( فهي محققة بالنسبة ل $x=1$ مثلا).

البداية

---

ترتيب المكممات

لتكن $f$ دالة عددية معرفة على $ℝ$.
نريد التعبير على أن $f$ دالة ثابتة على $ℝ$. هل العبارة التالية تقوم بالمهمة؟ $\left(\forall x\in ℝ\right)\left(\exists c\in ℝ\right):f(x)=c$
بطبيعة الحال لا : لأن هذه الجملة هي محققة لكل دالة عددية لمتغير حقيقي $x$ مجموعة تعريفها $ℝ$ ، كمثال الدالة: $f:\begin{array}{c}ℝ\to ℝ\\ x\mapsto x^2\end{array}$ ، لكل $x$ من $ℝ$ نختار $c=x^2$ .ومع ذلك فإن الدالة $f:\begin{array}{c}ℝ\to ℝ\\ x\mapsto x^2\end{array}$ ليست ثابتة ، لأن قيمة $c$ تتغير كلما تغيرت $x$.
من أجل ذلك وجب علينا تقديم $c$ على $x$ كي لا يرتبط $c$ ب $x$.
$\left(\exists c\in ℝ\right)\left(\forall x\in ℝ\right):f(x)=c$ مثال : $\begin{array}{l}\left(\exists x\in ℝ\right)\left(\exists y\in ℝ\right):x^2+y^2=1\\ \left(\exists y\in ℝ\right)\left(\exists x\in ℝ\right):x^2+y^2=1\end{array}$

البداية

---

العمليات المنطقية

النفي المنطقي|الفصل و العطف المنطقي|الاستلزام المنطقي|التكافئ المنطقي|
النفي المنطقي
مثال
نعتبر العبارة $\left(P\right)\exists x\in ℝ:x^2+x+1=0$
هذا النص الرياضي يعني أن المعادلة $\left(1\right)x^2+x+1=0$ تقبل حلا على الأقل في $ℝ$ .لكن المعادلة $\left(1\right)$ ليس لها حل في $ℝ$ لأن مميزها سالب قطعا ، و هذا يمكن التعبير عنه ب: $\left(\neg P\right)\forall x\in ℝ:x^2+x+1\ne 0$.
هذا النص الجديد يسمى نفي العبار $P$ ونرمز له ب $\neg P$.
مثال:
نعتبر العبارة $\left(P\right)\forall x\in {ℝ}_{+}^{*}:x+\frac{1}{x}\ge 3$
هذه العبارة خاطئة لأنه يوجد على الأقل ${ℝ}_{+}^{*}$ حيث $x_{°}+\frac{1}{x_{°}}\prec 3$ ( مثلا $x_{°}=1$ ).
$\neg P$ عبارة صحيحة : $\left(\neg P\right)\exists x{ℝ}_{+}^{*}:x+\frac{1}{x}\prec 3$
قاعدة:
نفي العبارة $\exists x\in A:Q(x)$ هي العبارة $\forall x\in A:\neg Q(x)$
نفي العبارة $\forall x\in A:Q(x)$ هي العبارة $\exists x\in A:\neg Q(x)$
رجوع
الفصل و العطف المنطقي
ليكن $x$ عددا حقيقيا .
نضع

• $\left(P\right):x^2\succ 1$
• $\left(Q\right):x\prec 0$
• $x^2\succ 1$ و $x\prec 0$ : ( $P$ و $Q$ )
• $x^2\succ 1$ أو $x\prec 0$ :( $P$ أو $Q$)
  لنأخد بعض الأمثلة (انظر الجدول)
  

  $x^2\succ 1$ أو $x\prec 0$	$x^2\succ 1$ و $x\prec 0$	$x\prec 0$	$x^2\succ 1$	$x$
  $V$	$V$	$V$	$V$	$-5$
  $V$	$F$	$F$	$V$	$\sqrt{3}$
  $V$	$F$	$V$	$F$	$-\mathrm{0,8}$
  $F$	$F$	$F$	$F$	$\frac{5}{6}$

  
  بصفة عامة العبارة ( $P$ و $Q$ ) موافقة للجدول التالي:

  ( $P$ و $Q$ )	$Q$	$P$
  $V$	$V$	$V$
  $F$	$F$	$V$
  $F$	$V$	$F$
  $F$	$F$	$F$

  
  
  تكون العبارة ( $P$ و $Q$ ) صحيحة اذا كانت $P$ و $Q$ صحيحتان معا.
  و العبارة ( $P$ أو $Q$) موافقة للجدول التالي:

  ( $P$ أو $Q$)	$Q$	$P$
  $V$	$V$	$V$
  $V$	$F$	$V$
  $V$	$V$	$F$
  $F$	$F$	$F$

  
  
  تكون العبارة ( $P$ أو $Q$) صحيحة اذا كانت على الأقل احدى العبارتين $P$ و $Q$ صحيحة.
  ملاحظة 1
  نلاحظ أنه إذا كانت العبارتين $P$ و $Q$ صحيحتين معا فإن العبارة ( $P$ أو $Q$) صحيحة ، لكن في الحياة اليومية ليس له نفس المعنى حيث في مطعم مثلا : طلب وجبة لحم بقر أو وجبة لحم غنم لا يعني طلب الوجبتين معا.
  ملاحظة 2
  في بعض النصوص الرياضية ، يكون الفصل مخفيا. مثلا : $\left(x\in ℝ\right)$
  الكتابة $x\ge 1$ تعني ( $x\succ 1$ أو $x=0$)
  تمرين تطبيقي
  تأكد مستعملا جداول الحقيقة أن العبارات التالية لها نفس قيم الحقيقة.
  1. $P)$ و $\neg (Q$ .... $\neg P)$ أو $(\neg Q$
  2. $P)$ أو $\neg (Q$ .... $\neg P)$ و $(\neg Q$

رجوع
الإستلزام المنطقي
تقديم
نعلم أن كل عدد صحيح طبيعي مضاعف للعدد $6$ هو مضاعف للعدد $3$ يمكننا صياغة ذلك كما يلي :

• لكل $\mathrm{n}$ من $\mathbb{N}$ ، إذا كان $\mathrm{n}$ مضاعف للعدد $6$ فإن $\mathrm{n}$ مضاعف للعدد $3$
• في $\mathbb{N}$، مضاعف للعدد $6$ يستلزم مضاعف للعدد $6$

لتوضيح ذلك نتبع المثال التالي في الجدول أسقله:

مضاعف للعدد $3$	مضاعف للعدد $6$	$\mathrm{n}$
$\mathrm{V}$	$\mathrm{V}$	$12$
$\mathrm{V}$	$\mathrm{F}$	$9$
$\mathrm{F}$	$\mathrm{F}$	$5$
$\mathrm{F}$	$\mathrm{V}$	$?$

نلاحظ أنه لا يوجد عدد صحيح طبيعي $\mathrm{n}$ مناسب للسطر الأخير. إذن وجدنا $3$ عبارات صحيحة في الرياضيات وهي :

• $12$ مضاعف للعدد $6$ يستلزم $12$ مضاعف للعدد $3$
• $9$ مضاعف للعدد $6$ يستلزم $9$ مضاعف للعدد $3$
• $5$ مضاعف للعدد $6$ يستلزم $5$ مضاعف للعدد $3$

العبارتين الأخيرتين فعلا صحيحتين عكس ما يتبين للذهن.

$P\Rightarrow Q$	$\mathrm{Q}$	$\mathrm{P}$
$\mathrm{V}$	$\mathrm{V}$	$\mathrm{V}$
$\mathrm{F}$	$\mathrm{F}$	$\mathrm{V}$
$\mathrm{V}$	$\mathrm{V}$	$\mathrm{F}$
$\mathrm{V}$	$\mathrm{F}$	$\mathrm{F}$

ملاحظة 1
لاحظ الجدول أسفله:

$\neg Q$ و $P$	$P\Rightarrow Q$	$\neg Q$	$Q$	$P$
$F$	$V$	$F$	$V$	$V$
$V$	$F$	$V$	$F$	$V$
$F$	$V$	$F$	$V$	$F$
$F$	$V$	$V$	$F$	$F$

الاستلزام $P\Rightarrow Q$ خاطئ في حالة واحدة ، $P$ صحيحة و $Q$ خاظئة ، و هي الحالة الوحيدة التي تكون فيها العبارة ( $\neg Q$ و $P$) صحيحة.
من هنا نستنج أن $P\Rightarrow Q$ و ( $\neg Q$ و $P$) $\neg$ أي $P\Rightarrow Q$ و ( $Q$ أو $\neg P$) لهما نفس قيم الحقيقة.
ملاحظة 2
لاحظ الجدول أسفله:

$\neg Q\Rightarrow \neg P$	$P\Rightarrow Q$	$\neg Q$	$\neg P$	$Q$	$P$
$V$	$V$	$F$	$F$	$V$	$V$
$F$	$F$	$V$	$F$	$F$	$V$
$V$	$V$	$F$	$V$	$V$	$F$
$V$	$V$	$V$	$V$	$F$	$F$

انطلاقا من هذا الجدول نلاحظ أن $P\Rightarrow Q$ و $\neg Q\Rightarrow \neg P$ لهما نفس قيم الحقيقة . ملاحظة 3
للبرهان على صحة الاستلزام $P\Rightarrow Q$ :

• نبدأ بافتراض $P$ عبارة صحيحة و نحاول أن نثبت أن $Q$ عبارة صحيحة ، لأنه في حالة $P$ خاطئة الاستلزام $P\Rightarrow Q$ يكون دائما صحيحا.
• نثبت صحة الاستلزام المضاد للعكس.

مثال :
ليكن $n$ عددا صحيحا طبيعيا .
اثبت أن ( $n$ زوجي) $\Rightarrow$ ( $n^2$ زوجي)
لنثبت صحة الاستلزام المضاد للعكس أي ( $n^2$ فردي) $\Rightarrow$ ( $n$ فردي)
نفترض أن $n$عددا فرديا أي $(\exists k\in \mathbb{N}):n=2k+1$ و نثبت أن $n^2$عددا فرديا. لدينا :

$={\left(2k+1\right)}^2$	$n^2$
$=4k^2+4k+1$
$=2\left(2k^2+2k\right)+1$
$=2K+1$

مع $K=2k^2+2k$ . بما أن $k\in \mathbb{N}$ فإن $K\in \mathbb{N}$، وهذا يعني أن $n^2$ عدد فرديا .
ملاحظة 4
ليكن $P\Rightarrow Q$ استلزاما صحيحا.

• $P$ شرط كافي ل $Q$
• $Q$ شرط لازم ل $P$

رجوع
التكافئ المنطقي

$\left(P\Rightarrow Q\right)$ و $\left(Q\Rightarrow P\right)$	$Q\Rightarrow P$	$P\Rightarrow Q$	$Q$	$P$
$V$	$V$	$V$	$V$	$V$
$F$	$V$	$F$	$F$	$V$
$F$	$F$	$V$	$V$	$F$
$V$	$V$	$V$	$F$	$F$

$P\iff Q$	$Q$	$P$
$V$	$V$	$V$
$F$	$F$	$V$
$F$	$V$	$F$
$V$	$F$	$F$

البرهان على تكافؤ

• باستعمال الاستلزام المزدوج
  كي نثبت على صحة تكافؤ $\left(P\iff Q\right)$ يمكننا اثبات صحة الاستلزامين $\left(P\Rightarrow Q\right)$ و $\left(Q\Rightarrow P\right)$
  مثال:
  $\left(a,b,c\right)\in {ℝ}^3$ مع $a\ne 0$
  $P$ : الحدودية $a{x}^2+bx+c$ لها جذرين حقيقين غير منعدمين $x_1$ و $x_2$ مع $x_1{x}_2\prec 0$
  $Q$ : $ac\prec 0$
  لنثبت تكافؤ العبارتين $P$ و $Q$.
  1. لنثبت صحة الاستلزام $\left(P\Rightarrow Q\right)$.
     نفترض أن $P$ صحيحة
     لدينا $x_1{x}_2=\frac{c}{a}$ ، وبما أن $a\ne 0$ فإن $a^2\left(x_1{x}_2\right)=ac$.
     نعلم أن $x_1{x}_2\prec 0$ و $a^2\succ 0$ إذن $a^2\left(x_1{x}_2\right)\prec 0$ أي $ac\prec 0$
  2. لنثبت صحة الاستلزام $\left(Q\Rightarrow P\right)$
     نفترض أن $Q$ صحيحة:
     لدينا $\Delta =b^2-4ac$ ، وبما أن $ac\prec 0$ فإن $-4ac\succ 0$ . وعليه فإن $b^2-4ac\succ 0$ (لأن $b^2\ge 0$) أي $\Delta \succ 0$.
     إذن الحدودية $a{x}^2+bx+c$ لها جذرين حقيقيين مختلفين.
     في حين $x_1{x}_2=\frac{c}{a}=\frac{ac}{a^2}\prec 0$ ( لأن $a^2\succ 0$ و $ac\prec$ ) وفي نفس الوقت مختلفين.
     
• اكثر من عبارتين
  لتكن $R,Q,P$ 3 عبارات.
  
  • كي نثبت صحة التكافؤات $\left(R\iff P\right),\left(Q\iff R\right),\left(P\iff Q\right)$ يكفي أن نثبت صحة الاستلزامات : $\left(R\Rightarrow P\right),\left(Q\Rightarrow R\right),\left(P\Rightarrow Q\right)$.
    اثبت ذلك .....
    
  • إذا كان التكافئين $\left(P\iff R\right)$ و $\left(R\iff Q\right)$ صحيحين فإن التكافؤ $\left(P\iff Q\right)$صحيح..
    اثبت ذلك ....
    

رجوع

البداية

---

الاستدلال
|الاستدلال بالخلف|الاستدلال بفصل الحالات|الاستدلال بالترجع|
الاستدلال بالخلف
نريد البرهان أن عبارة $P$ صحيحة :
نفترض أن العبارة $P$ خاطئة ونحاول التوصل الى تناقض مع معطيات التمرين. ثم نستنتج أن العبارة $P$ صحيحة.
مثال
لنثبت أن $\sqrt{2}$ عدد لاجذري .
من أجل ذلك نستعمل الاستدلال بالخلف .
نفترض أن $\sqrt{2}$ عدد جذري أي يوجد عددان صحيحان طبيعيان $a$ و $b$ من ${\mathbb{N}}^{*}$ أوليان فيما بينهما حيث $\sqrt{2}=\frac{a}{b}$.
برفعنا هذه المتساوية الى الأس $2$ نحصل على $a^2=2b^2$ ، إذن $a^2$ عدد زوجي .نعلم أن كل عدد صحيح طبيعي و مربعه لهما نفس الزوجية أي $a$ عدد زوجي ، ومنه يوجد عدد صحيح طبيعي غير منعدم $k$ حيث $a=2k$ .بعد تعويض $a$ بالقيمة $2k$ في المتساوية $a^2=2b^2$ نحصل على $b^2=2k^2$ ما يقودنا الى الاستنتاج التالي: $b^2$ زوجي و كذلك $b$ عدد زوجي.
خلاصة :
بما أن $a$ عدد زوجي و $b$ عدد زوجي ، فإن العدد $2$ أحد قواسم العددين $a$ و $b$ و هذا تناقض مع أنهما أوليان فيما بينهما.
رجوع
الاستدلال بفصل الحالات
سنبدأ ببعض الأمثلة .

• مثال 1
  لنحل في $ℝ$ المعادلة $\left|x-1\right|+\left|2x-3\right|=6$
  
  عوض العمل مباشرة على المجموعة $ℝ$ ، نقسم الدراسة على ثلاث مجالات : $\left]\frac{3}{2};+\infty \right[,\left]1;\frac{3}{2}\right],\left]-\infty ;1\right]$.
  
  • حل في المجال $\left]-\infty \mathrm{,1}\right]$ المعادلة $-3x+4=6$ . نحصل على $x=-\frac{2}{3}$ ، بالفعل ينتمي الى المجال $\left]-\infty \mathrm{,1}\right]$
  • حل في المجال $\left]1;\frac{3}{2}\right]$ المعادلة $-x+2=6$ . نحصل على $x=-4$ ، غير مناسب لأنه لا ينتمي الى المجال $\left]1;\frac{3}{2}\right]$
  • حل في المجال $\left]\frac{3}{2};+\infty \right[$ المعادلة $3x-4=6$ . نحصل على $x=\frac{10}{3}$ ، بالفعل ينتمي الى المجال $\left]\frac{3}{2};+\infty \right[$.
  مجموعة حلول المعادلة تتكون من مختلف الحلول المحصل عليها في الحالات الثلاث أي : $S=\left\{\frac{-2}{3};\frac{10}{3}\right\}$
  نقول لقد قمنا بفصل الحالات..
• مثال 2
  حل في $ℝ$ المعادلة $\left(1\right):\sqrt{2x^2+1}\succ 2x-4$
  لاحظ أن : $\left(\forall x\in ℝ\right):2x^2+1\succ 0$ أي الصيغة $\sqrt{2x^2+1}$ هي معرفة لكل $x$ من $ℝ$ ، إذن عوض العمل المباشر على $ℝ$ ، نقسم الدراسة الى حالتين تبعا لإشارة الصيغة : $2x-4$.
  • الحالة الأولى: $\left(x\in \left]-\infty ;2\right[\right)$
    في هذه الحالة $2x-4\prec 0$ و المتراجحة $\left(1\right)$ محققة لأن $\sqrt{2x^2+1}\succ 0$ . إذن كل عنصر من المجال $\left]-\infty ;2\right[$ هو حل للمتراجحة $\left(1\right)$ .
  • الحالة الثانية $\left(x\in \left[2;+\infty \right[\right)$:
    في هذه الحالة طرفي المتراجحة $\left(1\right)$ موجبين ، إذن .
    ${\left(\sqrt{2x^2+1}\right)}^2\succ {\left(2x-4\right)}^2$ مما يقودنا بعد التبسيط الى $-2x^2+16x-15\succ 0$ ، وهذه المتراجحة هي محققة لكل $x$ من المجال $\left]\frac{16-\sqrt{136}}{4};\frac{16+\sqrt{136}}{4}\right[$ .إذن كل عنصر من $\left]\frac{16-\sqrt{136}}{4};\frac{16+\sqrt{136}}{4}\right[\cap \left[2;+\infty \right[$ أي $\left[2;\frac{16+\sqrt{136}}{4}\right[$ هو حل للمتراجحة $\left(1\right)$ .
  خلاصة :
  مجموعة حلول المتراجحة $\left(1\right)$ هي اتحاد حلول الحالات السابقة حيث بعد الاتحاد نحصل على : $S=\left]-\infty ;2\right[\cup \left[2;\frac{16+\sqrt{136}}{4}\right[=\left]-\infty ;\frac{16+\sqrt{136}}{4}\right[$
• مثال 3
  ليكن $a$ عددا صحيحا نسبيا .
  اثبت أن $a\left(a^2-1\right)$ مضاعف للعدد $3$
  من أجل ذلك نلتجأ الى الاستدلال بفصل الحالات حسب $r$ باقي قسمة $a$ على $3$ ( القسمة الاقليدية).
  
  • الحالة الأولى $r=0$
    يوجد عدد صحيح نسبي $k$ حيث $a=3k$ إذن:

    $=3k\left(9k^2-1\right)$	$a\left(a^2-1\right)$
    $=3\left[k\left(9k^2-1\right)\right]$

  • الحالة الثانية $r=1$
    يوجد عدد صحيح نسبي $k$ حيث $a=3k+1$ إذن :

    $=\left(3k+1\right)\left(9k^2+6k\right)$	$a\left(a^2-1\right)$
    $=3\left[\left(3k+1\right)\left(3k^2+2k\right)\right]$

  • الحالة الثالثة $r=2$
    يوجد عدد صحيح نسبي $k$ حيث $a=3k+2$ إذن :

    $=\left(3k+2\right)\left(9k^2+12k+3\right)$	$a\left(a^2-1\right)$
    $=3\left[\left(3k+2\right)\left(3k^2+4k+1\right)\right]$

  في جميع الحالات يوجد عدد صحيح نسبي $k^{\text{'}}$ حيث $a\left(a^2-1\right)=3k^{\text{'}}$ أي $a\left(a^2-1\right)$مضاعف للعدد $3$.
  الاستدلال بفصل الحالات على مجموعة $A$ يرجع الى تجزيئ هذه المجموعة ، و التحليل على كل جزء من هذه الاجزاء.

رجوع
الاستدلال بالترجع
نريد البرهان عن خاصية $P(n)$ حيث $n$ عدد صحيح طبيعي.

• في البداية: نبحث عن عدد صحيح طبيعي $n_{°}$ حيث $P(n_{°})$ صحيحة.
• بالوراثة: نثبت أنه لكل عدد صحيح طبيعي $\left(n\ge n_{°}\right)n$ ، لدينا الاستلزام $P(n)\Rightarrow P(n+1)$
• خلاصة: انطلاقا من النقطتين السابقتين ، نستنتج أن : لكل عدد صحيح طبيعي $\left(n\ge n_{°}\right)n$ ، $P(n)$ صحيحة.
  مثال :
  لكل عدد صحيح طبيعي $\left(n\ge 1\right)n$ نضع $S_n=1+2+3+\mathrm{.......}+n$
  اثبت بالترجع أن : $S_n=\frac{n\left(n+1\right)}{2}$
  
  • البداية :
    المتساوية صحيحة من أجل $n=1$ لأن $\left(\frac{1\left(1+1\right)}{2}=1;S_1=1\right)$
  • الوراثة :
    : ليكن $n\ge 1$ ، نفترض أن توجد رتبة $n$ حيث $S_n=\frac{n\left(n+1\right)}{2}$ و نثبت أن $S_n=\frac{\left(n+1\right)\left(n+2\right)}{2}$ . لدينا :

    $=1+2+3+\mathrm{.......}+n+\left(n+1\right)$	$S_{n+1}$
    $=S_n+\left(n+1\right)$
    $=\frac{n\left(n+1\right)}{2}+\left(n+1\right)$
    $=\left(n+1\right)\left(\frac{n}{2}+1\right)$
    $=\frac{\left(n+1\right)\left(n+2\right)}{2}$

رجوع

البداية

---

البداية

---