مبرهنة باسكال
في الهندسةِ الإسقاطية، تنصُّ مُبرهنةُ باسكال (بالإنجليزية: Pascal's theorem) على أنَّ لأيّ ستِّ نقاطٍ على قطعٍ مخروطيٍّ (أي: قطع ناقص، مكافئ أو زائد) وُصِلَت بينَهم قطعٌ مستقيمةٌ بأيّ ترتيبٍ بحيث تُشكّل سداسياً، فإنَّ أزواجَ الأضلاع المتقابلة من السداسي (أو امتداداتها) تتتلاقى في نقاطٍ تتسامتُ على خطّ يُسمّى خطَّ باسكال للسداسي. أسميت المبرهنة نسبةً إلى بليز باسكال، وتصحُّ أيضاً في الهندسةِ الإقليدية إلا أن هناك حالة خاصة من أن تتوازى المستقيمات ينبغي أن تؤخذ بعينِ الاعتبار.[1]
الاختلافات في الهندسة الإقليدية
إنَّ الاعتبار المُباشرَ بالنسبة لمبرهنة باسكال هي أن تُعدَّ في المستوى الإسقاطي، حيث أن أي زوجٍ من المستقيمات مُتلاقٍ دون أن تُؤخذَ الحالةُ الخاصة من كونها متوازية. ومع ذلك فإنّ المبرهنة تبقى صحيحةً في المستوى الإقليدي، مع مراعاة ذكر حالة توازي أضلاع السداسي.[1]
البرهان
لم يذكر باسكال في كتابه أيّ برهانٍ، لكن هناك عدة براهين مختلفة وُجدت بعده. يكفي إيجاد حل المسألة في حالة الدائرة، حيث أنَّ أي قطع مخروطي غير منعدم بالإمكان إحالته إلى الدائرة عبر تحويلٍ إسقاطيٍ. وقد ذكر باسكال هذا، حيث وضع تمهيديةً تنص ذلك. بالإمكان إثبات مبرهنة باسكال بتطبيقِ مبرهنة مينيلاوس عدّة مرات. وهناك حلول أخرى اعتمدت على ثباتية النسب التبادلية داخل السداسي.[2]
حالات منعدمة
هناك حالات وجود 5، 4 أو 3 نقاط بوصفها حالاتٍ منعدمة لمبرهنة باسكال. في الحالة المنعدمة، تندمج نقطتين من المبرهنة الاعتيادية ويتحول الضلع الواصل بينهم إلى مماسٍّ للدائرة.
انظر أيضاً
مراجع
- Biggs, N. L. (1981), "T. P. Kirkman, mathematician", جمعية الرياضيات في لندن, 13 (2): 97–120, doi:10.1112/blms/13.2.97, MR = 0608093 0608093 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Pascal 1640, translation Smith 1959، صفحة 326