مسلمة بلاي فير

مسلمة بلاي فير  هي مسلمة هندسية، حلت محل مسلمة إقليدس الخامسة (مسلمة التوازي)، تقول مسلمة بلاي فير بأن:

تكافئ تلك المسلمة، مسلمة التوازي عند إقليدس، التي نشرها الرياضياتي الاسكتلندي جون بلاي فير في عام 1795، وحملت اسمه على الرغم من أنها لم تكن من أعماله، وعمل عليها آخرين وخاصة ويليام لودلام (1718-1788).J. Playfair and Euclid, Elements of geometry; containing the first six books of Euclid, with two books on the geometry of solids. To which are added, elements of plane and spherical trigonometry, J.B. Lippincott & Co, 1860, p. 291.  Available online from Google Books. See also Cajori's A History of Mathematics.  ولكنها تحتاج لإعادة صياغة عبارة «على الأكثر»، لأن بقية المسلمة تعني أن هناك مستقيم واحد فقط. كان من المفروض أن يكتبها قائلاً: «فإن هناك مستقيم واحد فقط يوازيه».

ومن المهم ملاحظة أنه في كتاب إقليدس، قال بإن الخطين المتوازيين لا يتقابلان أبدًا، دون أن يذكر ما إذا ظلت المسافة بينهما ثابتة أم لا.Euclid's elements, Book I, definition 23  ويذكر أنه عندما توصّل ديفيد هيلبرت إلى مسلماته اعتمد على مسلمة بلاي فير بدلاً من المسلمة الخامسة لإقليدس.Hilbert axioms system for plane geometry. An introduction 

 العلاقة مع مسلمة إقليدس الخامسة  

لا تكافئ مسلمة بلاي فير مسلمة إقليدس الخامسة بالضبطDavid Henderson, Experiencing Geometry, Prentice Hall, 2004)  لأنه في الهندسة الإهليليجية، مثلاً على سطح الكرة، مسلمة إقليدس في نسخته الأصلية تقول:

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

أسهل طريقة لإثبات ذلك، باستخدام نظرية إقليدس (التي تعتمد على مسلمته الخامسة) التي تقول بأن مجموع زوايا المثلث تعادل زاويتين قائمتين. إذا كان لدينا خط ونقطة، ورسمنا خط عمودي على هذا الخط يمر بتلك النقطة، ثم رسمنا عمودي على الخط العمودي، فإن هذا الخط الأخير موازي للأول، لأنه لا يمكن أن يشكلا مثلث. وبالتالي، يمكن أن نرى أنه لا وجود لأكثر من خط موازي واحد، لأن أي خط يشكل زاوية مع الخط الأول سيقطعه في نقطة ما.The Pythagorean Theorem is Equivalent to the Parallel Postulate. IX implies I section  

المراجع

تصنيف:بديهيات رياضية