– ol tómendegishe aytıladı: hár qanday úshmúyeshlikte qálegen tárepiniń uzınlıǵınıń kvadratı basqa eki tárepiniń uzınlıqlarınıń kvadratlarınıń qosındısınan usı eki táreptiń uzınlıqları hám olardıń arasındaǵı múyeshtiń kosinusınıń eki eselengen kóbeymesin alǵanǵa teń. Bul teorema ${{c}^{2}}={{a}^{2}}+{{b}^{2}}-2ab\cos \hat{C}$ teńlik túrinde jazıladı, bunda $a,b,c$ úshmúyeshliktiń tárepleriniń uzınlıqları, al $\hat{C}$ - $a$ hám $b$ tárepleriniń arasına alınǵan múyeshtiń shaması.