مبرهنة فيثاغورس هي مبرهنة في الهندسة الإقليدية

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

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

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

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

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

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

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

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

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