الأعداد والحساب (تابع) › مبرهنة بيزو - مبرهنة غوص
حل مسائل في الحساب: المعادلة ax + by = c
الجواب كلّه في القاسم المشترك الأكبر للمعاملين. في المعادلة الأولى المعاملان 6 و 8، و قاسمهما المشترك الأكبر 2، و العدد 2 لا يقسم الطرف الثاني 9: فالطرف الأيسر زوجيّ دائما و الطرف الأيمن فرديّ، و لا لقاء بينهما. و في المعادلة الثانية المعاملان 5 و 8 أوّليان فيما بينهما، فقاسمهما المشترك الأكبر 1، و 1 يقسم كلّ شيء. هذا الشرط الوحيد هو أوّل ما سنبرهن عليه، ثمّ سنتعلّم أن نحلّ فعليّا، بطريقتين.
- معرفة الشرط الذي يجعل المعادلة ax + by = c تقبل حلولا في ℤ²، و البرهان عليه
- حلّ المعادلة بطريقة الموافقات: تحويلها إلى ترديدة ذات مجهول واحد
- إيجاد حلّ خاصّ بخوارزمية إقليدس صعودا، أي بتعيين معاملي بيزو
- استنتاج مجموعة الحلول كاملة انطلاقا من حلّ خاصّ واحد بمبرهنة غوص
- تحرير الحلّ كاملا: الاتّجاه المباشر ثمّ التحقّق العكسي، كما يُطلب في البكالوريا
- معالجة تمرين بكالوريا محلول مبنيّ على المعادلة 109x − 226y = 1
- الموافقات في ℤ و خواصّها الثماني
- خوارزمية إقليدس لحساب القاسم المشترك الأكبر لعددين
- مبرهنة بيزو: وجود معاملين صحيحين u و v حيث au + bv يساوي القاسم المشترك الأكبر
- مبرهنة غوص و نتائجها
1. متى تقبل المعادلة حلولا؟
نعمل في المجموعة ℤ²: المجهول ثنائية (x;y) من الأعداد الصحيحة، لا من الأعداد الحقيقية. و هذا ما يغيّر كلّ شيء: في ℝ² لهذه المعادلة دائما ما لا نهاية من الحلول، لأنّها معادلة مستقيم؛ أمّا في ℤ² فالسؤال هو: هل يمرّ هذا المستقيم بنقطة إحداثياها عددان صحيحان؟
⭐ احفظ هذا السطر: هو أوّل ما تكتبه أمام أيّ معادلة من هذا النوع، و هو الذي يقرّر إن كان هناك ما يُحلّ أصلا.
البرهان، الاتّجاه المباشر. نفرض أنّ للمعادلة حلّا، و نبرهن أنّ القاسم المشترك الأكبر يقسم الطرف الثاني.
إن قسم d العدد a قسم كذلك ax مهما كان x صحيحا، و كذلك في الطرف الثاني.
المجموع ax + by هو c بحكم المعادلة، إذن d يقسم c. و هذا يكفي لردّ أيّ معادلة لا تحقّق الشرط، دون أيّ حساب آخر.
البرهان، الاتّجاه العكسي. نفرض الآن أنّ القاسم المشترك الأكبر يقسم الطرف الثاني، و نبني حلّا صراحة. هذه الجهة هي التي ينساها التلاميذ، و هي التي تعطي الطريقة.
هذه هي الخاصية 1 من درس مبرهنة بيزو: القاسم المشترك الأكبر لعددين يكتب دائما تركيبا خطّيّا لهما.
الطرف الأيمن هو c بحكم الخطوة 1، إذن الثنائية (uc' ; vc') حلّ للمعادلة، و هي ثنائية من أعداد صحيحة. البرهان لا يكتفي بالوجود: هو يعطي الحلّ.
و من المعادلة نفسها تخرج قراءتان بالموافقات، و هما مفتاح الطريقة الأولى للحلّ.
ننقل by إلى الطرف الآخر: ax − c = −by، فالفرق ax − c مضاعف للعدد b، و هذا هو معنى الترديدة بالضبط.
بنفس الحركة، و لكن بنقل ax: الفرق by − c مضاعف للعدد a.
2. الطريقة الأولى: الحلّ بالموافقات
الفكرة: المعادلة فيها مجهولان، و الترديدة فيها مجهول واحد. فنحوّل المعادلة إلى ترديدة، نحلّها بفحص كلّ البواقي الممكنة — و هي قليلة جدّا — ثمّ نعود إلى المجهول الثاني بالتعويض.
نعتبر في المجموعة ℤ² المعادلة ذات المجهول الثنائي المكتوبة أعلاه.
🎯المطلوب: أثبت أنّ كلّ حلول المعادلة من الشكل (8k + 7 ; 5k + 4) حيث k عدد صحيح.
نتحقّق أوّلا من الشرط: المعاملان 5 و 8 أوّليان فيما بينهما.
القاسم المشترك الأكبر يساوي 1، و 1 يقسم 3، فالمعادلة تقبل حلولا.
نتحقّق من الثنائية المقترحة في نصّ التمرين، بالحساب المباشر.
⭐ انتبه إلى الترتيب: الفاصلة 7 و الترتيبة 4. لو قلبتهما لوجدت 20 − 56 = −36.
ننقل الحدّ الذي فيه y إلى الطرف الآخر.
الفرق 5x − 3 مضاعف للعدد 8، و هذا هو تعريف الترديدة.
نفحص البواقي الثمانية الممكنة للفاصلة، و لا شيء غيرها.
نترجم الترديدة إلى كتابة صريحة، و k يمسح كلّ الأعداد الصحيحة.
نعوّض في المعادلة الأصلية لنستخرج الترتيبة.
ننشر الطرف الأيسر.
نعزل الحدّ الذي فيه y.
نقسم الطرفين على 8، و العددان 40 و 32 مضاعفان له.
و عكسيّا: نعوّض الثنائية المحصّلة في المعادلة و ننشر.
الحدّان اللذان فيهما k يتلاشيان، و يبقى الطرف الثاني مهما كان k.
الخطوة السادسة أعلاه تُنجز بجدول: نضرب في 5 كلّ باقٍ ممكن، و نقرأ أين يظهر الباقي 3.
| باقي الفاصلة | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
|---|---|---|---|---|---|---|---|---|
| باقي جدائها في 5 بترديد 8 | 0 | 5 | 2 | 7 | 4 | 1 | 6 | 3 |
3. ثلاث معادلات، و ثلاثة مصائر مختلفة
الكتاب يقترح ثلاث معادلات للتطبيق. لا تتشابه إلّا في الشكل: الأولى معاملاها أوّليان فيما بينهما، و الثانية لهما قاسم مشترك يقسم الطرف الثاني، و الثالثة لهما قاسم مشترك لا يقسمه.
نعمل دائما في ℤ²، و المعادلة هذه المرّة مجموع لا فرق.
🎯المطلوب: حلّ في المجموعة ℤ² المعادلة ذات المجهول الثنائي المكتوبة أعلاه.
نفحص الشرط قبل كلّ شيء.
القاسم المشترك الأكبر يساوي 1، و هو يقسم كلّ عدد، فالمعادلة تقبل حلولا.
نعزل الحدّ الذي فيه x و ننتقل إلى ترديدة بترديد المعامل الآخر.
نفحص البواقي الاثني عشر الممكنة، فنجد باقيا واحدا يعطي 5.
نترجم إلى كتابة صريحة.
نعوّض في المعادلة.
ننشر.
نعزل الحدّ الذي فيه y.
نقسم على 12.
نتحقّق عكسيّا بالنشر.
مجموعة الحلول تامّة.
نعمل في ℤ²، و المعاملان هذه المرّة ليسا أوّليين فيما بينهما.
🎯المطلوب: حلّ في المجموعة ℤ² المعادلة ذات المجهول الثنائي المكتوبة أعلاه.
نفحص الشرط: القاسم المشترك الأكبر ليس 1 هذه المرّة.
العدد 5 يقسم الطرف الثاني الذي هو 5 نفسه، فالمعادلة تقبل حلولا.
⭐ الحركة الأولى: نقسم المعادلة كلّها على القاسم المشترك الأكبر.
المعادلة المختزلة معاملاها أوّليان فيما بينهما، و هي تكافئ الأولى تماما.
ننتقل إلى ترديدة بترديد 9.
نفحص البواقي التسعة الممكنة.
نترجم إلى كتابة صريحة.
نعوّض في المعادلة المختزلة، لا في الأصلية: الحساب أخفّ و النتيجة واحدة.
ننشر.
نعزل ثمّ نقسم على 9.
نتحقّق عكسيّا في المعادلة الأصلية، لا في المختزلة.
مجموعة الحلول تامّة.
نعمل في ℤ²، و ليس المطلوب هذه المرّة إيجاد الحلول بل الحكم على وجودها.
🎯المطلوب: بيّن أنّ المعادلة المكتوبة أعلاه لا تقبل أيّ حلّ في المجموعة ℤ².
نفحص الشرط، و هو هنا كلّ ما يلزم.
القاسم المشترك الأكبر للمعاملين يساوي 2.
نقسم 9 على 2: الباقي ليس معدوما، فالشرط ساقط.
⭐ و القراءة الملموسة لنفس الشيء: الطرف الأيسر يكتب دائما جداءً فيه العامل 2.
فمهما كانت x و y صحيحتين، الطرف الأيسر زوجيّ و الطرف الأيمن فرديّ.
| المعادلة | القاسم المشترك الأكبر للمعاملين | هل يقسم الطرف الثاني؟ | الحلول |
|---|---|---|---|
| 5x − 8y = 3 | 1 | نعم | ما لا نهاية |
| 7x + 12y = 5 | 1 | نعم | ما لا نهاية |
| 20x − 45y = 5 | 5 | نعم | ما لا نهاية |
| 6x − 8y = 9 | 2 | لا | لا يوجد أيّ حلّ |
4. من أين يأتي الحلّ الخاصّ؟ معاملا بيزو
في كلّ ما سبق كان الحلّ الخاصّ يُعطى أو يُقرأ بالبواقي. لكن أمام معاملين كبيرين، فحص البواقي يصير طويلا: ترديد من رتبة المئتين يعني مئتي حالة. الطريقة الثانية تعطي حلّا خاصّا بحساب مباشر، و أداتها خوارزمية إقليدس مقروءة صعودا.
نعتبر عددين طبيعيّين a و b حيث a أكبر تماما من b و b غير معدوم، و نكتب سلسلة القسمات الإقليدية المتتابعة: نقسم a على b، ثمّ b على الباقي، ثمّ كلّ باقٍ على الذي يليه.
⚠️ دليل الحاصل يتحرّك مع رتبة القسمة: لكلّ قسمة حاصلها الخاصّ بها. لو كان الحاصل واحدا في كلّ السطور لتساوت كلّ الحواصل، و هو ما لا يقع: في المثال العددي الموالي تجدها 1 ثمّ 1 ثمّ 14 ثمّ 2 ثمّ 2، و هي ليست كلّها متساوية.
الفكرة الآن: نكتب كلّ باقٍ تركيبا خطّيّا للعددين a و b، و نتتبّع المعاملين خطوة خطوة. نسمّيهما uₙ و vₙ. و البداية بديهية.
نقرأ القسمة الأولى بالعكس: الباقي هو المقسوم ناقص الحاصل في القاسم.
نعوّض r₁ بعبارته: b − q₂(a − q₁b) = − q₂ a + (1 + q₁q₂) b.
نلاحظ في الثنائيات الأربع قانونا واحدا يتكرّر، و هو الذي يُطلب تخمينه ثمّ البرهان عليه.
⭐ نفس القانون بالضبط للمعاملين: هو ينسخ حرفيّا العلاقة بين البواقي، التي كتبناها في القسمة العامّة أعلاه. كلّ باقٍ يُكتب تركيبا خطّيّا للعددين، فتنتقل العلاقة من البواقي إلى المعاملات بالتطابق.
ليكن العددان 745 و 385. نريد كتابة قاسمهما المشترك الأكبر تركيبا خطّيّا لهما.
🎯المطلوب: عيّن عددين صحيحين u و v حيث يكون المجموع 745u + 385v مساويا للقاسم المشترك الأكبر.
نبدأ بخوارزمية إقليدس: نقسم الأكبر على الأصغر.
القسمة الأولى: الحاصل 1 و الباقي 360.
نقسم القاسم على الباقي.
و هكذا، كلّ مرّة نقسم الباقي السابق على الباقي الجديد.
القسمة الرابعة.
القسمة الخامسة: الباقي ينعدم، فنتوقّف.
آخر باقٍ غير معدوم هو القاسم المشترك الأكبر — و هذه هي خوارزمية إقليدس.
الحواصل الخمسة، بالترتيب، هي ما سيغذّي قانون التراجع.
نطبّق القانون على المعامل الأوّل، رتبة بعد رتبة، انطلاقا من 1 و 0.
الرتبة الموالية.
الرتبة الموالية، و هنا يدخل الحاصل الكبير 14.
الرتبة التي تحمل القاسم المشترك الأكبر.
نفعل الشيء نفسه على المعامل الثاني، انطلاقا من 0 و 1.
نتحقّق: الجداءان متقاربان جدّا و فرقهما هو القاسم المشترك الأكبر.
و هذه هي مساواة بيزو للعددين 745 و 385.
| الرتبة | 0 | 1 | 2 | 3 | 4 | 5 | 6 |
|---|---|---|---|---|---|---|---|
| الباقي | 745 | 385 | 360 | 25 | 10 | 5 | 0 |
| الحاصل | — | 1 | 1 | 14 | 2 | 2 | — |
| المعامل الأوّل | 1 | 0 | 1 | −1 | 15 | −31 | 77 |
| المعامل الثاني | 0 | 1 | −1 | 2 | −29 | 60 | −149 |
| التركيب الخطّي | 745 | 385 | 360 | 25 | 10 | 5 | 0 |
5. تمرين بكالوريا: المعادلة 109x − 226y = 1
ننهي الدرس بتمرين من البكالوريا، و هو النموذج الكامل: شرط الوجود، حلّ خاصّ، مجموعة الحلول بمبرهنة غوص، ثمّ استعمال هذه المجموعة في سؤال آخر تماما. و هو يجمع كلّ ما في هذا المحور.
نعتبر في ℤ² المعادلة (E) المكتوبة أعلاه، و هي معادلة تمرين بكالوريا.
🎯المطلوب: عيّن القاسم المشترك الأكبر للعددين 109 و 226، ثمّ برهن أنّ مجموعة حلول المعادلة هي مجموعة الثنائيات من الشكل (226k + 141 ; 109k + 68).
نبدأ بخوارزمية إقليدس على المعاملين.
القسمة الأولى.
القسمة الثانية.
القسمة الثالثة.
القسمة الرابعة.
القسمة الخامسة.
القسمة السادسة: الباقي ينعدم، و آخر باقٍ غير معدوم هو 1.
الشرط محقّق: 1 يقسم الطرف الثاني، فللمعادلة حلول — و هذه هي مبرهنة بيزو.
⭐ نصعد الآن في السلسلة: نبدأ من القسمة الخامسة و نعوّض كلّ باقٍ بعبارته.
نعوّض 2 بعبارته المستخرجة من القسمة الرابعة.
نعوّض 3 بعبارته المستخرجة من القسمة الثالثة.
نعوّض 5 بعبارته المستخرجة من القسمة الثانية.
نعوّض 8 بعبارته المستخرجة من القسمة الأولى: انتهى الصعود.
نرتّب المساواة على شكل المعادلة المطروحة.
⚖️ الكتاب يقترح حلّا خاصّا آخر، أبسط في الكتابة، و نتحقّق منه.
الفرق بين الجداءين يساوي 1 بالضبط.
نطرح المساواتين طرفا بطرف، فيختفي الطرف الثاني.
العدد 226 يقسم الطرف الأيمن، إذن يقسم الطرف الأيسر.
⭐ الشرط محقّق، فمبرهنة غوص تمرّ القسمة إلى العامل الآخر.
نترجم القسمة إلى كتابة.
نعوّض في مساواة الخطوة 16 ثمّ نقسم على 226.
التحقّق العكسي بالنشر: الحدّان اللذان فيهما k يتلاشيان.
مجموعة الحلول تامّة.
و ماذا نفعل بهذه المجموعة؟
سؤال التمرين الموالي يبيّن لماذا تُطلب المجموعة كاملة: يُبحث فيها عن حلّ يحقّق شرطا إضافيّا، و الشرط يعيّن قيمة واحدة للعدد k.
ننقل الحدّ 226e إلى الطرف الآخر: صار الشرط هو المعادلة نفسها، بمجهولين سمّيناهما هذه المرّة d و e.
القيمة k = 0 هي الوحيدة التي تحقّق الحصر بين الأعداد الصحيحة، لأنّ 226 أكبر من 85 و أكبر من 141. ⟹ الثنائية (d ; e) وحيدة، و هو ما كان مطلوبا.
و بقيّة التمرين تستعمل هذين العددين في بناء يشبه أنظمة التشفير الحديثة. نحتاج فيه إلى أنّ العدد 227 أوّلي، فنبرهن على ذلك أوّلا بالطريقة التي تعرفها.
نحصر العدد بين مربّعين تامّين متتاليين، فنعرف الأعداد الأولية التي يجب فحصها: هي الأصغر من 16.
| القاسم الأوّلي المفحوص | 2 | 3 | 5 | 7 | 11 | 13 |
|---|---|---|---|---|---|---|
| باقي قسمة 227 عليه | 1 | 2 | 2 | 3 | 7 | 6 |
الأداة الأخيرة هي المبرهنة الصغيرة لفيرما، و هي موضوع صفحة الأعمال الموجهة التي تسبق هذا التمرين. نكتفي هنا بنصّها، لأنّ حلّ التمرين يستدعيها صراحة.
بعبارة الموافقات: إن كان p أوّليّا و لم يقسم a، فإنّ a مرفوعا إلى الأسّ p − 1 يوافق 1 بترديد p.
العدد 227 أوّلي، فهو أوّلي مع كلّ عدد أصغر منه تماما و غير معدوم، أي لا يقسمه. و 227 − 1 = 226، و هو الأسّ الذي ظهر في المعادلة منذ البداية — و ليست هذه مصادفة.
⭐ نعوّض الأسّ بكتابته: a مرفوعا إلى 1 + 226 × 68 هو a في (a مرفوعا إلى 226) مرفوعا إلى 68. و القوس الداخلي يوافق 1، فيبقى a. العددان 109 و 141 يعكس أحدهما مفعول الآخر، و هذا هو مبدأ التشفير بمفتاحين.
خذ العدد 2. باقي قسمة 2 مرفوعا إلى الأسّ 109 على 227 يساوي 156. ثمّ خذ 156 و ارفعه إلى الأسّ 141: باقي قسمته على 227 يعود إلى 2 بالضبط. الرقم شُفّر ثمّ فُكّ تشفيره.
الصفحة 1/10
© مدرستي — هذا الدرس من تأليف مدرستي · madrassati.net