قانون نظرية فيثاغورس ينص على أنه في أي مثلث قائم الزاوية، مربع طول الوتر يساوي مجموع مربعي طولي الضلعين الآخرين.

رياضياً، يُعبر عنه بالمعادلة :

a² + b² = c²

حيث:

*

c

هو طول الوتر (الضلع المقابل للزاوية القائمة).
*

a

و

b

هما طولي الضلعين الآخرين (الضلعان المحاذيان للزاوية القائمة).