هندسة إقليدية: الفرق بين النسختين

معلومات عامة
صنف فرعي من	هندسة رياضية
جزء من	هندسة رياضية
سُمِّي باسم	إقليدس
تاريخ البدء	القرن 3 "ق.م"
ممثلة بـ	مسلمات إقليدس

تصفح التاريخ تفاعلياً

[نسخة منشورة]

→ التعديل السابق التعديل اللاحق ←

تم حذف المحتوى تمت إضافة المحتوى

مرئينص الويكي

مضمن

نسخة 00:13، 21 يوليو 2023

جزء من لوحة مدرسة أثينا يظهر فيها إقليدس أو أرخميدس يستخدم الفرجار لرسم شكل هندسي.

الهندسة الإقليدية (بالإنجليزية: Euclidean geometry)‏ هي نظام رياضياتي يُنسَب إلى إقليدس الإسكندري، التي وضع أسسها في كتابه عن الهندسة: العناصر.^[1]^[2]^[3] طرق إقليدس تتكون من افتراض مجموعة بسيطة من المُسلّمات البدهية، واستنتاج باقي المُبرهنات منها. مع أن النتائج التي توصل لها إقليدس سبقه إليها رياضياتيون قُدماء، إقليدس كان أول من وضع تلك المبرهنات في نظام منطقي مُحكَم. كتاب العناصر يبدأ بالهندسة المُستوية وهي التي لا تزال تُدرّس في المرحلة الثانوية بصفتها أول نظام مُسلّمات وأول الأمثلة على البرهنة الرسمية. الهندسة الإقليدية تشمل أيضاً الهندسة الفراغية ثلاثية الأبعاد. علاوةً على ذلك، كثيرٌ من النتائج في كتاب العناصر تندرج تحت ما يُسمّى حالياً بالجبر ونظرية الأعداد إلا أنّها مشروحة في لغة هندسية.

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

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

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

العناصر

كتاب العناصر بصورة رئيسة كان تنظيماً للمعارف السابقة عن الهندسة. تحسينها لطرق الحل السابقة اشتهرت سريعاً نتيجةَ قلّة الاهتمام في الاحتفاظ بالمنشورات السابقة عن الهندسة التي ضاعت أغلبها.

العناصر يتألّف من 13 مُجلّداً. تُناقش الكتب 1-4 الهندسة المستوية. العديد من النتائج عن المستوى تضمنت معها براهين. على سبيل المثال، «في أي مثلث، مجموع أي زاويتين فيه أقل من مجموع زاويتين قائمتين.» (الكتاب الأول، الفرضية 17) وكذلك مبرهنة فيثاغورس: «مربع الضلع المقابل للزاوية القائمة يساوي مجموع مربعي الضلعين الآخرين.» (الكتاب الأول، المبرهنة 47)

تضمنت الكتب 5 و7 حتى 10 حقائق عن نظرية الأعداد مع التعامل مع الأعداد على أنها أطوال قطع مستقيمة أو مساحات أشكال ما. عرّفت تلك الكتب مفاهيم مثل الأعداد الأولية، الأعداد النسبية وغير النسبية. ومن البراهين الشهيرة هو برهان لانهائية الأعداد الأولية.

الكتب 11-13 تضمنت الهندسة الفراغية. من النتائج الاعتيادية المذكورة هي نسبة حجم القمع للأسطوانة المشتركين في الارتفاع والقاعدة نفسهما.

المُسلّمات

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

منذ بدايات أول كتاب من العناصر، إقليدس أعطى خمس مُسلّمات للهندسة المستوية موصوفة بالنسبة للإنشاءات:

ليكن الآتي مُسلّماً به:

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

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

كتاب العناصر يتضمن أيضاً «المفاهيم المشتركة» الخمسة:

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

العلماء المُعاصرين يتفقون أن مُسلّماتِ إقليدس لا تُوفّر الأساس الكامل الذي يتطلبه إقليدس لبراهينه. ولذلك، فإنّ المعالجات والإصلاحات الحديثة للهندسة الإقليدية تتضمن مجموعة أكبر وأشمل من المُسلّمات.

مُسلّمة التوازي

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

هناك العديد من المُسلّمات التي بالإمكان صياغتها لتكون مُتطابقة منطقياً مع مُسلّمة التوازي (في سياق المُسلّمات الأخرى نفسه). على سبيل المثال، مُسلّمة بلاي فير تنص على أنّ:

في المُستوى، لأي نُقطة لا تقع على خط مُستقيم مُعطى، ثمّة خط واحد على الأكثر لا يلتقي الخط المُعطى.

عبارة «على الأكثر» هي كل ما تحتاجه المُسلّمة، لأنه بالإمكان إثبات من خلال المٌسلّمات الأخرى أن هناك خط موازي واحد على الأقل.

طرق البرهنة

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

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

نظام القياس والحساب

الهندسة الإقليدية تتضمن اثنين من أنواع القياس الأساسية: الزاوية، والمسافة. قياس الزاوية قياسٌ مُطلقٌ. استعمل إقليدس الزاوية القائمة بوصفها وحدته الأساسية. بحيث أن الزاوية 45 يُشار إليها بنصف زاوية قائمة مثلاً. على الوجه المقابل، قياس المسافة نسبي. بإمكان اختيار أي قطعة مستقيمة لامنعدمة على أنها وِحدةُ الطول المُستعملة وبقية الأطوال يُعبّرُ عنها بالنسبة لها. جمع الأطوال يُمثّل بإنشاء تكون فيه قطعة مستقيمة منسوخة إلى الطرف الآخر من قطعةٍ مُستقيمةٍ أخرى، وبالمثل للطرح. قياسات المساحة والحجم تُشتَقُّ من المسافات. مثلاً، المستطيل ذو الطول 3 وحدات والعرض 4 وحدات له مساحة تبلغ 12 وحدة مربعة. لأن هذا المفهوم الهندسي من الضرب كان محدوداً ضمن إطار التصور الهندسي، لم يكن هناك طريقة مباشرة لتفسير حاصل ضرب 4 أعداد فأعلى. ولذا يُرَى أن إقليدس تجنّب مثل حواصل الضرب هذه على الرغم من احتواء براهينها بها ضمنياً، مثلاً في كتابه السادس، المبرهنة 20. إقليدس يُشير إلى أزواج المستقيمات أو الأشكال، سواءً المُسطّحة أو المُجسّمة، على أنها متساوية (ἴσος) إذا كانت أطوالها، مساحاتها، أو أحجامها متساوية توالياً، وبالمثل للزوايا. المصطلح «متطابق» هو المُصطلح المُحبّذ وهو يُشير إلى مفهوم أن أي جسم هندسي له نفس الشكل والحجم أو المساحة لشكل آخر، بحيث أنه بالإمكان قلبه أو تحريكه بحيث ينطبق على الآخر. على سبيل المثال، المستطيلات ذات الأبعاد 2×6 و 3×4 متساوية المساحة لكنها ليست متطابقة. لكن الحرف «س» وصورته في المرآة شكلان متطابقان. الأشكال المتطابقة لكنها تختلف في أحجامها يُشار إليها بأنها «مُتشابهة». الزوايا المتناظرة في أزواج الأشكال المُتشابهة متطابقة، والأضلاع متناسبة في الطول.

الترميز والتسمية

تسمية النقاط والأجسام جرت العادة بتسمية النقاط باستعمال الأحرف اللاتينية الكبيرة (بالإنجليزية: Capital letters)‏ أما بقية الأشكال، كالخطوط، المثلثات أو الدوائر تُسمّى بتعداد عددٍ كافٍ من النقاط التي تُمثّلها دون لبس. مثلاً، المثلث ABC يُطلق على المثلث ذو الرؤوس A، B، وC.

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

الأجسام الهندسية

النقطة

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

المستقيم

هو عدد لا متناهي من النقاط التي تقع علي مستوى واحد وتصل بين أي نقطتتين.

القطعة

خط مستقيم له نقطة بداية وله نقطة نهاية.

نصف مستقيم

يطلق عليه أيضا اسم «الشعاع» وهو جزء من مستقيم محدد بنقطة تسمى أصل نصف المستقيم.له بداية وليس له نهاية ويتكون من عدد غير نهائى من النقاط

الدائرة

وهي مجموعة النقاط التي تقع في نفس المستوى وتبعد بعدا متساويا عن نقطة معلومة تسمي مركز الدائرة ويسمي البعد المتساوي نصف قطر الدائرة.

مسلمات إقليدس

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

إنشاءات هندسية

لا تستعمل الهندسة الإقليدية سوى المسطرة والفرجار لإنشاء الأشكال وهذا أدى إلى ظهور مسائل هندسية لم يتم حلها إلا في القرن 19 وهذه المسائل هي:

تقسيم زاوية إلى ثلاثة أقسام متساوية.
إنشاء مكعب حجمه ضعف حجم مكعب معلوم.
إنشاء مربع مساحته تساوي مساحة دائرة معينة.

و هذه المسائل يستحيل حلها باستعمال المسطرة والفرجار فقط.

بواسطة المسطرة والفرجار يمكن إنشاء ما يلي:

مستقيمين متوازيين
مستقيمين متعامدين
منصف زاوية
واسط قطعة
دائرة
قطعة طولها جداء طول قطعتين
قطعة طولها خارج قسمة طول قطعتين
قطعة طولها جذر مربع طول قطعة معينة
زاويتان متساويتان.

إثبات المثلث المتساوي الأضلاع في كتاب العناصر لإقليدس بحيث يتم بناء على جزء من الخط ، بناء أحد الذي يتضمن الجزء كواحد من جوانبه: مثلث متساوي الأضلاع ΑΒΓ يتم عن طريق رسم الدوائر Δ و Ε تتمحور حول النقاط Α و Β ، والأخذ واحد تقاطع الدوائر مثل الرأس الثالث للمثلث.

انظر أيضاً

مراجع

^ "معلومات عن هندسة إقليدية على موقع britannica.com". britannica.com. مؤرشف من الأصل في 2018-01-27.
^ "معلومات عن هندسة إقليدية على موقع jstor.org". jstor.org.
^ "معلومات عن هندسة إقليدية على موقع d-nb.info". d-nb.info. مؤرشف من الأصل في 2021-05-02.

في كومنز صور وملفات عن: هندسة إقليدية

[1] "معلومات عن هندسة إقليدية على موقع britannica.com". britannica.com. مؤرشف من الأصل في 2018-01-27.

[2] "معلومات عن هندسة إقليدية على موقع jstor.org". jstor.org.

[3] "معلومات عن هندسة إقليدية على موقع d-nb.info". d-nb.info. مؤرشف من الأصل في 2021-05-02.

[1]

[2]

[3]

@@ سطر 1: / سطر 1: @@
+{{بطاقة عامة}}
-تدرس '''الهندسة الإقليدية''' {{إنج|Euclidean geometry}} الأشكال وتخضع لمجموعة من المسلمات وضعها [[إقليدس]] في كتابه العناصر وهي الهندسة التي تدرس في المدارس والثانويات.<ref>[https://books.google.com/books?id=drnY3Vjix3kC&pg=PA135 Extract of page 135] {{Webarchive|url=http://web.archive.org/web/20110721194509/http://books.google.com/books?id=drnY3Vjix3kC&pg=PA135 |date=21 يوليو 2011}}</ref><ref>{{cite book |title=An essay on the foundations of geometry |author=Bertrand Russell |publisher=Cambridge University Press |year=1897 |url=https://books.google.com/books?id=NecGAAAAYAAJ&pg=PA1 |chapter=Introduction}}</ref><ref>{{cite book |title=Cited work |author=James T. Smith |pages=84 ''ff'' |url=https://books.google.com/books?id=mWpWplOVQ6MC&pg=RA1-PA84 |chapter=Chapter 3: Elementary Euclidean Geometry }}</ref>
+[[ملف:Sanzio 01 Euclid.jpg|تصغير|236px<!--(approx Sidebar/Infobox)-->|جزء من لوحة [[مدرسة أثينا (لوحة)|مدرسة أثينا]] يظهر فيها إقليدس أو [[أرخميدس]] يستخدم [[فرجار|الفرجار]] لرسم شكل هندسي. ]]
+'''الهندسة الإقليدية''' {{إنج|Euclidean geometry}} هي نظام [[رياضيات]]ي يُنسَب إلى [[إقليدس|إقليدس الإسكندري]]، التي وضع أسسها في كتابه عن الهندسة: [[الأصول (كتاب)|العناصر]].<ref>{{استشهاد ويب| مسار = https://www.britannica.com/topic/Euclidean-geometry | عنوان = معلومات عن هندسة إقليدية على موقع britannica.com | ناشر = britannica.com| مسار أرشيف = https://web.archive.org/web/20180127145032/https://www.britannica.com/topic/Euclidean-geometry | تاريخ أرشيف = 27 يناير 2018 }}</ref><ref>{{استشهاد ويب| مسار = https://www.jstor.org/topic/plane-geometry | عنوان = معلومات عن هندسة إقليدية على موقع jstor.org | ناشر = jstor.org}}</ref><ref>{{استشهاد ويب| مسار = https://d-nb.info/gnd/4137555-5 | عنوان = معلومات عن هندسة إقليدية على موقع d-nb.info | ناشر = d-nb.info| مسار أرشيف = https://web.archive.org/web/20210502224319/https://portal.dnb.de/opac.htm?method=simpleSearch&cqlMode=true&query=nid=4137555-5 | تاريخ أرشيف = 2 مايو 2021 }}</ref> طرق إقليدس تتكون من افتراض مجموعة بسيطة من [[قضية مسلمة|المُسلّمات]] البدهية، واستنتاج باقي [[مبرهنة|المُبرهنات]] منها. مع أن النتائج التي توصل لها إقليدس سبقه إليها رياضياتيون قُدماء، إقليدس كان أول من وضع تلك المبرهنات في نظام منطقي مُحكَم. كتاب العناصر يبدأ '''بالهندسة المُستوية''' وهي التي لا تزال تُدرّس في المرحلة الثانوية بصفتها أول نظام مُسلّمات وأول الأمثلة على البرهنة الرسمية. الهندسة الإقليدية تشمل أيضاً [[هندسة فراغية|الهندسة الفراغية]] ثلاثية الأبعاد. علاوةً على ذلك، كثيرٌ من النتائج في كتاب العناصر تندرج تحت ما يُسمّى حالياً [[جبر|بالجبر]] و[[نظرية الأعداد]] إلا أنّها مشروحة في لغة هندسية.
+لأكثر من ألفي سنة، إطلاق وصف «إقليدية» لم يكن ضرورياً بسبب عدم وجود أنواع أخرى من الهندسة. مُسلّمات إقليدس بّدت واضحةً جليّاً (مع الاستثناء الممكن [[مسلمة التوازي|لمُسلّمة التوازي]]) لدرجة أنّ أي مبرهنة مُستقاة منها كانت تُعدّ صحيحةً إطلاقاً. بيد أنّه حالياً تُعرَف [[هندسة لاإقليدية|هندسات أُخرى لاأقليدية]] [[اتساق|مُتّسقة]]. أولاها اكتُشِفَت في بداية القرن التاسع عشر.
-لا تستعمل الهندسة الإقليدية سوى المسطرة والفرجار لإنشاء الأشكال وهذا أدى إلى ظهور مسائل هندسية لم يتم حلها إلا في القرن 19 وهذه المسائل هي:
-# [[تثليث الزاوية|تقسيم زاوية إلى ثلاثة أقسام متساوية]].
+إحدى مقتضيات نظرية [[ألبرت أينشتاين|آينشتاين]] عن [[النسبية العامة]] أن الحالة الفيزيائية للفضاء ليست إقليدية، وأنّ الفضاء الإقليدي هو تقريب جيد لها فقط ضمن المسافات القصيرة (بالنسبة لقوة [[جاذبية أرضية|مجال الجاذبية]]).
-# إنشاء [[مكعب]] حجمه ضعف [[حجم]] [[مكعب]] معلوم.
-# [[تربيع الدائرة|إنشاء مربع مساحته تساوي مساحة دائرة معينة]].
+الهندسة الإقليدية هي إحدى الأمثلة على [[هندسة تركيبية|الهندسة التركيبية]] في أنّها تسير منطقياً من مسلمات تصف خواصّاً بسيطةً عن الأجسام الهندسية كالنقاط والخطوط، إلى مبرهنات عن تلك الأجسام دون استعمال نُظمٍ إحداثيّةٍ لوصفها. هذا على عكس الهندسة التحليلية التي تُوظّف النظم الإحداثية في ترجمة المبرهنات الهندسية إلى صيغ جبرية.
-و هذه المسائل يستحيل حلها باستعمال المسطرة والفرجار فقط.
+== العناصر ==
+كتاب العناصر بصورة رئيسة كان تنظيماً للمعارف السابقة عن الهندسة. تحسينها لطرق الحل السابقة اشتهرت سريعاً نتيجةَ قلّة الاهتمام في الاحتفاظ بالمنشورات السابقة عن الهندسة التي ضاعت أغلبها.
+العناصر يتألّف من 13 مُجلّداً. تُناقش الكتب 1-4 الهندسة المستوية. العديد من النتائج عن المستوى تضمنت معها براهين. على سبيل المثال، «في أي مثلث، مجموع أي زاويتين فيه أقل من مجموع زاويتين قائمتين.» (الكتاب الأول، الفرضية 17) وكذلك مبرهنة فيثاغورس: «مربع الضلع المقابل للزاوية القائمة يساوي مجموع مربعي الضلعين الآخرين.» (الكتاب الأول، المبرهنة 47)
+تضمنت الكتب 5 و7 حتى 10 حقائق عن نظرية الأعداد مع التعامل مع الأعداد على أنها أطوال قطع مستقيمة أو مساحات أشكال ما. عرّفت تلك الكتب مفاهيم مثل الأعداد الأولية، الأعداد النسبية وغير النسبية. ومن البراهين الشهيرة هو برهان لانهائية الأعداد الأولية.
+الكتب 11-13 تضمنت الهندسة الفراغية. من النتائج الاعتيادية المذكورة هي نسبة حجم القمع للأسطوانة المشتركين في الارتفاع والقاعدة نفسهما.
+== المُسلّمات ==
+الهندسة الإقليدية هي نظام من المُسلّمات تُشتَقٌ من خلاله جميع المبرهنات. إلى حين مجيئ الهنديات اللاإقليدية، كانت هذه المسلمات تُعتَبر صحيحة بَدَهيّاً في العالم الفيزيائي. براهين إقليدس من الافتراض حتى الاستنتاج بقيت صحيحة بغض النظر عن صحّتها فيزيائيّاً.
+منذ بدايات أول كتاب من العناصر، إقليدس أعطى خمس مُسلّمات للهندسة المستوية موصوفة بالنسبة للإنشاءات:
+ليكن الآتي مُسلّماً به:
+# إمكانية رسم خط مستقيم من أي نقطة إلى أي نقطة.
+# إمكانية مدّ قطعة مُستقيمة في خط مستقيم
+# إمكانية رسم دائرة بأي مركز وأي شعاع.
+# جميع الزوايا القائمة متساوية.
+# [[مسلمة التوازي|مُسلّمة التوازي]]: إذا تقاطع خط مستقيم مع خطين مستقيمين آخرين مُنشئاً زوايا على الجهة نفسها مجموعها أقل من مجموع زاويتين قائمتين، فإنّ هذين الخطين المستقيمين يلتقيان في الجهة التي تكون فيهما مجموع الزاويتين أقل من زاوية قائمة.
+على الرغم من أن إقليدس يزعم بوجود الأجسام الهندسية المنشأة، إلا أنّ براهينه الرياضية تفترض ضمنيّاً أن هذه الأجسام الهندسية وحيدة.
+كتاب العناصر يتضمن أيضاً «المفاهيم المشتركة» الخمسة:
+# الأشياء التي تُساوي الشيءَ نفسَه تساوي بعضها البعض أيضاً (خاصيّة التعدي لعلاقة إقليدية)
+# إذا أُضيفت مُتساويات إلى مُتساويات، فإنّ الكُلّ يُساوي الكُلّ. (خاصية التجميع للتساوي)
+# إذا طُرحت مُتساويات من مُتساويات، فإن الكل يُساوي الكل. (خاصية الطرح للتساوي)
+# الأشياء التي تنطبق مع بعضها تساوي بعضها بعضاً. (خاصية الانعكاس)
+# الكُلّ أكبر من الجزء.
+العلماء المُعاصرين يتفقون أن مُسلّماتِ إقليدس لا تُوفّر الأساس الكامل الذي يتطلبه إقليدس لبراهينه. ولذلك، فإنّ المعالجات والإصلاحات الحديثة للهندسة الإقليدية تتضمن مجموعة أكبر وأشمل من المُسلّمات.
+=== مُسلّمة التوازي ===
+بالنسبة للقدماء، مُسلّمة التوازي بّدت أقلّ بداهةً من الأخريات. كانوا يأملون إنشاء نظام من مُسلّمات قاطعة تماماً. بمنظورهم، ظهرت مسلّمة التوازي وكأنها مُبرهنة تحتاج لبرهان من جُمَل أبسط. بات اليوم معروفاً أن البرهان لذلك مستحيل، لأنه بالإمكان إنشاء أنظمة مُتّسقة من الهندسة التي قد تكون فيها مسلمة التوازي صحيحة وقد تكون خاطئة. إقليدس بنفسه تعامل مع المسلمة بنحوٍ مُختلف عن بقية المسلمات عندما كتب أول 28 مبرهنة دون استعمال مبرهنة التوازي.
+هناك العديد من المُسلّمات التي بالإمكان صياغتها لتكون مُتطابقة منطقياً مع مُسلّمة التوازي (في سياق المُسلّمات الأخرى نفسه). على سبيل المثال، [[مسلمة بلاي فير|مُسلّمة بلاي فير]] تنص على أنّ:<blockquote>في المُستوى، لأي نُقطة لا تقع على خط مُستقيم مُعطى، ثمّة خط واحد على الأكثر لا يلتقي الخط المُعطى.</blockquote>عبارة «على الأكثر» هي كل ما تحتاجه المُسلّمة، لأنه بالإمكان إثبات من خلال المٌسلّمات الأخرى أن هناك خط موازي واحد على الأقل.
+== طرق البرهنة ==
+الهندسة الإقليدية هندسة إنشائية. المسلمات 1، 2، 3، و5 تزعم وجود ووحدانية بعض الأجسام الهندسية وهذه الافتراضات إنشائية الطبيعة. بمعنى أنه ليس فقط هذه الأجسام الهندسية موجودة، بل وأننا نعلم طريقة إنشائها باستعمال المسطرة والفرجار فقط. بهذا المعنى، الهندسية الإقليدية أكثر عينيةً وصلادة من العديد من نظم المُسلمات كنظرية المجموعات، التي عادةً تفترض وجود أجسام دون شرح طريقة إنشائها، أو حتّى تفترض أنها غير قابلة للإنشاء في النظرية. من منظور أكثر صرامة، الخطوط على الورق هي مجرد نماذج للأجسام المُعرفة ضمن النظام الرسمي، بدلاً من كونها أمثلة من تلك الأجسام. على سبيل المثال، الخط المستقيم الإقليدي ليس له سُمك، لكن أي خط واقعي سيكون له. غالب الرياضياتيين يعتبرون طرق البرهان غير الإنشائية لها نفس صحة البراهين الإنشائية.
+إقليدس كثيراً ما استعمل البرهان بالتناقض. الهندسة الإقليدية تسمح كذلك بوجود الموقع الفائق، الذي يكون فيه الشكل مُزاحاً لموقعٍ آخر في المستوى. مثلاً، المبرهنة الرابعة: تطابق ضلع-زاوية-ضلع للمثلث إثباته بتحريك أحد المثلثين بحيث أضلاعه تنطبق على ضلعين من الآخر، ثم إثبات أنّ الضلع الأخير منطبق أيضاً. بعض الإصلاحات الحديثة في الهندسة أضافت مُسلّمةً سادسة: تصلُّب المُثلث، والتي اقتُرحَت بديلاً للموقع الفائق.
+== نظام القياس والحساب ==
+الهندسة الإقليدية تتضمن اثنين من أنواع القياس الأساسية: الزاوية، والمسافة. قياس الزاوية قياسٌ مُطلقٌ. استعمل إقليدس الزاوية القائمة بوصفها وحدته الأساسية. بحيث أن الزاوية 45 يُشار إليها بنصف زاوية قائمة مثلاً. على الوجه المقابل، قياس المسافة نسبي. بإمكان اختيار أي قطعة مستقيمة لامنعدمة على أنها وِحدةُ الطول المُستعملة وبقية الأطوال يُعبّرُ عنها بالنسبة لها. جمع الأطوال يُمثّل بإنشاء تكون فيه قطعة مستقيمة منسوخة إلى الطرف الآخر من قطعةٍ مُستقيمةٍ أخرى، وبالمثل للطرح. قياسات المساحة والحجم تُشتَقُّ من المسافات. مثلاً، المستطيل ذو الطول 3 وحدات والعرض 4 وحدات له مساحة تبلغ 12 وحدة مربعة. لأن هذا المفهوم الهندسي من الضرب كان محدوداً ضمن إطار التصور الهندسي، لم يكن هناك طريقة مباشرة لتفسير حاصل ضرب 4 أعداد فأعلى. ولذا يُرَى أن إقليدس تجنّب مثل حواصل الضرب هذه على الرغم من احتواء براهينها بها ضمنياً، مثلاً في كتابه السادس، المبرهنة 20. إقليدس يُشير إلى أزواج المستقيمات أو الأشكال، سواءً المُسطّحة أو المُجسّمة، على أنها متساوية (ἴσος) إذا كانت أطوالها، مساحاتها، أو أحجامها متساوية توالياً، وبالمثل للزوايا. المصطلح «متطابق» هو المُصطلح المُحبّذ وهو يُشير إلى مفهوم أن أي جسم هندسي له نفس الشكل والحجم أو المساحة لشكل آخر، بحيث أنه بالإمكان قلبه أو تحريكه بحيث ينطبق على الآخر. على سبيل المثال، المستطيلات ذات الأبعاد 2×6 و 3×4 متساوية المساحة لكنها ليست متطابقة. لكن الحرف «س» وصورته في المرآة شكلان متطابقان. الأشكال المتطابقة لكنها تختلف في أحجامها يُشار إليها بأنها «مُتشابهة». الزوايا المتناظرة في أزواج الأشكال المُتشابهة متطابقة، والأضلاع متناسبة في الطول.
+== الترميز والتسمية ==
+تسمية النقاط والأجسام جرت العادة بتسمية النقاط باستعمال الأحرف اللاتينية الكبيرة {{إنج|Capital letters}} أما بقية الأشكال، كالخطوط، المثلثات أو الدوائر تُسمّى بتعداد عددٍ كافٍ من النقاط التي تُمثّلها دون لبس. مثلاً، المثلث ABC يُطلق على المثلث ذو الرؤوس A، B، وC.
+الزوايا المتكاملة والمتتامة الزوايا التي مجموعها زاوية قائمة تُسمّى مُتتامّة. الزوايا المتتامة تُنشئ عند انطلاق شعاع من رأس زاويةٍ قائمةٍ. عدد الأشعّة بين شُعاعين لامنتهٍ. الزوايا التي مجموعها زاوية مستقيمة تُسمّى زوايا متكاملة. الزوايا المتكاملة تُنشَئ عندما يُطلع شعاع من نقطة على خطٍ مُستقيم.
-== العناصر الهندسية ==
+== الأجسام الهندسية ==
 === النقطة ===
-لا حاجة لتعريف [[نقطة|النقطة]] بواسطة مصطلحات وإنما يمكن تعريفها بواسطة بديهية معينة،
+لا حاجة لتعريف [[نقطة (توضيح)|النقطة]] بواسطة مصطلحات وإنما يمكن تعريفها بواسطة بديهية معينة،
-كما يمكن تعريفها على أنها كل ما ليس له جزء أو كل مايمكن إهمال أبعاده الثلاثة ويعبر عنها هندسيا بالأثر الذي يتركه القلم عند الضغط عليه بدون تحريكه. أو هي [[تقاطع]] خطين مستقيمين.
+كما يمكن تعريفها على أنها كل ما ليس له جزء أو كل مايمكن إهمال أبعاده الثلاثة ويعبر عنها هندسيا بالأثر الذي يتركه القلم عند الضغط عليه بدون تحريكه. أو هي [[تقاطع (توضيح)|تقاطع]] خطين مستقيمين.
 === المستقيم ===
@@ سطر 16: / سطر 70: @@
 === القطعة ===
-[[خط]] [[مستقيم]] له [[نقطة]] بداية وله [[نقطة]] نهاية.
+[[خط (توضيح)|خط]] [[مستقيم (توضيح)|مستقيم]] له [[نقطة (توضيح)|نقطة]] بداية وله [[نقطة (توضيح)|نقطة]] نهاية.
 === نصف مستقيم ===
-يطلق عليه أيضا اسم "الشعاع" وهو
+يطلق عليه أيضا اسم «الشعاع» وهو
-جزء من [[مستقيم]] محدد بنقطة تسمى أصل نصف المستقيم.له بداية وليس له نهاية ويتكون من عدد غير نهائى من النقاط
+جزء من [[مستقيم (توضيح)|مستقيم]] محدد بنقطة تسمى أصل نصف المستقيم.له بداية وليس له نهاية ويتكون من عدد غير نهائى من النقاط
 === [[دائرة|الدائرة]] ===
@@ سطر 26: / سطر 80: @@
 == مسلمات إقليدس ==
+[[ملف:Parallel postulate en.svg|تصغير|[[مسلمة التوازي]]]]
-# من نقطتين يمر [[مستقيم]] وحيد
+# من نقطتين يمر [[مستقيم (توضيح)|مستقيم]] وحيد.
-# المستقيم لا نهاية له أي يمكن تمديد المستقيم من الجهتين إلى ما لانهاية
+# يمكن إنشاء خط مستقيم من خلال تمديد نهايتي [[قطعة مستقيمة]] من الجهتين إلى ما لانهاية.
-# من [[نقطة]] معينة ومن مجال أو قطعة ما هناك قوس [[دائرة]] وحيد
+# يمكن رسم [[دائرة]] من خلال نقطة مركز ونصف قطر.
-# كل الزوايا المستقيمية متساوية فيما بينها
+# كل الزوايا القائمة متساوية فيما بينها.
-# لا يمر من [[نقطة]] سوى [[مستقيم]] وحيد موازي لمستقيم معلوم
+# ([[مسلمة التوازي]]) إذا قطع مستقيم مستقيمين وكان مجموع الزاويتين المتقابلتين عند جهة القاطع أقل من مجموع زاويتين قائمتين (أقل من 180°) وعند مد هذين المستقيمين من جهة الزاويتين فسوف يتقاطعان.
 == إنشاءات هندسية ==
+لا تستعمل الهندسة الإقليدية سوى المسطرة والفرجار لإنشاء الأشكال وهذا أدى إلى ظهور مسائل هندسية لم يتم حلها إلا في القرن 19 وهذه المسائل هي:
+# [[تثليث زاوية|تقسيم زاوية إلى ثلاثة أقسام متساوية]].
+# إنشاء [[مكعب]] حجمه ضعف [[حجم]] [[مكعب]] معلوم.
+# [[تربيع الدائرة|إنشاء مربع مساحته تساوي مساحة دائرة معينة]].
+و هذه المسائل يستحيل حلها باستعمال المسطرة والفرجار فقط.
 بواسطة المسطرة والفرجار يمكن إنشاء ما يلي:
 # مستقيمين متوازيين
@@ سطر 44: / سطر 105: @@
 # زاويتان متساويتان.
+[[ملف:Euclid-proof.svg|تصغير|إثبات المثلث المتساوي الأضلاع في كتاب العناصر لإقليدس بحيث يتم بناء على جزء من الخط ، بناء أحد الذي يتضمن الجزء كواحد من جوانبه: مثلث متساوي الأضلاع ΑΒΓ يتم عن طريق رسم الدوائر Δ و Ε تتمحور حول النقاط Α و Β ، والأخذ واحد تقاطع الدوائر مثل الرأس الثالث للمثلث.]]
-== مواضيع متعلقة ==
+== انظر أيضاً ==
 * [[هندسة لاإقليدية]]
-* [[إنشاءات الفرجار والمسطرة]]
+* [[إنشاء بمسطرة وفرجار|إنشاءات الفرجار والمسطرة]]
 * [[مسلمة التوازي]]
 * [[هندسة وصفية]]
@@ سطر 53: / سطر 116: @@
 {{هندسة إقليدية}}
+{{شريط سفلي هندسة رياضية}}
+{{فروع الرياضيات}}
 {{شريط بوابات|رياضيات|هندسة رياضية}}
 {{تصنيف كومنز}}
 {{ضبط استنادي}}
+{{شريط سفلي حساب المثلثات}}
+{{شريط جانبي هندسة رياضية}}
-[[تصنيف:هندسة إقليدية|*]]
+[[تصنيف:هندسة إقليدية| ]]
 [[تصنيف:اختراعات يونانية]]
 [[تصنيف:هندسة ابتدائية]]

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

ع ن ت فروع الرياضيات
تاريخ مخطط قائمة الرموز
أسس الرياضيات	نظرية الفئة نظرية المعلومات منطق رياضي فلسفة الرياضيات نظرية المجموعات نظرية النمط
الجبر	جبر مجرد جبر تبادلي جبر ابتدائي نظرية الزمر جبر خطي جبر متعدد الخطية جبر شامل جبر تماثلي
التحليل الرياضي	تفاضل وتكامل تحليل حقيقي تحليل عقدي تحليل فوق عقدي معادلة تفاضلية تحليل دالي تحليل توافقي نظرية القياس
الرياضيات المتقطعة	تركيبات نظرية البيان نظرية الترتيب
الهندسة الرياضية	هندسة جبرية هندسة تحليلية هندسة حسابية هندسة تفاضلية هندسة متقطعة هندسة إقليدية هندسة منتهية
نظرية الأعداد	حسابيات نظرية الأعداد الجبرية نظرية الأعداد التحليلية هندسة ديفونتية
الطوبولوجيا	طوبولوجيا عامة طوبولوجيا جبرية طوبولوجيا تفاضلية طوبولوجيا هندسية نظرية التجانس
الرياضيات التطبيقية	رياضيات هندسية علم الأحياء الرياضي كيمياء رياضية اقتصاد رياضي رياضيات مالية فيزياء رياضية علم النفس الحسابي علم الاجتماع الرياضي إحصاء رياضي نظرية الاحتمال إحصاء علم الأنظمة نظرية التحكم نظرية الألعاب بحوث العمليات
الرياضيات المحوسبة	علم الحاسوب نظرية الحوسبة نظرية التعقيد الحسابي تحليل عددي استمثال حساب رمزي
مواضيع ذات صلة	عالم رياضيات رياضيات غير رسمية رياضيات مسلية الرياضيات والفن تعليم الرياضيات
تصنيف بوابة كومنز ويكي مشروع