ทฤษฎีบทดังกล่าวสามารถกล่าวโดยสรุปได้เป็นกฎของโคซายน์ ซึ่งเมื่อให้ความยาวของด้านทั้งสองและขนาดของมุมระหว่างด้านนั้นมา จะสามารถคำนวณหาความยาวด้านที่สามของสามเหลี่ยมใด ๆ ได้ ถ้ามุมระหว่างด้านเป็นมุมฉาก กฎของโคซายน์จะย่อลงเหลือทฤษฎีบทพีทาโกรัส
การพิสูจน์
ทฤษฎีบทพีทาโกรัสอาจเป็นทฤษฎีบทที่รู้จักกันว่ามีการพิสูจน์มากกว่าทฤษฎีบทอื่น หนังสือ The Pythagorean Proposition มีการพิสูจน์มากถึง 370 แบบบทกลับของทฤษฎีบทปีทาโกรัส
บทกลับของทฤษฎีบทปีทาโกรัสนั้นเป็นจริง โดยกล่าวไว้ดังนี้กำหนด a, b และ c เป็นจำนวนจริงบวกที่ a2 + b2 = c2 จะมีสามเหลื่ยมมุมฉากหนึ่งรูปที่มีความยาวด้านเท่ากับสามจำนวนนั้น และสามเหลี่ยมนั้นจะมีมุมฉากระหว่างด้าน a และ bชุดของสามจำนวนนี้เรียกว่า สามสิ่งอันดับพีทาโกรัส อีกข้อความหนึ่งกล่าวว่า
สำหรับสามเหลี่ยมใด ๆ ที่มีด้าน a, b และ c ถ้า a2 + b2 = c2 แล้วมุมระหว่าง a กับ b จะวัดได้ 90°บทกลับนี้ยังปรากฏอยู่ในหนังสือ Euclid's Elements ของ ยุคลิดด้วย
ถ้าในสามเหลี่ยมรูปหนึ่ง สี่เหลี่ยมบนด้านหนึ่งเท่ากับผลรวมของสี่เหลี่ยมบนอีกสองด้านที่เหลือของสามเหลี่ยมแล้ว แล้วมุมที่รองรับด้านทั้งสองที่เหลือของสามเหลี่ยมนั้นจะเป็นมุมฉากบทกลับนี้สามารถพิสูจน์ได้โดยใช้ กฎของโคไซน์ หรือตามการพิสูจน์ดังต่อไปนี้
กำหนดสามเหลี่ยม ABC มีด้านสามด้านที่มีความยาว a,b และ c และ a2 + b2 = c2 เราจะต้องพิสูจน์ว่ามุมระหว่าง a และ b เป็นมุมฉาก ดังนั้น เราจะสร้างสามเหลื่ยมมุมฉากที่มีความยาวของด้านประกอบมุมฉาก เป็น a และ b แต่จากทฤษฎีบทปีทาโกรัส เราจะได้ว่าด้านตรงข้ามมุมฉาก ของสามเหลื่ยมรูปที่สองก็จะมีค่าเท่ากับ c เนื่องจากสามเหลี่ยมทั้งสองรูปมีความยาวด้านเท่ากันทุกด้าน สามเหลี่ยมทั้งสองรูปจึงเท่ากันทุกประการแบบ "ด้าน-ด้าน-ด้าน" และต้องมีมุมขนาดเท่ากันทุกมุม ดังนั้นมุมที่ด้าน a และ b มาประกอบกัน จึงต้องเป็นมุมฉากด้วย
จากบทพิสูจน์ของบทกลับของทฤษฎีบทปีทาโกรัส เราสามารถนำไปหาว่ารูปสามเหลี่ยมใด ๆ เป็นสามเหลี่ยมมุมแหลม, มุมฉาก หรือ มุมป้าน ได้ เมื่อกำหนดให้ c เป็นความยาวของด้านที่ยาวที่สุดในรูปสามเหลี่ยม
- ถ้า a2 + b2 = c2 สามเหลี่ยมนั้นจะเป็นสามเหลี่ยมมุมฉาก
- ถ้า a2 + b2 < c2 สามเหลี่ยมนั้นจะเป็นสามเหลี่ยมมุมแหลม
- ถ้า a2 + b2 > c2 สามเหลี่ยมนั้นจะเป็นสามเหลี่ยมมุมป้าน