مبرهنة فيثاغورس

وهي الشكل الأكثر شهرة لنظرية فيثاغورس:

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

في مثلث ABC قائم الزاوية في C، أي أن [AB] هو الوتر، نضع AB=c و AC=b و BC=a. لدينا:

${\displaystyle BC^{2}+AC^{2}=AB^{2}\,}$

أو

${\displaystyle a^{2}+b^{2}=c^{2}\,}$

تمكن نظرية فيثاغورس من حساب طول أحد أضلاع مثلث قائم الزاوية بمعرفة طولي الضلعين الآخرين. مثلا: إذا كان b=3 و a=4 فإن

${\displaystyle a^{2}+b^{2}=3^{2}+4^{2}=25=c^{2}\,}$

ومنه ${\displaystyle c=5\,}$.

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

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

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

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

لغز جوجو

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

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

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

ليكن ABC مثلثاً قائم الزاوية في A

${\displaystyle {\overrightarrow {CB}}={\overrightarrow {AB}}-{\overrightarrow {AC}}}$

${\displaystyle {\overrightarrow {CB}}^{2}=({\overrightarrow {AB}}-{\overrightarrow {AC}})^{2}}$

${\displaystyle CB^{2}=AB^{2}+AC^{2}-2.{\overrightarrow {AB}}.{\overrightarrow {AC}}}$

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

ومنه ${\displaystyle BC^{2}=AB^{2}+AC^{2}}$

لنعتبر مثلثاً قائم الزاوية حيث قياسات أضلاعه هي 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².

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

مثلث قائم الزاوية

لنعتبر المثلث ${\displaystyle ABC}$ القائم الزاوية في ${\displaystyle A}$ (الشكل المماثل اجنبه):

لدينا ${\displaystyle \cos ^{2}\alpha ={\dfrac {AB^{2}}{BC^{2}}}\Leftrightarrow \cos \alpha ={\dfrac {AB}{BC}}}$

و ${\displaystyle \sin ^{2}\alpha ={\dfrac {AC^{2}}{BC^{2}}}\Leftrightarrow \sin \alpha ={\dfrac {AC}{BC}}}$

وكما نعلم ${\displaystyle \cos ^{2}\alpha +\sin ^{2}\alpha =1}$

وبالتالي ${\displaystyle 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}$

نص الاستلزام المضاد للعكس:

« إذا كانت أطوال أضلاع مثلث ABC تحقق ${\displaystyle BC^{2}\neq AB^{2}+AC^{2}\,\!}$ فإن المثلث ABC ليس قائماً في النقطة A. »

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

يقول ما يلي: « إذا كان المثلث ABC ليس قائم الزاوية في A فإن ${\displaystyle BC^{2}\neq AB^{2}+AC^{2}\,\!}$ »

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

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

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

هذه الخاصية تسمح لنا بالبرهنة على أن مساحة مثلث تساوي مجموع مساحتي الهلالين المرسومين على ضلعي الزاوية القائمة: مبرهنة الهلالين.

جزء من سلسلة مقالات حول
الهندسة الرياضية
الخطوط العريضة [الإنجليزية] التاريخ
الفروع إقليدية لاإقليدية إهليلجية كروية زائدية لا أرخميدية [الإنجليزية] إسقاطية نسبية تركيبية تحليلية جبرية حسابية ديوفانية [الإنجليزية] تفاضلية ريمانية هندسة تماسكية عقدية منتهية متقطعة رياضية رقمية محدبة رياضية حاسوبية وقعية [الإنجليزية]
المبادئ الخواص بعد الإنشاء بالمسطرة والفرجار زاوية منحنى ضلع قطري تعامد رياضي (تعامد هندسي) تواز رأس تطابق تشابه تناظر
صفري الأبعاد نقطة
وحيد البعد الطول مستقيم قطعة مستقيمة
المُسطَّحات مستو مساحة مضلع المثلثات مثلث الارتفاع الوتر مبرهنة فيثاغورس متوازيات الأضلاع متوازي أضلاع مربع مستطيل معين شبه معين رباعيات الأضلاع رباعي أضلاع شبه منحرف طائرة ورقية المنحنيات دائرة القطر المحيط المساحة قطع ناقص
المُجسَّمات حجم مكعب متوازي مستطيلات أسطوانة هرم كرة
ما فوق البعد الثالث مكعب رباعي الأبعاد كرة نونية الأبعاد
علماء الهندسة
وفق الاسم أيدا أريابهاتا أحمس [الإنجليزية] ابن الهيثم أبلونيوس أرخميدس عطية بولياي براهماغوبتا كارتن كوكستر ديكارت إقليدس أويلر غاوس غروموف هيلبرت جيهاديفا [الإنجليزية] كاتيايانا الخيَّام كلاين لوباتشيفسكي مانافا [الإنجليزية] مينكوفسكي مينغاتو [الإنجليزية] باسكال فيثاغورس باراميشفارا [الإنجليزية] بوانكاريه برنارد ريمان سكابي [الإنجليزية] السجزي الطوسي فيبلين [الإنجليزية] فيراسينا [الإنجليزية] يانغ هوي [الإنجليزية] ابن الياسمين زانج قائمة علماء الهندسة
وفق الحقبة قبل الميلاد أحمس [الإنجليزية] مانافا [الإنجليزية] فيثاغورس إقليدس أرخميدس أبلونيوس 1–1400م زانج كاتيايانا أريابهاتا براهماغوبتا فيراسينا [الإنجليزية] ابن الهيثم السجزي الخيَّام ابن الياسمين الطوسي يانغ هوي [الإنجليزية] باراميشفارا [الإنجليزية] 1400–1700م جيهاديفا [الإنجليزية] ديكارت باسكال مينغاتو [الإنجليزية] أويلر سكابي [الإنجليزية] أيدا 1700–1900م غاوس لوباتشيفسكي بولياي برنارد ريمان كلاين بوانكاريه هيلبرت مينكوفسكي كارتن فيبلين [الإنجليزية] كوكستر معاصرون عطية غروموف
بوابة هندسة رياضية

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

${\displaystyle a^{2}+b^{2}-2ab\cos {\theta }=c^{2}\,}$

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