عرض مصدر مبرهنة فيثاغورس

{{توسيع}}
{{مصادر أكثر}}
{{معلومات نظرية
| الاسم = مبرهنة فيثاغورس
| صورة = Pythagorean.svg
| تعليق = الصيغة الهندسية لنظرية فيثاغورس. مجموع مساحة المربعين الواقعين على الضلعين a و b يساوي مساحة المربع الواقع على الضلع c
| النوع = [[مبرهنة]]
| تاريخ = 
| الصيغة = <math>a^2+b^2=c^2\,</math>
| جزء من = 
| سميت بأسم = [[فيثاغورس|فيثاغورس الساموسي]]
| صاحبها = [[فيثاغورس|فيثاغورس الساموسي]]
}}
في [[رياضيات|الرياضيات]]، '''مبرهنة فيثاغورس'''، أو '''نظرية فيثاغورس''' هي علاقةٌ أساسية في [[هندسة إقليدية|الهندسة الإقليدية]] بين أضلاع [[مثلث قائم|المثلث القائم]]. تنص النظرية على أن مساحة المربع الذي ضلعه الوتر (المقابل للزاوية القائمة) يساوي مجموع مساحتي مربعي الضلعين الآخرين. يمكن كتابة هذه النظرية كمعادلة تتعلق بأطوال الساقين a وb والوتر c كما يلي:<ref>{{استشهاد بكتاب|مسار=https://books.google.jo/books?id=tlhz1o7GAcEC&pg=PT420&dq=نظرية+فيثاغورس&hl=ar&sa=X&ei=gKp0VYvLCKbC7gb3lYHwAg&ved=0CD4Q6AEwBw#v=onepage&q=نظرية%20فيثاغورس&f=false|عنوان=الكون الحي بين الفيزياء والميتافيزياء|ناشر=E-Kutub Ltd|ISBN=9781780580968|لغة=ar|الأخير=بشارة|الأول=د جواد| مسار أرشيف = https://web.archive.org/web/20181012135154/https://books.google.jo/books?id=tlhz1o7GAcEC&pg=PT420&dq=نظرية+فيثاغورس&hl=ar&sa=X&ei=gKp0VYvLCKbC7gb3lYHwAg&ved=0CD4Q6AEwBw | تاريخ أرشيف = 12 أكتوبر 2018}}</ref>

<math>a^2 + b^2 = c^2 </math>

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

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

== المبرهنة ==

=== نظرية فيثاغورس المباشرة ===
إذا كانت c تشير إلى طول الوتر وكانت a و b تشير إلى طول أضلاع مثلث قائم الزاوية، فيمكن التعبير عن نظرية فيثاغورس كما يلي:

<math>a^2 + b^2 = c^2</math>

مثال: إذا كان b=3 و a=4 فإن <math>a^2+b^2=3^2+4^2=25=c^2\,</math> ومنها <math>c = 5\,</math>

أي ثلاثة أعداد صحيحة تمثل أطوال أضلاع مثلث قائم الزاوية -مثل (3، 4، 5)- تُكون '''[[ثلاثية فيثاغورس|ثلاثي فيثاغورسي]]'''.

إذا كانت أطوال أضلاع المثلث القائم فقط معروفة ولكن ليس الوتر، فيمكن حساب طول الوتر باستخدام المعادلة:

<math> c = \sqrt{a^2 + b^2} </math>

إذا كان طول الوتر وضلع واحد معروفًا، فيمكن حساب طول الضلع الآخر على النحو التالي:

<math>a = \sqrt{c^2 - b^2} </math>

أو

<math>b = \sqrt{c^2 - a^2}. </math>[[ملف:Rtriangle.svg|يسار|272x272px]][[تعميم]] هذه النظرية هو [[قانون جيب التمام]]، والذي يسمح بحساب طول أي جانب من أي مثلث بالنظر إلى أطوال الضلعين الآخرين والزاوية بينهما. إذا كانت الزاوية بين الأطراف الأخرى هي الزاوية القائمة، فإن قانون جيب التمام يؤول إلى معادلة فيثاغورس.

=== نظرية فيثاغورس العكسية ===
نص نظرية فيثاغورس العكسية (العبارة 47 من الجزء الأول من كتاب العناصر [[إقليدس|لإقليدس]]):

'''« في مثلث، إذا كان مربع طول أطول ضلع يساوي مجموع مربعي طولي الضلعين الآخرين، فإن هذا المثلث قائم الزاوية. الزاوية القائمة هي الزاوية المقابلة لأطول ضلع، والضلع الأطول هو الوتر. »
'''

نظرية فيثاغورس هي خاصية مميزة للمثلث القائم الزاوية. بتعبير آخر:

« في مثلث ABC، إذا كان AC²+BC²=AB² فإن هذا المثلث قائم الزاوية في C.».

== براهين ==
لهذه المبرهنة أكبر عدد معروف من الإثباتات (كما هو الحال بالنسبة لخاصية [[تقابل تربيعي|التقابل التربيعي]]). فيما يلي بعض منها:{{شريط جانبي حساب المثلثات}}

=== برهان إقليدس ===

قبل البرهنة على خاصية [[فيثاغورس]]، يجب إثبات عبارتين. العبارة الأولى التي يجب إثباتها (العبارة 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 مستقيمية، الزاويتان <math>[\widehat{BAE}]</math> و<math>[\widehat{CDF}]</math> متقايستان. كنتيجة لهذا فالمثلثان 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 على التوالي. لأن الزاويتان <math>[\widehat{ABF}]</math> و<math>[\widehat{CBD}]</math> متقايستان، والزاويتان <math>[\widehat{FBC}]</math> (لاحظ أن <math>\widehat{FBC}=\widehat{FBA}+\widehat{ABC}</math>) و<math>\widehat{ABD}</math> (لاحظ أن <math>\widehat{ABD}=\widehat{ABC}+\widehat{CBD}</math>) متقايستان. كنتيجة، لدينا المثلثان FBC و ABD متقايسان. لاحظ أيضاً أنه حسب العبارة XLI، مساحة المربع ABFG هي ضعف مساحة المثلث FBC وأن مساحة المستطيل BJKD هي ضعف مساحة المثلث ABD. بما أن المثلثين ABD و FBC متقايسان، فإن مساحة ABFG تساوي مساحة BJKD.

نحصل على المتساوية الثانية بطريقة مشابهة: بملاحظة أن IC و CB يساويان AC و CE على التوالي، وأن الزاوية <math>[\widehat{ICB}]</math> تقايس الزاوية <math>[\widehat{ACE}]</math>، نحصل على أن المثلثين ICB و ACE متقايسان. وعلماً أن مساحة المربع ACIH هي ضعف مساحة المثلث ICB وأن مساحة المستطيل CEKJ هي ضعف مساحة ACE، وبما أن المثلثين ICB و ACE متقايسان، فإن مساحة ACIH تساوي مساحة CEKJ.

وبالتالي، مساحة BCED تساوي مساحة مجموع مساحتي BJKD و CEKJ، أي مجموع مساحتي ABFG و ACIH. وتكون نظرية فيثاغورس حالة خاصة ل[[مبرهنة كليرو]].

=== برهان جوجو ===
[[ملف:gougu1.svg|تصغير|يسار|200 بك|لغز جوجو]]
تمت إعادة صياغة مبرهنة جوجو Gougu انطلاقاً من تعليقات وملاحظات الرياضي الصيني Liu Hui (القرن الثالث بعد الميلاد) على كتاب « الفصول التسعة في فن الرياضيات » (206 قبل الميلاد، 220 بعده) وعلى كتاب Zhoubi Suanjian « ظل الدوائر، كتاب في Calculus » (كتاب في علم الفلك).

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

المثلث الأحمر يقايس المثلث البدئي. طول أطول ضلع من ضلعي الزاوية القائمة في المثلث الأصفر يساوي طول أصغر ضلع في المثلث البدئي، وزوايا هذين المثلثين متقايسة. طول أطول ضلع من ضلعي الزاوية القائمة في المثلث الأزرق يساوي فرق طولي ضلعي الزاوية القائمة للمثلث البدئي وزواياهما متقايسة أيضاً.

=== البرهنة باستعمال الجداء السلمي (المتجهات) ===
ليكن ABC مثلثاً قائم الزاوية في A

<math>\overrightarrow{CB}=\overrightarrow{AB}-\overrightarrow{AC}</math>

<math>\overrightarrow{CB}^2=(\overrightarrow{AB}-\overrightarrow{AC})^2</math>

<math>CB^2=AB^2+AC^2-2.\overrightarrow{AB}.\overrightarrow{AC}</math>

بما أن ABC قائم الزاوية في A فإن <math>\overrightarrow{AB}.\overrightarrow{AC}=0</math>

ومنه <math>BC^2=AB^2+AC^2</math>

=== برهان حديث ===
[[ملف:pythagoralg.png|200px]]
لنعتبر مثلثاً قائم الزاوية حيث قياسات أضلاعه هي b ،a و c. نقوم بنسخ المثلث ثلاث مرات بحيث يشكل كل ضلع طوله a مستقيماً مع ضلع طوله b لمثلث آخر. نحصل في الأخير على مربع طول ضلعه a+b، كما في الصورة.

لنحسب مساحة المربع المحدد بالأضلاع ذات الطول c. بالطبع المساحة هي c²، وتساوي أيضاً فرق مساحة المربع الكبير ذو الضلع a+b ومجموع مساحات المثلثات الأربع. مساحة المربع الكبير هي ²(a+b) لأن طول ضلعه هو a+b. ومجموع مساحات المثلثات هي أربع مرات مساحة مثلث واحد، أي 4(ab/2)، إذن الفرق هو (a+b)²-4(ab/2) بالتبسيط a²+b²+2ab-2ab أي a²+b². بهذا نكون قد برهنا على أن مساحة المربع ذو الضلع c تساوي a²+b²، أي a²+b²=c².
[[ملف:Pythagorean proof.svg]]

توجد طرق عديدة أخرى لإثبات مبرهنة [[فيثاغورس]]، حتى الرئيس الأمريكي الواحد والعشرون [[جيمس جارفيلد]]، برهن بطريقة قريبة من الطريقة السابقة، على مبرهنة [[فيثاغورس]].

=== برهان باستعمال خاصيات الحساب المثلثي في مثلث قائم الزاوية ===
[[ملف:Triangle rectangle vect.svg|تصغير|مثلث قائم الزاوية]]
لنعتبر المثلث <math>ABC</math> القائم الزاوية في <math>A
</math> (الشكل المماثل اجنبه):

لدينا <math>\cos^2 \alpha =\dfrac{AB^2}{BC^2} \Leftrightarrow \cos \alpha =\dfrac{AB}{BC}

</math>

و <math>\sin^2 \alpha =\dfrac{AC^2}{BC^2} \Leftrightarrow \sin \alpha =\dfrac{AC}{BC}

</math>

وكما نعلم <math>\cos^2\alpha+\sin^2\alpha=1

</math>

وبالتالي <math>AB^2+AC^2=BC^2\Leftrightarrow \dfrac{AB^2+AC^2}{BC^2}=1\Leftrightarrow \dfrac{AB^2}{BC^2}+\dfrac{AC^2}{BC^2}=1

</math>

== أشكال أخرى للمبرهنة ==
=== استلزامها المضاد للعكس ===
نص الاستلزام المضاد للعكس:

« إذا كانت أطوال أضلاع مثلث ABC تحقق <math>BC^2 \ne AB^2+AC^2\,\!</math> فإن المثلث ABC ليس قائماً في النقطة A. »

رغم أن [[استلزام مضاد للعكس|الاستلزام المضاد للعكس]] يكافئ منطقياً [[مبرهنة|المبرهنة]] المباشرة، إلا أن استعماليهما مختلفان: فنظرية فيثاغورس المباشرة تستعمل لحساب طول ضلع مثلث قائم الزاوية بدلالة طولي الضلعين الآخرين، في حين أن استلزامها المضاد للعكس يستعمل لإثبات كون مثلث (قياسات أضلاعه معلومة) ليس قائم الزاوية.

=== الاستلزام المضاد للعكس للخاصية العكسية ===
يقول ما يلي: « إذا كان المثلث ABC ليس قائم الزاوية في A فإن <math>BC^2 \ne AB^2+AC^2\,\!</math> »

== تعميمات ==
[[ملف:lunules.png|تصغير|يسار|مبرهنة الهلالين]]

=== تعميم على أشكال هندسية أخرى غير المربعات ===
عمم [[إقليدس]] مبرهنة [[فيثاغورس]] في كتابه العناصر (العبارة 31، الجزء VI من كتاب العناصر):

« في المثلثات القائمة الزاوية، مساحة شكل مرسوم على الوتر، يساوي مجموع مساحتي الشكلين [[تشابه (هندسة)|المشابهين]] له المرسومين على ضلعي الزاوية القائمة. »

بتعبير آخر: « إذا أنشأنا أشكالاً [[تشابه (هندسة)|متشابهة]] على أضلاع مثلث قائم الزاوية، فإن مساحتي الشكلين الصغيرين تساوي مساحة الشكل الكبير. »

هذه الخاصية تسمح لنا بالبرهنة على أن مساحة مثلث تساوي مجموع مساحتي الهلالين المرسومين على ضلعي الزاوية القائمة: [[هلال أبقراط#تعميمات|مبرهنة الهلالين]].{{شريط جانبي هندسة رياضية}}

=== قانون جيب التمام ===
{{مفصلة|قانون جيب التمام}}

يعتبر قانون جيب التمام امتداداً لنظرية فيثاغورس، ينص على ما يلي:

:: <math>a^2+b^2-2ab\cos{\theta}=c^2 \,</math>

حيث تمثل θ الزاوية المحصورة بين الضلعين a و b.

== استعمالاتها ==
* تسمح نظرية فيثاغورس بحساب المسافة بين نقطتين في [[معلم (توضيح)|معلم]] متعامد بدلالة [[نظام إحداثي ديكارتي|إحداثياتهما الديكارتية]]، إذا كانت <math>A(x_a, y_a)</math> و<math>B(x_b, y_b)</math> نقطتان من [[هندسة إقليدية|المستوي الإقليدي]]، فإن المسافة بينهما هي:

<math> \sqrt{(x_b-x_a)^2 + (y_b-y_a)^2} </math>

إذا كانت <math>(x_b, y_a)</math> إحداثيتا نقطة C في نفس [[معلم (توضيح)|المعلم]]، فإن المثلث ACB قائم الزاوية في C. المسافتان CA و CB معلومتان:

<math>CA= |x_b - x_a|</math>

<math>CB = |y_b - y_a|</math>

بينما تمثل المسافة AB طول وتر المثلث ACB.
* بشكل عام، في [[فضاء إقليدي]] (أو [[فضاء تآلفي إقليدي]])، المسافة من <math>(x_1, \dots, x_k)</math> إلى <math>(y_1,\dots, y_n)</math> تساوي:
<math> \sqrt{\sum_{k=1}^{k=n}{(x_k-y_k)^2}}</math>
* يمكن أن نعتبر [[مبرهنة Parseval]] تعميماً لنظرية فيثاغورس في [[فضاء الجداء الداخلي]].
* تعمم نظرية فيثاغورس على [[تبسيطة|التبسيطات]] ذات الأبعاد الكبيرة. إذا كان [[رباعي سطوح|لرباعي أوجه]] ركن قائم (ركن من [[مكعب]])، فإن مربع مساحة الوجه المقابل للركن، يساوي مجموع مربعات مساحات الأوجه الثلاثة الأخرى. تعرف هذه المبرهنة أيضاً باسم [[مبرهنة Gua]].

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

أقدم تمثيل لمثلوثات فيثاغورس (مثلث قائم الزاوية وأطوال أضلاعه أعداد صحيحة طبيعية) نجده في [[جندل (آثار)|الميغاليثات]] (2500 سنة قبل الميلاد). كما أظهرت آثار [[بلاد بابل|البابليين]] (لوحة Plimpton، حوالي سنة 1800 قبل الميلاد) أنه قبل ظهور [[فيثاغورس]] بأكثر من 1000 سنة، عرف المهندسون وجود [[فيثاغورس|مثلوثات فيثاغورس]].

لكن بين اكتشاف الخاصية «نلاحظ أن بعض المثلثات القائمة الزاوية تحقق هذه الخاصية»، تعميمها «يبدو أن كل المثلثات القائمة الزاوية تحقق هذه الخاصية» وإثباتها «كل المثلثات القائمة الزاوية (فقط) في المستوى الإقليدي تحقق هذه الخاصية» عدة أجيال.
[[ملف:Chinese pythagoras.jpg|تصغير|300بك|برهان بصري لمثلث أطوال أضلاعه (3، 4، 5) في كتاب Chou Pei Suan Ching (القرن الثاني-القرن الخامس قبل الميلاد)]]

ندرة الدلائل التاريخية تجعل من غير الممكن نسب المبرهنة إلى [[فيثاغورس]] بشكل قاطع، مع أننا على يقين بأنه صاحبها. أول برهان مكتوب نجده في كتاب العناصر [[إقليدس|لإقليدس]] بالصيغة التالية:

« في المثلثات القائمة الزاوية، مربع طول الضلع المقابل للزاوية القائمة يساوي مجموع مربعي طولي الضلعين الآخرين. »

مع صيغتها العكسية:
« إذا كان مربع طول ضلع في مثلث يساوي مجموع مربعي طولي الضلعين الآخرين، فإن الزاوية المحصورة بين هذين الضلعين قائمة. »

ومع ذلك، فتعليقات [[برقلس]] على كتاب العناصر لإقليدس (حوالي 400 سنة بعد الميلاد) تشير إلى أن [[إقليدس]] لم يقم سوى بإعادة تدوين برهان قديم نسبهُ برقلس إلى فيثاغورس.

إذن، يمكن أن نؤرخ البرهان على هذه الخاصية ما بين القرن الثالث والقرن السادس قبل الميلاد. يحكى أنه في تلك الفترة اكتشفت [[عدد لاجذري|الأعداد اللاجذرية]]. بالفعل، يمكن بسهولة إنشاء مثلث قائم الزاوية ومتساوي الساقين طول أحدهما 1، فيكون مربع طول الوتر هو 2. برهان بسيط أيام [[فيثاغورس]] يثبت أن العدد 2 ليس مربعاً لعدد جذري. يقال أن هذا الاكتشاف تم إبقاؤه سراً من طرف المدرسة الفيثاغورسية تحت تهديد بالقتل.

إلى جانب هذه الاكتشافات، يبدو أن هذه المبرهنة عرفت في [[الصين]] أيضاً. نجد إشارة إلى وجود هذه المبرهنة في واحد من أقدم المؤلفات الصينية في الرياضيات، كتاب Zhoubi suanjing. هذا المؤلف، كتب على الأغلب في [[سلالة هان الحاكمة|مملكة هان]] (أعظم الفترات في تاريخ الصين)، (206 قبل الميلاد، 220 سنة بعد الميلاد) يضم التقنيات المستعملة في فترة Zhou Dynasty. (القرن العاشر قبل الميلاد، 256 قبل الميلاد). نجد برهان هذه الخاصية، التي تحمل في الصين اسم مبرهنة جوجو Gougu (القاعدة والارتفاع)، في كتاب Jiuzhang suanshu (الفصول التسعة في فن الرياضيات، 100 سنة قبل الميلاد، 50 سنة بعده)، برهان مختلف كلياً عن برهان [[إقليدس]].

كما نجد في [[الهند]] برهانا عددياً للخاصية يعود إلى القرن الثالث قبل الميلاد (برهان باستعمال أعداد خاصة، لكن يمكن تعميمه بسهولة).

رغم أنها خاصية هندسية، إلا أنها أخذت منحى حسابياً عند البحث عن جميع مثلوثات أعداد صحيحة طبيعية تمثل أطوال أضلاع مثلث قائم الزاوية: أي [[فيثاغورس|مثلوثات فيثاغورس]]. هذا البحث فتح الباب لبحث آخر: البحث عن المثلوثات التي تحقق <math>a^n + b^n = c^n</math>، بحث قاد إلى [[مبرهنة فيرما الأخيرة|حدسية فيرما]] التي تم حلها سنة 1994 على يد الرياضي [[أندرو وايلز]].

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

== انظر أيضاً ==
* [[البرهان السلمي]]
[[متوازي أضلاع|متوازيات أضلاع]] محيطة [[مثلث|بمثلث]] عادي.
* [[قانون جيب التمام|مبرهنة الكاشي]]، تعميم لنظرية فيثاغورس على كل المثلثات.
* [[جبر خطي|الجبر الخطي]]
* [[فيثاغورس|مثلوث فيثاغورس]]
* [[مبرهنة فيرما الأخيرة]]
* [[مبرهنة العلم البريطاني]]
* [[قائمة مواضيع المثلث|لائحة المواضيع المتعلقة بالمثلث]]
* [[قانون متوازي الأضلاع]]
* [[مبرهنة بطليموس]]

== مراجع ==
{{مراجع}}
{{روابط شقيقة}}
{{شريط سفلي حساب المثلثات}}
{{ضبط استنادي}}
{{شريط بوابات|رياضيات|علم الفلك|هندسة رياضية}}

[[تصنيف:مبرهنة فيثاغورس| ]]
[[تصنيف:اختراعات يونانية]]
[[تصنيف:تاريخ الهندسة الرياضية]]
[[تصنيف:زوايا]]
[[تصنيف:فيثاغورس]]
[[تصنيف:مبرهنات حول المثلثات]]
[[تصنيف:مبرهنات في الهندسة المستوية]]
[[تصنيف:مثلثات]]
[[تصنيف:مساحة]]
[[تصنيف:معادلات]]
[[تصنيف:مقالات تحوي براهين]]
[[تصنيف:هندسة إقليدية مستوية]]