قضیهٔ فیثاغورس در هندسه و فضای اقلیدسی بخشی از صورت کلی قانون کسینوسها هنگامی که زاویهٔ بین دو بردار ۹۰ درجهاست میباشد. این قضیه به نام ریاضیدان یونانی فیثاغورس نامگذاری شدهاست. به سخن دیگر در یک مثلث راستگوشه (قائم الزاویه) همواره مجموع توانهای دوم دو ضلع برابر با توان دوم ضلع سوم است.
قانون کسینوسها بیان میکند که اگر دو بردار (یا خط) a و b در راس O تشکیل یک زاویه با نام A بدهند بردار مجموع از رابطهٔ بدست میآید.
همانطور که میبینید هر گاه زاویه A برابر با ۹۰ درجه باشد مقدار صفر شده و در نتیجه صورت قضیهٔ فیثاغورس بدست میآید:
وارون این قضیه نیز درست است، به عبارت دیگر، اگر باشد، مثلث قائمالزاویه است. اثبات عکس قضیه فیثاغورس را به اقلیدسنسبت دادهاند.