‫الفصل األول ‪:‬‬

‫المسلمة الخامسة إلقليدس‬

‫يحدد إقليدس المستقيمين المتوازيين كمستقيمين موجودين في مستو واحد وإذا مد كال‬
‫منهما إلى ما ال نهاية في كال اإلتجاهين فإنهما ال يلتقيان أبدا‪.‬‬
‫إال أن هذه النظرية ارتكزت على المسلمة الخامسة إلقليدس والتي تنص على ‪":‬إذا وقع‬
‫خط مستقيم على خطين صانعا معهما زاويتين داخليتين من الجهة نفسها أصغر من زاويتين‬
‫قائمتين فإن الخطين إذا مدا ال نهائيا سيلتقيان في الجهة نفسها التي توجد فيها الزاويتان‬
‫األصغر من زاويتين قائمتين"‪.‬‬
‫هذه المسلمة التي يظهر نصها أقرب إلى قضية استفزت الكثير من الباحثين عبر‬
‫العصور لوضع براهين جادة إلثباتها قضية ال مسلمة لكنهم فشلوا فمنهم من وقع في أخطاء‬
‫منطقية أو برهنها استنادا إلى مسلمة مكافئة لها كما سنراه في بقية البحث ‪.‬‬
‫حدد بوزيدونيوس(القرن الثاني قبل الميالد) الخطوط المتوازية على أنها تلك التي ال‬
‫تتقارب وال تتباعد ولكنها تبقى على المسافة نفسها فهو حدد التوازي استنادا إلى تساوي‬
‫المسافات ‪.‬‬
‫أول رياضي عربي عرف اهتمامه بنظرية المتوازيات إلقليدس المستندة استنادا كليا‬
‫على المسلمة الخامسة هو الجوهري (القرن التاسع ميالدي) فقد برهن أن الخطوط‬
‫المستقيمة المتوازية تكون متساوية المسافة فيما بينها لكنه اعتمد في ذلك على "إدا قطع خط‬
‫خطين آخرين صانعا معهما زوايا متبادلة متساوية فإن أي خط آخر يقطع هذين الخطين‬
‫يصنع معهما أيضا زوايا متبادلة متساوية "‪.‬‬
‫ومن بعد الجوهري وصلت إلينا أعمال ثابت بن قرة(القرن التاسع ميالدي)الذي قام‬
‫بمحاولتين لبرهان المسلمة الخامسة إلقليدس ففي األولى انطلق من المبدأ الذي يقول "أي‬
‫خطين مقطوعين بخط آخر إذا تباعدا في إتجاه فإنهما يتقاربان في إتجاه آخر " وهذا ما‬
‫سمح له أن يبرهن أنه إذا كانت الزوايا الداخلية المتبادلة متساوية ‪،‬فإن الخطين يكونان‬
‫متساويي المسافة ومن ثم يبرهن المسلمة الخامسة إلقليدس مرتكزا على مسلمة أرخميدس‬
‫التي تنص "ليكن لدينا مقداران ما ‪،‬فيمكن عن طريق مضاعفة كال منهما أن نحصل على ما‬
‫يتجاوز اآلخر"‪.‬‬
 ‫أما في المحاولة الثانية أدخل مفهوم الحركة (ما يعرف حاليا بالتحويالت النقطية )‬
‫فيفترض بشكل خاص أن الجسم الذي يتحرك عبر حركة انسحابية منتظمة على طول خط‬
‫مستقيم ترسم كل نقطة من نقاطه خطا مستقيما وفي الحالة التي يكون فيها الجسم قطعة‬
‫مستقيمة عمودية على الخط فإننا نحصل على خطين متساويي المسافة‪.‬‬
‫ويحدد ابن الهيثم (القرن العاشر‪-‬الحادي عشر ميالدي) الخطوط المتوازية ارتكازا إلى‬
‫مفهوم تساوي المسافة ومن أجل ذلك حاول أن يبرهن أنه إذا تحركت قطعة مستقيمة‬
‫محدودة عموديا على خط مستقيم ثابت مع بقاء أحد طرفيها على هذا الخط فإن طرفها‬
‫اآلخر يرسم خطا مستقيما يكون موازيا للخط الثابت وبرهان هذا يؤدي مباشرة إلى برهان‬
‫المسلمة الخامسة إلقليدس ‪.‬‬
‫إن تلك المحاوالت من قبل الباحثين لم تكن سوى صيغ أخرى للمسلمة الخامسة‬
‫إلقليدس وسنعرض صيغتين(مسلمة باليفير‪،‬ومسلمة ساكيري) مهمتين للمسلمة الخامسة‬
‫إلقليدس ونبرهن على وجود تكافؤ بين كل صيغة و المسلمة‪.‬‬
‫التكافؤ بين مسلمة إقليدس و مسلمة باليفير‬
‫● أوال‪ :‬لدينا مسلمة إقليدس "إن قطع مستقيم مستقيمان متوازيان كانت الزاويتان‬
‫الداخليتان متكاملتين" و المطلوب مسلمة باليفير "من نقطة خارج مستقيم يمكن إنشاء مواز‬
‫واحد لهذا المستقيم"‪.‬‬
‫ليكن المستقيم (‪ )Δ‬و النقطة الخارجية عنه‪ B‬نرسم من‪ B‬المستقيم (‪ )Δ‬الذي يقطع(‪)Δ‬‬
‫في النقطة‪ C‬ثم ننشئ من ‪ B‬المستقيم(‪ )Δ‬الموازي للمستقيم(‪ ،)Δ‬نعلم من اإلنشاء أن‬
‫‪ B‬المرسومتين باألحمر متكاملتين ‪.‬‬ ‫الزاويتين ‪C‬و‬
‫نفرض اآلن وجود مواز آخر يمر من ‪ B‬و هو المستقيم(‪ )Δ‬و زاويته مع القاطع(‪)Δ‬‬
‫مرسومة باألزرق‪ ،‬من مسلمة اقليدس نعلم أن الزاوية المرسومة باألحمر مكاملة للزاوية ‪C‬‬
‫فهي إذن مساوية للزاوية ‪ B‬فينطبق المستقيمان (‪)Δ‬و(‪ ،)Δ‬فنحصل على المطلوب‪.‬‬
‫● ثانيا‪ :‬مسلمة باليفير "من نقطة خارج مستقيم يمكن إنشاء مواز واحد لهذا المستقيم"‬
‫و المطلوب مسلمة إقليدس "إن قطع مستقيم مستقيمان متوازيان كانت الزاويتان‬
‫الداخليتان متكاملتين"‪.‬‬
‫ليكن لدينا المستقيمان المتوازيان (‪)Δ‬و(‪ )Δ‬و ليكن(‪ )Δ‬قاطعا لهما في النقطتين ‪C‬و‪B‬‬
‫على الترتيب‪ ،‬ولنبرهن أن مجموع الزاويتين المرسومتين باألحمر هو ‪.180°‬‬
 ‫لننشئ من النقطة ‪ B‬الموازي(‪ )Δ‬فنحصل على الزاوية المرسومة باألزرق‪.‬‬
‫باإلنشاء نعلم أن ‪ ،C+B =180°‬و من مسلمة باليفير نستنتج أن(‪)Δ‬هو نفسه(‪ )Δ‬ومنه‬
‫فالزاوية ‪D‬مطابقة للزاوية ‪C‬و من مجموع ‪ B‬و ‪ C‬يساوي قائمتين‪ ،‬و هو المطلوب‪.‬‬

‫التكافؤ بين مسلمة اقليدس و مسلمة ساكيري‬

‫● أوال‪ :‬مسلمة اقليدس "الزاويتان الداخليتان متكاملتان" و المطلوب مسلمة ساكيري‬
‫"مجموع زوايا المثلث يساوي قائمتين"‪.‬‬
‫ليكن المثلث ‪ ABC‬كما في الشكل‪ ،‬نمدد الضلع[‪ ]AC‬حتى النقطة ‪ M‬و ننشئ المستقيم(‬
‫‪ )AN‬موازيا للضلع[‪ ]BC‬فنستنتج اعتمادا على مسلمة اقليدس تساوي الزاويتين‬
‫المرسومتين باألحمر و نستنتج أيضا تساوي الزاويتين المرسومتين باألزرق و من ثم‬
‫نستنتج أن مجموع زوايا المثلث يساوي زاوية مستقيمة أي قائمتين‪.‬‬
‫● ثانيا‪ :‬مسلمة ساكيري"مجموع زوايا المثلث يساوي قائمتين" و المطلوب مسلمة اقليدس‬
‫"ان قطع مستقيم مستقيمان متوازيان كانت الزاويتان الداخليتان متكاملتين"‪.‬‬
‫للبرهان على هذا نشير إلى تسعة توطئات برهان كل واحدة منها يعتمد على سابقتها و‬
‫برهان األولى يعتمد على النظرية ‪ 27‬إلقليدس التي نصها ‪:‬‬
‫"زاويتان داخليتان متكاملتان ═›مستقيمين متوازيين"‬
‫لكننا سنستعين بالتوطئة التاسعة للوصول إلى غايتنا‪.‬‬ ‫ل‬
 ‫▪ توطئة ‪ .1‬مجموع أي زاويتين في مثلث أقل من قائمتين‪.‬‬
‫▪ توطئة ‪ .2‬إنشاء هندسي‪.‬‬
‫لتكن النقطة ‪ M‬منتصف ‪ .CD‬نمدد [‪ ]MB‬حتى تصل للنقطة‪ N‬بحيث‪.BM = MN :‬‬
‫إن كان ‪ BD‬أطول من ‪ BC‬نصل ‪ N‬للنقطة‪ ،D‬كما في الشكل‪ ،‬وإال فنصلها للنقطة ‪.C‬‬
‫نستنتج تساوي المثلثين ‪.BMC ، MND‬‬
‫نستنتج أن مجموع زوايا المثلث ‪ BND‬يساوي مجموع زوايا المثلث ‪.BCD‬‬
‫نستنتج أن الزاوية ‪ B‬في المثلث القديم تساوي مجموع الزاويتين ‪ B‬و ‪ N‬في المثلث الجديد‪.‬‬
‫نستنتج أيضا أن الزاوية ‪ N‬في المثلث الجديد أكبر من الزاوية ‪ B‬فيه (ألنها تقابل أطول‬
‫األضالع ‪.)BD‬‬
‫نستنتج أخيرا أن الزاوية ‪ B‬في المثلث القديم أكبر من ضعف الزاوية ‪ B‬في المثلث الجديد‪،‬‬
‫و هو المطلوب‪.‬‬
‫▪ توطئة ‪ :3‬مجموع زوايا أي مثلث هو حتما أصغر أو يساوي قائمتين‪.‬‬
‫▪ توطئة ‪ :4‬إن كان مجموع زوايا مثلث ما قائمتين‪ ،‬ثم أنزلنا خطا من أحد رؤوسه على‬
‫الضلع المقابل‪ ،‬لحصلنا على مثلثين مجموع زوايا كل منهما قائمتين بالضبط‬
‫▪ توطئة ‪:5‬‬
‫لئن وجد مثلث ‪ BCD‬مجموع زواياه يساوي قائمتين‪ ،‬لوجد مثلث قائم متساوي الساقين‬
‫مجموع زواياه يساوي قائمتين‪.‬‬
‫▪ توطئة ‪:6‬‬
‫إن وجد مثلث قائم متساوي الساقين و مجموع زواياه يساوي قائمتين‪ ،‬فيمكننا انطالقا منه‬
‫إنشاء مثلث أكبر منه بالقدر الذي نرغب به بحيث يكون المثلث الجديد قائما متساوي‬
‫الساقين و يكون مجموع زواياه قائمتين‬
‫▪ توطئة ‪:7‬‬
‫إن وجد مثلث قائم متساوي الساقين و مجموع زواياه قائمتين‪ ،‬فمجموع زوايا اي مثلث قائم‬
‫أصغر منه هو قائمتين‬
‫▪ توطئة ‪:8‬‬
‫إن وجد مثلث مجموع زواياه يساوي قائمتين‪ ،‬كان مجموع زوايا أي مثلث آخر يساوي‬
‫قائمتين‬
 ‫هذه التوطئة تسمح لنا أن نكتب‪:‬‬
‫كافة المثلثات تتصف بما يلي‪:‬‬
‫‪ -‬فإما أن مجموع زوايا كل منها يساوي قائمتين بالضبط‪،‬‬
‫‪ -‬أو أن مجموع زوايا كل منها أصغر تماما من قائمتين‪.‬‬
‫▪ توطئة ‪:9‬‬
‫من نقطة ‪ B‬خارج مستقيم(‪ ،)Δ‬يمكن لنا أن ننشئ مثلثا ‪ BCD‬بحيث تقع[‪ ]CD‬على (‪)Δ‬‬
‫و تكون الزاوية ‪ C‬أصغر من أي قيمة معطاة سلفا‪.‬‬
‫○ نظرية‪:‬‬
‫إذا كان مجموع زوايا المثلث يساوي قائمتين‪ ،‬فمن نقطة خارج مستقيم يمكن إنشاء مواز‬
‫واحد لهذا المستقيم‪.‬‬
‫▫ برهان‪:‬‬
‫لتكن النقطة ‪ B‬خارج المستقيم(‪ .)Δ‬نرسم العمود [‪ ]BC‬ثم نرسم(‪ )Δ‬عموديا عليه‪ .‬اعتمادا‬
‫على النظرية ‪ 27‬إلقليدس‪ ،‬فهو مواز للمستقيم(‪.)Δ‬‬
‫لنفترض جدال وجود(‪ )Δ‬مواز آخر للمستقيم (‪ .)Δ‬فهو مختلف عن (‪ ، )Δ‬فيصنع معه‬
‫زاوية ما‪ ،‬نسميها ‪( θ‬مرسومة باألحمر)‪.‬‬
‫من التوطئة ‪ 9‬نرسم المائل (‪ )BD‬بحيث تكون ‪ BDC‬أصغر من ‪ .θ‬بما أن مجموع زوايا‬
‫‪ BDC‬هو قائمتين‪ ،‬نستنتج تساوي الزوايا المرسومة باألخضر‪ .‬نستنتج أيضا أن ‪ θ‬أكبر‬
‫من الزاوية بين(‪ )Δ‬و(‪ ،)Δ‬فنستنتج أن(‪ )Δ‬يقع ضمن المثلث ‪ ،BDC‬فهو إذن سيقطع‬
‫المستقيم(‪ )Δ‬في نقطة أقرب من ‪.D‬‬
‫و هذا مناقض للفرض‪ ،‬فنستنتج استحالة وجود(‪ ،)Δ‬و هو المطلوب‪.‬‬
‫إذن‪ :‬مسلمة ساكيري تعطي مسلمة باليفير‪ ...‬و نحن نعلم أن هذه تعطي مسلمة إقليدس‪،‬‬
‫فنستنتج أن مسلمة ساكيري تعطي مسلمة إقليدس‪...‬‬