شكل رباعي سابق مماس *ABCD* وحوله
في الهندسة الإقليدية، **الرباعي المماسي السابق** هو :رباعي محدب حيث تكون *امتدادات* الأضلاع الأربعة مماسة لدائرة خارج الرباعي. وقد أطلق عليه أيضًا شكل **رباعي قابل للتفسير**. تسمى الدائرة *بالحافة* ، نصف قطرها هو *الخارج* ومركزها *المثير* ( *E* في الشكل). يقع المثير عند تقاطع ستة مناصرات الزاوية. هذه هي منصفات الزاوية الداخلية عند زاويتين متقابلتين للرأس ، ومنصف الزوايا الخارجية (منصفات الزوايا التكميلية ) عند زاويتين أخريين للرأس ، ومنصف الزوايا الخارجية عند الزوايا المتكونة عند تقاطع امتدادات الأضلاع المتقابلة (انظر الشكل إلى يمينًا ، حيث أربعة من هذه الأجزاء الستة عبارة عن مقاطع خطية منقطة). يرتبط الرباعي المماسي ارتباطًا وثيقًا بالشكل الرباعي المماسي (حيث تكون الأضلاع الأربعة مماسًا لدائرة).

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

حالات خاصة
----------

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

التوصيفات
---------

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

لغرض الحساب فإن التوصيف الأكثر فائدة هو أن الشكل الرباعي المحدب ذو الأضلاع المتتالية *a, b, c, d* يكون خارجًا مماسيًا إذا وفقط إذا كان مجموع ضلعين متجاورين مساويًا لمجموع الضلعين الآخرين. هذا ممكن بطريقتين مختلفتين - إما

{\displaystyle a+b=c+d}
أو

{\displaystyle a+d=b+c.}
تم إثبات ذلك من قبل جاكوب شتاينر في عام 1846. في الحالة الأولى ، يكون غير الدائرة خارج أكبر الرؤوس *A* أو *C* ، بينما في الحالة الثانية يكون خارج أكبر الرؤوس *B* أو *D* ، بشرط أن تكون أضلاع الشكل الرباعي *ABCD* هي *a* = *AB* ، *b* = *BC* و *c* = *CD* و *d* = *DA*. تتمثل إحدى طرق الجمع بين هذه التوصيفات فيما يتعلق بالأضلاع في أن القيم المطلقة للاختلافات بين الأضلاع المتقابلة متساوية للزوجين من الأضلاع المتقابلة ، 

{\displaystyle |a-c|=|b-d|.}
ترتبط هذه المعادلات ارتباطًا وثيقًا بنظرية بيتوت للأشكال الرباعية العرضية ، حيث تكون مجموع الأضلاع المتقابلة متساوية لزوجي الأضلاع المتقابلة.

### نظرية Urquhart

إذا تقاطعت الأضلاع المتقابلة في الشكل الرباعي المحدب *ABCD* عند النقطة *E* و *F*، إذن:

{\displaystyle AB+BC=AD+DC\quad \Leftrightarrow \quad AE+EC=AF+FC.}
تمت تسمية الدلالة الموجودة على اليمين باسم LM Urquhart (1902-1966) على الرغم من إثباتها قبل ذلك بوقت طويل من قبل Augustus De Morgan في عام 1841. أطلق عليها دانيال بيدو *اسم النظرية الأكثر بدائية في الهندسة الإقليدية* لأنها تتعلق فقط بالخطوط المستقيمة والمسافات. وقد أثبت موفق حجة أن هناك تكافؤًا في الواقع ،  مما يجعل المساواة في الحق شرطًا آخر ضروريًا وكافيًا ليكون الشكل الرباعي غير مماسي.

### مقارنة مع شكل رباعي مماسي

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

| إنطلاقة | قطع دائرة خارج *أ* أو *ج* | قطع دائرة خارج *B* أو *D.* |
| --- | --- | --- |
| {\displaystyle R\_{1}+R\_{3}=R\_{2}+R\_{4}} | {\displaystyle R\_{1}+R\_{2}=R\_{3}+R\_{4}} | {\displaystyle R\_{1}+R\_{4}=R\_{2}+R\_{3}} |
| {\displaystyle agh+cef=beh+dfg} | {\displaystyle agh+beh=cef+dfg} | {\displaystyle agh+dfg=beh+cef} |
| {\displaystyle {\frac {1}{h\_{1}}}+{\frac {1}{h\_{3}}}={\frac {1}{h\_{2}}}+{\frac {1}{h\_{4}}}} | {\displaystyle {\frac {1}{h\_{1}}}+{\frac {1}{h\_{2}}}={\frac {1}{h\_{3}}}+{\frac {1}{h\_{4}}}} | {\displaystyle {\frac {1}{h\_{1}}}+{\frac {1}{h\_{4}}}={\frac {1}{h\_{2}}}+{\frac {1}{h\_{3}}}} |
| {\displaystyle \tan {\frac {x}{2}}\tan {\frac {z}{2}}=\tan {\frac {y}{2}}\tan {\frac {w}{2}}} | {\displaystyle \tan {\frac {x}{2}}\tan {\frac {w}{2}}=\tan {\frac {y}{2}}\tan {\frac {z}{2}}} | {\displaystyle \tan {\frac {x}{2}}\tan {\frac {y}{2}}=\tan {\frac {z}{2}}\tan {\frac {w}{2}}} |
| {\displaystyle R\_{a}R\_{c}=R\_{b}R\_{d}} | {\displaystyle R\_{a}R\_{b}=R\_{c}R\_{d}} | {\displaystyle R\_{a}R\_{d}=R\_{b}R\_{c}} |

الرموز في هذا الجدول هي كما يلي: في الشكل الرباعي المحدب *ABCD* يتقاطع الأقطار عند *P.* *R* 1 ، *R* 2 ، *R*3 ، *R*4 هي محيطات المثلثات *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* له مساحة:

{\displaystyle \displaystyle K={\sqrt {abcd}}\sin {\frac {B+D}{2}}.}
لاحظ أن هذه هي نفس الصيغة الخاصة بمساحة الشكل -الرباعي المماسي-وهي مشتقة أيضًا من (صيغة بريتشنايدر) بالطريقة نفسها.

إكراديوس
--------

يُعطى الانحراف لرباعي أضلاع مماسي سابق مع الجوانب المتتالية *a*, *b*, *c*, *d* بواسطة:

{\displaystyle r={\frac {K}{|a-c|}}={\frac {K}{|b-d|}}}
حيث *K* هي مساحة الشكل الرباعي بالنسبة إلى الشكل الرباعي المماسي مع جوانب معينة، ويكون نصف القطر السابق هو الحد الأقصى عندما يكون الشكل الرباعي دوريًا أيضًا (وبالتالي رباعي الأضلاع سابقًا ثنائي المركز). تشرح هذه الصيغ سبب امتلاك كل متوازيات الأضلاع لانهائية نصف القطر السابق.

الشكل الرباعي السابق ثنائي المركز
---------------------------------

إذا كان الشكل الرباعي المماسي السابق له دائرة محيطية فيسمى: **رباعي** **مركزين سابقين** ، بعد ذلك نظرًا لأن لهازاويتان متقابلتان يتم إعطاء مساحته بواسطة:

{\displaystyle \displaystyle K={\sqrt {abcd}}}
وهو نفس الشكل الرباعي ثنائي المركز .

إذا كان *x* المسافة بين الدائرة المحيطية و المركز السابق إذًا:

{\displaystyle {\frac {1}{(R-x)^{2}}}+{\frac {1}{(R+x)^{2}}}={\frac {1}{r^{2}}},}
حيث (*R)* و (*r)* هما :محيط نصف القطر و نصف القطر السابق على التوالي. هذه هي نفس المعادلة مثل: نظرية فوس لرباعي ثنائي المركز. ولكن عند *إيجاد قيمة x* يجب أن نختار الجذر الآخر للمعادلة التربيعية للشكل الرباعي السابق ثنائي المركز مقارنة بثنائي المركزين، ومن ثم بالنسبة إلى المركز الثنائي السابق لدينا.

{\displaystyle x={\sqrt {R^{2}+r^{2}+r{\sqrt {4R^{2}+r^{2}}}}}.}
من هذه الصيغة يتبع ذلك

{\displaystyle \displaystyle x>R+r,}
مما يعني أنه لا يمكن للدائرة المحيطة والمقطع أن يتقاطع أحدهما مع الآخر.

انظر أيضًا
----------

* رباعي كامل
* رباعي دوري

مراجع
-----

 

1. 1 2 3 4  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.
2. ↑  Bogomolny, Alexander, "Inscriptible and Exscriptible Quadrilaterals", *Interactive Mathematics Miscellany and Puzzles*,. Accessed 2011-08-18.
3. ↑  K. S. Kedlaya, *Geometry Unbound*, 2006 نسخة محفوظة 2021-05-07 على موقع واي باك مشين.
4. 1 2 3 4 5 6  Josefsson, Martin, *Similar Metric Characterizations of Tangential and Extangential Quadrilaterals*, Forum Geometricorum Volume 12 (2012) pp. 63-77
5. ↑  F. G.-M. *Exercices de Géométrie*, Éditions Jacques Gabay, sixiéme édition, 1991, p. 318.
6. 1 2  Hajja, Mowaffaq, *A Very Short and Simple Proof of "The Most Elementary Theorem" of Euclidean Geometry*, Forum Geometricorum Volume 6 (2006) pp. 167–169

| * ع
* ن
* ت
المُضلعات (قائمة ) |
| --- |
| التصنيف | 
* بسيط
* منتظم
* مُقعَّر
* مُحدَّب
* دائري
* متساوي الزوايا
* متساوي الأضلاع
* مماسي
* نجمي الشكل
* متجانف

 |
| حسب عدد الأضلاع | 
* أحادي (1)
* ثُنائِي (2)
* ثُلاثي (3)
* رُباعي (4)
* خُماسي (5)
* سُداسي (6)
* سُباعي (7)
* ثُماني (8)
* تُساعي (9)
* عُشاري (10)
* أحد عشري الأضلاع (11)
* اثنا عشري الأضلاع (12)
* ثلاث عشري الأضلاع (13)
* أربع عشري الأضلاع (14)
* خمس عشري الأضلاع (15)
* ست عشري الأضلاع (16)
* سبع عشري الأضلاع (17)
* ثماني عشري الأضلاع (18)
* تسع عشري الأضلاع (19)
* عشروني الأضلاع (20)
* ثلاثوني الأضلاع (30)
* أربعوني الأضلاع (40)
* خمسوني الأضلاع  (50)
* ذو ستين ضلعا (60)
* سبعوني الأضلاع  (70)
* ثمانوني الأضلاع  (80)
* تسعوني الأضلاع  (90)
* ذو مائة ضلع (100)
* ذو ألف ضلع (1000)
* ذو عشرة آلاف ضلع (10000)
* مليوني الأضلاع  (1000000)
* لا نهائي (∞)

 |
| ثلاثيَّة | 
* إقليدية
	+ مثلث حاد الزوايا
	+ متساوي الأضلاع
	+ متساوي الساقين
	+ مثلث منفرج الزاوية
	+ قائم الزاوية
	+ دوائر المثلث
	+ شبه مثلث
* قطعية
	+ قطعي
	+ تخيلي

 |
| رباعيَّة | 
* إقليدية
	+ متوازي أضلاع
		- متقاطع
	+ مُعيّن
	+ مستطيل
	+ مربع
	+ شبه منحرف
		- متساوي الساقين
		- مماسي
	+ طائرة ورقية
		- قائمة الزاوية
	+ متساوي الأقطار
	+ متعامد الأقطار
	+ دائري
		- ثنائي المركز
	+ مماسي
	+ مماسي خارجي
* قطعية
	+ لامبرت
	+ ساتشري

 |
| نجميّة | 
* خماسيّة
* سداسيّة
* سباعيّة
* ثمانيّة
* تساعيّة
* عشاريّة
* أحد عشريّة
* اثنا عشريّة

 |

|  |
| --- |
| **رباعي أضلاع مماسي خارجي** في المشاريع الشقيقة: |
|  | 
* صور وملفات صوتية من كومنز.
 |

* أيقونة بوابةبوابة رياضيات