مسلمة التوازي.

مسلمة التوازي لعالم الرياضيات اقليدس

بنى عالم الرياضيات اقليدس هندسته على مسلمات بديهية ذكرها في كتابه العناصر و لا يمكن لأي انسان ان يشكك في صحتها. ولكن مع ذلك فان المسلمة الخامسة من مسلمات اقليدس كانت محل جدل بالنسبة للكثير من علماء الرياضيات. وقد اعتبرها الاقدمون انها الشئ الوحيد في هندسة اقليدس الذي يشين هذه الهندسة و يقلل الى حد ما من بهائها وروعتها.

و تذهب الصيغة المعدلة للمسلمة الخامسة إلى أنه من نقطة خارجة عن مستقيم لا يمكن إنشاء أكثر من مستقيم واحد يوازي المستقيم الأول

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

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

وحاول العديد من علماء الرياضيات كارشميدس و بطليموس و من بعدهم ثابت بن قرة و الطوسي و الكثيرون من غيرهم برهان المسلمة الخامسة بدلالة المسلمات الاخرى . ولكن كل محاولات هؤلاء قد باءت بالفشل وكان عالم الرياضيات الالمانى جاوس هو اول من ادرك ان هذه الفرضية لا يمكن اثباتها بدلالة المسلمات الاخرى بل ينبغى فرضها فرضا. ومن الممكن فرض فرضيات مخالفة للمسلمة الخامسة لنحصل في كل مرة على هندسة جديدة تتناسب مع المسلمة اللتي تم فرضها.

و قد توصل كل من علماء الرياضيات الروسي لوباتشيفسكي و المجري بولياي لهندسات جديدة بخلاف هندسة اقليدس. وتوصل كل منهما لنفس الهندسة بصورة مستقلة وبمعزل عن الاخر. وقد فرض كل منهما اننا يمكننا رسم اكثر من موازي واحد لمستقيم من خلال نقطة تقع خارج هذا المستقيم.

ثم قام عالم الرياضيات الالماني ريمان بفرض افتراض اخر مفاده اننا لا يمكننا ان نرسم اي موازي لأي مستقيم من نقطة تقع خارجه. ويمكننا تخيل هذه الفرضية بسطح الكرة الارضية. فخطوط الطول الموجودة فوق سطح هذه الكرة تمثل الخطوط المستقيمة لأننا لا يمكننا ان نجد خطوط اكثر استقامة من خطوط الطول الموجودة على سطح الكرة المقعر. كما اننا لا نستطيع من اى نقطة رسم خط طول يوازي خط طول اخر. لان خطوط الطول على سطح الكرة الارضية تتقاطع كلها عند القطبين. اى ان خطوط الطول كلها ليست متوازية.

و قد نشأ جدل تاريخي استغرق قروناً طويلة حول استقلالية مسلمة التوازي عن المسلمات الأخرى.و كان التساؤل المطروح يتعلق بإمكانية استنتاج مسلمة التوازي من المسلمات الأخرى باعتبار مسلمة التوازي بمثابة نظرية.