a = c cos ß
+ b cos gb = a cos
g + c cos ac = b cos
a + a cos ßMoltiplichiamo rispettivamente a, b, c per a,-b,-c
a2 = ac cos ß + ab cos g
-b2= -ab cos g bc cos a -c2= -bc cos a ac cos ßSommando le tre uguaglianze membro a membro otteniamo
a2-b2-c2= -2bc cos a
da cui
a2= b2 + c2 2bc cos a
Nell'ipotesi in cui un angolo, per esempio
a, sia congruente a 90°,rientreremmo nell'ipotesi dela2= b2 + c2 - 2bc cos90°
ma poiché cos90° = 0 , risulta:
a2= b2 + c2Di conseguenza il teorema di Carnot può essere considerato una generalizzazione del teorema di Pitagora.