ينص قانون نظرية فيثاغورس على أنَّ مجموع مربعي طول ضلعي الزاوية القائمة يُساوي مربع طول الوتر،[1] بالإضافة إلى أنِّ مجموع مساحة المربعين القائمين على طول ضلعي الزاوية القائمة في المثلث القائمة يُساوي مساحة المربع القائم على الوتر في المثلث القائم،[2] ورياضياً يُمكن التعبير عن قانون نظرية فيثاغورس باستخدام الرموز، أي إذا كان لدينا مثلث قائم الزاوية يُسمى أ ب ج، وقائم في الزاوية ب فإنَّ:( أب )2 + (ب ج)2 = ( أج)2، حيث أب و ب ج هما ضلعي المثلث القائم، وأج هو الوتر.[1]
هل المثلث الذي أطوال أضلاعه 8سم، 15سم، 16سم يحتوي على زاوية قائمة؟[1]
الجوابباستخدام نظرية فيثاغورس نبحث إذا كان مجموع مربع ضلغي المثلث يُساوي مربع الوتر، فإذا تساوت فإنَّ المثلث قائم الزاوية، وبحسب الأرقام المُعطاة في المثال فإنَّ:[1]
ما هو طول ضلع المثلث القائم الزاوية أ ب إذا علمت أن طول ضلعه الآخر يُساوي 9سم، وطول وتره يُساوي 15سم؟[1]
الجوابباستخدام قانون نظرية فيثاغورس فإنَّ:[1]
عكس نظرية فيثاغورس هو أيضاً صحيح، أي إذا انطبقت شروط نظرية فيثاغورس على المثلث فإنه قائم الزاوية، لأنَّ المثلثات القائمة هي التي تنطبق عليها شروط نظرية فيثاغورس فقط، ولاثبات ذلك يُمكن القيام بما يلي:[3]