Ch. 3 - Mathematical Induction
Ch. 3 - Mathematical Induction
االستنتاج الرياضى
جمل صادقة ) p(n0 ), p(n0 1), p(n0 2),...., p( k , k -2وكانت لكل n0
لن نشرع هنا فى برهان هذان المبدأن وسوف نترك هذا األمرر لصصرل الحرل ولكننرا نعطرى عردد مرن األملةرة عةرى
كيصية استخدام الصورة االولى.
n(n 1)
n 11 2 ... n مثال :1برهن أن
2
)n(n 1
) 1 2 ... n ( الحظ أن ) p (nهنا هو
2
n n
ألن كال الطرفين يساوى .a0 + a1 + ... + an كما نالحظ أن ai 1 = ai
i 1 i 0
n
بدال من a1.a2 .a3 ....a nلةتعبير عن ضرب العناصر aiلكل . 1 i n a i 1
i -2كما سنكتب
n
)n(n 1)( 2n 1
لكل . n 1 r
i 1
2
=
6
مثال :2برهن أن
1 2 3
= = 1الطرف األيسر البرهان :أوال :عند , n=1الطرف األيمن =
6
k 1
)(k 1)( k 2)( 2k 3 k
)k (k 1)( 2k 1
r
r 1
2
=
6
,مطةوب برهنة أن r
r 1
2
=
6
ثانيا :نصرض أن , k 1
k
)k (k 1)(2k 1 6(k 1) 2
= الطرف األيسر
r 1
r (k 1)
2 2
6
6
44
تحذير -1:حين نستخدم االستنتاج الرياضى لةبرهنة عةى ) p (nلكل عدد طبيعى ، n n0يجب التأكد من أننا
قد برهنا بالصعل ) p(n0وإال وقعنا فى أخطاء فادحة .وفيما يةى نعطى ملاال لتوضيح ذلك:
1
(n ) 2
n
p(k) , nتستةزم )p(k+1 = rنجد أن لكل عدد طبيعى مثال :ليكن ) p(nهو الصيغة 2
r 1 2
(تأكد من ذلك بنصسك) ورغم ذلك فهذ الصيغة ليست صادقة عند أي من األعداد الطبيعية.
-2من جانب آخر ال يكصى أن نجرب الصيغة ) P(nلعدد من القيم فقد يظهر الخطأ بعد عدد كبير من الخطوات
مثال :ليكن ) p(nهو الصيغة " n2 +n+41عدد أولى" ،تستطيع أن تتأكد بنصسك أن (p(n
تكون جمةة صادقة إذا وضعنا n =1أو 2 = nأو ...أو 10 = nومع ذلك واضح أن الجمةة
"لكل عدد طبيعى nإذا كان n 1فإن n2 +n+41عدد أولى" ليست جمةة صادقة (لماذا؟)
فيما يةى سنبرهن مجموعة متنوعة من النظريات (بعضها سبل أن درستها خالل المرحةة اللانوية) مستخدمين فى
برهانها مبدأ االستنتاج الرياضى.
n
z n 1 1
لكل عدد طبيعى ، nحيث zأى zj
j 0 z 1
نظرية ( :1مجموع المتوالية الهندسية )
k 1
z k 2 1
zj
j 0 z 1
و نبرهن أن
z k 1 1 z k 2 z k 1 z k 2 1
الطرف االيمن =
z 1 z 1
وبهذا نكون قد أثبتنا مقدمتى االستنتاج الرياضى ،من هذا ومن مبدأ االستنتاج الرياضى ينتج المطةوب.
44
)binomial theorem( نظرية ذات الحدين:2 نظرية
n
( x y ) n Cr n x n r y r , n , x,y ( -{0}) =
r 0
n
أى أن، (1 x) n Ci n xi و نبرهن أن, y 1 سنأخذ الحالة: اوال:البرهان
i 0
k 1
C
؟؟ k 1 i
(x+1)k+1 = i x
i 0
( x 1) k 1 ( x 1)( x 1) k , by hypothese
= (x+1)( i 0 Cik x i )
i k
= i 0 Cik xi 1 r 0 Crk x r , in
i k r k i k
i 0
Cik x i 1 let r=i+1 t hen (i=0 r=1), (i=k r=k+1)
r i 1
Crk1 x r r 0 Crk x r
r k 1 r k
r 1
( x k 1 r 1 Crk1 x r ) ( x 0 r 1 Crk x r )
r k r k
=( x k 1 r 1 (Crk1 Crk ) x r ) x 0
r k
= x k 1 r 1 Crk 1 x r x 0 r 0 Crk 1 x r
r k r k 1
. من هذا ومن مبدأ االستنتاج الرياضى ينتج المطةوب،وبهذا نكون قد أثبتنا مقدمتى االستنتاج الرياضى
n
, ( نضعx y)n Cr n x nr y r واآلن كى نبرهن:ثانيا
r 0
r
y n
y
( x y) x (1 )n x n Cr n
n n
من أوال
x r 0 x
n
( x y ) Cr n x n r y r
n
إذن
r 0
44
(cos i sin )n cos(n ) i sin(n ), n , نظرية :3
و . i2 = 1 أى عدد حقيقى ،و nأى عدد صحيح، حيث
تسمى هذ النظرية بنظرية دى موافر ()De Moivre’s Theorem
n باستخدام االستنتاج الرياضى البرهان:أوال :سنبرهن النظرية فى حالة
-1عند n 0نجد أن لكل عدد حقيقى , الطرف األيمن = ) 1 1 0 cos(0. ) i sin(0.
أى أن ) (cos i sin ) (cos r i sin rحيررث rو عررددان حقيقيرران .لكررن برهرران هررذا خررارج
r
. تعريف -1:يقال أن Aمجموعة منتهية ( ( finite setإذا كان عدد عناصر Aعدد طبيعي
-2إذا كانت Aمجموعة منتهية فإن رتبة )order A ( Aالمقصود بها عدد عناصر Aو يرمز لها
بالرمز .A
لتكن } B = {b1 , b2 , ... , bmو B = mوليكن عدد عناصر Aهو n
44
( A2 ( A1 كما يمكن إثبات أن )B)
و بالتالي
A B ( A2 ) A1 B A2 ( A1 )B
= A2 A1 B , by 1 since A2 1, A2 ( A1 B)
=1 A1 B
=1+( A1 B ), by hypothese since A1 B , A1 k
1 k B = A + B
وبهذا نكون قد أثبتنا مقدمتى االستنتاج الرياضى ،من هذا ومن مبدأ االستنتاج الرياضى نكون قد أثبتنا المطةوب
عندما تكون كال المجموعتين A, Bغير خالية.
نظرية :6إذا كانت Aو Bمجموعتين منتهيتين ،فإن A B = A + B AB
البرهان :نالحظ أن ) ، AB = A(BAوأن A(BA) =
وبتطبيل نظرية 4ونتيجة 6
نجد أن AB = A(BA) = A + B A = A + B AB
45
نظرية خوارزمية القسمة ):(Division algorithm
لكل عدد صحيح nوكل عدد صحيح موجب ،mيوجد عددان صحيحان وحيدان q, rبحيث:
. n qm r , 0r m
البرهان :أوال :إذا أعطينا عدد صحيح موجب ،mسنبرهن وجود q, rلكل عدد صحيح n
n نستخدم مبدأ االستنتاج الرياضى. أ -فى حالة
-1عندما n = 0نضع q = r = 0فيتحقل المطةوب.
-2نصرض أن kعدد طبيعى و أنه يوجد r0 , q0 Z, :بحيث
k q0 m r0 , 0 r0 m
بحيث k 1 q m r 0 r سنحاول إثبات وجود m , q, r
k q0 m r0 ,إذن k 1 q0 m (r0 1), 1 r0 1 m 0 r0 m
n فنطبل عةى nما تم برهنته ب -عندما nعدد صحيح سالب ،نجد أن
ونحصل عةى عددين صحيحين q0و r0بحيث
n q0 m r0 , 0 r0 m
0فإن n q0 m r0 ,عدد سالب المطةوب االن ان يكون باقي القسمه موجب r0 أما اذا كانت m
13 2.5 3ولكن 13 2 5 3 ملال بسيى :باقي قسمة 13عةى 5هو 3حيث
هنا )( -3ليست باقي قسمة ألن من تعريف باقي القسمة ان يكون عدد موجب ,إذن سنحتاج أن نضرب 5
في عدد أقل من -2حتي يكون باقي القسمة موجب و ليكن 13 3 5 2ماذا فعةنا هنا ؟
13 2 5 (5 5) 3 (2 5 5) (5 3) 3 5 2
= .2 5 3واالن هذا ما سوف نصعةه عةى 5 أي أن باقي قسمة 13
n q0 m r0 q0m (m m) r0 (q0 1)m m r0
هل ) (m r0باقي قسمة؟
45
0 r0 m0 -r0 m
m m r0 0
مالحظات:
-1فى حالة 0 = rيقال أن nتقبل القسمة عةى mبدون باقى أو mتقسم ( nو يرمز لها" ) " m | n
][m | n q Z such that n qm وتكتب عةى الصورة األتية :
-2عندما يكون nعددا طبيعيا ،يكون خارج القسمة qهو اآلخر عددا طبيعيا.
n qm r , 0 rفنكتب أيضا n(m o d m)= r -3إذا كانت m
(مثال ,بما أن 15 2. 6+ 3إذن 15(m o d 6)= 3هل 15(m o d 2)=3؟ )
مثال :إثبت أن إذا كان a, b Zبحيث ) a(m o d m)= b(m o d mقإن )m/(a-b
أي إذا كان باقي قسمة العددين a, bعلى mمتساويين فإن mقاسم ل )(a-b
q1 ,q 2 Z, 0 rبحيث الحل :بما أن ) a(m o d m)=b(m o d mإذن يوجد m
a q1m r , b q2 m rإذن
45
تدريب :أوجد قيم mالتي تحقل )29(m o d m)= 41(m o d m
تذكرأن -1 :القاسم المشترك األعظم ) (greatest common divisorألى عددين صحيحين موجبين
هو أكبر عدد صحيح موجب يقبل كالهما القسمة عةيه بدون باق ,وسنرمز لةقاسم المشترك األعظم لةعددين
إذا كان و فقط إذا كان a, bبالرمز ) . gcd(a, bأى أن )d gcd(a, b
أd / a d / b -
ب(k Z )(k / a k / b k / d ) -
-2المضااعف المشاترك االرا ر ) (least common multipleألى عرددين صرحيحين مروجبين هرو أصرغر
عدد صحيح موجب يقسمه كل منهما(أي مضاعف لكل منهما) ,وسنرمز لةمضاعف المشترك لةعددين
بالرمز ), lcm(a, bأى أن ) c lcm(a, bإذا كان و فقط إذا كان a, b
أa / c b / c -
ب(k Z )(a / k b / k c / k ) -
بإستخدام نظرية القسمة ألي عددان مهما كانا كبيرين . التي يسهل تحليلها .سنتعلم االن ايجاد g.c.d.
( مما يؤهلنا فيما بعد لعمل برنامج لحساب .) g.c.d.
44
، 7076 = 51302 + 566أى أن باقى القسمة هو . 566
-3واآلن نقسم باقى القسمة الذى حصةنا عةيه فى الخطوة 1عةى باقى القسمة الذى حصةنا عةيه
فى الخطوة 2ونوجد باقى القسمة مرة أخرى نجد أن
، 1302 = 2566 + 170أى أن باقى القسمة هو . 170
-4واآلن نقسم باقى القسمة الذى حصةنا عةيه فى الخطوة 2عةى باقى القسمة الذى حصةنا عةيه
فى الخطوة 3ونوجد باقى القسمة مرة أخرى نجد أن
، 566 = 3170 + 56أى أن باقى القسمة هو . 56
-5واآلن نقسم باقى القسمة الذى حصةنا عةيه فى الخطوة 3عةى باقى القسمة الذى حصةنا عةيه فى الخطوة 4
ونوجد باقى القسمة مرة أخرى نجد أن
، 170 = 356 + 2أى أن باقى القسمة هو . 2
-6أخيرأ نقسم باقى القسمة الذى حصةنا عةيه فى الخطوة 3عةى باقى القسمة الذى حصةنا عةيه
فى الخطوة ،4فنجد أن 2(28) = 56أى أن باقى القسمة فى هذ الحالة هو صصر.
-7القاسم المشترك األعظم لةعددين 8378, 7076هو 2وهو آخر باقى قسمة حصةنا عةيه
قبل الصصر .
نظرية :8إذا كانت nو mو rأعدادا صحيحة موجبة ،وكان qعددا صحيحا،
بحيث n qm rفإن
-1أى قاسم مشترك لةعددين nو mيكون أيضا قاسما مشتركا لةعددين mو . r
-2وبالملل أى قاسم مشترك لةعددين mو rيكون أيضا قاسما مشتركا لةعددين nو . m
-3وعةى وجه الخصوص فإن ا ) . g.c.d .(n, m) g.c.d .(m, r
البرهان -1 :واضح أنه إذا كان kعدد صحيح موجب بحيث كل من nو mيقبل القسمة عةى k
بدون باقى ،فإن rيقبل القسمة عةى kبدون باقى ,ألن
44
k / m k / n s, l Z such that m=sk, n=lk
r n qm lk qsk (l qs )k
k/r
k/r k / m )( since k / m given
اي أن kقاسما مشتركا لةعددين mو . r
-2وبالملل
k / m k / r (k / qm) k / r
) k / ( qm r
k/ n
وبالتالى يكون kقاسما مشتركا لةعددين nو . m
-3ليكن g.c.d .(n, m) dإذن
d / m d / n d /r d / m since r = n-qm
) d/gcd.(m,r
إذن ليكن g.c.d .(m, r ) l
l / m l / r l /n l / m
l /gcd.(m,n)=d
l /d
مما سبل نستنج أن
) d / l l / d g.c.d .(n, m) g.c.d .(m, r
واآلن راجع مرة أخرى خطوات الملال السابل ,بتطبيل نظرية 8نجد أن:
-1القاسم المشترك األعظم لةعددين 8378و 7076يساوى القاسم المشترك األعظم لةعددين
7076و 1302
-2و القاسم المشترك األعظم لةعددين 7076و 1302يساوى القاسم المشترك األعظم لةعددين
1302و 566
- 3و القاسم المشترك األعظم لةعددين 1302و 566يساوى القاسم المشترك األعظم لةعددين
566و 170
-4و القاسم المشترك األعظم لةعددين 566و 170يساوى القاسم المشترك األعظم لةعددين
170و 56
44
-5و القاسم المشترك األعظم لةعددين 170و 56يساوى القاسم المشترك األعظم لةعددين
56و 2
-6و القاسم المشترك األعظم لةعددين 56و 2يساوى 2ألن 56تقبل القسمة عةى 2بدون باقى.
أي أن
)g.c.d.(8378,7076) g.c.d.(7076,1302
)=g.c.d.(1302,566
)=g.c.d.(566,170
)=g.c.d.(170,56
=g.c.d.(56,2) =2
مثال :3أوجد القاسم المشترك األعظم لةعددين 576, 222
44
مسائل
n
n 2 (n 1) 2
لكل عدد صحيح موجب .n = r3
r 1 4
-1برهن أن
n
1 n
لكل عدد صحيح موجب .n ) r (r 1
r 1
=
n 1
-2برهن أن
n
= 0لكل عدد صحيح موجب .n (1) C -7برهن أن
i n
i
i 0
](k Z )[m2 8k 1 أ- : -8إثبت أن :لكل عدد فردى m
ب(k Z )[m 4k 1 m 4k 3] -
-9إثبت أن:
(2n (n 2)!), أn N -
ج[ n / m n / z ] n / m z [ -
44