رباعي أضلاع مماسي خارجي - ويكيبيديا
هذه مقالة غير مراجعة.(ديسمبر 2021) |
في الهندسة الإقليدية، الرباعي المماسي السابق هو :رباعي محدب حيث تكون امتدادات الأضلاع الأربعة مماسة لدائرة خارج الرباعي.[1] وقد أطلق عليه أيضًا شكل رباعي قابل للتفسير .[2] تسمى الدائرة بالحافة ، نصف قطرها هو الخارج ومركزها المثير ( E في الشكل). يقع المثير عند تقاطع ستة مناصرات الزاوية. هذه هي منصفات الزاوية الداخلية عند زاويتين متقابلتين للرأس ، ومنصف الزوايا الخارجية (منصفات الزوايا التكميلية ) عند زاويتين أخريين للرأس ، ومنصف الزوايا الخارجية عند الزوايا المتكونة عند تقاطع امتدادات الأضلاع المتقابلة (انظر الشكل إلى يمينًا ، حيث أربعة من هذه الأجزاء الستة عبارة عن مقاطع خطية منقطة). يرتبط الرباعي المماسي ارتباطًا وثيقًا بالشكل الرباعي المماسي (حيث تكون الأضلاع الأربعة مماسًا لدائرة).
هناك اسم آخر لمقطع دائري وهو دائرة مقيدة ، [3] ولكن هذا الاسم استخدم أيضًا لدائرة مماس أحد جوانب شكل رباعي محدب وامتدادات ضلعين متجاورين. في هذا السياق ، تحتوي جميع الأشكال الرباعية المحدبة على أربع دوائر مقيدة ، ولكن يمكن أن يكون لها على الأكثر دائرة واحدة.[4]
حالات خاصة
[عدل]الطائرات الورقية هي أمثلة على الأشكال الرباعية العرضية السابقة. يمكن اعتبار المتوازيات (التي تتضمن المربعات والمعينية والمستطيلات ) أشكالًا رباعية الأضلاع متماسية ذات نطاق خارجي لانهائي نظرًا لأنها تلبي التوصيفات الواردة في القسم التالي ، ولكن لا يمكن أن يكون المنحني مماسًا لكلا أزواج امتدادات الأضلاع المتقابلة (لأنها متوازية ).[4] الأشكال الرباعية المحدبة التي تشكل أطوال أضلاعها تقدمًا حسابيًا دائمًا ما تكون غير مماسية لأنها تلبي التوصيف أدناه لأطوال الأضلاع المجاورة.
التوصيفات
[عدل]يكون الشكل الرباعي المحدب خارجًا مماسيًا إذا وفقط إذا كان هناك ستة منصفات زوايا متزامنة. هذه هي منصف الزاوية الداخلية عند زاويتين متقابلتين للرأس ، ومنصف الزوايا الخارجية عند زاويتين أخريين للرأس ، ومنصف الزوايا الخارجية عند الزوايا التي تشكلت عند تقاطع امتدادات الأضلاع المتقابلة.[4]
لغرض الحساب فإن التوصيف الأكثر فائدة هو أن الشكل الرباعي المحدب ذو الأضلاع المتتالية a, b, c, d يكون خارجًا مماسيًا إذا وفقط إذا كان مجموع ضلعين متجاورين مساويًا لمجموع الضلعين الآخرين. هذا ممكن بطريقتين مختلفتين - إما
أو
تم إثبات ذلك من قبل جاكوب شتاينر في عام 1846.[5] في الحالة الأولى ، يكون غير الدائرة خارج أكبر الرؤوس A أو C ، بينما في الحالة الثانية يكون خارج أكبر الرؤوس B أو D ، بشرط أن تكون أضلاع الشكل الرباعي ABCD هي a = AB ، b = BC و c = CD و d = DA . تتمثل إحدى طرق الجمع بين هذه التوصيفات فيما يتعلق بالأضلاع في أن القيم المطلقة للاختلافات بين الأضلاع المتقابلة متساوية للزوجين من الأضلاع المتقابلة ، [4]
ترتبط هذه المعادلات ارتباطًا وثيقًا بنظرية بيتوت للأشكال الرباعية العرضية ، حيث تكون مجموع الأضلاع المتقابلة متساوية لزوجي الأضلاع المتقابلة.
نظرية Urquhart
[عدل]إذا تقاطعت الأضلاع المتقابلة في الشكل الرباعي المحدب ABCD عند النقطة E و F، إذن:
تمت تسمية الدلالة الموجودة على اليمين باسم LM Urquhart (1902-1966) على الرغم من إثباتها قبل ذلك بوقت طويل من قبل Augustus De Morgan في عام 1841. أطلق عليها دانيال بيدو اسم النظرية الأكثر بدائية في الهندسة الإقليدية لأنها تتعلق فقط بالخطوط المستقيمة والمسافات.[6] وقد أثبت موفق حجة أن هناك تكافؤًا في الواقع ، [6] مما يجعل المساواة في الحق شرطًا آخر ضروريًا وكافيًا ليكون الشكل الرباعي غير مماسي.
مقارنة مع شكل رباعي مماسي
[عدل]عدد قليل من الخصائص المترية للأشكال الرباعية العرضية (العمود الأيسر في الجدول) لها نظائر متشابهة جدًا للأشكال الرباعية العرضية السابقة (العمود الأوسط والأيمن في الجدول) ، كما يتضح من الجدول أدناه.[4] وبالتالي ، فإن الشكل الرباعي المحدب له دائرة أو دائرة خارج الرأس المناسب (اعتمادًا على العمود) إذا وفقط إذا تم استيفاء أي من الشروط الخمسة الضرورية والكافية أدناه.
إنطلاقة | قطع دائرة خارج أ أو ج | قطع دائرة خارج B أو D. |
---|---|---|
الرموز في هذا الجدول هي كما يلي: في الشكل الرباعي المحدب ABCD يتقاطع الأقطار عند P. R 1 ، R 2 ، R3 ، R4 هي محيطات المثلثات ABP ، BCP ، CDP ، DAP ؛ h 1 ، h 2 ، h 3 ، h 4 هي الارتفاعات من P إلى الجانبين a = AB ، b = BC ، c = CD ، d = DA على التوالي في نفس المثلثات الأربعة ؛ e ، f ، g ، h هي المسافات من الرؤوس A ، B ، C ، D على التوالي إلى P ؛ x ، y ، z ، w هي الزوايا ABD و ADB و BDC و DBC على التوالي ؛ و R a و R b و R c و R d هما نصف القطر في الدوائر المماس خارجيًا للجوانب a و b و c و d على التوالي وامتدادات الضلعين المتجاورين لكل جانب.
مساحة
[عدل]الشكل الرباعي المماسي السابق ABCD مع الجوانبa, b, c, d له مساحة:
لاحظ أن هذه هي نفس الصيغة الخاصة بمساحة الشكل -الرباعي المماسي-وهي مشتقة أيضًا من (صيغة بريتشنايدر) بالطريقة نفسها.
إكراديوس
[عدل]يُعطى الانحراف لرباعي أضلاع مماسي سابق مع الجوانب المتتالية a, b, c, d بواسطة:[4]
حيث K هي مساحة الشكل الرباعي بالنسبة إلى الشكل الرباعي المماسي مع جوانب معينة، ويكون نصف القطر السابق هو الحد الأقصى عندما يكون الشكل الرباعي دوريًا أيضًا (وبالتالي رباعي الأضلاع سابقًا ثنائي المركز). تشرح هذه الصيغ سبب امتلاك كل متوازيات الأضلاع لانهائية نصف القطر السابق.
الشكل الرباعي السابق ثنائي المركز
[عدل]إذا كان الشكل الرباعي المماسي السابق له دائرة محيطية فيسمى: رباعي مركزين سابقين [1]، بعد ذلك نظرًا لأن لهازاويتان متقابلتان يتم إعطاء مساحته بواسطة:
وهو نفس الشكل الرباعي ثنائي المركز .
إذا كان x المسافة بين الدائرة المحيطية و المركز السابق إذًا:[1]
حيث (R) و (r) هما :محيط نصف القطر و نصف القطر السابق على التوالي. هذه هي نفس المعادلة مثل: نظرية فوس لرباعي ثنائي المركز. ولكن عند إيجاد قيمة x يجب أن نختار الجذر الآخر للمعادلة التربيعية للشكل الرباعي السابق ثنائي المركز مقارنة بثنائي المركزين، ومن ثم بالنسبة إلى المركز الثنائي السابق لدينا.[1]
من هذه الصيغة يتبع ذلك
مما يعني أنه لا يمكن للدائرة المحيطة والمقطع أن يتقاطع أحدهما مع الآخر.
انظر أيضًا
[عدل]- رباعي كامل
- رباعي دوري
مراجع
[عدل]
- ^ ا ب ج د Radic, Mirko; Kaliman, Zoran and Kadum, Vladimir, "A condition that a tangential quadrilateral is also a chordal one", Mathematical Communications, 12 (2007) pp. 33–52.
- ^ Bogomolny, Alexander, "Inscriptible and Exscriptible Quadrilaterals", Interactive Mathematics Miscellany and Puzzles, . Accessed 2011-08-18.
- ^ K. S. Kedlaya, Geometry Unbound, 2006 نسخة محفوظة 2021-05-07 على موقع واي باك مشين.
- ^ ا ب ج د ه و Josefsson, Martin, Similar Metric Characterizations of Tangential and Extangential Quadrilaterals, Forum Geometricorum Volume 12 (2012) pp. 63-77
- ^ F. G.-M., Exercices de Géométrie, Éditions Jacques Gabay, sixiéme édition, 1991, p. 318.
- ^ ا ب Hajja, Mowaffaq, A Very Short and Simple Proof of “The Most Elementary Theorem” of Euclidean Geometry, Forum Geometricorum Volume 6 (2006) pp. 167–169