دائرة: شكلٌ مُغلقٌ بسيطٌ مُستوٍ في الهَندسِةِ الإقليدية

يُرمز للدائرة التي مركزها النقطة ${\displaystyle O}$  ونصف قطرها ${\displaystyle r}$  رياضيَّاً بالرموز: «${\displaystyle C(O,r)}$ » و«${\displaystyle \odot C}$ » أو يُكتَفى بذكر «الدائرة ${\displaystyle O}$ » للإشارة إليها. ويُرمز لها في الترميز العلمي العربي بحرف «د»

جدول مصطلحات الدائرة الأساسية

المصطلح	التّعريف	الترميز العربي	التّرميز اللاتيني	ملاحظة
مركز	نقطة ثابتة تبعد البعد نفسه عن جميع النقاط الواقعة على المحيط.	م	${\displaystyle O}$  أو ${\displaystyle M}$
محيط	مسار المحل الهندسي لنقطة مُتحرّكة في مستوٍ تبعد بعداً ثابتاً عن المركز.	مح	${\displaystyle C_{O}}$
مساحة	منطقة السطح المحصور بمحيط الدَّائرة.	م	${\displaystyle A}$
نصف قطر	أو الشعاع: قطعة مستقيمة تصل بين المركز وأي نقطة واقعة على المحيط.	نق	${\displaystyle r}$
وتر	قطعة مستقيمة تصل بين أي نقطتين على محيط الدائرة.
قطر	وتر مار بمركز الدائرة.	ق	${\displaystyle d}$

جدول مصطلحات قِطَع وجُزئيّات الدائرة

الجزء	التّعريف	الرمز	صورة
قوس	جزء متّصل من محيط الدائرة.	︵
قطاع	مساحة منحصرة بين نصفي قطر وقوسٍ واصلٌ بينهما.	⌔
قطعة	مساحة منحصرة بين وتر وقوسٍ يحصره.	⌓
قرص	مساحة تحصرها دائرة.
نصف قرص	مساحة منحصرة بين قطر وقوسٍ يحصره.

تعودُ تسمية وتعريفُ الدائرةِ في بعض اللغات إلى أشكال كانت في الطبيعة أو صنعها الإنسان كالخواتم، الحلقات والعجلات، بينما في اللّغة العربيّةِ، تعود لفظة «دائرة» إلى الفعل «دار» أو الجذر «د ور»، والدائرة هي ما أحاط بالشّيء وتعني أيضاً «الحلقة». جاء في لسان العرب لابن منظور: «دار الشيء، يدور دَوراً ودَوَراناً، واستدار، وأدرتُه أنا. والدهر دوَّار بالإنسان. وتدوير الشيء جعله مدوّراً، وفي الحديث: إن الزمان قد استدار كهيئته يوم خلقَ الله السموات والأرض. استدار بمعنى إذا طاف حول الشيء، وإذا عاد إلى الموضع الذي ابتدأ منه...». يضيف ابن منظور: «والدائرة والدارة كلاهما: ما أحاط بالشيء. والدارةُ: دارة القمر التي حوله، وهي الهالة. ودارت عليه الدوائر: أي نزلت به الدواهي، والدائرة: الهزيمة والسوء، يقال: عليهم دائرة السوء... والدَّوَّار والدُّوَّار من أسماء البيت الحرام، لأنهم يطوفون به في شبه دائرة...». وفي اللّغة الإنجليزيّة يعود أصل تسمية الدائرة (بالإنجليزية: Circle)‏ إلى الكلمة الإغريقيّة κίρκος/κύκλος (تُنطق: كيركوس/كوكلس) المُحرَّفة من الكلمة الإغريقية الهومرية κρίκος (كريكوس)، والتي تعني «الطّوق» أو«الخاتم».

وفقاً لتعريف الدّائرة الذي ينصُّ على أنها مجموعة نقاط على مستوى واحد تبعد البعد ذاته عن نقطة ثابتة ما، فَيُمكِنُ إعادةُ صياغةِ التّعريفِ إلى أنَّ الدائرة هي منحنى مغلق أحادي البُعد، وبشكل مكافئ هي مُنحنى ترسمه نّقطةٌ متحرّكة تبعد بُعداً ثابتاً عن نقطة ثابتةٍ أخرى. وكونها كذلك فهي تقسم المستوى إلى جزأين: داخل الدائرة وخارجها. في الاستعمال اليومي المتداول، قد يستعمل مصطلح «دائرة» للإشارة إلى محيط الدائرة، كما أنه قد يستعمل للإشارة إلى ما يوجد بداخل الدائرة؛ لكن في الاستعمال التّقني الدّقيق، الدائرة هي المحيط فقط ويُسمّى ما داخلها قُرصاً. غالباً ما يُفرّق الرَّياضيُّونَ بين السطح الدائري المغلق أو القرص والسطح الدائري المفتوح (يُسمّى بالدائرة الداخلية) اعتماداً على وقوع خط الدائرة في الاعتبار من عدمه.

تعريف إقليدس

عرَّف إقليدس الدائرة في كتابه: الأصول، كما يأتي:

الدّائرة هي شكلٌ مُسطّحٌ يَحصُرُه خطُ واحدٌ، بحيث تكونُ جميعُ القطعِ المستقيمةِ مرسومةً من نقطةٍ مُعيّنة داخلها إلى الخط الحاصر مُتساوية. فإن الخط الحاصر يُسمّى مُحيطاً والنقطة المُعيّنة تُسمّى مركزاً

يُعبِّرُ الرياضيون عن تعريف إقليدس للدائرة أيضاً باستخدام نظرية المجموعات على النحو الآتي:

تعريف إقليدس في نظرية المجموعات — إذا وقعت النقطة ${\displaystyle O}$  على المستوى ${\displaystyle E}$  فإن الدائرة ${\displaystyle C}$  التي مركزها ${\displaystyle O}$  ونصف قطرها ${\displaystyle r}$  هي مجموعة جميع النقاط ${\displaystyle M}$ التي تنتمي إلى المستوى ${\displaystyle E}$ ، وتبعد عن النقطة ${\displaystyle O}$  مسافةً مقدارها ${\displaystyle r}$ .

ويمكن صياغة التعريف السابق رياضيَّاً بالشكل التالي:

$${\displaystyle C(O,r)=\left\{M\in E~:~{\overline {OM}}=r\right\}}$$

 

تعريف أبولونيوس

 

أثبت أبولونيوس أن الدائرة بالإمكان التعبير عنها على أنها المحل الهندسي لجميع النقاط التي نسبة بعدها عن نقطتين ثابتتين ثابتة. أو رياضياً: بفرض أنَّ ${\displaystyle A,B}$  نقطتين ثابتتين على المستوى، فإنَّ الدائرةَ التي بُؤرَتَيْها ${\displaystyle A,B}$  هي المحل الهندسي لجميع النقاط ${\displaystyle P}$  التي تُحقِّقُ أنَّ:

$${\displaystyle {\frac {|AP|}{|BP|}}={\frac {|AC|}{|BC|}}}$$

 

 

إسقاط النسب التبادلية من خط مستقيم إلى دائرة والعكس بمركزِ إسقاطٍ يقعُ على الدائرةِ. تُمثِّلُ نقاطُ التقاطُعِ رباعياً توافقياً.

 

النقاط ${\displaystyle A,B,C,D}$ مع ${\displaystyle A',B',C',D'}$  مرتبطةٌ معاً تحت تحويلٍ إسقاطيّ. لذا فإن نسبتهم التبادلية ثابتة. وبمعنىً آخر، فإنَّ أي خط آخر (بالأحمر) يقطع الخطوط السوداء فإنه يحمل نفس النسبة التبادلية.

تُعرف النسبة التبادلية للقطعتين المستقيمتين ${\displaystyle {\overline {AC}},{\overline {BD}}}$  أو لرباعية النقاط ${\displaystyle A,B,C,D}$  المتسامتة على الترتيب: ${\displaystyle (A,B;C,D)={\frac {AC\cdot BD}{BC\cdot AD}}}$  حيث أنَّ النّسب نسبٌ مُوجّهةٌ. وتُعمم النسبة التبادلية لتشمل الدائرة بتعريف المستوى العقدي بالصيغة الآتية: ${\displaystyle (z_{1},z_{2};z_{3},z_{4})={\frac {(z_{3}-z_{1})(z_{4}-z_{2})}{(z_{3}-z_{2})(z_{4}-z_{1})}}.}$ . إذا كانت النقاط ${\displaystyle A,C,B}$  مُتسامتةً في المستوى العقدي كما الشكل، فإنَّ دائرة أبولونيوس لهذه الثلاث نقاط هي مجموعة النقاط ${\displaystyle P}$  التي تحقق أن معيار النسبة التبادلية مساوية لواحد.${\displaystyle |[A,B;C,P]|=1.\ }$ . بمعنىً آخر: ${\displaystyle P}$  هي نقطة على دائرة أبولونيوس للنقاط ${\displaystyle A,C,B}$  إذا وفقط إذا كان معيار النسبة التبادلية ${\displaystyle [A,B;C,P]}$  مساوياً للواحد.

تُعرّفُ النقطة ${\displaystyle D}$  على أنّها المرافق التوافقي للنقطة ${\displaystyle C}$  بالنسبة لـ${\displaystyle A}$  و${\displaystyle B}$ . إذا كانت النسبة التوافقية للنقاط الأربع تساوي ${\displaystyle -1}$ . وتُسمَّى حينئذٍ نسبةً توافقية. ونتيجةً لذلك، فإنَّ النسبة التبادلية بالإمكان اعتبارها على أنها مدى بُعدِ الأربع نقاط عن النسبة التوافقية. النسبة التبادلية مُعرّفة منذ القِدَم، حيث يرجّح أن إقليدس هو أوّل من ذكرها، كما استعملها ببس الرومي الذي لاحظ خاصيّة ثباتها تحت التحويلات الخطية. فالنسبة التبادلية لأيِّ قطعةٍ مُستقيمةٍ تقطع 4 مستقيمات متلاقية هي ثابتة. بشكلٍ مُكافئ، يُعرّفُ ذلكَ في الهندسة الإسقاطية على أنَّ النسبة التبادلية ثابتةٌ تحت أي تحويلٍ خطيٍ كسريٍ. في تعريفِ أبولونيوس للدائرة، تُسمَّى الخطوط ${\displaystyle {\overleftrightarrow {PA}},{\overleftrightarrow {PB}},{\overleftrightarrow {PC}},{\overleftrightarrow {PD}}}$  «حُزمة توافقية» وهي كل مجموعة خطوط متلاقية نسبتها توافقية (أي: نسبتها التبادلية تساوي ${\displaystyle -1}$ ). إنَّ نقاطَ تقاطعِ دائرةٍ مع حُزمةٍ توافقيةٍ رأسها ${\displaystyle P}$  يقع على الدائرة أيضاً يُنتجُ رباعياً توافقياً.

تعريف الدائرة المعممة

 

في حال ما كانت ${\displaystyle C}$  منتصف القطعة ${\displaystyle {\overline {AB}}}$  فعندئذٍ يُسمّى المحل الهندسي للنقاط ${\displaystyle P}$  التي تحقق الشرط أعلاه، «دائرة مُعمّمة». الدائرة المعممة قد تكون دائرةً فعليةً وقد تكون خطاً مُستقيماً. وبهذا، فإنَّ التعريف المعمم للدائرة يضمُّ الخطَّ المستقيمَ على أنه دائرة مركزها هو نقطة في اللانهاية أو دائرة ذات نصف قطر لانهائي. وتستعمل فروع هندسة أخرى كالهندسة التعاكسية والهندسة الإسقاطية في المستوى العقدي هذا التعريف للدائرة على أنها خط مستقيم. هُناك أيضاً إعادة تعريف للنقطة على أنَها دائرةٌ مُنعدمة. يُستعمل هذا التعريف افتراضياً في المسائل المتعلقة بالمحور الأساسي.

تأويل لانهائي

 

بالإمكان تعريف الدائرة على أنها مُضلّعٌ منتظمٌ بنصف قطر مماسي (بالإنجليزية: Inradius)‏ يُرمز إليه بالرمز ${\displaystyle r}$  أو نصف قطر محيطي (بالإنجليزية: Circumradius)‏ يُرمز إليه بالرمز ${\displaystyle R}$  باعتبار أن عدد أضلاع المضلع المنتظم يؤول إلى اللانهاية. بناءً على هذا التعريف بالإمكان اشتقاق طول محيط المضلع عبر العلاقة الجبرية الآتية:

$${\displaystyle {\begin{aligned}C=\lim _{n\to \infty }2rn\tan {({\tfrac {\pi }{n}})}=2\pi r\\=\lim _{n\to \infty }2Rn\sin {({\tfrac {\pi }{n}})}=2\pi R\end{aligned}}}$$

 

$${\displaystyle {\begin{aligned}A=\lim _{n\to \infty }nr^{2}\tan {({\pi }{n})}=\pi r^{2}\\=\lim _{n\to \infty }{\tfrac {1}{2}}nR^{2}\sin {({\tfrac {2\pi }{n}})}=\pi R^{2}\end{aligned}}}$$

 

الدائرة بوصفها حالة حدية

تُوصف الدائرة على أنها حالة حدية خاصة باستعمال أكثر من مُقاربةٍ رياضيةٍ: من أشهرها هي وصفها قطعاً مخروطيّاً. تُصنّف الدائرة على أنها بيضاوي ديكارتي، نسبةً إلى رينيه ديكارت، وهو منحنى مستو ومجموعة النقاط في المستوى التي لها نفس التركيب الخطي (ويُعبّر عنه أيضاً بمجموعٍ موزونٍ) بالنسبة لنقطتين ثابتتين في المستوى. وهي بذلكَ حالةٌ خاصّةٌ منه تكون عند انعدام أحد الأوزان وتؤوُّلِه للصفر. البيضاوي الفائق هو مجموعة نقاط في المستوى تحقق: ${\displaystyle \left|{\frac {x}{a}}\right|^{n}\!+\left|{\frac {y}{b}}\right|^{n}\!=1}$  حيث أنَّ ${\displaystyle n,a,b}$  أعدادٌ مُوجبة. تُعرَفُ «الدّائرةُ الفائقة» على أنها بيضاوي فائق يكون فيه ${\displaystyle a=b}$ . والدّائرةُ هي حالةٌ خاصّة من الدائرة الفائقة تكون عندما ${\displaystyle n=2}$ .

القطوع المخروطية

تُوصَفُ الدائرةُ باعتبارها حالةً خاصةً من القطع الناقص، حيث تكونُ حينَ تنطبقا البؤرتان معاً لِتُكوِّنَ مركزَ الدّائرةِ؛ حينئذٍ، يكون الاختلاف المركزي مُساوٍ للصفر (${\displaystyle e=0}$ ) ويتساوى المحور الأكبر مع المحور الأصغر ليُكوِّنا قُطرَيْ الدائرةِ. وعلى الوجه المقابل فهي قطع مخروطي ينتج من تقاطع مخروط قائم مع مستوى عمودي على محوره.

استيفاء المساحة

 

إن كان الشكلُ مقعراً، فبالإمكانِ زيادةُ مساحَتِه دون تغييرِ مُحيطه بأن يُطوَ جزؤه المقعّر ليكون مُحدّباً.

 

إذا كان الشكل مُمَطّطاً، فبالإمكانِ جعله أكثر استدارةً وبذلك زيادة مساحته دون تغيُّرٍ يطرأُ على طولِ مُحيطِه.

تعود مسألة المحيط الثابت إلى القِدمِ، وتصاغ كالآتي: «من بين جميعِ المُنحنياتِ المُغلَقةِ ذات مُحيطٍ مُعطىً، أيُّها يجعلُ مساحتها أكبر ما يُمكن؟» وُجِدَ أنّ هذه المسألةَ مُكافئةٌ لمسألة شبيهة: «من بين جميع المنحنيات المُغلقة ذات مساحةٍ مُعطاةٍ، أيُّها يجعلُ محيطَها أكبرُ ما يُمكن؟». وتختصُّ الدائرةُ بأنها الحل لهذا المسألة. إذ توصف على أنَّها الشكلُ الذي يحصر أكبر مساحةٍ نسبةً إلى طول مُحيطه.

ترتبط هذه المسألةُ بمفهومِ مبدأِ الفعلِ الأدنى في الفيزياء، والذي بالإمكان صياغته على الصورة: ما «الفعلُ الذي يجعل المساحة أكبر ما يُمكن بأقلّ جهدٍ ممكن؟» على الرغم من أنَّ الدائرةَ كانت الحل الأوضح لهذه المسألة، إلا أنّ إثباتَ ذلكَ كان صعباً. أوّل محاولة أنَجَزَتْ في السؤالِ كانت سنة 1838م عندما استعمل المهندس الرياضياتي السويسري ياكوب شتاينر طريقةً هندسيةً أُسميَت لاحقاً بطريقةِ شتاينر للاستنظار. أثبت شتاينر أنَّه إذا وُجِدَ حلٌّ لهذه المسألةِ فلا بُدّ وأن يكون دائرةً. استئنف رياضيّون حلّ شتاينر لاحقاً وأكملوه.

بدأ شتاينر بأول الإنشاءات الهندسية التي عُرفت جيداً؛ فعلى سبيلِ المثالِ، إن كان هناك منحنى مغلق ليس محدباً بالكامل، فبالإمكان إيجاد منحنى أكثر تحدباً منه وأعلى في المساحة عن طريق طَيّ الأجزاء المقعرة لجعلها محدبة. وبُرهِنَ أيضاً أن أي شكل لامتماثل بالإمكان تمديده بحيث يُغطي مساحةً أكبر. ولأن الشكل الوحيد المُحدب والمتناظر تماماً هو الدائرة فإن الحل كان لا بد وأن يكون هو. مع ذلك، هذا الحل بمفرده لا يُقدّمُ بُرهاناً صارماً للمسألة، إذ أنَّه مليءٌ بالثغرات التي تحتاج إلى المراجعة.

غالباً ما يُعبّرُ عن مسألة المحيط الثابت بمتباينةٍ تربطُ طولَ منحنىً مغلقٍ بمساحته. تنص متباينة المحيط الثابت على أنَّ:

$${\displaystyle 4\pi A\leq L^{2}}$$

 

وتحقّق المساواةُ إذا وفقط إذا كان المنحنى دائرةً. مساحة القرص ذو الشعاع ${\displaystyle R}$  هو ${\displaystyle \pi R^{2}}$  ومُحيطُ الدائرةِ هو ${\displaystyle 2\pi r}$  بِهذا فإنّ كلا الطرفين يصبحان ${\displaystyle 4\pi R^{2}}$ . وُجدت عشرات البراهين المختلفة لمتباينة المحيط الثابت، ففي 1902، نَشَرَ أدولف هرفيتز بُرهاناً قصيراً باستخدام متسلسلة فورييه التي تُطبّق لأي منحنى محدود الطول حتى ولو كان مقعراً. في عام 1938م، قدّم شميت حلّاً أنيقاً للمسألةِ بناءً على مقارنةٍ بين منحنىً بسيط مغلق سَوِيٌّ مع دائرة معطاة. استخدم الحل صيغة طول القوس، صيغة مساحة السطح من مبرهنة غرين ومتباينة كاوشي شفارتز. لأي منحنى مغلق، كسر المحيط المغلق يُعرف على أنه النسبة بين مساحته وبين مساحة الدائرة ذات المحيط نفسه. رياضياً:

$${\displaystyle Q={\frac {4\pi A}{L^{2}}}}$$

 

تنص متباينة ثباتية المحيط على أنَّ ${\displaystyle Q\leq 1}$  بالتكافؤ، فإنّ نسبة ثباتيّةُ المحيط${\displaystyle {\frac {L^{2}}{A}}}$  هي على الأقل ${\displaystyle 4\pi }$  لكل منحنى. أما بالنسبة للمضلعات المنتظمة النونية، فإنّ نسبة ثباتية المحيط هي: ${\displaystyle Q_{n}={\frac {\pi }{n\tan {\tfrac {\pi }{n}}}}.}$ . إذا كان ${\displaystyle C}$  منحنى مغلقاً محدباً سَويَّاً فإنَّ متباينة ثباتية المحيط المُطوَّرة تنص على أنَّ:

$${\displaystyle L^{2}\geqslant 4\pi A+8\pi \left|{\widetilde {A}}_{0.5}\right|,}$$

 

حيث أن ${\displaystyle L,A,{\widetilde {A}}_{0.5}}$  ترمز إلى طول ${\displaystyle C}$  والمساحة التي يحصرها، والمساحة المتجهة له، على الترتيب. تحقق المساواة فقط وإذا فقط كان ${\displaystyle C}$  منحنى ثابت العرض.

دوائر بإعادة تعريف المسافة

 

تعريفُ دائرةٍ على أنها مجرد مجموعة نقاط ذات بعد ثابت عن نقطة يُؤدِّي إلى ضمّ أشكالٍ أخرى إلى هذا التعريف. تُعدّ هذه الأشكالُ دوائرَ بسبب يعود إلى تعاريفٍ مُختلفةٍ للمسافة عن التعريف الإقليدي لها المُعتاد. ففي المعيار-${\displaystyle p}$  (بالإنجليزية: p-norm)‏، تُعرَّفُ المسافة بالقانون:

$${\displaystyle \left\|x\right\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\dotsb +|x_{n}|^{p}\right)^{1/p}.}$$

 

بينما في الهندسة الإقليدية، وكحالةٍ خاصةٍ، تكون ${\displaystyle p=2}$ ، وبهذا تكون الصيغة المعروفة:

$${\displaystyle \left\|x\right\|_{2}={\sqrt {|x_{1}|^{2}+|x_{2}|^{2}+\dotsb +|x_{n}|^{2}}}.}$$

 

في هندسة سيارة الأجرة، تكون ${\displaystyle p=2}$ . دوائر سيارة الأجرة تُعرّف على أنها مربعات مدوّرة بزاوية 45 بالنسبة إلى محاورها الإحداثية. على الوجه المقابل، فاعتماداً على تعريف المسافة الشبشفية، فإنَّ الدائرة ذات الشعاع ${\displaystyle r}$  في المستوى هي أيضاً مُربّع ذو ضلع ${\displaystyle 2r}$ . لكنها خلاف دائرة سيارة الأجرة، توازي المحاور الإحداثية.

يرتبط الشّعاع مع القطر بالعلاقة ${\displaystyle r={\frac {d}{2}}}$ . يُعتبر القطر حالةً خاصةً من الوتر يقسم فيها الدائرة إلى جزئين متناظرين ومتطابقين. ويُوصف أيضاً على أنه أطول قطعة مستقيمة بين أي نقطتين تقعان على محيط الدائرة. وتُصنّف جميعُ الدوائرَ على أنها مُتشابهة.

المُحِيطُ وثَابِتُ النّسبة ${\displaystyle \pi }$ 

 

يتناسبُ طولُ مُحيطِ الدائرةِ مع طول قطرِها. ويُرمز لهذه النسبة بـ«${\displaystyle \pi }$ » أو «ط». يُربَطُ بينَ ثابتِ النّسبة ${\displaystyle \pi }$  وبينَ القطرِ والمُحيطِ بالمُعادلة التّالية، مع اختلافِ بعضِ الصّيغِ المُشتّقة منها:

$${\displaystyle {\frac {C}{d}}=\pi \Leftrightarrow C=\pi d=2\pi r\Leftrightarrow d={\frac {C}{\pi }}}$$

 

${\displaystyle \pi }$ 

${\displaystyle \pi }$ 

$${\displaystyle \pi \approx {\frac {22}{7}}\approx 3.14}$$
 
$${\displaystyle \pi \approx {\frac {355}{113}}=3.14159\ 29^{+}}$$
 
على الرغم من تعريف ${\displaystyle {\pi }}$  الأساسي على أنه نسبة المحيط إلى القطر، إلا أن لدى ${\displaystyle {\pi }}$  تعريفاتٍ متكافئة أخرى تظهر في العديد من الصيغ في جميع مجالات الرياضيات والفيزياء. ويُمَثلُ بالحرف اليوناني ${\displaystyle {\pi }}$  منذ منتصف القرن الثامن عشر. على الرغم من أنه يُنطَق باي، إلا أنه يسمى أيضاً ثابت أرخميدس. بسبب كونه عدداً غير نسبي، ${\displaystyle {\pi }}$  لا يمكن التعبير عنه ككسر، أي لا يمكن كتابته على صورة ${\displaystyle a/b}$ . بالمقابل، تمثيله العشري لا ينتهي ولا يستقر أبدًا في نمط تكراري منتظم. مع ذلك، فإن الكسور مثل 22/7 والأرقام الحقيقية الأخرى تستخدم عادة لتقريب ${\displaystyle {\pi }}$ . كما أن ${\displaystyle {\pi }}$  عدد متسامٍ؛ بمعنى أنه ليس جذراً لأي كثيرة حدود ذات معاملات حقيقية. هذه الخاصيَّة حلت المسألة القديمة المتمثلة في تربيع الدائرة باستخدام إنشاءات الفرجار والمسطرة. في القرنين العشرين والواحد والعشرين، اكتشف علماء الرياضيات وعلماء الحاسوب مقاربات جديدة، عندما اقترنت بزيادة القدرة الحسابية، وسعت التمثيل العشري لـ${\displaystyle {\pi }}$  إلى العديد من تريليونات من الأرقام بعد العلامة العشرية. تعلق الثابت ${\displaystyle {\pi }}$  بالدائرة، جعله يوجد في العديد من الصيغ في علم المثلثات والهندسة، وخاصة تلك المتعلقة بالدوائر، والقطوع الناقصة، ومجالات التحليل الرياضي.

المِساحَةُ

 

تَتَناسبُ مِسَاحةُ الدّائرةِ طرديّاً مع مُربّع نصفِ القطرِ بثابتِ تناسبٍ يُطلق عليهِ ${\displaystyle \pi }$ . ومِسَاحةُ الدائرةِ هي أكبرُ مساحةٍ من بين الأشكالِ نسبةً إلى محيطها. وهذا يربِطُ الدائرةَ بِمُعْضِلَةٍ في مجالِ حسابِ التغيراتِ تُسمَّى مُتَباينةَ المُحيطِ الثَّابِتِ. استُعمل مفهوم النّهايات المُتتالية للحصول على قانون مساحة الدّائرة. وهذا المفهومُ قائمٌ على تقسيمِ قِرْصِ الدّائرةِ إلى قِطاعاتٍ ثمَّ جَمعِها. بعدَ التقسيمِ، ينتجُ مستطيلٌ طُولُه ${\displaystyle \pi r}$  وعَرْضُه ${\displaystyle r}$ . وعلى هذا، تَكونُ مساحةُ الدّائرةِ مُكافئةً لمساحة المُستطيلِ بالقانون:

$${\displaystyle \mathrm {Area} =\pi r\cdot r=\pi r^{2}={\frac {\pi d^{2}}{4}}\approx 0{.}7854d^{2}}$$
 

يُعبِّرُ مصطلحُ «قياس القوس» إلى قياسِ الزاويةِ المركزيةِ التي تَحصِرُ القوسَ. وباعتبار أن الدائرة قوساً مُتَّصِلَ الطَّرفَينِ فإن قياسُها بالدرجاتِ ${\displaystyle 360^{\circ }}$ . وعلى ذلكَ، فإن قياسَ الأقواسِ الناتجةِ عنْ قَطْعِ زاويةٍ مركزيةٍ لدائرتينِ متحدتَيْ المركزِ لهُمَا القياسَ نَفْسَهُ؛ لاشتراكِهِما في قياسِ الزاويةِ المركزيةِ. ويتطابقُ قوسانِ من دائرةٍ واحدةٍ إذا وفقط إذا كان لهُما القياسَ نَفسه. وهُناكَ قياسانِ شهيرانِ للقوسِ:

الدرجة	الراديان
يُعرَّف القوس الذي قياسه درجة واحدة على أنه ${\displaystyle {\frac {1}{360}}}$ من قياس الدائرة كاملةً.	يُعرَّف القوس الذي قياسه راديان واحد على أنه القوس الذي طوله نصف قطر الدائرة الأصلية ${\displaystyle r}$ .

 

كانت ${\displaystyle A,B}$  نقطتين مختلفتين على الدائرة ${\displaystyle C(O,r)}$  فإنهما يقسمان الدائرة إلى قوسين: قوس أصغر ${\displaystyle {\widehat {AB}}}$ ، وقوس أكبر ${\displaystyle {\widehat {AB}}}$  يتممان بعضهما بعضاً. يُرمَز إلى القوس الأكبر ${\displaystyle {\widehat {AB}}}$  أحياناً بالرمز ${\displaystyle {\widehat {ACB}}}$  عِوَضاً عن ذكر «${\displaystyle {\widehat {AB}}}$  الأكبر». يُعرّف القوس الأصغر ${\displaystyle {\widehat {AB}}}$  على أنَّه مجموعةُ النّقاط الناتجةِ عن تقاطعِ الدائرةِ مع نقاطِ الزاويةِ المركزية ${\displaystyle \angle AOB}$  الداخلية ويُعبَّرُ عنه أيضاً بأنه القوس الأقصر طولاً الذي يصل بين النقطتين ${\displaystyle A,B}$  على الدَّائرة، حيثُ يُساوي قياسه قياسَ الزَّاويةِ المركزيةِ المُقابلةِ لَهُ، ويقل عن ${\displaystyle 180^{\circ }}$ . على الوجه المقابل، فإن القوس الأكبر ${\displaystyle {\widehat {AB}}}$  هو مجموعةُ النّقاط الناتجةِ عن تقاطعِ الدائرةِ مع نقاطِ الزاويةِ المركزية ${\displaystyle \angle AOB}$  المُنعكِسة ويُعبَّرُ عنه أيضاً بأنه القوس الأقصر طولاً الذي يصل بين النقطتين ${\displaystyle A,B}$  على الدَّائرة، حيثُ يُساوي قياسه قياسَ الزَّاويةِ المركزيةِ المُقابلةِ لَهُ، ويزيد عن ${\displaystyle 180^{\circ }}$ . تُسمَّى النقطتان ${\displaystyle A,B}$  طرفا القوس ${\displaystyle {\widehat {AB}}}$  أو طرفا الوتر ${\displaystyle {\overline {AB}}}$ . في حالِ كَوْنِ النُّقطتينِ ${\displaystyle A,B}$  نقطتينِ متقابلتينِ قُطريَّاً، فإن كُلاً مِن القَوسَيْنِ المُقَابِلَيْنِ لَهُمَا القياس نفسه، ويُسمَّى القوسُ الواحدُ نِصفَ دَائرةٍ. وكُلُّ قِطْرٍ في دائرةٍ ما يُحدِّدُ نِصفَيْ دائرةٍ.

إذا كانَ طُولُ القوْسِ يُساوي ${\displaystyle \ell }$ ، فإنَّ النسبةَ بينَ طولِ القوسِ إلى مُحيطِ الدَّائرةِ يُساوي نسبةَ قياسِ القوسِ إلى قِياسِ الدَّائرةِ كاملةً.

$${\displaystyle {\frac {l}{C_{O}}}={\frac {l}{2\pi r}}={\frac {\theta ^{\circ }}{360^{\circ }}}\Leftrightarrow \ell =\pi r\cdot {\frac {\theta ^{\circ }}{180^{\circ }}}}$$

 

القوس الأصغر ${\displaystyle {\widehat {AB}}}$	القوس الأكبر ${\displaystyle {\widehat {AB}}}$  (أو اختصاراً ${\displaystyle {\widehat {ACB}}}$ )	نصف الدَّائرة ${\displaystyle {\widehat {ADB}}}$

القرص

 

هو منطقة المستوى التي تحصرها الدّائرة. ويعرَّف رياضيَّاً:${\displaystyle C(O,r)\cup Int~C(O,r)=\left\{P\in E~:~{\overline {OP}}\leq r\right\}}$ .

القطاع

يعتمد حجم قطاع الدائرة على قياس الزاوية المركزية التي يحصرها ونصف قطر الدائرة. حيث يُمثِّل القطاع نسبةً من مساحة الدّائرة الكُلّية هي نفسها نسبة قياس زاويته المركزية على قياس الدائرة الكُلّية. أي أن: مساحة القطاع مُساوية لحاصل ضرب نسبة زاويته المركزية لزاوية الدائرة الكلية في مساحة الدائرة الكُلّية.

$${\displaystyle A_{S}=\pi r^{2}\cdot {\frac {v}{360^{\circ }}}=(v{\text{ rad}})\cdot r^{2}}$$

 

${\displaystyle 360^{\circ }}$ 

${\displaystyle 100\%}$ 

تصنيفات الزوايا المتعلقة بالدائرة حسب موقع رأسها:

الزاوية	التّعريف	موقع رأس الزَّاوية	قياس الزَّاوية	ملاحظة
زاوية مركزية	زاوية محصورة بين نصفي قطرين ويُرمز لها بـ${\displaystyle v}$	مركز الدَّائرة	قياس القوس المقابل
زاوية محيطية	زاوية محصورة بين وترين متلاقيين على المحيط	محيط الدَّائرة	نصف قياس القوس المقابل
زاوية مماسية	زاوية محصورة بين مماس ووتر يمر بنقطة التماس	محيط الدائرة	نصف قياس القوس المَحصُور.
زاوية خارجة	زاوية امتداد أحد زوايا رباعي دائري المحيطة	محيط الدائرة	قياس الزاوية المقابلة لها من الرباعي.
زاوية داخلية	زاوية محصورة بين قاطعين داخل الدَّائرة	داخل الدَّائرة	نصف مجموع قياسي القوس المقابل للزاوية والقوس المقابل للزاوية التي تقابلها بالرأس
زاوية خارجيَّة	زاوية محصورة بين قاطعين خارج الدَّائرة	خارج الدَّائرة	نصف الفرق المطلق بين قياسي القوسين المقابلين لها

حالات الزاوية المحيطية بالنسبة لضلعي الزاوية المركزية

الحالة الأولى	الحالة الثَّانية	الحالة الثَّالثة	مبرهنةُ طالس (حالة خاصَّة)
يَقَعُ مَرْكَزُ الدَّائِرَةِ خَارِجَ الزَّاويةِ المُحيطيَّةِ.	يَقَعُ مَرْكَزُ الدَّائرةِ على أحدِ ضِلْعَيْ الزَّاويةِ المُحيطيةِ.	يَقعُ مَركَزُ الدَّائرةِ دَاخلَ مَنطقةِ الزَّاوية المُحيطيَّة.	الزَّاويةُ المُحيطيةُ زَاوِيةٌ مُستقيمةٌ.

المُبرهنة السابقة تُعطي علاقةً بين الزوايا المركزية وبين الزوايا المماسية والمحيطية. كنتيجة، عند تثبيت قوسٍ ما في دائرة، فإنَّ الزوايا المحيطية التي تحصر هذا القوس متساوية. والعكس صحيحٌ أيضاً، فالمحل الهندسي لرؤوس الزوايا متساوية القياسات التي تحصر قطعةً مُستقيمةً ثابتةَ الطول هي قوس دائري. وينتج عن هذه المبرهنة أيضاً مبرهنة طالس: والتي تنص على أنَّ الزاويةَ المُحيطيةَ التي تَحصِرُ قطراً قائمةٌ.

النِّقاطُ ${\displaystyle P_{1},P_{2},P_{3}}$  هِيَ نِقاطٌ دَاخليةٌ ومُحيطيَّةٌ وخَارِجَةٌ على التَّرْتيبِ.	النقطتانِ ${\displaystyle P,P'}$  نُقطَتانِ مُتقَابَلَتان قطْرياً.

هُناك ثلاثُ حالات ممكنةٍ لموقعِ نُقطةٍ ما بالنسبةِ إلى دائرةٍ مُعطاةٍ في المستوى نَفسِهِ تُصنّفُ حَسب بُعدِها من مركز الدائرة: نقاط داخليَّة ومُحيطيَّة وخارجيَّة:

التصنيف	التعريف	الترميز	مراجع
نقطة داخلية	نقطة تقع داخل الدائرة، أي: تبعد عن المركز مسافةً أقل من نصف القطر.	${\displaystyle Int~C(O,r)}$
نقطة مُحيطيَّة	نقطة تقع على محيط الدائرة، أي: تبعد عن المركز مسافةً مساوية لنصف القطر.	${\displaystyle C(O,r)}$
نقطة خارجيَّة	نقطة تقع خارج الدائرة، أي: تبعد عن المركز مسافةً أكبر من نصف القطر.	${\displaystyle Ext~C(O,r)}$
نقطتان متقابلتان	أو النقطتان المتقابلتان قطريَّاً هما نقطتا طرفي قطر ما في الدَّائرة	${\displaystyle P,P'}$

إنَّ التعريفَ الرياضيَّ المُقابلَ للجدول السابق بالإمكان التعبير عنه بمبرهنة المجموعات كالآتي: إذا كانت الدائرة مركزها ${\displaystyle O}$  والنقطة المتغيِّرةُ ${\displaystyle P}$ ، فإنَّ مجموعة نقاط ${\displaystyle P}$  في المستوى ${\displaystyle E}$  تُعرَّف على أنَّها:

$${\displaystyle Int~C(O,r)=\left\{P\in E~:~{\overline {OP}}$$

 

$${\displaystyle Ext~C(O,r)=\left\{P\in E~:~{\overline {PQ}}>r\right\}}$$

 

يُعرف زوج النقاط التي تمثل طرفي قطر في دائرة على أنهما نقطتان متقابلتان، وهما متماثلتان بالنسبة لمركز الدائرة. تُعرَّف مجموعة أزواج النقاط التي تحقق ذلك رياضياً:.

$${\displaystyle \left\{P,P'\in C(O,r)~:~{\overline {PP'}}=2r\right\}}$$

 

 

قوة النقطة

تُعرّفُ قوةُ نقطة ما بالنسبة لدائرة ثابتة على أنها مربع المسافة بين النقطة ومركزِ الدائرة مطروحاً من مربع نصف قطر الدائرة. رياضيّاً: في قوة النقطة ${\displaystyle P}$  بالنسبة للدائرة ${\displaystyle C(O,r)}$  هي المقدار:${\displaystyle {\mathcal {Pow}}(P)=OP^{2}-r^{2}}$ . نتيجةً لذلك، إنَّ قوةَ النُقطةِ ${\displaystyle P}$  تكونُ مقداراً سالباً عندما ${\displaystyle OP$  أي أّنها نقطةٌ داخليةٌ للدائرة، وتكون مقداراً مُنعدماً عند وقوعها نقطةً مُحيطيّةً، ومقداراً موجباً عندما تقع خارج الدائرة. في الصيغِ الرياضيةِ لمبرهنات قطع الوتر والقاطع وقاطع التماس، يظهرُ في جميعِها مقدار قوة النقطة؛ لذا فإنها تُسمّى جميعها بمبرهنات قوة النقطة. أيّ أنَّ ${\displaystyle {\mathcal {Pow}}(P)}$  هو مقدارٌ ثابت لكل نقطة ودائرة ثابتتين، وأنَّ أي خط مستقيم يمر بهذه النقطة فإن الصيغ الرياضية المرتبطة به تساوي ${\displaystyle {\mathcal {Pow}}(P)}$ .

كما تُعرّفُ قوة النقطة الواقعة خارج دائرة على أنّها مُربّعُ المماس الخارج من هذه النقطة إلى الدائرة. وتُثبت هذه العلاقات باستخدام مبرهنة فيثاغورس ومبرهنة تعامد شعاع الدائرة مع المماس عند نقطة التماس: لتكن ${\displaystyle T}$  نقطة تماس المماس الخارج من ${\displaystyle P}$  إلى الدائرة ${\displaystyle O}$ . من مبرهنة التعامد: ${\displaystyle OT\perp PT}$ ، بتطبيق فيثاغورس في المثلث القائم: ${\displaystyle \triangle OTP}$ ، فإنَّ ${\displaystyle OT^{2}+PT^{2}=OP^{2}}$  أو بشكلٍ مكافئ:${\displaystyle OP^{2}-OT^{2}=PT^{2}=OP^{2}-r^{2}}$ .

نظريات قوة النُّقطة

الاسم	الصيغة الرياضية	النص
مبرهنة قِطَع الوتر	${\displaystyle {\mathcal {Pow}}(P)=P_{1}B\cdot P_{1}D=P_{1}A\cdot P_{1}C}$	إذا تَقاطعَ وَتَرانِ في دائرةٍ فَإنَّ حَاصلَ ضَرْبِ طُولَيْ جُزأيْ الوَتَرِ الأوَّلِ يُساوي حَاصِلَ ضَرْبِ طُولَيْ جُزْأيْ الوَتَرِ الثَّانِي.
مبرهنة القاطع	${\displaystyle {\mathcal {Pow}}(P)=P_{2}X\cdot P_{2}Y=P_{2}Z\cdot P_{2}W}$	إذا رُسِمَ قَاطِعَانِ لدائرةٍ من نُقطَةٍ خَارِجها، فإنَّ حَاصِلَ ضَرْبِ طُولِ القاطِعِ الأوَّلِ في طُولِ الجُزْءِ الخَارِجِيِّ مِنهُ، يُساوي حَاصِلَ ضَرْبِ طُولِ القَاطِعِ الثَّانِي فِي طُولِ الجُزْءِ الخَارِجِيِّ مِنهُ.
مبرهنة قاطعُ التَّماسِ	${\displaystyle {\mathcal {Pow}}(P)=PT^{2}=PA\cdot PB}$	إذا رُسِمَ مَمَاسٌّ وقَاطِعٌ لدائِرَةٍ من نُقطَةٍ خَارِجها فإنَّ مُربَّعَ طُولِ المَماسِ يُساوي حَاصِلَ ضَرْبِ طُولِ القَاطِعِ في طُولِ الجُزءِ الخَارِجِيِّ مِنْه.تEعرف في الهندسة المستوية بأنها عدد حقيقي يعبر عن المسافة النسبية لنقطة معطاة في دائرة.

مبرهنتا قِطَعِ الوترِ والقاطع.	مبرهنة قاطعِ التَّماسِّ.

تَصْنِيفُ أزْواجِ الدَّوائِرِ حَسب بُعدِها عن بعضها

دائرتان متباعدتان		دائرتان متماستان		دائرتان متقاطعتان
دائرتان لا تشتركان في أي نقطةٍ		دائران تمسان مستقيماً في نقطةٍ مشتركةٍ		أعلى عدد ممكن من التقاطعات بين دائرتين هو تقاطعان.
		خارجيَّاً	داخليَّاً
		دائرتان متماسَّتان يقع مركز كلِّ منهُما خارج مُحيط الأخرى	دائرتان متماسَّتان يقع مركز إحداهما في قرص الأخرى

الدائرتان المتقاطعتان هما دائرتان تشتركان بنقطتين وهو أعلى عدد من النقاط الممكن اشتراكه بين دائرتين. يُعبّر عن ذلك رياضياً كالآتي: باعتبار ${\displaystyle r_{1}}$  نصف قطر الدائرة الأولى و${\displaystyle r_{2}}$  نصف قطر الدائرة الأخرى فإن المستقيم ${\displaystyle \ell }$  الواصل بين المركزين يحقق المعادلة:

$${\displaystyle r_{1}+r_{2}<\ell$$

 

تَصْنِيفُ أزْواجِ الدَّوائرِ حَسب مَرَاكِزِها وَأنْصافِ أقْطارِها

الدائرتان المُتعامدتان: في الهندسة التعاكسية، هما دائرتان، المماسان لهما في نقطتَيْ تقاطُعِهِما يمر بمركزِ كُلٍّ منهُما.	الدائرتان المتطابقتان: دائرتان لهما نصف القطر نفسه.	الدائرتان متحدتا المركز أو في الهندسة التعاكسية: الدائرتان المتوازيتان هما دائرتان يشتركان في المركز نفسه.	الدائرتان المنطبقتان: دائرتان متحدتان مركزياً لهما الشعاع نفسه.

الدائرتان متحدتا المركز: ${\displaystyle \odot O}$  التي نصف قطرها ${\displaystyle {\overline {OA}}}$  و${\displaystyle \odot O}$  التي نصف قطرها ${\displaystyle {\overline {OB}}}$  دائرتان متحدتا المركز. تُعرف الدَّائرة على أنها مُطابقةٌ إلى دائرةٍ أُخرى إذا وفقط إذا تطابقت أنصاف أقطارهما، ويحققان: ${\displaystyle \odot O_{1}\cong \odot O_{2}\Leftrightarrow {\overline {O_{1}A}}\cong {\overline {O_{2}B}}}$ .

أشكالٌ مُركَّبةٌ من دوائرَ

الحلقة: شكل شبيه بالخاتم محصور بدائرتين متحدتيّ المركز.	العدسة: تقاطع قرصين. الهلال: جزء الدائرة غير المتقاطع.	مثلث رولو: تقاطع 3 دوائر تمر كل منهم في مركز الأخرى	الأربيلوس: أنصاف دوائرَ تشترك في قاعدة ما

 

تُسمَّى العدسة الناتجة عن تقاطع دائرتين متطابقتين عدسة متناظرة، عدا ذلكَ فتُسمّى عدسة جامعة أو غير متناظرة. تُقاس مساحة العدسة المتناظرة بدلالة زاوية القوس المحصورة به ${\displaystyle \theta }$  بالراديان ونصف قطر الدائرتين ${\displaystyle R}$  بالصيغة الآتية:

$${\displaystyle A=R^{2}\left(\theta -\sin \theta \right)}$$

 

 

تَصْنِيفُ المستقيمات في الدَّائرةِ حسْبَ عدد نقاط تقاطعها معها وبُعدِها عن مركزها

المستقيم	التعريف	رياضياً	ملاحظة
مستقيمٌ قاطِعٌ	مستقيم يقطع الدائرة في نقطتين.	مُستقيمٌ يبعدُ عنِ المركزِ مَسافَةً أصغر من نِصْفِ قِطرِ الدَّائرةِ (${\displaystyle {\text{dist}}(O,\ell )$ )
مستقيمٌ مَاسٌّ	مستقيم يُمسّ الدَّائرة في نقطة وحيدة.	مُستقيمٌ يبعدُ عنِ المركزِ مَسافَةً مساويةً لنِصْفِ قِطرِ الدَّائرةِ (${\displaystyle {\text{dist}}(O,\ell )=r}$ )
مستقيمٌ مَارٌّ	مستقيم لا يمس ولا يقطع الدائرة في أي نقطة.	مُستقيمٌ يبعدُ عنِ المركزِ مَسافَةً أكبر من نِصْفِ قِطرِ الدَّائرةِ (${\displaystyle {\text{dist}}(O,\ell )>r}$ )
مستقيمٌ مُنَصِّفٌ	مستقيم يمر بمركز الدائرة.	مستقيم يمر بنقطة المركز، أو بُعدُه عن المركز معدومٌ. (${\displaystyle {\text{dist}}(O,\ell )=0}$ )

تَصنِيفُ المُستقيمَاتِ المُشتركة في دائرتين

المستقيم	التَّعريف	الترميز
خطُّ مركزين	مستقيم يصل بين مركزي دائرتين	${\displaystyle {\overline {O_{1}O_{2}}}}$
وتر مُشترك	وتر طرفاه هما نقطتا تقاطع دائرتين	${\displaystyle {\overline {AB}}}$
مَماسٌ مشتركٌ خارجيّ	أو مماس خارجي، مستقيم يمس كلتا الدائرتين ويقطعُ امتدادَ خَطِّ المَركزين.	${\displaystyle {\overleftrightarrow {T_{1}T_{2}}}}$
مماسٌ مشتركٌ داخليّ	أو مماس داخلي، مستقيم يمس كلتا الدائرتين ويقطع القطعة الواصلة بين المركزين.	${\displaystyle {\overleftrightarrow {T_{1}T_{2}}}}$
قطعة تماس	قطعة من مماس مشترك طرفاها نقطتا تماس الدَّائرين	${\displaystyle {\overline {T_{1}T_{2}}}}$
محور أساسي	المحل الهندسي لمجموعة النقاط في المُستوى التي لها نفس القوة بالنِّسبة لدائرتين مُتباعِدَتين.	${\displaystyle {\overleftrightarrow {AB}}}$

التناظر في الدائرة

 

في نظرية الزمر، الدائرة هي أكثرُ الأشكالِ تناظراً. أيُّ مُستقيمٍ مُنصِّفٍ (خطٍّ مُستقيمٍ يمرُ بمركزِ الدائرةِ) يُحَقِّقُ خاصيةَ التناظر الانعكاسي وخاصيةَ التناظر الدوراني. زُمرة تماثل الدائرة هي زمرةٌ متعامدةٌ ${\displaystyle O(2,R)}$ . زمرة الاستدارات الخاصة بالدائرة تُسمى زمرة الدائرة (${\displaystyle \mathbb {T} }$ ) وتُعرّف على أنها زمرة ضربية تحتوي على جميع الأعداد المركبة التي معيارها مساوٍ لـ1.

$${\displaystyle \mathbb {T} =\{z\in \mathbb {C} :|z|=1\}~.}$$

 

في الدائرة ذات المركز ${\displaystyle O}$  والوتر ${\displaystyle {\overline {AB}}}$ ، المثلث ${\displaystyle \triangle ABO}$  متطابق الضلعين. إذا كانت ${\displaystyle M}$  نقطة منتصف ${\displaystyle {\overline {AB}}}$  فإنَّ ${\displaystyle \triangle AMO\cong \triangle BMO}$  من تطابق (SSS)، وعليه فإنَّ ${\displaystyle \angle AMO\cong \angle BMO}$  وكذلك ${\displaystyle OM\perp AB}$ . أيضاً الزاويتان ${\displaystyle \angle AOM\cong \angle BOM}$ . إذا كانت ${\displaystyle P,Q}$  نقطتا تقاطعِ المستقيمِ ${\displaystyle OM}$  مع الدائرة، فإنَّ من تطابق ${\displaystyle \triangle OAP\cong \triangle OBP}$  (SSS) والذي يُنتج ${\displaystyle {\overline {AP}}\cong {\overline {BP}}}$ . كنتيجة، القوسان ${\displaystyle AP,BP}$  متطابقان أيضاً. بالمثل، ${\displaystyle \triangle AOQ\cong \triangle BOQ}$  (من تطابق SAS) و${\displaystyle {\overline {AQ}}\cong {\overline {BQ}}}$ . وهذا يعني أن الدائرةَ ${\displaystyle O}$  ونقطتي مُنتصفي القوس الأكبر والقوس الأصغر جميعهم يقعون على العمود المنصف للوتر ${\displaystyle {\overline {AB}}}$ . إذن، مركز أي دائرة هو تقاطع المنصفين العموديين لأي وترين على الدائرة.

إذا كانت ${\displaystyle T}$  تقاطع مماسات الدائرة عند ${\displaystyle A,B}$ ، فمن مبرهنة فيثاغورس، ${\displaystyle TA^{2}=TO^{2}-OA^{2}=TO^{2}-OB^{2}=TB^{2}}$ . مما يعني أنَّ ${\displaystyle TA=TB}$ . بعبارةٍ أخرى، قطعتا التماس المنطلقة من نقطة إلى دائرة متطابقانِ. من تطابق (SSS تطابق) فإنَّ ${\displaystyle \angle OAT\cong \angle OBT}$ ، إذن، الزاوية ${\displaystyle TOA=TOB}$ ، ومن النتيجة السابقة، فإنَّ ${\displaystyle T}$  تقع على المنصف العمودي لـ${\displaystyle AB}$ . إذا قطع مُستقيمان مُتوازيان الدائرة ${\displaystyle O}$  في ${\displaystyle {\overline {AB}}\parallel {\overline {CD}}}$  فإنَّ الشكلَ الناتج هُو شبه مُنحرف متطابق الساقين. والعكس صحيحٌ أيضاً، فإن كُلَّ شبهِ مُنحرفٍ متطابق الساقين يُعدُّ رباعيَّاً دائريَّاً.

تتلخَّصُ النتائج السابقة في ما يلي:

• أي مستقيم يمر بمنتصف وتر، يتعامد عليه إذا وفقط إذا نصَّف القوسين اللذين يحصرهما الوتر. وهذا يكافئ أن يمر بمركز الدائرة.
• يتساوى وتران في الدائرة إذا وفقط إذا وقعا على مسافةٍ متساويةٍ من مركز الدائرة.
• الوتران في دائرة يتوازيان إذا وفقط إذا حصرا قوسين متساويي القياس.
• المماس عند نقطة التماس يتعامد مع نصف القطر الواصل بينها وبين المركز.
• المماسان من نقطة واحدة خارج الدائرة متطابقان.

التطابق في الدائرة

ليكن ${\displaystyle {\overline {AB}}}$  وتراً في الدائرة ${\displaystyle C(O,r)}$ . بتطبيقِ متباينة المثلث: ${\displaystyle OB+OC>AB}$  لكنَّ ${\displaystyle OA=OB=r}$ ، إذن بالتعويض ينتجُ ${\displaystyle AB<2r}$ . أي أنّ: «طول أي وتر داخل الدائرة لا يزيد عن طول القطر». وتحصل المساواة عند تلاشي المثلث وانتماء مركز الدائرة إلى الوتر أي كون ${\displaystyle AB}$  قطراً في الدائرة. في الدَّائرة نفسها أو في الدَّوائر المُتطابقة، يتطابق قوسان إذا وفقط إذا تطابقت الزاويتان المركزيَّتان المتقابلتان معهما. والعكس صحيحٌ أيضاً، أي أنَّ أطوال أوتار الدائرة الواحدة أو الدوائر المتطابقة، تتساوى إذا وفقط إذا تساوت قياسات أقواسهما المتناظرة. بفرض أن الوترين ${\displaystyle {\overline {AB}},{\overline {CD}}}$  لهما الطول نفسه في الدائرة ${\displaystyle C(O,r)}$ ، من تساوي أشعة الدائرة الواحدة يكون: ${\displaystyle OA=OB=OC=OD=r}$ . وعلى ذلك ${\displaystyle \triangle OAB\cong \triangle OCD}$ ، وبما أن الزوايا المتناظرة لمثلثين متطابقين متطابقة ينتج المطلوب. مبرهنة: الوتر الأكبر يحصر قوساً ذا قياسٍ أكبر من قياس القوس الذي يحصره الوتر الأصغر. والعكس صحيح. كما أنَّ الوترَ الأكبرَ يبعُدُ بعداً عن مركز الدائرة أقل من بعد الوتر الأصغر.

العمق وطول الوتر

 

عمق القوس (بالإنجليزية: Sagitta)‏ هو قطعة مستقيمة تصل بين منتصف قوسٍ ومنتصف وتره. تُستعمل حسابات عمق القوس بكثافة في العمارة. يُحسب عمق القوس ذي الزاوية ${\displaystyle \theta }$  في الدائرة التي نصف قطرها ${\displaystyle r}$  بالصيغة:

$${\displaystyle s=r\operatorname {versin} \theta =r\left(1-\cos \theta \right)=2r\sin ^{2}{\frac {\theta }{2}}.}$$

 

${\displaystyle \theta }$ 

${\displaystyle 2r\sin \theta }$ 

${\displaystyle y}$ 

${\displaystyle x}$ 

$${\displaystyle r={\frac {y^{2}}{8x}}+{\frac {x}{2}}.}$$

 

خط القوة

 

 

خط القوة أو المحور الأساسي (بالإنجليزية: Radical axis)‏ لدائرتين ما، هو المحل الهندسي للنقاط في المستوى التي تتساوى قُوَّتها بالنسبة لهما.  وبشكل مكافئ، إذا كانت الدائرتان متباعدتان ولا تحتوي إحداهما الأخرى فبالإمكان تعريف خط القوة على أنه المحل الهندسي للنقاط في المستوى التي يكون طول المماسين المارين بها والمماسين للدائرتين متساوٍ. المحور الأساسي دائماً يتَّخذ خطّاً مستقيماً تكون نقاطه متساوية القوى بالنسبة للدائرتين؛ ولذلك فإنه يُسمَّى بخط القوة. عدا أنه في حالة اتحاد الدائرتين مركزياً يصبح خط القوة غير مُعرَّف. وفي حالة تقاطع الدائرتين، فإن خط القوة يمر بنقطتي تقاطعهما أو تماسهما. خط القوة عمودي دائماً على الخط الواصل بين مركزي الدائرتين وهو أقرب لمحيط الدائرة الأكبر. ومن خصائصه:

• خط القوة لدائرتين عمودي على المُستقيم المار بمركزيهما ويُنصِّفُ وترَهُما المُشتركَ.
• خط القوة لدائرتين متقاطعتين يمر بنقطتي تقاطعهما.
• خط القوة لدائرتين متماسَّتين يمر بنقطة تماسّهما ويكون حينئذٍ مماسَّاً مُشتركاً لهما.
• خط القوة لدائرتين مُتماسّتين من الخارج يمر بمنتصف قطعة المماس المُشترك الآخر لهما.
• لأي ثلاث دوائر مراكزها ليست على استقامةٍ واحدةٍ، فإن محاورها الرَّئيسيَّة مثنى مثنى تتقاطع في نقطة واحدة تُسمَّى المركز الأساسي أو مركز القوة للدوائر الثلاث.

مركز القوة

لتكن ${\displaystyle A,B,C}$  دوائرَ غير متحدةٍ مركزياً مثنىً مثنىً. فإنَّ مبرهنة خط القوة تنصُّ على أنَّ الثلاثَ خطوط القوة لكل زوجِ دوائرَ إما أن تتوازى أو تلتقي في نقطة تُسمَّى: مركز قوة الدوائر. ويُقال تقنياً أيضاً عن خطوط القوى عندما تتوازى بأنّها تلتقي في نقطة في اللانهاية.

وبُرهانُ ذلك: من خواصّ خط القوة لزوجِ دوائرَ، أنَّ المماسات المنطلقة من نقطة تقع عليه لدائرتين تتطابق. فإذا التقى خطّ قوة الدائرتين ${\displaystyle A,B}$  مع محور الأساسي الدائرتين ${\displaystyle C,D}$  في نقطة ${\displaystyle M}$  فإنَّ المماسات المنطلقة من ${\displaystyle M}$  لجميعِ الدوائرَ تتطابق، أي أنَّ: ${\displaystyle {\mathcal {Pow}}(M,A)={\mathcal {Pow}}(M,B)}$  وأيضاً ${\displaystyle {\mathcal {Pow}}(M,B)={\mathcal {Pow}}(M,C)}$  فبالتعدّي، يُصبح ${\displaystyle {\mathcal {Pow}}(M,C)={\mathcal {Pow}}(M,A)}$ وبتطبيق عكسِ مبرهنة خط القوة، فإنّ النقطة ${\displaystyle M}$  تقعُ على خط القوة للدائرتين ${\displaystyle C,A}$  وبذلكَ يحصل تلاقي جميع خطوط القوة في النقطة ${\displaystyle M}$ . من البرهانِ السابق، تَصيرُ النقطة ${\displaystyle M}$  مركزاً لدائرةٍ تقطعُ الدوائر الثلاث. وتُعدّ هذه الدائرةُ دائرةً وحيدةً لكُلِّ 3 أزواج من الدوائر وتكون مُتعامِدةً عليهم جميعاً.

حالات وعلاقات الكائنات الهندسية فيما بينها
تسامُتٌ	تلاقٍ
توازٍ	تعامد
تنصيف	انطباقٌ
دَائريَّةٌ	تماس
السعي نحو اللانهاية	انعدامٌ
مُخالَفَةٌ	اشتراك في مستوى

لِكلّ مثلثٍ ثمَّةَ دائرةٌ وحيدةٌ تمرُّ برؤوسه. وتُسمَّى هذه الخاصيَّة التي تتمتع بها المُضلعات من أن تقع رؤوسها على دائرة ما «الدّائريَّة»، فيُقال عن المُضلّع أنه «دائري» إذا وُجدت دائرة تمر بجميع رؤوسه. أما النقاط التي تتمتع بهذه الخاصية فتُسمَّى نقاطاً مُشتركةً بدائرةٍ. على الرغم من ان جميع المثلثات دائرية، إلا أنّ ليست جميع المُضلَّعات الأخرى تتمتع بنفس هذه الخاصية. فعلى سبيلِ المثال، جميعُ المضلّعات المُحدَّبة تستحيل وجود دائرة تمر بجميع رؤوسها، وليست جميعُ الرباعيات لها دوائرَ مُحيطة. فجميعُ المُعيَّنات غير المربعة لا يُمكن أن تقع رؤوسها على دائرة. هناك أشكال شهيرة تُصنَّف دائماً على أنها دائرية، من ضمنها المستطيل وشبه منحرف متساوي الساقين، واللذان يُصنّف من ضمنهما المُربّع أيضاً وكذلك المُضلَّعات المُنتظِمة. للرباعيات الدائرية والمضلعات الدائرية الأخرى عموماً نظريات خاصة تنطبق عليها.

هُناك علاقة أخرى تربط الدائرة بالمضلعات، وهي التّماسُّ. تُعرَفُ المضلعاتُ المماسيَّة على أنها مُضلّعات توجد لها دائرة تمسُّ جميعَ أضلاعها أو امتداداتها. جميع المُثلَّثات والمُضلّعات المنتظمة مُضلعات مماسية. ولها خواص ونظريات خاصة تنطبق عليها أيضاً.

المُثلَّث

 

تُصنّف مراكز الدوائر الخاصة بالمثلث على أنها من مراكز المثلث. من أبرزها: دائرة المثلث الداخلية، دائرة المثلث المحيطة، دائرة النقاط التسع و3 دوائرَ خارجية للمثلث. لكل مثلث يُوجد دائرة وحيدة تمس جميع أضلاعه تُسمَّى الدَّائرة الدَّاخلية أو الدَّاخلة. الدَّوائر الخارجيَّة لمثلث لكل مثلث توجد ثلاث دوائر خارجية تمس امتدادات أضلاعه. تُنشأُ الدوائر الماسة للمثلث بأخذ منصفات الزوايا الخارجية والداخلية للمثلث، إذ تتقاطع هذه المنصفات في مراكز الدوائر الماسة. يمرُّ خط أويلر   بمركزَي الدائرتين البارزتين في المثلث: دائرة النقاط التسع ودائرته المحيطة، بالإضافة إلى نقطتي ملتقى ارتفاعات المثلث وملتقى متوسطاته. كما تربط مبرهنة فويرباخ  بين أبرز دوائر المثلث: دائرة النقاط التسع ودوائره الماسة: الدائرة الداخلية والدوائر الخارجية الثلاث.

•  
  يقع مركز محيطة مثلثٍ ما داخلَه إذا وفقط إذا كانت جميع زوايا المثلث حادة.
•  
  يقع مركز مُحيطة مثلث قائم على وتره (مبرهنة طاليس).
•  
  يقع مركز محيطة مثلث حاد خارجه.

تُعطى الإحداثيات الخطية الثلاثية لمركز دائرة المثلث المُحيطة بالصيغة:

$${\displaystyle a(b^{2}+c^{2}-a^{2}):b(c^{2}+a^{2}-b^{2}):c(a^{2}+b^{2}-c^{2})}$$

 

$${\displaystyle 2R={\frac {a}{\sin A}}={\frac {b}{\sin B}}={\frac {c}{\sin C}}.}$$

 

$${\displaystyle {\begin{aligned}2R&{}={\frac {abc}{2\cdot {\text{area}}}}={\frac {|AB||BC||CA|}{2|\Delta ABC|}}\\[5pt]&{}={\frac {abc}{2{\sqrt {s(s-a)(s-b)(s-c)}}}}\\[5pt]&{}={\frac {2abc}{\sqrt {(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}}}\end{aligned}}}$$

 

 

والصيغةُ المُثلَّثية المكافئة لما سبق تكون كالآتي:

$${\displaystyle 2R={\sqrt {\frac {2\cdot {\text{area}}}{\sin A\sin B\sin C}}}.}$$

 

$${\displaystyle OI={\sqrt {R(R-2r)}}}$$

 

$${\displaystyle OH={\sqrt {R^{2}-8R^{2}\cos A\cos B\cos C}}={\sqrt {9R^{2}-(a^{2}+b^{2}+c^{2})}}.}$$

 

 

تنص مبرهنة كارنو على أنَّ مجموع الأبعاد المُؤشّرة من مركز محيطة المثلث إلى أضلاعه يساوي مجموع شعاعَيْ دائرتَيْ المثلث المحيطة والداخلية:

$${\displaystyle DF+DG+DH=R+r}$$

 

• منتصف كل ضلع المثلث.
• مسقط كل رأس المثلث.
• منتصف كل قطعة واصلة بين رأس المثلث وملتقى ارتفاعاته.

من تعريفات دائرة النقاط التسع أنَّها صورة دائرة المثلث المحيطة بعد تحاكٍ مركزه ملتقى الارتفاعات ومعامل تصغير النصف. وكنتيجة، فإنَّ قطر دائرة النقاط التسع يساوي نصف قطر الدائرة المحيطة. وكذلكَ فإنَّ دائرة النقاط التسع تمر بمنتصف أيّ وتر يمر بنقطة ملتقى ارتفاعات المثلث. بينما بشكلٍ مُشابه، يُنصّف مركز دائرة النقاط التسع (والذي يُرمز إليه بالنقطة ${\displaystyle N}$ ) القطعة المستقيمة ${\displaystyle {\overline {OH}}}$  الواصلة بين مركز محيطته ونقطة ملتقى ارتفاعاته أي أنَّ: ${\displaystyle {\overline {NO}}={\overline {NH}}}$ .

الرباعي الدائري

 

الرباعي الدائري هو مُضلع رباعي تُوجَدُ دائرةٌ تمرُّ بجميعِ رؤوسِه. الشروط المذكورة للرباعي الدائري هي شروط مُتكافئة، أي أنَّ تَحقُّقَ أحد الشروط يُؤدي إلى تحقُّقِ بقيةِ الشروط. تُعرَف أيضاً الشروط على أنها شروطٌ كافية وضرورية أي أنَّ تحقُّقَ عكسِ الشرط المذكور يُؤدّي إلى أن يكونَ الرباعيُّ دائرياً. يُعدُّ الشكلُ الرُّباعيُّ دائريَّاً إذا وفقط إذا:

• تقاطعت مُنصَِفاتُ أضلاعِه العموديةِ في نُقطَةٍ واحدةٍ.
• وُجِدَت زاويتان مُتقابلتان فيه مُتكاملتان.
• وُجِدَت زاويتان متساويتان رأسهما إحدى رأسي الرُّباعي على جهةٍ واحدةٍ من قاعدته. (رياضيّاً: ${\displaystyle \angle CAD=\angle CBD}$ )
• انطبقَ عليه عكسُ مبرهنة بطليموس. 
• انطبقت عليه عكس مبرهنة قوة النقطة. 

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

بحسب صيغة مساحة براهماغوبتا، تُحسَب مساحة الرباعي الدائري الذي أطوال أضلاعه: ${\displaystyle a,b,c,d}$  ونصف محيطه ${\displaystyle s}$  حيث ${\displaystyle S={\frac {a+b+c+d}{2}}}$  بالصيغة الآتية:

$${\displaystyle A={\sqrt {(s-a)(s-b)(s-c)(s-d)}}}$$

 

$${\displaystyle R={\frac {1}{4}}{\sqrt {\frac {(ab+cd)(ac+bd)(ad+bc)}{(s-a)(s-b)(s-c)(s-d)}}}}$$

 

مُضلَّعاتٌ مماسيَّة

 

المُضلَّع المماسي هو مضلع تُوجد دائرة ما تمس جميع أضلاعه. تُسمَّى هذه الدَّائرة: الدَّائرةَ الدَّاخليَّةَ للمضلَّع. الرُّباعي المُحيط بدائرة يختص بأن كل مجموع طولي كل ضلعين متقابلين منه متساوٍ. فإذا كان الرباعي المُحيط دائرياً أيضاً سُميَّ رباعيّاً ثُنائيَّ المركزِ.و يُختص الرباعي ثنائي المركز (بالإنجليزية: Bicentric quadrilateral)‏ على أنه رباعي مماسي ودائري ومن خواصه أنَّ مجموعَ أطوالِ أضلاعِه المتقابلةِ مُتساوٍ. بينما الرباعي ثنائي المركز الخارجي (بالإنجليزية: Ex-bicentric quadrilateral)‏ هو رباعي مماسي خارجي ودائري في الوقت نفسه.

يحتوي المضلع المحدب على دائرةٍ داخليةٍ إذا وفقط إذا التقت جميع منصفات زواياه في نقطة وحيدة. تُعرف هذه النقطة على أنها مركز دائرته الداخلية. أما إذا كانت أضلاع مضلع ذو ${\displaystyle n}$  رأس هي ${\displaystyle a_{1},a_{2},...,a_{n}}$  ومساحته ${\displaystyle K}$  ونصف محيطه ${\displaystyle s}$  فإنَّ نصف قطر دائرته الداخلية يُحسب بالصيغة:

$${\displaystyle r={\frac {K}{s}}={\frac {2K}{\sum _{i=1}^{n}a_{i}}}}$$

 

 

بالإضافة إلى مبرهنتَيْ خطُّ القوة  وقوة النقطة  اللتين ذُكرتا وبقية مبرهنات الزوايا الخاصة بالدائرة ، فإنّ هناك مبرهناتٌ أخرى مُتعلقةٌ بالدائرةِ، من أبرزها وأكثرها استعمالاً:

مبرهنة بطليموس

مبرهنة بطليموس هي مبرهنة تربط بين أضلاع الرباعي الدائري وقطريه. سميت هذه المبرهنة نسبةً لعالم الفلك والرياضيات الإغريقي بطليموس. وتنص على أنَّ مجموع جداء كُلٌّ من ضلعي رباعي متقابلين مُساوٍ لجداء قُطرَيْه إذا وفقط إذا كان الرباعيُّ دائريّاً. يُعبَّرُ عن العلاقةِ السابقة رياضياً كالآتي: ${\displaystyle {\overline {AC}}\cdot {\overline {BD}}={\overline {AB}}\cdot {\overline {CD}}+{\overline {BC}}\cdot {\overline {AD}}}$ . كما أنَّ عكسَ المبرهنةِ صحيحٌ أيضاً.

خط أويلر

 

خط أويلر، نسبةً إلى ليونهارد أويلر، هو مُستقيمٌ مُعرّفٌ لكلِّ مثلثِ مختلف الأضلاع. يمرُّ بعدّة مراكز بارزة للمثلث. حيث يمر من عدة نقاط هامة محددة في المثلث. برهن أويلر في عام 1767م أن أربعة من مراكز المثلث تتسامت، وهي: ملتقى الارتفاعات ${\displaystyle H}$ ، ملتقى المتوسطات ${\displaystyle G}$ ، مركزَي الدائرتين المحيطية ودائرة النقاط التسع ${\displaystyle O,N}$ . تنطبق هذه النقاط عند كَوْنِ المثلث متطابقَ الأضلاعِ. يمكن رسم مستقيم أويلر بإيجاد أي نقطتين من النقاط الأربعة والوصل بينهما.

خط سيمسون

خط سيمسون (بالإنجليزية: Simson line)‏ هو مستقيمٌ يمُرّ بمساقط نقطةٍ مشتركةٍ مع مثلثٍ في دائرته المحيطة على أضلاعه. رياضياً: إذا كان ${\displaystyle \triangle ABC}$  مثلثاً ذو دائرةٍ محيطةٍ ${\displaystyle \Omega }$  والنّقطةُ ${\displaystyle P}$  واقعةٌ عليها ومساقطها على مستقيمات المثلث ${\displaystyle CA,AB,BC}$  هي ${\displaystyle L,M,N}$  على الترتيب، فإنّ النقاط ${\displaystyle L,M,N}$  هي نقاطٌ متسامتةٌ ويُسمّى خطّها خط سيمسون. كما أنَّ عكسَ المبرهنة صحيحٌ أيضاً؛ إذا تسامتت مساقطُ نقطةٍ على أضلاع مثلث، فلا بدَّ أنَّ تقع هذه النقطة على دائرة المثلث المحيطة. بالإمكان التعبير عن ذلك أيضاً بأنَّ نقطةً ينعدمُ عندها مثلث المساقط إذا وفقط إذا وقعت على دائرته المحيطة.

مبرهنة باسكال

 

في الهندسةِ الإسقاطية، تنصُّ مُبرهنةُ باسكال (بالإنجليزية: Pascal's theorem)‏ على أنَّ لأيّ ستِّ نقاطٍ على قطعٍ مخروطيٍّ (أي: قطع ناقص، مكافئ أو زائد) وُصِلَت بينَهم قطعٌ مستقيمةٌ بأيّ ترتيبٍ بحيث تُشكّل سداسياً، فإنَّ أزواجَ الأضلاع المتقابلة من السداسي (أو امتداداتها) تتتلاقى في نقاطٍ تتسامتُ على خطّ يُسمّى خطَّ باسكال للسداسي. أسميت المبرهنة نسبةً إلى بليز باسكال، وتصحُّ أيضاً في الهندسةِ الإقليدية إلا أن هناك حالة خاصة من أن تتوازى المستقيمات ينبغي أن تؤخذ بعينِ الاعتبار.

الصيغة الرياضية لمبرهنة باسكال هي كالآتي: لأي سداسي ${\displaystyle ABCDEF}$  تقع رؤوسه على قطعٍ مخروطيٍّ فإنّ ملتقياتِ أزواج المستقيمات الآتية مُتسامتة:

$${\displaystyle H=AF\cap DC,G=AB\cap DE,K=AF\cap BC}$$

 

كنتيجة لمبرهنة باسكال، تنتج العلاقة الآتية بين أطوال الأضلاع:

$${\displaystyle {\frac {\overline {GB}}{\overline {GA}}}\times {\frac {\overline {HA}}{\overline {HF}}}\times {\frac {\overline {KF}}{\overline {KE}}}\times {\frac {\overline {GE}}{\overline {GD}}}\times {\frac {\overline {HD}}{\overline {HC}}}\times {\frac {\overline {KC}}{\overline {KB}}}=1.}$$

 

مبرهنة مونج

 

تنصُّ مبرهنة مونج (بالإنجليزية: Monge's theorem)‏، نسبةً إلى غاسبار مونج، على أنَّ لأيِّ 3 دوائر في المستوى لا تقع إحداهن داخل الأخرى تماماً، فإن ملتقيات أزواج المماسات المشتركة الخارجية تُسمّى مراكز التشابه الخارجية لأزواج الدوائر  لها متسامتة. بالإمكان إثبات مبرهنة مونج باستعمال مبرهنة ديزارغ وكذلك بمبرهنة مينيلاوس، حيث تُحسَب النسب الداخلة في المبرهنة باستعمال بدلالة أشعة الدوائر.

مبرهنة فويرباخ

تنص مبرهنة فويرباخ (بالإنجليزية: Feuerbach's theorem)‏ على أنّ دائرةَ النقاط التسع لمثلثٍ ما تمسُّ دوائرَه الخارجية والداخلية. تُسمّى نقطة تماس دائرة النقاط التسع مع الدائرة الداخلية نقطة فويرباخ بينما نقاط تماس دائرة النقاط التسع مع دوائر المثلث الخارجية فتُسمّى مُثلثَ فويرباخ. وتُعدُّ نقطة فويرباخ مركزاً للمثلث. أي أن تعريفها لا يعتمد على أطوال أضلاع المثلث أو موضعه. أسميت النقطة نسبةً إلى المهندس الرياضي الألماني كارل فويرباخ والذي نشر مبرهنته عام 1822م. أقصر بُرهانٍ لمبرهنة فويرباخ هي باستخدام مبرهنة كايزي التي نشرها جون كايزي عام 1866م، وذلك بتطبيقها على المماسات لدوائر المثلث الخارجية والداخلية الأربع تمسُّ الدائرة الخامسة.

مبرهنة ميكيل

مبرهنة ميكيل (بالإنجليزية: Miquel's theorem)‏ هي مبرهنة تخص تقاطع 3 دوائر تمر برؤوس مثلثٍ ما. ورياضياً: إذا كان ${\displaystyle \triangle ABC}$  مثلثاً واختيرت النقاط ${\displaystyle A',B',C'}$  على أضلاعه ${\displaystyle CA,AB,BC}$  فإنَّ الدوائر المحيطة بالمثلثات ${\displaystyle \triangle AB'C',\triangle A'BC',\triangle A'B'C}$  تُسمّى دوائرَ ميكيل، وهي دوائرٌ متلاقية في نقطة وحيدة ${\displaystyle M}$  تُسمّى نقطة ميكيل. ينطبقُ عكس مبرهنة ميكيل أيضاً، وتُبرهن باستخدام خصائص الرباعيات الدائرية الناتجة عن تقاطع الدوائر مع بعضها بعضاً ومع المثلث.

خط سيمسون ${\displaystyle LN}$  (بالأحمر) للنقطة ${\displaystyle P}$  بالنسبة للمثلث ${\displaystyle \triangle ABC}$  يمُرُّ على النقاط ${\displaystyle L,M,N}$ .	مبرهنة ميكيل: الدوائرُ المارةُ برؤوس مثلثٍ ${\displaystyle \triangle ABC}$ ونقاطٍ مشتركةٍ على أضلاعه ${\displaystyle A',B',C'}$ ، تُسمّى دوائرَ ميكيل وهي متلاقية في نقطةٍ ما ${\displaystyle M}$ .	تنص مبرهنة دوائر ميكيل الست على أنَّ إذا رسمت خمسُ دوائرٍ تتشارك في نقاطٍ دائريةٍ، فإنَّ نقاط تقاطعهم الأخرى أيضاً تقع على دائرةٍ سادسةٍ.
مبرهنة ميكيل وشتاينر على الرباعي التام: الدوائر المارة بمثلثات رباعي تام تلتقي في نقطة وحيدة.	مبرهنة ميكيل على الخماسي.	مبرهنةٌ الفراشة: النقطة ${\displaystyle M}$  هي منتصف ${\displaystyle X,Y}$  حيث أنَّ الوترين ${\displaystyle AB,CD}$  يمرّان بمنتصف ${\displaystyle PQ}$ .

مبرهنة كايزي

 

مبرهنة كايزي (بالإنجليزية: Casey's theorem)‏ وتُعرَفُ أيضاً على أنها تعميمُ مبرهنة بطليموس  ، هي مبرهنةٌ في الهندسة الإقليدية أسميت نسبةً إلى الرياضياتي جون كايزي. تعريفها الرياضي هو كالآتي: لتكن ${\displaystyle \,O}$  دائرةً شعاعها ${\displaystyle \,R}$ . ولتكن ${\displaystyle \,O_{1},O_{2},O_{3},O_{4}}$  أربعَ دوائرٍ غير متقاطعةٍ تقع داخل ${\displaystyle \,O}$ وتمسها على الترتيب. وليرمز ${\displaystyle \,t_{ij}}$  إلى المماس المشترك الخارجي للدائرتين ذواتي المركزين ${\displaystyle \,O_{i},O_{j}}$ ، فإنَّ مبرهنة كايزي تنصُّ على أنَّ:

${\displaystyle \,t_{12}\cdot t_{34}+t_{14}\cdot t_{23}=t_{13}\cdot t_{24}.}$ 

لاحظ أنَّ الحالةَ المُنعدمةَ لمبرهنة كايزي هي مبرهنة بطليموس. وعكسُ المبرهنةِ صحيحٌ أيضاً، أي إذا وجدت 4 دوائر تُحقق العلاقة السابقة فإنَّ هناكَ دائرةٌ تمسُّهم جميعاً.

مبرهنة الفراشة

تنصُ مبرهنة الفراشة على أن الأوتار الواصلة بين طرفي وترين في دائرة يمران بمنتصف وتر ثالث يقطعان الوتر الثالث في نقطتين متناظرتين بالنسبة لمنتصفه. تُوصف هذه العلاقة رياضياً كالآتي: إذا كانت النقطة ${\displaystyle M}$  هي منتصف الوتر ${\displaystyle PQ}$  في دائرة، وُرسم وتران آخران ${\displaystyle AB,CD}$  يمران خلالها. فإنَّ المُستقيمان ${\displaystyle AD,BC}$  يقطعان الوتر ${\displaystyle PQ}$  في نقطتين متماثلتين ${\displaystyle X,Y}$  حول ${\displaystyle M}$ ، أي أنَّ النقطة ${\displaystyle M}$  هي منتصف القطعة المستقيمة ${\displaystyle XY}$ .

هُناكَ تحويلان هندسيانِ رئيسانِ بالنسبةِ للدوائر:

التحاكي

مركز التشابه الخارجي لدائرتين	مركز التشابه الداخلي لدائرتين

 

التحاكي (بالإنجليزية: Homothety)‏ هو تحويل هندسي ينقل الخطوط المُستقيمة المتوازية إلى خطوط مُتوازية بمعامل تكبير عدد حقيقي غير صفري. للدائرتان المُتباعدتان مركزا تشابهٍ (أو تحاكٍ) اثنان: مركز التشابه الخارجي ومركز التشابه الداخلي. ولأنَّ جميعَ الدوائرِ مُتشابهةٌ، فإنَّه يُوجد مركز تشابهٍ (أو تحاكٍ) واحدٍ على الأقل لكل دائرتين. بالإمكان إيجاد مركزَيْ التحاكي لدائرة بعدد من الطرق. في الهندسة التحليلية، مركز التشابه الداخلي يُحسَبُ بالمتوسط الموزون لمركزي الدائرتين موزوناً بنصفي قطري الدائرتين. رياضياً، لتكن ${\displaystyle C_{1}=(x_{1},y_{1}),C_{2}=(x_{2},y_{2})}$  مركَزَيْ الدائرتين و${\displaystyle r_{1},r_{2}}$  هما نصفَيْ قُطريهما. فإنَّ مركز التشابه الداخلي ${\displaystyle (x_{0},y_{0})}$  يُحسَب عبر الصيغة:

$${\displaystyle (x_{0},y_{0})={\frac {r_{2}}{r_{1}+r_{2}}}(x_{1},y_{1})+{\frac {r_{1}}{r_{1}+r_{2}}}(x_{2},y_{2}).}$$

 

بينما يُحسب مركز التشابه الخارجي ${\displaystyle (x_{e},y_{e})}$  بصيغةٍ مُماثلة عدا أنَ الإشارة مُختلفة.

 

$${\displaystyle (x_{e},y_{e})={\frac {-r_{2}}{r_{1}-r_{2}}}(x_{1},y_{1})+{\frac {r_{1}}{r_{1}-r_{2}}}(x_{2},y_{2}).}$$

 

 

${\displaystyle 1}$ 

التعاكس

 

 

التعاكس (بالإنجليزية: Inversion)‏ هو تحويل هندسي يعكِسُ كلَّ نُقطةٍ على المُستوى حول دائرةٍ ثابتة. يُعرّف انعكاسُ النقطة ${\displaystyle P}$  المُختلفة عن المركز حول الدائرة ${\displaystyle C(O,r)}$  على أنه نُقطةٌ ${\displaystyle P'}$  تقع على الشّعاع ${\displaystyle {\overrightarrow {OP}}}$  تُحقّق العلاقة: ${\displaystyle OP\cdot OP'=r^{2}}$ . هُناك اختلاف حول صورة المركز ${\displaystyle O}$ ، هناك من يُعرِّفُه على أن صورة ${\displaystyle O}$  هي نفسها، لكن في الغالب فإنَّه يُعرّف على أنه نقطة في اللانهاية. إنّ التعاكسَ الذي ينقلُ النقطةَ ${\displaystyle P}$  إلى صورتها ${\displaystyle P'}$  أيضاً ينقل الصورة ${\displaystyle P'}$  إلى الأصل ${\displaystyle P}$ ؛ وبهذا تكون دالة التحويل الهندسي الخاصة بالتعاكس دالةً ارتداديَّة، أي بعبارةٍ أخرى: الأصل يؤدي إلى الصورة والصورة تؤدي إلى الأصل.

•  
  انعكاس دائرة مارة بمركز الدائرة أخرى حول الأخيرة، يُنتج خطاً مُستقيماً.
•  
  انعكاس الدائرة الخضراء هو الدائرة الزرقاء بالنسبة للدائرة الحمراء.
•  
  التعاكس لا ينقل مراكز الدوائر إلى بعضها بعضاً.

ينقل التعاكس كُل نقطة داخل الدائرة إلى صورةٍ نظيرةٍ لها خارجها، وكل نقطة تقع على محيط الدائرة فإنَّها تبقى كما هي. يُعبِّر هذا التحويل الهندسي عن اختزالٍ للصورة المستوى اللا نهائي الواقعة عليه الدائرة، بمعنى أنه كلما قربت النقطة من مركز الدائرة كُلمَّا كانت صورتها أبعد عن الدائرة، وكلَّما كانت النقطة بعيدة من مركز الدائرة فإن صورتها تُصبح أقرب لمركز الدائرة.

دائرة الوحدة والدوال المثلثية

 

يمكنُ تعريفِ الدوالِ المثلثيةِ: الجيب وجيب التمام والظل ومقلوباتها، بقيمِ إحداثياتِ النقاطِ على المستوى الإقليدي المرتبطةِ بدائرة الوحدة. دائرة الوحدة هي دائرة نصف قطرها وحدةٌ واحدةٌ ومركزها نقطة الأصل. رغم أن تعريفات المثلثِ قائمِ الزاوية للدول المثلثية تسمحُ بتعريفِها للزوايا بينَ 0 و${\textstyle {\frac {\pi }{2}}}$  راديان فقط، إلا أنَّ تعريفاتِ دائرةِ الوِحدةِ تُعمّمُ ذلك وتمدد مجال الدوال المثلثية لتسمحَ بجميع الأعداد الحقيقية الموجبةِ والسالبةِ.