قم بتسجيل الدخول للرد
حمدي عبد الجليلالمشرف العام
عدد المساهمات : 3476
نقاط : 28468
تاريخ التسجيل : 26/06/2011
مبرهنة ( نظرية ) فيثاغورث
الأربعاء 18 يناير 2012, 14:10
[size=21]مبرهنة فيثاغورس هي مبرهنة
في الهندسة الإقليدية، تقول أنه في أي مثلث قائم الزاوية يكون مجموع مربعي
طولي الضلعين المحاذيين للزاوية القائمة يساوي مربع طول الوتر. سميت هذه
المبرهنة على العالم فيثاغورس الذي كان رياضيا، وفيلسوفا، وعالم فلك في اليونان القديمة.
المبرهنة
مبرهنة فيثاغورس المباشرة
وهي الشكل الأكثر شهرة لمبرهنة فيثاغورس:
« في مثلث قائم الزاوية، مربع طول الوتر يساوي مجموع مربعي طولي الضلعين المحاذيين للزاوية القائمة. »
في مثلث ABC قائم الزاوية في C، أي أن [AB] هو الوتر، نضع AB=c و AC=b و BC=a. لدينا:
أو
تمكن مبرهنة فيثاغورس من حساب طول أحد أضلاع مثلث قائم الزاوية بمعرفة طولي الضلعين الآخرين. مثلا: إذا كان b=3 و a=4 فإن
ومنه
مثلوث ثلاثة أعداد صحيحة تمثل أطوال أضلاع مثلث قائم الزاوية، مثل (5 ،4 ،3)، يسمى مثلوث فيثاغورس.
مبرهنة فيثاغورس العكسية
نص مبرهنة فيثاغورس العكسية (العبارة 47 من الجزء الأول من كتاب العناصر لإقليدس):
« في مثلث، إذا كان مربع طول أطول ضلع يساوي
مجموع مربعي طولي الضلعين الآخرين، فإن هذا المثلث قائم الزاوية. الزاوية
القائمة هي الزاوية المقابلة لأطول ضلع، والضلع الأطول هو الوتر. »
مبرهنة فيثاغورس هي خاصية مميزة للمثلث القائم الزاوية. بتعبير آخر:
« في مثلث ABC، إذا كان AC²+BC²=AB² فإن هذا المثلث قائم الزاوية في C.»
تاريخ المبرهنة
عرفت خاصية فيثاغورس
في العصور القديمة، والدلائل على ذلك ما زالت موجودة إلى الآن. يكفي مثلا
أن نلاحظ الحبل ذا ثلاث عشرة عقدة الذي كان المسّاحون المصريون يستعملونه
والذي نجد له صورا في عدة تصاوير للأعمال الزراعية. يسمح هذا الحبل، علاوة
على قياس المسافات، بإنشاء زوايا قائمة دون الحاجة إلى جيب التمام، إذ تسمح
العقد الثلاث عشرة (والمسافات الاثنتي عشرة الفاصلة بين العقد) من إنشاء
مثلث أبعاده (5 ،4 ،3)، مثلث يتضح أنه قائم الزاوية. ظل هذا الحبل أداة
هندسية طيلة العصور الوسطى.
أقدم تمثيل لمثلوثات فيثاغورس
(مثلث قائم الزاوية وأطوال أضلاعه أعداد صحيحة طبيعية) نجده في
الميغاليثات (2500 سنة قبل الميلاد). كما أظهرت آثار البابليين (لوحة
Plimpton، حوالي سنة 1800 قبل الميلاد) أنه قبل ظهور فيثاغورس بأكثر من 1000 سنة، عرف المهندسون وجود مثلوثات فيثاغورس.
لكن بين اكتشاف الخاصية «نلاحظ أن بعض المثلثات القائمة الزاوية تحقق هذه
الخاصية»، تعميمها «يبدو أن كل المثلثات القائمة الزاوية تحقق هذه الخاصية»
وإثباتها «كل المثلثات القائمة الزاوية (فقط) في المستوى الإقليدي تحقق
هذه الخاصية» عدة أجيال.
ندرة الدلائل التاريخية تجعلنا غير قادرين على نسب المبرهنة إلى فيثاغورس بشكل قاطع، مع أننا على يقين بأنه صاحبها. أول برهان مكتوب نجده في كتاب العناصر لإقليدس بالصيغة التالية:
« في المثلثات القائمة الزاوية، مربع طول الضلع المقابل للزاوية القائمة يساوي مجموع مربعي طولي الضلعين الآخرين. »
مع صيغتها العكسية: « إذا كان مربع طول ضلع في مثلث يساوي مجموع مربعي طولي الضلعين الآخرين، فإن الزاوية المحصورة بين هذين الضلعين قائمة. »
ومع ذلك، فتعليقات Proclus على كتاب العناصر لإقليدس (حوالي 400 سنة بعد
الميلاد) تشير إلى أن إقليدس لم يقم سوى بإعادة تدوين برهان قديم نسبه
Proclus إلى فيثاغورس.
إذن، يمكننا أن نؤرخ البرهان على هذه الخاصية ما بين القرن الثالث والقرن
السادس قبل الميلاد. يحكى أنه في تلك الفترة اكتشفت الأعداد اللاجذرية.
بالفعل، يمكن بسهولة إنشاء مثلث قائم الزاوية ومتساوي الساقين طول أحدهما
1، فيكون مربع طول الوتر هو 2. برهان بسيط أيام فيثاغورس يثبت أن العدد 2 ليس مربعا لعدد جذري. يقال أن هذا الاكتشاف تم إبقاؤه سرا من طرف المدرسة الفيثاغورسية تحت تهديد بالقتل.
إلى جانب هذه الاكتشافات، يبدو أن هذه المبرهنة عرفت في الصين أيضا. نجد
إشارة إلى وجود هذه المبرهنة في واحد من أقدم المؤلفات الصينية في
الرياضيات، كتاب Zhoubi suanjing. هذا المؤلف، كتب على الأغلب في Han
Dynasty (أعظم الفترات في تاريخ الصين)، (206 قبل الميلاد، 220 سنة بعد
الميلاد) يضم التقنيات المستعملة في فترة Zhou Dynasty. (القرن العاشر قبل
الميلاد، 256 قبل الميلاد). نجد برهان هذه الخاصية، التي تحمل في الصين اسم
مبرهنة
جوجو Gougu (القاعدة والارتفاع)، في كتاب Jiuzhang suanshu (الفصول التسعة
في فن الرياضيات، 100 سنة قبل الميلاد، 50 سنة بعده)، برهان مختلف كليا عن
برهان إقليدس.
كما نجد في الهند برهانا عدديا للخاصية يعود إلى القرن الثالث قبل الميلاد (برهان باستعمال أعداد خاصة، لكن يمكن تعميمه بسهولة).
رغم أنها خاصية هندسية، إلا أنها أخذت منحى حسابيا عند البحث عن جميع
مثلوثات أعداد صحيحة طبيعية تمثل أطوال أضلاع مثلث قائم الزاوية: أي
مثلوثات فيثاغورس. هذا البحث فتح الباب لبحث آخر: البحث عن المثلوثات التي
تحقق an + bn = cn، بحث قاد إلى مظنونة فيرما التي تم حلها سنة 1994 على يد
الرياضي (بالإنكليزية: Andrew Wiles).
توجد في الحقيقة العديد من البراهين على هذه الخاصية، مثل برهان إقليدس،
وبرهان الصينيين، مرورا ببرهان الهنود، وبرهان دا فينشي وحتى برهان الرئيس
الأمريكي (بالإنكليزية: James Abram Garfield). كما لا يفوتنا ذكر الكاشي الذي عمم هذه المبرهنة على كل المثلثات: مبرهنة الكاشي.
براهين
بلا شك، هذه المبرهنة لديها أكبر عدد معروف من الإثباتات (كما هو الحال بالنسبة لخاصية Quadratic reciprocity). ها هي بعض منها:
برهان إقليدس
قبل البرهنة على خاصية فيثاغورس، يجب إثبات عبارتين. العبارة الأولى التي
يجب إثباتها (العبارة 35 من الجزء الأول من كتاب العناصر) هي تساوي مساحتي
متوازيي أضلاع لهما نفس القاعدة ونفس الارتفاع:
« متوازيات الأضلاع التي لها قاعدة مشتركة، ومحصورة بين نفس المستقيمين المتوازيين، لها نفس المساحة. »
لنعتبر متوازيي الأضلاع ABCD و BCFE، لديهما قاعدة مشتركة [BC]، ومحصوران
بين المتوازيين (BC) و(AF)، لاحظ أن AD=BC (لأنهما قاعدتا متوازي الأضلاع
ABCD)، و BC=EF (لأنهما قاعدتا متوازي الأضلاع BCFE)، وبالتالي AD=EF.
توجد ثلاثة حالات فقط (مبينة في الشكل جانبه) لموضع النقطة E بالنسبة إلى D
: يمكن أن توجد E على يسار D، منطبقة على D أو على يمين D. سندرس كل حالة:
1. إذا كانت E على يسار D فإن [ED] مشتركة بين كل من [AD] و[EF]، ومنه
نستطيع التحقق من أن المسافتين AD و EF متساويتين. لاحظ أن الضلعين [AB]
و[DC] متقايسان (لأنهما قاعدتان متقابلتان في متوازي الأضلاع ABCD)، والنقط
D، E، A و F مستقيمية، الزاويتان
و
متقايستان.
كنتيجة لهذا فالمثلثان BAE و CDF متقايسان، لأن لهما ضلعان متقايسان
والزاويتان المحصورتان متقايستان. إذن، متوازيي الأضلاع ABCD و CBEF ليسا
سوى ترتيبين مختلفين من شبه المنحرف BEDC والمثلث BAE (أو CDF).
2. إذا كانت E منطبقة على D، سنجد بطريقة مشابهة أن المثلثين BAE و CDF
متقايسان، وأنه من الممكن الحصول على متوازيي الأضلاع ABCD و BCFE بإضافة
المثلث BAE (أو CDF) إلى المثلث المشترك BCD.
3. إذا كانت E على يمين D، لدينا AD=EF، وبإضافة DE لكل منهما نجد أن
AE=DF. وبطريقة مشابهة لتلك التي إستعملناها في 1 و 2، يمكن أن نبين أن
المثلثين BAE و CDF، وأيضا شبهي المنحرف BADG و CGEF، متقايسان. إذن من
الواضح أنه يمكن الحصول على متوازيي الأضلاع ABCD و CBEF عن طريق إضافة
المثلث المشترك BCG إلى شبه المنحرف BADG (أو CGEF).
استبدال متوازي أضلاع بمتوازي أضلاع آخر له نفس القاعدة والارتفاع يعرف في
الرياضيات باسم القص. هذا الأخير مهم جدا في إثبات العبارة التالية:
« إذا كان لمتوازي أضلاع ولمثلث نفس القاعدة، ومحصورين بين مستقيمين متوازيين، فإن مساحة متوازي الأضلاع هي ضعف مساحة المثلث. »
لنعتبر متوازي أضلاع ABCD، ولتكن E نقطة من نصف المستقيم (AD] ولا تنتمي
إلى القطعة [AD]. نريد إثبات أن مساحة ABCD هي ضعف مساحة BEC. بعد رسم
القطر [AC]، نلاحظ أن مساحة ABCD هي ضعف مساحة ABC. ولدينا مساحة ABC تساوي
مساحة BEC (لأن لهم نفس القاعدة). إذن ضعف مساحة BEC هي ضعف مساحة ABC، أي
ABCD. ومنه مساحة ABCD هي ضعف مساحة BEC المثلث
نستطيع الآن متابعة البرهان:
نعتبر مثلثا ABC قائم الزاوية في A. لتكن ABFG ،ACIH و BCED مربعات الأضلاع
AB ،AC و BC على التوالي. لتكن J نقطة تقاطع (BC) و(AK). نريد إثبات أن
مساحة BCED تساوي مجموع مساحتي ABFG و ACIH. يمكننا هذا عن طريق إثبات أن
مساحة المربع ABFG تساوي مساحة المستطيل BJKD، وأن مساحة المربع ACIH تساوي
مساحة المستطيل CEKJ.
لإثبات المتساوية الأولى، يمكن أن نلاحظ أن المسافتين FB و BC تساويان AB و BD على التوالي. لأن الزاويتان
و
متقايستان، والزاويتان 
(لاحظ أن 
و\
(لاحظ أن 
متقايستان. كنتيجة، لدينا المثلثان FBC و ABD متقايسان. لاحظ أيضا أنه حسب
العبارة XLI، مساحة المربع ABFG هي ضعف مساحة المثلث FBC وأن مساحة
المستطيل BJKD هي ضعف مساحة المثلث ABD. بما أن المثلثين ABD و FBC
متقايسان، فإن مساحة ABFG تساوي مساحة BJKD.
نحصل على المتساوية الثانية بطريقة مشابهة: بملاحظة أن IC و CB يساويان AC و
CE على التوالي، وأن الزاوية [\widehat{ICB}] تقايس الزاوية
[\widehat{ACE}]، نحصل على أن المثلثين ICB و ACE متقايسان. وعلما أن مساحة
المربع ACIH هي ضعف مساحة المثلث ICB وأن مساحة المستطيل CEKJ هي ضعف
مساحة ACE، وبما أن المثلثين ICB و ACE متقايسان، فإن مساحة ACIH تساوي
مساحة CEKJ.
وبالتالي، مساحة BCED تساوي مساحة مجموع مساحتي BJKD و CEKJ، أي مجموع مساحتي ABFG و ACIH. وتكون مبرهنة فيثاغورس حالة خاصة لمبرهنة كليرو.
[/size]في الهندسة الإقليدية، تقول أنه في أي مثلث قائم الزاوية يكون مجموع مربعي
طولي الضلعين المحاذيين للزاوية القائمة يساوي مربع طول الوتر. سميت هذه
المبرهنة على العالم فيثاغورس الذي كان رياضيا، وفيلسوفا، وعالم فلك في اليونان القديمة.
المبرهنة
مبرهنة فيثاغورس المباشرة
وهي الشكل الأكثر شهرة لمبرهنة فيثاغورس:
« في مثلث قائم الزاوية، مربع طول الوتر يساوي مجموع مربعي طولي الضلعين المحاذيين للزاوية القائمة. »
في مثلث ABC قائم الزاوية في C، أي أن [AB] هو الوتر، نضع AB=c و AC=b و BC=a. لدينا:
أو
تمكن مبرهنة فيثاغورس من حساب طول أحد أضلاع مثلث قائم الزاوية بمعرفة طولي الضلعين الآخرين. مثلا: إذا كان b=3 و a=4 فإن
ومنه
مثلوث ثلاثة أعداد صحيحة تمثل أطوال أضلاع مثلث قائم الزاوية، مثل (5 ،4 ،3)، يسمى مثلوث فيثاغورس.
مبرهنة فيثاغورس العكسية
نص مبرهنة فيثاغورس العكسية (العبارة 47 من الجزء الأول من كتاب العناصر لإقليدس):
« في مثلث، إذا كان مربع طول أطول ضلع يساوي
مجموع مربعي طولي الضلعين الآخرين، فإن هذا المثلث قائم الزاوية. الزاوية
القائمة هي الزاوية المقابلة لأطول ضلع، والضلع الأطول هو الوتر. »
مبرهنة فيثاغورس هي خاصية مميزة للمثلث القائم الزاوية. بتعبير آخر:
« في مثلث ABC، إذا كان AC²+BC²=AB² فإن هذا المثلث قائم الزاوية في C.»
تاريخ المبرهنة
عرفت خاصية فيثاغورس
في العصور القديمة، والدلائل على ذلك ما زالت موجودة إلى الآن. يكفي مثلا
أن نلاحظ الحبل ذا ثلاث عشرة عقدة الذي كان المسّاحون المصريون يستعملونه
والذي نجد له صورا في عدة تصاوير للأعمال الزراعية. يسمح هذا الحبل، علاوة
على قياس المسافات، بإنشاء زوايا قائمة دون الحاجة إلى جيب التمام، إذ تسمح
العقد الثلاث عشرة (والمسافات الاثنتي عشرة الفاصلة بين العقد) من إنشاء
مثلث أبعاده (5 ،4 ،3)، مثلث يتضح أنه قائم الزاوية. ظل هذا الحبل أداة
هندسية طيلة العصور الوسطى.
أقدم تمثيل لمثلوثات فيثاغورس
(مثلث قائم الزاوية وأطوال أضلاعه أعداد صحيحة طبيعية) نجده في
الميغاليثات (2500 سنة قبل الميلاد). كما أظهرت آثار البابليين (لوحة
Plimpton، حوالي سنة 1800 قبل الميلاد) أنه قبل ظهور فيثاغورس بأكثر من 1000 سنة، عرف المهندسون وجود مثلوثات فيثاغورس.
لكن بين اكتشاف الخاصية «نلاحظ أن بعض المثلثات القائمة الزاوية تحقق هذه
الخاصية»، تعميمها «يبدو أن كل المثلثات القائمة الزاوية تحقق هذه الخاصية»
وإثباتها «كل المثلثات القائمة الزاوية (فقط) في المستوى الإقليدي تحقق
هذه الخاصية» عدة أجيال.
ندرة الدلائل التاريخية تجعلنا غير قادرين على نسب المبرهنة إلى فيثاغورس بشكل قاطع، مع أننا على يقين بأنه صاحبها. أول برهان مكتوب نجده في كتاب العناصر لإقليدس بالصيغة التالية:
« في المثلثات القائمة الزاوية، مربع طول الضلع المقابل للزاوية القائمة يساوي مجموع مربعي طولي الضلعين الآخرين. »
مع صيغتها العكسية: « إذا كان مربع طول ضلع في مثلث يساوي مجموع مربعي طولي الضلعين الآخرين، فإن الزاوية المحصورة بين هذين الضلعين قائمة. »
ومع ذلك، فتعليقات Proclus على كتاب العناصر لإقليدس (حوالي 400 سنة بعد
الميلاد) تشير إلى أن إقليدس لم يقم سوى بإعادة تدوين برهان قديم نسبه
Proclus إلى فيثاغورس.
إذن، يمكننا أن نؤرخ البرهان على هذه الخاصية ما بين القرن الثالث والقرن
السادس قبل الميلاد. يحكى أنه في تلك الفترة اكتشفت الأعداد اللاجذرية.
بالفعل، يمكن بسهولة إنشاء مثلث قائم الزاوية ومتساوي الساقين طول أحدهما
1، فيكون مربع طول الوتر هو 2. برهان بسيط أيام فيثاغورس يثبت أن العدد 2 ليس مربعا لعدد جذري. يقال أن هذا الاكتشاف تم إبقاؤه سرا من طرف المدرسة الفيثاغورسية تحت تهديد بالقتل.
إلى جانب هذه الاكتشافات، يبدو أن هذه المبرهنة عرفت في الصين أيضا. نجد
إشارة إلى وجود هذه المبرهنة في واحد من أقدم المؤلفات الصينية في
الرياضيات، كتاب Zhoubi suanjing. هذا المؤلف، كتب على الأغلب في Han
Dynasty (أعظم الفترات في تاريخ الصين)، (206 قبل الميلاد، 220 سنة بعد
الميلاد) يضم التقنيات المستعملة في فترة Zhou Dynasty. (القرن العاشر قبل
الميلاد، 256 قبل الميلاد). نجد برهان هذه الخاصية، التي تحمل في الصين اسم
مبرهنة
جوجو Gougu (القاعدة والارتفاع)، في كتاب Jiuzhang suanshu (الفصول التسعة
في فن الرياضيات، 100 سنة قبل الميلاد، 50 سنة بعده)، برهان مختلف كليا عن
برهان إقليدس.
كما نجد في الهند برهانا عدديا للخاصية يعود إلى القرن الثالث قبل الميلاد (برهان باستعمال أعداد خاصة، لكن يمكن تعميمه بسهولة).
رغم أنها خاصية هندسية، إلا أنها أخذت منحى حسابيا عند البحث عن جميع
مثلوثات أعداد صحيحة طبيعية تمثل أطوال أضلاع مثلث قائم الزاوية: أي
مثلوثات فيثاغورس. هذا البحث فتح الباب لبحث آخر: البحث عن المثلوثات التي
تحقق an + bn = cn، بحث قاد إلى مظنونة فيرما التي تم حلها سنة 1994 على يد
الرياضي (بالإنكليزية: Andrew Wiles).
توجد في الحقيقة العديد من البراهين على هذه الخاصية، مثل برهان إقليدس،
وبرهان الصينيين، مرورا ببرهان الهنود، وبرهان دا فينشي وحتى برهان الرئيس
الأمريكي (بالإنكليزية: James Abram Garfield). كما لا يفوتنا ذكر الكاشي الذي عمم هذه المبرهنة على كل المثلثات: مبرهنة الكاشي.
براهين
بلا شك، هذه المبرهنة لديها أكبر عدد معروف من الإثباتات (كما هو الحال بالنسبة لخاصية Quadratic reciprocity). ها هي بعض منها:
برهان إقليدس
قبل البرهنة على خاصية فيثاغورس، يجب إثبات عبارتين. العبارة الأولى التي
يجب إثباتها (العبارة 35 من الجزء الأول من كتاب العناصر) هي تساوي مساحتي
متوازيي أضلاع لهما نفس القاعدة ونفس الارتفاع:
« متوازيات الأضلاع التي لها قاعدة مشتركة، ومحصورة بين نفس المستقيمين المتوازيين، لها نفس المساحة. »
لنعتبر متوازيي الأضلاع ABCD و BCFE، لديهما قاعدة مشتركة [BC]، ومحصوران
بين المتوازيين (BC) و(AF)، لاحظ أن AD=BC (لأنهما قاعدتا متوازي الأضلاع
ABCD)، و BC=EF (لأنهما قاعدتا متوازي الأضلاع BCFE)، وبالتالي AD=EF.
توجد ثلاثة حالات فقط (مبينة في الشكل جانبه) لموضع النقطة E بالنسبة إلى D
: يمكن أن توجد E على يسار D، منطبقة على D أو على يمين D. سندرس كل حالة:
1. إذا كانت E على يسار D فإن [ED] مشتركة بين كل من [AD] و[EF]، ومنه
نستطيع التحقق من أن المسافتين AD و EF متساويتين. لاحظ أن الضلعين [AB]
و[DC] متقايسان (لأنهما قاعدتان متقابلتان في متوازي الأضلاع ABCD)، والنقط
D، E، A و F مستقيمية، الزاويتان
ومتقايستان.كنتيجة لهذا فالمثلثان BAE و CDF متقايسان، لأن لهما ضلعان متقايسان
والزاويتان المحصورتان متقايستان. إذن، متوازيي الأضلاع ABCD و CBEF ليسا
سوى ترتيبين مختلفين من شبه المنحرف BEDC والمثلث BAE (أو CDF).
2. إذا كانت E منطبقة على D، سنجد بطريقة مشابهة أن المثلثين BAE و CDF
متقايسان، وأنه من الممكن الحصول على متوازيي الأضلاع ABCD و BCFE بإضافة
المثلث BAE (أو CDF) إلى المثلث المشترك BCD.
3. إذا كانت E على يمين D، لدينا AD=EF، وبإضافة DE لكل منهما نجد أن
AE=DF. وبطريقة مشابهة لتلك التي إستعملناها في 1 و 2، يمكن أن نبين أن
المثلثين BAE و CDF، وأيضا شبهي المنحرف BADG و CGEF، متقايسان. إذن من
الواضح أنه يمكن الحصول على متوازيي الأضلاع ABCD و CBEF عن طريق إضافة
المثلث المشترك BCG إلى شبه المنحرف BADG (أو CGEF).
استبدال متوازي أضلاع بمتوازي أضلاع آخر له نفس القاعدة والارتفاع يعرف في
الرياضيات باسم القص. هذا الأخير مهم جدا في إثبات العبارة التالية:
« إذا كان لمتوازي أضلاع ولمثلث نفس القاعدة، ومحصورين بين مستقيمين متوازيين، فإن مساحة متوازي الأضلاع هي ضعف مساحة المثلث. »
لنعتبر متوازي أضلاع ABCD، ولتكن E نقطة من نصف المستقيم (AD] ولا تنتمي
إلى القطعة [AD]. نريد إثبات أن مساحة ABCD هي ضعف مساحة BEC. بعد رسم
القطر [AC]، نلاحظ أن مساحة ABCD هي ضعف مساحة ABC. ولدينا مساحة ABC تساوي
مساحة BEC (لأن لهم نفس القاعدة). إذن ضعف مساحة BEC هي ضعف مساحة ABC، أي
ABCD. ومنه مساحة ABCD هي ضعف مساحة BEC المثلث
نستطيع الآن متابعة البرهان:
نعتبر مثلثا ABC قائم الزاوية في A. لتكن ABFG ،ACIH و BCED مربعات الأضلاع
AB ،AC و BC على التوالي. لتكن J نقطة تقاطع (BC) و(AK). نريد إثبات أن
مساحة BCED تساوي مجموع مساحتي ABFG و ACIH. يمكننا هذا عن طريق إثبات أن
مساحة المربع ABFG تساوي مساحة المستطيل BJKD، وأن مساحة المربع ACIH تساوي
مساحة المستطيل CEKJ.
لإثبات المتساوية الأولى، يمكن أن نلاحظ أن المسافتين FB و BC تساويان AB و BD على التوالي. لأن الزاويتان
و متقايستان، والزاويتان (لاحظ أن و\ (لاحظ أن متقايستان. كنتيجة، لدينا المثلثان FBC و ABD متقايسان. لاحظ أيضا أنه حسب
العبارة XLI، مساحة المربع ABFG هي ضعف مساحة المثلث FBC وأن مساحة
المستطيل BJKD هي ضعف مساحة المثلث ABD. بما أن المثلثين ABD و FBC
متقايسان، فإن مساحة ABFG تساوي مساحة BJKD.
نحصل على المتساوية الثانية بطريقة مشابهة: بملاحظة أن IC و CB يساويان AC و
CE على التوالي، وأن الزاوية [\widehat{ICB}] تقايس الزاوية
[\widehat{ACE}]، نحصل على أن المثلثين ICB و ACE متقايسان. وعلما أن مساحة
المربع ACIH هي ضعف مساحة المثلث ICB وأن مساحة المستطيل CEKJ هي ضعف
مساحة ACE، وبما أن المثلثين ICB و ACE متقايسان، فإن مساحة ACIH تساوي
مساحة CEKJ.
وبالتالي، مساحة BCED تساوي مساحة مجموع مساحتي BJKD و CEKJ، أي مجموع مساحتي ABFG و ACIH. وتكون مبرهنة فيثاغورس حالة خاصة لمبرهنة كليرو.
________________________________________________
صلاحيات هذا المنتدى:
لاتستطيع الرد على المواضيع في هذا المنتدى