अगर हम कर्ण की लंबाई को "c" और अन्य दो भुजाओं की लंबाई को "a" और "b" लेते हैं, तो प्रमेय को निम्नलिखित समीकरण के रूप में व्यक्त किया जा सकता है:

या, 

यदि "c" पहले से दिया गया है और एक भुजा की लंबाई निकालना हो, तो निम्नलिखित समीकरण का उपयोग किया जा सकता है :

या

यह समीकरण समकोण त्रिकोण के तीनों भुजाओं के बीच एक सरल सम्बन्ध प्रदान करता है। इस प्रमेय का सामान्यीकरण 'कोज्या नियम' (Cosine rule) कहलाता है जिसकी सहायता से किसी भी त्रिकोण के तीसरी भुजा की लम्बाई की गणना की जा सकती है यदि शेष दो भुजाओं की लंबाई और उनके बीच के कोण की माप दी गयी हो।

सूत्र के रूप में
यूक्लिड के प्रमाण
विभेदक समीकरणों द्वारा प्रमाण
इतिहास